tests/ui/associated-types/impl-wf-cycle-2.rs

   1 // Regression test for #79714
   2
   3 trait Grault {
   4     type A;
   5 }
   6
   7 impl<T: Grault> Grault for (T,)
   8 //~^ ERROR overflow evaluating the requirement `<(T,) as Grault>::A == _`
   9 where
  10     Self::A: Copy,
  11 {
  12     type A = ();
  13 }
  14
  15 fn main() {}