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