1 #![feature(associated_type_defaults)]
2 #![feature(generic_associated_types)]
9 type Associated: Trait1 = Self;
10 //~^ ERROR: the trait bound `Self: Trait1` is not satisfied
11 //~| the size for values of type `Self` cannot be known
16 fn call_foo<T: Trait2>() {