src/test/ui/associated-types/issue-72806.rs

   1 trait Bar {
   2     type Ok;
   3     type Sibling: Bar2<Ok=char>;
   4 }
   5 trait Bar2 {
   6     type Ok;
   7 }
   8
   9 struct Foo;
  10 struct Foo2;
  11
  12 impl Bar for Foo {
  13     type Ok = ();
  14     type Sibling = Foo2;
  15     //~^ ERROR type mismatch resolving `<Foo2 as Bar2>::Ok == char`
  16 }
  17 impl Bar2 for Foo2 {
  18     type Ok = u32;
  19 }
  20
  21 fn main() {}