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