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

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

  @java.lang.Override()
  public int foo();//  foo()

  public  C();//  .ctor()

  public int getV();//  getV()

}