1 error[E0277]: the trait bound `bool: Bar` is not satisfied
2 --> $DIR/point-at-type-on-obligation-failure-2.rs:8:18
5 | --- required by a bound in this
7 | --- required by this bound in `Foo`
9 LL | type Assoc = bool;
10 | ^^^^ the trait `Bar` is not implemented for `bool`
12 error[E0277]: the trait bound `bool: Bar` is not satisfied
13 --> $DIR/point-at-type-on-obligation-failure-2.rs:16:18
15 LL | trait Baz where Self::Assoc: Bar {
16 | --- required by this bound in `Baz`
18 LL | type Assoc = bool;
19 | ^^^^ the trait `Bar` is not implemented for `bool`
21 error[E0277]: the trait bound `bool: Bar` is not satisfied
22 --> $DIR/point-at-type-on-obligation-failure-2.rs:24:18
24 LL | trait Bat where <Self as Bat>::Assoc: Bar {
25 | --- required by this bound in `Bat`
27 LL | type Assoc = bool;
28 | ^^^^ the trait `Bar` is not implemented for `bool`
30 error: aborting due to 3 previous errors
32 For more information about this error, try `rustc --explain E0277`.