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


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


public class Derived {
    private synthetic final field $$delegate_0: Base
    public method <init>(): void
    public @org.jetbrains.annotations.NotNull method getResult(): java.lang.String
}


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


public final class Z {
    public method <init>(): void
}
