Unify code for checking return type on override for fun/property

This fixes issues with the refinement of property' return type because
for functions' return type we already perform refinement properly

idea/testData/multiplatform/overrideExpect/jvm/jvm.kt

@@ -7,7 +7,7 @@ interface Derived : Base {
 
     override fun Expect.expectInReceiver()
 
-    override val expectVal: <!PROPERTY_TYPE_MISMATCH_ON_OVERRIDE!>Expect<!>
+    override val expectVal: Expect
 
-    override var expectVar: <!VAR_TYPE_MISMATCH_ON_OVERRIDE!>Expect<!>
+    override var expectVar: Expect
 }