blob: 1ea32ed2c4fac33d8ba2ce6d3809953f473c49c8 (
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> {}
|
