Dmitry Petrov
b36e3bc083
An overridden abstract member with a more specific "return type" than an overridden concrete member should be explicitly overridden even if the class in question can have abstract members.
13 lines
268 B
Kotlin
Vendored
13 lines
268 B
Kotlin
Vendored
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() |