// 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> {}