1 #![feature(associated_type_defaults)]
3 // FIXME(#44265) add tests for type-generic and const-genertic associated types.
15 //~^ ERROR lifetime parameters or bounds on type `A` do not match the trait declaration
16 type B<'a, T> = Vec<T>;
17 //~^ ERROR type `B` has 1 type parameter but its trait declaration has 0 type parameters
19 //~^ ERROR lifetime parameters or bounds on type `C` do not match the trait declaration
26 //~^ ERROR type `A` has 1 type parameter but its trait declaration has 0 type parameters
28 //~^ ERROR lifetime parameters or bounds on type `B` do not match the trait declaration
30 //~^ ERROR type `C` has 1 type parameter but its trait declaration has 0 type parameters