Module: lib
@kotlin.Metadata
public interface Foo {
    // source: 'Foo.kt'
    public @org.jetbrains.annotations.NotNull method nonOverride(): java.lang.String
    public @org.jetbrains.annotations.NotNull method toOverride(): java.lang.String
}
Module: main
@kotlin.Metadata
public final class Derived$DefaultImpls {
    // source: 'main.kt'
    public static @org.jetbrains.annotations.NotNull method toOverride(@org.jetbrains.annotations.NotNull p0: Derived): java.lang.String
    public final inner class Derived$DefaultImpls
}

@kotlin.Metadata
public interface Derived {
    // source: 'main.kt'
    public abstract @org.jetbrains.annotations.NotNull method toOverride(): java.lang.String
    public final inner class Derived$DefaultImpls
}

@kotlin.Metadata
public final class DerivedClass {
    // source: 'main.kt'
    public method <init>(): void
    public bridge @org.jetbrains.annotations.NotNull method nonOverride(): java.lang.String
    public bridge @org.jetbrains.annotations.NotNull method toOverride(): java.lang.String
    public final inner class Derived$DefaultImpls
}

@kotlin.Metadata
public final class MainKt {
    // source: 'main.kt'
    public final static @org.jetbrains.annotations.NotNull method box(): java.lang.String
}
