public final class Derived /* some.Derived*/ implements other.Unresolved {
  @org.jetbrains.annotations.NotNull()
  private final @org.jetbrains.annotations.NotNull() other.Unresolved x = null /* initializer type: null */;

  @org.jetbrains.annotations.NotNull()
  public final @org.jetbrains.annotations.NotNull() other.Unresolved getX();//  getX()

  public  Derived();//  .ctor()

  public final void takeA(@org.jetbrains.annotations.NotNull() @org.jetbrains.annotations.NotNull() other.Unresolved);//  takeA(@org.jetbrains.annotations.NotNull() other.Unresolved)
}
