NI: Fix type mismatch caused by smartcast

^KT-25434 Fixed

compiler/testData/diagnostics/tests/inference/tooEagerSmartcast.fir.kt

@@ -0,0 +1,42 @@
+// SKIP_TXT
+// !DIAGNOSTICS: -UNUSED_VARIABLE
+// !LANGUAGE: +NewInference
+
+interface OutBase<out E>
+interface OutDerived<out F> : OutBase<F>
+
+fun <X> OutBase<X>.myLast(): X = TODO()
+
+fun <T> foo(x: OutBase<T>) {
+    if (x is OutDerived<*>) {
+        val l: T = x.myLast() // required T, found Cap(*). Only in NI
+    }
+}
+
+interface InvBase<E>
+interface InvDerived<F> : InvBase<F>
+
+fun <X> InvBase<X>.myLastInv(): X = TODO()
+
+fun <T> fooInv(x: InvBase<T>) {
+    if (x is InvDerived<*>) {
+        val l: T = x.<!INAPPLICABLE_CANDIDATE!>myLastInv<!>() // required T, found Cap(*). Only in NI
+    }
+}
+
+interface Base<E>
+
+fun <Q> Base<Q>.foo(): Q = TODO()
+fun <Q : CharSequence> Base<Q>.baz(): Q = TODO()
+
+interface Derived<F : CharSequence> : Base<F>
+
+fun Number.num() {}
+
+fun main(b: Base<out Number>) {
+    b.foo().num()
+    if (b is Derived<*>) {
+        b.<!INAPPLICABLE_CANDIDATE!>foo<!>().num()
+        b.<!INAPPLICABLE_CANDIDATE!>baz<!>().<!UNRESOLVED_REFERENCE!>length<!>
+    }
+}

compiler/testData/diagnostics/tests/inference/tooEagerSmartcast.kt

@@ -0,0 +1,42 @@
+// SKIP_TXT
+// !DIAGNOSTICS: -UNUSED_VARIABLE
+// !LANGUAGE: +NewInference
+
+interface OutBase<out E>
+interface OutDerived<out F> : OutBase<F>
+
+fun <X> OutBase<X>.myLast(): X = TODO()
+
+fun <T> foo(x: OutBase<T>) {
+    if (x is OutDerived<*>) {
+        val l: T = x.myLast() // required T, found Cap(*). Only in NI
+    }
+}
+
+interface InvBase<E>
+interface InvDerived<F> : InvBase<F>
+
+fun <X> InvBase<X>.myLastInv(): X = TODO()
+
+fun <T> fooInv(x: InvBase<T>) {
+    if (x is InvDerived<*>) {
+        val l: T = x.myLastInv() // required T, found Cap(*). Only in NI
+    }
+}
+
+interface Base<E>
+
+fun <Q> Base<Q>.foo(): Q = TODO()
+fun <Q : CharSequence> Base<Q>.baz(): Q = TODO()
+
+interface Derived<F : CharSequence> : Base<F>
+
+fun Number.num() {}
+
+fun main(b: Base<out Number>) {
+    b.foo().num()
+    if (b is Derived<*>) {
+        b.foo().num()
+        b.baz().length
+    }
+}