src/test/ui/issues/issue-23122-2.rs

   1 // ignore-compare-mode-chalk
   2 trait Next {
   3     type Next: Next;
   4 }
   5
   6 struct GetNext<T: Next> { t: T }
   7
   8 impl<T: Next> Next for GetNext<T> {
   9     type Next = <GetNext<T::Next> as Next>::Next;
  10     //~^ ERROR overflow evaluating the requirement
  11 }
  12
  13 fn main() {}