tests/crashes/124702.rs

//@ known-bug: rust-lang/rust#124702
//@ compile-flags: -Znext-solver=coherence
trait X {}

trait Z {
    type Assoc: Y;
}
struct A<T>(T);

impl<T: X> Z for A<T> {
    type Assoc = T;
}

impl<T> From<<A<A<T>> as Z>::Assoc> for T {}