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