src/test/ui/associated-types/issue-44153.rs


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

pub trait Array {
    type Element;
}

pub trait Visit {
    fn visit() {}
}

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

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

fn main() {
    <() as Visit>::visit(); //~ ERROR: type mismatch resolving
}