No recursion limit for projection

[arielb1]

struct X<A>(A);
trait Foo { type Out; }

impl<T> Foo for X<T> {
    type Out = <X<T> as Foo>::Out;
}

fn main() {}

causes a stack overflow.

[bluss]

This is a stack overflow inside middle::traits::project::normalize_projection_type