| //@ normalize-stderr-test: "long-type-\d+" -> "long-type-hash" | |
| 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() {} |