X_out.java

public class X extends Y<@Marker Integer> {
}

class Y<T> {
	Zork z;
}