error[E0599]: the function or associated item `bat` exists for struct `Foo`, but its trait bounds were not satisfied
 --> src/main.rs:8:10
  |
1 | struct Foo;
  | ----------
  | |
  | function or associated item `bat` not found for this struct
  | doesn't satisfy `Foo: Bar`
  | doesn't satisfy `Foo: Bat`
  | doesn't satisfy `Foo: Baz`
...
8 |     Foo::bat(());
  |          ^^^ function or associated item cannot be called on `Foo` due to unsatisfied trait bounds
  |
note: the following trait bounds were not satisfied:
      `&Foo: Bar`
      `&Foo: Baz`
      `&mut Foo: Bar`
      `&mut Foo: Baz`
      `Foo: Bar`
      `Foo: Baz`
 --> src/main.rs:5:38
  |
5 | impl<T> Bat for T where T: 'static + Bar + Baz { fn bat(&self) { println!("generic bat"); } }
  |         ---     -                    ^^^   ^^^ unsatisfied trait bound introduced here
  |                                      |
  |                                      unsatisfied trait bound introduced here
note: the traits `Bar` and `Baz` must be implemented
 --> src/main.rs:2:1
  |
2 | trait Bar {}
  | ^^^^^^^^^
3 | trait Baz {}
  | ^^^^^^^^^

error[E0599]: the function or associated item `bat` exists for struct `Foo`, but its trait bounds were not satisfied
 --> src/main.rs:8:10
  |
1 | struct Foo;
  | ----------
  | |
  | function or associated item `bat` not found for this struct
  | `Foo` doesn't implement `Bar`, `Bat` or `Baz`
...
8 |     Foo::bat(());
  |          ^^^ function or associated item cannot be called on `Foo` due to unsatisfied trait bounds
  |
note: for `bat` to be available, `Foo` must implement `Bar` and `Baz`
 --> src/main.rs:5:38
  |
5 | impl<T> Bat for T where T: 'static + Bar + Baz { fn bat(&self) { println!("generic bat"); } }
  |         ---     -                    ^^^   ^^^ unsatisfied trait bound introduced here
  |                                      |
  |                                      unsatisfied trait bound introduced here
note: the traits `Bar` and `Baz` must be implemented
 --> src/main.rs:2:1
  |
2 | trait Bar {}
  | ^^^^^^^^^
3 | trait Baz {}
  | ^^^^^^^^^