compiler/testData/asJava/lightClasses/delegation/Property.fir.java

public final class Derived /* Derived*/ implements Base {
  public  Derived(@org.jetbrains.annotations.NotNull() Base);//  .ctor(Base)

}