1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
//@ 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() {}