public abstract interface class cases/interfaces/BaseWithImpl {
	public fun foo ()I
}

public abstract interface class cases/interfaces/DerivedWithImpl : cases/interfaces/BaseWithImpl {
	public fun foo ()I
}

public abstract interface class cases/interfaces/DerivedWithoutImpl : cases/interfaces/BaseWithImpl {
}

public abstract interface class cases/interfaces/EmptyImpls {
	public abstract fun getProperty ()Ljava/lang/String;
}

