public class X<T extends Object & Comparable<? super @Marker String>> {} class Y<T> { Zork z; }