about summary refs log tree commit diff
path: root/tests/ui/associated-types/point-at-type-on-obligation-failure.stderr
blob: 1c9de509e683eb1895a0728ebce751f4b31bcb1f (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
error[E0271]: type mismatch resolving `<Foo2 as Bar2>::Ok == ()`
  --> $DIR/point-at-type-on-obligation-failure.rs:14:20
   |
LL |     type Sibling = Foo2;
   |                    ^^^^ type mismatch resolving `<Foo2 as Bar2>::Ok == ()`
   |
note: expected this to be `()`
  --> $DIR/point-at-type-on-obligation-failure.rs:18:15
   |
LL |     type Ok = u32;
   |               ^^^
note: required by a bound in `Bar::Sibling`
  --> $DIR/point-at-type-on-obligation-failure.rs:3:24
   |
LL |     type Sibling: Bar2<Ok=Self::Ok>;
   |                        ^^^^^^^^^^^ required by this bound in `Bar::Sibling`

error: aborting due to 1 previous error

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