1 2 3 4 5 6 7 8
pub trait Foo { type A; } type I<'a> = &'a (dyn Foo + 'a); //~^ ERROR the value of the associated type `A` (from trait `Foo`) must be specified fn main() {}