Reproduce KT-69159 and KT-69326

Author: dzharkov

analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/DiagnosticCompilerTestFE10TestdataTestGenerated.java

@@ -0,0 +1,14 @@
+// ISSUE: KT-69159
+
+interface MyExpression<F>
+
+fun <E> getElement(f: MyExpression<E>): E = TODO()
+
+class MyMin<T1, in S1 : T1?> : MyExpression<T1?>
+
+fun <T2, S2 : T2?> MyExpression<in S2>.min(): MyMin<T2, S2> = TODO()
+
+fun main(x: MyExpression<String>) {
+    <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any")!>getElement(x.min())!!<!>
+    getElement(x.min())!!.<!UNRESOLVED_REFERENCE!>length<!>
+}

analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/LLFirPreresolvedReversedDiagnosticCompilerFE10TestDataTestGenerated.java

@@ -0,0 +1,14 @@
+// ISSUE: KT-69159
+
+interface MyExpression<F>
+
+fun <E> getElement(f: MyExpression<E>): E = TODO()
+
+class MyMin<T1, in S1 : T1?> : MyExpression<T1?>
+
+fun <T2, S2 : T2?> MyExpression<in S2>.min(): MyMin<T2, S2> = TODO()
+
+fun main(x: MyExpression<String>) {
+    <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.String")!>getElement(x.min())!!<!>
+    getElement(x.min())!!.length
+}

compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirLightTreeOldFrontendDiagnosticsTestGenerated.java

@@ -0,0 +1,13 @@
+// ISSUE: KT-69159
+interface MyExpression<F>
+
+fun <E> getElement(f: MyExpression<E>): E = TODO()
+
+class MyMin<T1, in S1 : T1?> : MyExpression<T1?>
+
+fun <T2 : Comparable<T2>, S2 : T2?> MyExpression<in S2>.min(): MyMin<T2, S2> = TODO()
+
+fun foo(x: MyExpression<String>) {
+    <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Nothing")!>getElement(x.min())!!<!>
+    getElement(x.min())!!.<!UNRESOLVED_REFERENCE!>length<!>
+}

compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirPsiOldFrontendDiagnosticsTestGenerated.java

@@ -0,0 +1,13 @@
+// ISSUE: KT-69159
+interface MyExpression<F>
+
+fun <E> getElement(f: MyExpression<E>): E = TODO()
+
+class MyMin<T1, in S1 : T1?> : MyExpression<T1?>
+
+fun <T2 : Comparable<T2>, S2 : T2?> MyExpression<in S2>.min(): MyMin<T2, S2> = TODO()
+
+fun foo(x: MyExpression<String>) {
+    <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.String")!>getElement(x.min())!!<!>
+    getElement(x.min())!!.length
+}

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

@@ -0,0 +1,18 @@
+// ISSUE: KT-69326
+
+interface MyExpression<F>
+
+fun <E> getElement(f: MyExpression<E>): E = TODO()
+
+fun <T, S : T> MyExpression<in S>.min1(): MyExpression<T?> = TODO()
+fun <T : Comparable<T>, S : T> MyExpression<in S>.min2(): MyExpression<T?> = TODO()
+
+fun <K : Any> checkNotNull(k: K?): K = TODO()
+
+fun foo(x: MyExpression<String>) {
+    getElement(x.min1())!!.<!UNRESOLVED_REFERENCE!>length<!>
+    checkNotNull(getElement(x.min1())).<!UNRESOLVED_REFERENCE!>length<!>
+
+    getElement(x.min2())!!.<!UNRESOLVED_REFERENCE!>length<!>
+    checkNotNull(getElement(x.min2())).<!UNRESOLVED_REFERENCE!>length<!>
+}

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

@@ -0,0 +1,18 @@
+// ISSUE: KT-69326
+
+interface MyExpression<F>
+
+fun <E> getElement(f: MyExpression<E>): E = TODO()
+
+fun <T, S : T> MyExpression<in S>.min1(): MyExpression<T?> = TODO()
+fun <T : Comparable<T>, S : T> MyExpression<in S>.min2(): MyExpression<T?> = TODO()
+
+fun <K : Any> checkNotNull(k: K?): K = TODO()
+
+fun foo(x: MyExpression<String>) {
+    getElement(x.min1())!!.length
+    checkNotNull(getElement(x.min1())).<!UNRESOLVED_REFERENCE!>length<!>
+
+    getElement(x.min2())!!.length
+    checkNotNull(<!TYPE_MISMATCH!>getElement<!>(x.<!TYPE_MISMATCH!>min2<!>())).<!UNRESOLVED_REFERENCE!>length<!>
+}