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

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

  @org.jetbrains.annotations.NotNull()
  public java.lang.Integer foo();//  foo()

  @org.jetbrains.annotations.NotNull()
  public java.lang.Integer getV();//  getV()

  public  C();//  .ctor()

}