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()16 fn main() {}
17