3 #![feature(generic_associated_types)]
4 //~^ WARNING: the feature `generic_associated_types` is incomplete
5 #![feature(associated_type_defaults)]
8 type A<'a> where Self: 'a;
20 impl<T> Foo for Fooer<T> {
21 type A<'x> where T: 'x = &'x ();
24 fn f(_arg : Box<dyn for<'a> Foo<A<'a> = &'a ()>>) {}