package foo;

import java.lang.System;

@kotlin.Metadata()
public abstract interface InterfaceWithDefaults<T extends java.lang.Object> {

    public abstract void foo();

    @kotlin.Metadata()
    public static final class DefaultImpls {

        public DefaultImpls() {
            super();
        }

        public static <T extends java.lang.Object>void foo(@org.jetbrains.annotations.NotNull()
        foo.InterfaceWithDefaults<T> $this) {
        }
    }
}

////////////////////

package foo;

import java.lang.System;

@kotlin.Metadata()
public abstract interface SubInterface<T extends java.lang.Object> extends foo.InterfaceWithDefaults<T> {

    @kotlin.Metadata()
    public static final class DefaultImpls {

        public DefaultImpls() {
            super();
        }

        public static <T extends java.lang.Object>void foo(@org.jetbrains.annotations.NotNull()
        foo.SubInterface<T> $this) {
        }
    }
}
