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

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