@@ -0,0 +1,704 @@
+import java.io.*;%0Aimport java.lang.annotation.*;%0A%0Apublic class Test %7B%0A%0A  @Target(%7BElementType.METHOD, ElementType.FIELD, ElementType.PARAMETER, ElementType.LOCAL_VARIABLE, ElementType.TYPE_USE%7D)%0A  @interface NotNull %7B %7D%0A%0A  public static void test() %7B%0A%0A        OutputStream stream = new OutputStream() %7B%0A          @Override%0A          public void write(int b) throws IOException %7B%0A            OutputStream otherStream = null;%0A            otherStream.write(1);            %0A          %7D%0A          @Override%0A          public void write(byte @NotNull %5B%5D b, int off, int len) throws IOException %7B // GOOD: even with the annotation @NotNull, this overrides write(byte%5B%5D, int, int).%0A          %7D%0A        %7D;%0A%0A  %7D%0A%0A%7D%0A

Add test checking that inheritence is noticed even with annotations present