Alexander Udalov
10 lines
147 B
Kotlin
Vendored
10 lines
147 B
Kotlin
Vendored
// CORRECT_ERROR_TYPES
|
|
|
|
package foo
|
|
|
|
interface InterfaceWithDefaults<T> {
|
|
fun foo() {}
|
|
}
|
|
|
|
interface SubInterface<T> : InterfaceWithDefaults<T>
|