From 736ecf3e9fb34f771b20bad54ad095df3dd406fb Mon Sep 17 00:00:00 2001
From: Dmitry Savvinov <dmitry.savvinov@jetbrains.com>
Date: Fri, 25 Sep 2020 14:17:56 +0300
Subject: [PATCH] Add test case on overriding property of expect-type

Current behaviour is undesired, the fix is in the next commit
---
 idea/testData/multiplatform/overrideExpect/common/common.kt | 4 ++++
 idea/testData/multiplatform/overrideExpect/jvm/jvm.kt       | 4 ++++
 2 files changed, 8 insertions(+)

diff --git a/idea/testData/multiplatform/overrideExpect/common/common.kt b/idea/testData/multiplatform/overrideExpect/common/common.kt
index 3d39b1134d8..773e3246626 100644
--- a/idea/testData/multiplatform/overrideExpect/common/common.kt
+++ b/idea/testData/multiplatform/overrideExpect/common/common.kt
@@ -6,4 +6,8 @@ interface Base {
     fun expectInArgument(e: Expect)
 
     fun Expect.expectInReceiver()
+
+    val expectVal: Expect
+
+    var expectVar: Expect
 }
\ No newline at end of file
diff --git a/idea/testData/multiplatform/overrideExpect/jvm/jvm.kt b/idea/testData/multiplatform/overrideExpect/jvm/jvm.kt
index 2fdbc0b6265..114d6d436cc 100644
--- a/idea/testData/multiplatform/overrideExpect/jvm/jvm.kt
+++ b/idea/testData/multiplatform/overrideExpect/jvm/jvm.kt
@@ -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<!>
 }