[rustc.git] / src / test / ui / issues / issue-23122-1.rs

trait Next {
    type Next: Next;
}

struct GetNext<T: Next> {
    t: T,
}

impl<T: Next> Next for GetNext<T> {
    type Next = <GetNext<T> as Next>::Next;
    //~^ ERROR overflow evaluating the requirement
}

fn main() {}
Commit	Line	Data
3157f602 XL	1	trait Next {
3157f602 XL	2	type Next: Next;
a7813a04 XL	3	}
a7813a04 XL	4
5099ac24 FG	5	struct GetNext<T: Next> {
	6	t: T,
	7	}
3157f602 XL	8
3157f602 XL	9	impl<T: Next> Next for GetNext<T> {
3157f602	10	type Next = <GetNext<T> as Next>::Next;
532ac7d7	11	//~^ ERROR overflow evaluating the requirement
54a0048b	12	}
3157f602 XL	13
3157f602 XL	14	fn main() {}