1 // Check that this program doesn't cause the compiler to error without output. 2 3 #![feature(generic_associated_types)] 4 5 trait Foo { 6 type Assoc3<T>; 7 } 8 9 struct Bar; 10 11 impl Foo for Bar { 12 type Assoc3<T> where T: Iterator = Vec<T>; 13 //~^ ERROR impl has stricter requirements than trait 14 } 15 main()16fn main() {} 17