@kotlin.Metadata
public interface A {
    public abstract method getProp(): int
}

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

@kotlin.Metadata
public final class Delegate {
    public method <init>(): void
    public final method getValue(@org.jetbrains.annotations.Nullable p0: java.lang.Object, @org.jetbrains.annotations.NotNull p1: kotlin.reflect.KProperty): int
}

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