public class X<A extends X<X<X<@Marker String>>>> {} class Y<T> { Zork z; }