public final class A {
    private synthetic final static field $$delegatedProperties: kotlin.reflect.KProperty[]
    private final @org.jetbrains.annotations.NotNull field prop$delegate: Delegate
    public method <init>(): void
    public final @org.jetbrains.annotations.NotNull method getProp(): Derived
    public final method setProp(@org.jetbrains.annotations.NotNull p0: Derived): void
}


public class Base {
    private final @org.jetbrains.annotations.NotNull field a: java.lang.String
    public @synthetic.kotlin.jvm.GeneratedByJvmOverloads method <init>(): void
    public method <init>(@org.jetbrains.annotations.NotNull p0: java.lang.String): void
    public synthetic method <init>(p0: java.lang.String, p1: int, p2: kotlin.jvm.internal.DefaultConstructorMarker): void
    public @org.jetbrains.annotations.NotNull method getA(): java.lang.String
}


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


public final class Delegate {
    private @org.jetbrains.annotations.NotNull field inner: Derived
    public method <init>(): void
    public final @org.jetbrains.annotations.NotNull method getInner(): Derived
    public final @org.jetbrains.annotations.NotNull method getValue(@org.jetbrains.annotations.Nullable p0: java.lang.Object, @org.jetbrains.annotations.NotNull p1: kotlin.reflect.KProperty): Derived
    public final method setInner(@org.jetbrains.annotations.NotNull p0: Derived): void
    public final method setValue(@org.jetbrains.annotations.Nullable p0: java.lang.Object, @org.jetbrains.annotations.NotNull p1: kotlin.reflect.KProperty, @org.jetbrains.annotations.NotNull p2: Base): void
}


public final class Derived {
    private final @org.jetbrains.annotations.NotNull field a: java.lang.String
    public @synthetic.kotlin.jvm.GeneratedByJvmOverloads method <init>(): void
    public method <init>(@org.jetbrains.annotations.NotNull p0: java.lang.String): void
    public synthetic method <init>(p0: java.lang.String, p1: int, p2: kotlin.jvm.internal.DefaultConstructorMarker): void
    public @org.jetbrains.annotations.NotNull method getA(): java.lang.String
}
