public interface A {
    public abstract @org.jetbrains.annotations.NotNull method foo(): java.lang.String
}


public class Base {
    private final @org.jetbrains.annotations.NotNull field a: A
    private final @org.jetbrains.annotations.NotNull field p: java.lang.String
    public method <init>(@org.jetbrains.annotations.NotNull p0: java.lang.String): void
    public @org.jetbrains.annotations.NotNull method getA(): A
    public final @org.jetbrains.annotations.NotNull method getP(): java.lang.String
}


public class Derived1 {
    private final @org.jetbrains.annotations.NotNull field a: A
    inner class Derived1/Derived2
    public method <init>(@org.jetbrains.annotations.NotNull p0: java.lang.String): void
    public @org.jetbrains.annotations.NotNull method getA(): A
}


public final class Derived1/Derived2 {
    synthetic final field this$0: Derived1
    private final @org.jetbrains.annotations.NotNull field x: A
    inner class Derived1/Derived2
    public method <init>(@java.lang.Synthetic p0: Derived1, @org.jetbrains.annotations.NotNull p1: java.lang.String): void
    public final @org.jetbrains.annotations.NotNull method getX(): A
}


public final class Kt11634_4Kt {
    public final static @org.jetbrains.annotations.NotNull method box(): java.lang.String
}
