src/test/ui/associated-types/normalize-cycle-in-eval-no-region.rs

   1 // Case that the fix for #74868 also allowed to compile
   2
   3 // check-pass
   4
   5 trait BoxedDsl {
   6     type Output;
   7 }
   8
   9 impl<T> BoxedDsl for T
  10 where
  11     T: BoxedDsl,
  12 {
  13     type Output = <T as BoxedDsl>::Output;
  14 }
  15
  16 trait HandleUpdate {}
  17
  18 impl<T> HandleUpdate for T where T: BoxedDsl<Output = ()> {}
  19
  20 fn main() {}