Trans stack overflow ICE with infinite type generated by projections

[arielb1]

The following program

use std::mem;

pub struct S<T: Tr> {
    pub f: <T as Tr>::I,
}

pub trait Tr {
   type I: Tr;
}

impl<T: Tr> Tr for S<T> {
    type I = S<S<T>>;
}

impl Tr for () {
    type I = ();
}

fn foo<T: Tr>() -> usize {
    mem::size_of::<S<T>>()
}

fn main() {
    println!("{}", foo::<S<()>>());
}

generates a trans-time stack overflow.

[frewsxcv]

Can confirm this is still an issue

~/Downloads $ rustc --version
rustc 1.0.0-beta.2 (e9080ec39 2015-04-16) (built 2015-04-16)

~/Downloads $ rustc test.rs
thread 'rustc' has overflowed its stack
fish: Job 1, 'rustc test.rs ' terminated by signal SIGILL (Illegal instruction)

[arielb1]

This is somewhat distinct from #26548, as it creates an irregular type without selection errors.

[arielb1]

actually, not really.