error[E0437]: type `Bar` is not a member of trait `Foo`
  --> $DIR/E0437.rs:4:5
   |
LL |     type Bar = bool; //~ ERROR E0437
   |     ^^^^^^^^^^^^^^^^ not a member of trait `Foo`

error: aborting due to previous error

For more information about this error, try `rustc --explain E0437`.