strangepleasures
9688c3e761
Merge-request: KT-MR-14244 Merged-by: Pavel Mikhailovskii <Pavel.Mikhailovskii@jetbrains.com>
33 lines
647 B
Plaintext
Vendored
33 lines
647 B
Plaintext
Vendored
package foo;
|
|
|
|
/**
|
|
* public abstract interface foo/InterfaceWithDefaults<T#0 (* T *)> : kotlin/Any {
|
|
*
|
|
* // signature: foo()V
|
|
* public open fun foo(): kotlin/Unit
|
|
*
|
|
* // module name: main
|
|
* }
|
|
*/
|
|
@kotlin.Metadata()
|
|
public abstract interface InterfaceWithDefaults<T extends java.lang.Object> {
|
|
|
|
public default void foo() {
|
|
}
|
|
}
|
|
|
|
|
|
////////////////////
|
|
|
|
package foo;
|
|
|
|
/**
|
|
* public abstract interface foo/SubInterface<T#0 (* T *)> : foo/InterfaceWithDefaults<T#0> {
|
|
*
|
|
* // module name: main
|
|
* }
|
|
*/
|
|
@kotlin.Metadata()
|
|
public abstract interface SubInterface<T extends java.lang.Object> extends foo.InterfaceWithDefaults<T> {
|
|
}
|