1 error[E0277]: the trait bound `bool: Bar` is not satisfied
2 --> $DIR/point-at-type-on-obligation-failure-2.rs:8:18
4 LL | type Assoc = bool;
5 | ^^^^ the trait `Bar` is not implemented for `bool`
7 note: required by a bound in `Foo::Assoc`
8 --> $DIR/point-at-type-on-obligation-failure-2.rs:4:17
11 | ^^^ required by this bound in `Foo::Assoc`
13 error[E0277]: the trait bound `bool: Bar` is not satisfied
14 --> $DIR/point-at-type-on-obligation-failure-2.rs:19:18
16 LL | type Assoc = bool;
17 | ^^^^ the trait `Bar` is not implemented for `bool`
19 note: required by a bound in `Baz::Assoc`
20 --> $DIR/point-at-type-on-obligation-failure-2.rs:13:18
22 LL | Self::Assoc: Bar,
23 | ^^^ required by this bound in `Baz::Assoc`
26 | ----- required by a bound in this
28 error[E0277]: the trait bound `bool: Bar` is not satisfied
29 --> $DIR/point-at-type-on-obligation-failure-2.rs:30:18
31 LL | type Assoc = bool;
32 | ^^^^ the trait `Bar` is not implemented for `bool`
34 note: required by a bound in `Bat::Assoc`
35 --> $DIR/point-at-type-on-obligation-failure-2.rs:24:27
37 LL | <Self as Bat>::Assoc: Bar,
38 | ^^^ required by this bound in `Bat::Assoc`
41 | ----- required by a bound in this
43 error: aborting due to 3 previous errors
45 For more information about this error, try `rustc --explain E0277`.