1 2 3 4 5 6 7 8
trait Trait { type Bar; } type Foo = dyn Trait<F=i32>; //~ ERROR E0220 //~| ERROR E0191 fn main() { }