src/test/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 where
   9     Self::A: Copy,
  10 {
  11     type A = ();
  12     //~^ ERROR overflow evaluating the requirement `<(T,) as Grault>::A == _`
  13 }
  14 //~^^^^^^^ ERROR overflow evaluating the requirement `<(T,) as Grault>::A == _`
  15
  16 fn main() {}