1 #![feature(generic_associated_types)]
2 //~^ WARNING: the feature `generic_associated_types` is incomplete
3 #![feature(associated_type_defaults)]
6 type A<'a> where Self: 'a;
18 impl<T> Foo for Fooer<T> {
19 type A<'x> where T: 'x = &'x ();
22 fn f(_arg : Box<dyn for<'a> Foo<A<'a> = &'a ()>>) {}
23 //~^ the trait `Foo` cannot be made into an object