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


public final class A/B {
    private final @org.jetbrains.annotations.NotNull field result: java.lang.String
    private final @org.jetbrains.annotations.NotNull field s: java.lang.String
    synthetic final field this$0: A
    inner class A/B
    public method <init>(@java.lang.Synthetic p0: A, @org.jetbrains.annotations.NotNull p1: java.lang.String): void
    public final @org.jetbrains.annotations.NotNull method getResult(): java.lang.String
    public final @org.jetbrains.annotations.NotNull method getS(): java.lang.String
}


public final class C {
    inner class C/X
    public method <init>(): void
}


public final class C/X {
    synthetic final field this$0: C
    inner class C/X
    public method <init>(p0: C): void
    public final @org.jetbrains.annotations.NotNull method classReceiver(): A.B
    public final @org.jetbrains.annotations.NotNull method superCCastReceiver(): A.B
    public final @org.jetbrains.annotations.NotNull method superCReceiver(): A.B
    public final @org.jetbrains.annotations.NotNull method superReceiver(): A.B
    public final @org.jetbrains.annotations.NotNull method superXCastReceiver(): A.B
    public final @org.jetbrains.annotations.NotNull method superXReceiver(): A.B
}


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