tests/ui/codegen/mono-impossible-2.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

//compile-flags: --crate-type=lib -Clink-dead-code=on
// 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 {
    type Element;
}

impl<'a> Visit for () where (): Array<Element = &'a ()> {}

impl Array for () {
    type Element = ();
}