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 {  //~ ERROR type mismatch resolving `<Foo2 as Bar2>::Ok == char`
  13     type Ok = ();
  14     type Sibling = Foo2;
  15 }
  16 impl Bar2 for Foo2 {
  17     type Ok = u32;
  18 }
  19
  20 fn main() {}