compiler/testData/asJava/lightClasses/nullabilityAnnotations/IntOverridesAny.java

public final class C implements Tr {
    private final int v;

    @org.jetbrains.annotations.NotNull
    public java.lang.Integer foo() { /* compiled code */ }

    @org.jetbrains.annotations.NotNull
    public java.lang.Integer getV() { /* compiled code */ }

    public C() { /* compiled code */ }
}