K2: reproduce KT-67912

(cherry picked from commit f6a80b8)
JetBrains · May 7, 2024 · cda1ad4 · cda1ad4
1 parent 8e0919e
commit cda1ad4
Show file tree

Hide file tree

Showing 9 changed files with 108 additions and 0 deletions.
diff --git a/...el/api/fir/diagnostic/compiler/based/DiagnosticCompilerTestFE10TestdataTestGenerated.java b/...el/api/fir/diagnostic/compiler/based/DiagnosticCompilerTestFE10TestdataTestGenerated.java
diff --git a/...c/compiler/based/LLFirPreresolvedReversedDiagnosticCompilerFE10TestDataTestGenerated.java b/...c/compiler/based/LLFirPreresolvedReversedDiagnosticCompilerFE10TestDataTestGenerated.java
diff --git a/...en/org/jetbrains/kotlin/test/runners/FirLightTreeOldFrontendDiagnosticsTestGenerated.java b/...en/org/jetbrains/kotlin/test/runners/FirLightTreeOldFrontendDiagnosticsTestGenerated.java
diff --git a/...ests-gen/org/jetbrains/kotlin/test/runners/FirPsiOldFrontendDiagnosticsTestGenerated.java b/...ests-gen/org/jetbrains/kotlin/test/runners/FirPsiOldFrontendDiagnosticsTestGenerated.java
diff --git a/compiler/testData/diagnostics/tests/inference/genericWithUnmatchedNullabilityDelegate.fir.kt b/compiler/testData/diagnostics/tests/inference/genericWithUnmatchedNullabilityDelegate.fir.kt
@@ -0,0 +1,12 @@
+// ISSUE: KT-67912
+// WITH_STDLIB
+
+interface Bound
+
+inline fun <reified F : Bound> foo(key: String): F? = null
+
+fun main() {
+ val otherValue: Map<String, String> by <!DELEGATE_SPECIAL_FUNCTION_NONE_APPLICABLE!>lazy {
+ foo("") ?: emptyMap()
+ }<!>
+}
diff --git a/compiler/testData/diagnostics/tests/inference/genericWithUnmatchedNullabilityDelegate.kt b/compiler/testData/diagnostics/tests/inference/genericWithUnmatchedNullabilityDelegate.kt
@@ -0,0 +1,12 @@
+// ISSUE: KT-67912
+// WITH_STDLIB
+
+interface Bound
+
+inline fun <reified F : Bound> foo(key: String): F? = null
+
+fun main() {
+ val otherValue: Map<String, String> by lazy {
+ foo("") ?: emptyMap()
+ }
+}
diff --git a/compiler/testData/diagnostics/tests/inference/genericsWithUnmatchedNullabilityNested.fir.kt b/compiler/testData/diagnostics/tests/inference/genericsWithUnmatchedNullabilityNested.fir.kt
@@ -0,0 +1,12 @@
+// ISSUE: KT-67912
+// WITH_STDLIB
+
+interface Bound
+
+inline fun <reified F : Bound> foo(key: String): F? = null
+
+fun main() {
+ val value: Map<String, String> = <!INITIALIZER_TYPE_MISMATCH, NEW_INFERENCE_ERROR!>requireNotNull(
+ foo("")
+ )<!>
+}
diff --git a/compiler/testData/diagnostics/tests/inference/genericsWithUnmatchedNullabilityNested.kt b/compiler/testData/diagnostics/tests/inference/genericsWithUnmatchedNullabilityNested.kt
@@ -0,0 +1,12 @@
+// ISSUE: KT-67912
+// WITH_STDLIB
+
+interface Bound
+
+inline fun <reified F : Bound> foo(key: String): F? = null
+
+fun main() {
+ val value: Map<String, String> = requireNotNull(
+ foo("")
+ )
+}
diff --git a/...tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/DiagnosticTestGenerated.java b/...tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/DiagnosticTestGenerated.java