| //@ compile-flags: -Zwrite-long-types-to-disk=yes | |
| trait Next { | |
| type Next: Next; | |
| } | |
| struct GetNext<T: Next> { | |
| t: T, | |
| } | |
| impl<T: Next> Next for GetNext<T> { | |
| type Next = <GetNext<T::Next> as Next>::Next; | |
| //~^ ERROR overflow evaluating the requirement | |
| } | |
| fn main() {} |