1 error[E0191]: the value of the associated type `Bar` (from the trait `Trait`) must be specified
2 --> $DIR/E0191.rs:15:12
4 15 | type Foo = Trait; //~ ERROR E0191
5 | ^^^^^ missing associated type `Bar` value
7 error: aborting due to previous error