Files
kotlin-fork/idea/testData/checker/unmetTraitRequirements.kt
T
2015-05-13 16:13:13 +02:00

15 lines
240 B
Kotlin

open class Base {
}
interface Derived: <warning>Base</warning> {
fun foo() {
f1(this@Derived)
}
}
<error>class DerivedImpl</error>(): Derived {}
<error>object ObjectImpl</error>: Derived {}
fun f1(b: Base) = b
// KT-3006