Trait resolution crash on coinductive goal

[Nadrieril]

This causes a stack overflow, presumably related to trait resolution:

struct Node<C: Trait<Self>>(C::Assoc);

trait Trait<T> {
    type Assoc;
}

impl<T> Trait<T> for Vec<()> {
    type Assoc = Vec<T>;
}

fn main() {
    let _ = Node::<Vec<()>>(Vec::new());
}

This is valid rust code (taken from the rustc test suite).

[Nadrieril]

Another fun one:

trait A<T> {}
struct B<T> where B<T>: A<B<T>> { t: T }