14 lines
322 B
Rust
14 lines
322 B
Rust
|
// 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> {}
|