Infinite recursion with associated type bounded by its trait

[laijs]

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; // thread 'rustc' has overflowed its stack and core dump
    type Next = <GetNext<T::Next> as Next>::Next; // the rustc runs forever
}

fn main() {}

[mattico]

This now properly gives E0275.

http://is.gd/KDW7SG