tests/ui/associated-consts/wrong-projection-self-ty-invalid-bivariant-arg2.rs


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

trait Proj {
    type Assoc;
}
impl<T> Proj for T {
    type Assoc = T;
}

struct Fail<T: Proj<Assoc = U>, U>(T);

impl Fail<i32, i32> {
    const C: () = ();
}

fn main() {
    Fail::<i32, u32>::C
    //~^ ERROR: type mismatch
    //~| ERROR no associated item named `C` found for struct `Fail<i32, u32>` in the current scope
}