Add test case on overriding property of expect-type
Current behaviour is undesired, the fix is in the next commit
This commit is contained in:
@@ -6,4 +6,8 @@ interface Base {
|
|||||||
fun expectInArgument(e: Expect)
|
fun expectInArgument(e: Expect)
|
||||||
|
|
||||||
fun Expect.expectInReceiver()
|
fun Expect.expectInReceiver()
|
||||||
|
|
||||||
|
val expectVal: Expect
|
||||||
|
|
||||||
|
var expectVar: Expect
|
||||||
}
|
}
|
||||||
@@ -6,4 +6,8 @@ interface Derived : Base {
|
|||||||
override fun expectInArgument(e: Expect)
|
override fun expectInArgument(e: Expect)
|
||||||
|
|
||||||
override fun Expect.expectInReceiver()
|
override fun Expect.expectInReceiver()
|
||||||
|
|
||||||
|
override val expectVal: <!PROPERTY_TYPE_MISMATCH_ON_OVERRIDE!>Expect<!>
|
||||||
|
|
||||||
|
override var expectVar: <!VAR_TYPE_MISMATCH_ON_OVERRIDE!>Expect<!>
|
||||||
}
|
}
|
||||||
|
|||||||
Reference in New Issue
Block a user