public final class A {
    private final @org.jetbrains.annotations.NotNull field o: java.lang.String
    public method <init>(@org.jetbrains.annotations.NotNull p0: java.lang.String): void
    public final @org.jetbrains.annotations.NotNull method getO(): java.lang.String
}


public final class B {
    private final @org.jetbrains.annotations.NotNull field k: java.lang.String
    public method <init>(@org.jetbrains.annotations.NotNull p0: java.lang.String): void
    public @org.jetbrains.annotations.NotNull method getK(): java.lang.String
}


public final class ExtensionPropertyAndExtensionGetValueKt {
    private synthetic final static field $$delegatedProperties: kotlin.reflect.KProperty[]
    private final static @org.jetbrains.annotations.NotNull field prop$delegate: A
    public final static @org.jetbrains.annotations.NotNull method box(): java.lang.String
    public final static @org.jetbrains.annotations.NotNull method getProp(@org.jetbrains.annotations.NotNull p0: B): java.lang.String
    public final static @org.jetbrains.annotations.NotNull method getValue(@org.jetbrains.annotations.NotNull p0: A, @org.jetbrains.annotations.NotNull p1: I, @org.jetbrains.annotations.NotNull p2: java.lang.Object): java.lang.String
}


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