X_in.java

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