blob: 6e3c14bc7ad0f55850390f7c8b64587f84f129c5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
//@ compile-flags: -Clink-dead-code=on --crate-type=lib
//@ build-pass
// Make sure that we don't monomorphize the impossible method `<() as Visit>::visit`,
// which does not hold under a reveal-all param env.
pub trait Visit {
fn visit() {}
}
pub trait Array<'a> {}
impl Visit for () where (): for<'a> Array<'a> {}
|
