src/test/ui/associated-types/impl-wf-cycle-1.rs

   1 // Regression test for #79714
   2
   3 trait Baz {}
   4 impl Baz for () {}
   5 impl<T> Baz for (T,) {}
   6
   7 trait Fiz {}
   8 impl Fiz for bool {}
   9
  10 trait Grault {
  11     type A;
  12     type B;
  13 }
  14
  15 impl<T: Grault> Grault for (T,)
  16 //~^ ERROR overflow evaluating the requirement `<(T,) as Grault>::A == _`
  17 where
  18     Self::A: Baz,
  19     Self::B: Fiz,
  20 {
  21     type A = ();
  22     type B = bool;
  23 }
  24
  25 fn main() {
  26     let x: <(_,) as Grault>::A = ();
  27 }