Andrey Zinovyev
c98cd3b190
PROPERTY_TYPE_MISMATCH_ON_INHERITANCE, VAR_TYPE_MISMATCH_ON_INHERITANCE, PROPERTY_TYPE_MISMATCH_BY_DELEGATION
14 lines
285 B
Kotlin
Vendored
14 lines
285 B
Kotlin
Vendored
// FIR_IDENTICAL
|
|
interface IFooAny {
|
|
val foo: Any
|
|
}
|
|
|
|
interface IFooStr : IFooAny {
|
|
override val foo: String
|
|
}
|
|
|
|
abstract class BaseAny(override val foo: Any): IFooAny
|
|
|
|
abstract <!PROPERTY_TYPE_MISMATCH_ON_INHERITANCE!>class BaseStr<!> : BaseAny(42), IFooStr
|
|
|
|
class C : BaseStr() |