error[E0407]: method `b` is not a member of trait `Foo`
  --> $DIR/E0407.rs:9:5
   |
LL |     fn b() {}
   |     ^^^^^^^^^ not a member of trait `Foo`

error: aborting due to previous error

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