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

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