src/test/ui/associated-types/point-at-type-on-obligation-failure.stderr

   1 error[E0271]: type mismatch resolving `<Foo2 as Bar2>::Ok == ()`
   2   --> $DIR/point-at-type-on-obligation-failure.rs:13:5
   3    |
   4 LL |     type Ok;
   5    |          -- associated type defined here
   6 ...
   7 LL | impl Bar for Foo {
   8    | ---------------- in this `impl` item
   9 LL |     type Ok = ();
  10    |     ^^^^^^^^^^^^^ expected `u32`, found `()`
  11
  12 error: aborting due to previous error
  13
  14 For more information about this error, try `rustc --explain E0271`.