diff --git a/compiler/testData/diagnostics/tests/inference/kt28654.kt b/compiler/testData/diagnostics/tests/inference/kt28654.kt new file mode 100644 index 00000000000..5372d7e356a --- /dev/null +++ b/compiler/testData/diagnostics/tests/inference/kt28654.kt @@ -0,0 +1,10 @@ +// !WITH_NEW_INFERENCE +// !DIAGNOSTICS: -UNUSED_VARIABLE +// Related issue: KT-28654 + +fun select(): K = run { } + +fun test() { + val x: Int = select() + val t = select() +} \ No newline at end of file diff --git a/compiler/testData/diagnostics/tests/inference/kt28654.txt b/compiler/testData/diagnostics/tests/inference/kt28654.txt new file mode 100644 index 00000000000..aedfd4bed76 --- /dev/null +++ b/compiler/testData/diagnostics/tests/inference/kt28654.txt @@ -0,0 +1,4 @@ +package + +public fun select(): K +public fun test(): kotlin.Unit diff --git a/compiler/tests/org/jetbrains/kotlin/checkers/DiagnosticsTestGenerated.java b/compiler/tests/org/jetbrains/kotlin/checkers/DiagnosticsTestGenerated.java index 598101b02ac..b4c923b06a8 100644 --- a/compiler/tests/org/jetbrains/kotlin/checkers/DiagnosticsTestGenerated.java +++ b/compiler/tests/org/jetbrains/kotlin/checkers/DiagnosticsTestGenerated.java @@ -9500,6 +9500,11 @@ public class DiagnosticsTestGenerated extends AbstractDiagnosticsTest { runTest("compiler/testData/diagnostics/tests/inference/kt28598.kt"); } + @TestMetadata("kt28654.kt") + public void testKt28654() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/kt28654.kt"); + } + @TestMetadata("kt3184.kt") public void testKt3184() throws Exception { runTest("compiler/testData/diagnostics/tests/inference/kt3184.kt"); diff --git a/compiler/tests/org/jetbrains/kotlin/checkers/javac/DiagnosticsUsingJavacTestGenerated.java b/compiler/tests/org/jetbrains/kotlin/checkers/javac/DiagnosticsUsingJavacTestGenerated.java index 50bac656f82..daa5622e841 100644 --- a/compiler/tests/org/jetbrains/kotlin/checkers/javac/DiagnosticsUsingJavacTestGenerated.java +++ b/compiler/tests/org/jetbrains/kotlin/checkers/javac/DiagnosticsUsingJavacTestGenerated.java @@ -9495,6 +9495,11 @@ public class DiagnosticsUsingJavacTestGenerated extends AbstractDiagnosticsUsing runTest("compiler/testData/diagnostics/tests/inference/kt28598.kt"); } + @TestMetadata("kt28654.kt") + public void testKt28654() throws Exception { + runTest("compiler/testData/diagnostics/tests/inference/kt28654.kt"); + } + @TestMetadata("kt3184.kt") public void testKt3184() throws Exception { runTest("compiler/testData/diagnostics/tests/inference/kt3184.kt");