1 // check-fail
2 
3 #![feature(generic_associated_types)]
4 
5 trait Foo {
6     type Assoc<'a, 'b>;
7 }
8 impl Foo for () {
9     type Assoc<'a, 'b> where 'a: 'b = ();
10     //~^ `impl` associated type
11 }
12 
main()13 fn main() {}
14