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:
Dmitry Savvinov
2020-09-25 14:17:56 +03:00
parent ac107f362e
commit 736ecf3e9f
2 changed files with 8 additions and 0 deletions
@@ -6,4 +6,8 @@ interface Base {
fun expectInArgument(e: Expect)
fun Expect.expectInReceiver()
val expectVal: Expect
var expectVar: Expect
}
+4
View File
@@ -6,4 +6,8 @@ interface Derived : Base {
override fun expectInArgument(e: Expect)
override fun Expect.expectInReceiver()
override val expectVal: <!PROPERTY_TYPE_MISMATCH_ON_OVERRIDE!>Expect<!>
override var expectVar: <!VAR_TYPE_MISMATCH_ON_OVERRIDE!>Expect<!>
}