tests/ui/dyn-compatibility/default-param-self-projection.rs


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

trait A<C = <Self as D>::E> {}

trait D {
    type E;
}

impl A<()> for () {}
impl D for () {
    type E = ();
}

fn f() {
    let B: &dyn A = &();
    //~^ ERROR the type parameter `C` must be explicitly specified
}

fn main() {}