1 error[E0220]: associated type `F` not found for `Trait`
4 LL | type Foo = dyn Trait<F=i32>;
5 | ^ associated type `F` not found
7 error[E0191]: the value of the associated type `Bar` (from trait `Trait`) must be specified
11 | -------- `Bar` defined here
13 LL | type Foo = dyn Trait<F=i32>;
14 | ^^^^^^^^^^^^ help: specify the associated type: `Trait<F=i32, Bar = Type>`
16 error: aborting due to 2 previous errors
18 Some errors have detailed explanations: E0191, E0220.
19 For more information about an error, try `rustc --explain E0191`.