src/test/ui/error-codes/E0437.stderr

   1 error[E0437]: type `Bar` is not a member of trait `Foo`
   2   --> $DIR/E0437.rs:14:5
   3    |
   4 14 |     type Bar = bool; //~ ERROR E0437
   5    |     ^^^^^^^^^^^^^^^^ not a member of trait `Foo`
   6
   7 error: aborting due to previous error
   8