From 79fce56c950eb7ed115769935c6a18b667a45906 Mon Sep 17 00:00:00 2001 From: Nikolay Lunyak Date: Thu, 6 Jul 2023 11:37:57 +0300 Subject: [PATCH] [FIR] Add a test for KT-59233 --- .../DiagnosticCompilerTestFE10TestdataTestGenerated.java | 6 ++++++ ...versedDiagnosticCompilerFE10TestDataTestGenerated.java | 6 ++++++ .../FirLightTreeOldFrontendDiagnosticsTestGenerated.java | 6 ++++++ .../FirPsiOldFrontendDiagnosticsTestGenerated.java | 6 ++++++ .../diagnostics/tests/referenceToParameterizedFun.fir.kt | 8 ++++++++ .../diagnostics/tests/referenceToParameterizedFun.kt | 8 ++++++++ .../kotlin/test/runners/DiagnosticTestGenerated.java | 6 ++++++ 7 files changed, 46 insertions(+) create mode 100644 compiler/testData/diagnostics/tests/referenceToParameterizedFun.fir.kt create mode 100644 compiler/testData/diagnostics/tests/referenceToParameterizedFun.kt diff --git a/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/DiagnosticCompilerTestFE10TestdataTestGenerated.java b/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/DiagnosticCompilerTestFE10TestdataTestGenerated.java index 308a12d6059..87fc10ef1a9 100644 --- a/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/DiagnosticCompilerTestFE10TestdataTestGenerated.java +++ b/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/DiagnosticCompilerTestFE10TestdataTestGenerated.java @@ -921,6 +921,12 @@ public class DiagnosticCompilerTestFE10TestdataTestGenerated extends AbstractDia runTest("compiler/testData/diagnostics/tests/RecursiveTypeParameterEqualityCheck.kt"); } + @Test + @TestMetadata("referenceToParameterizedFun.kt") + public void testReferenceToParameterizedFun() throws Exception { + runTest("compiler/testData/diagnostics/tests/referenceToParameterizedFun.kt"); + } + @Test @TestMetadata("ReserveYield.kt") public void testReserveYield() throws Exception { diff --git a/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/LLFirPreresolvedReversedDiagnosticCompilerFE10TestDataTestGenerated.java b/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/LLFirPreresolvedReversedDiagnosticCompilerFE10TestDataTestGenerated.java index f0c0e89f199..72cdccf1f7e 100644 --- a/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/LLFirPreresolvedReversedDiagnosticCompilerFE10TestDataTestGenerated.java +++ b/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/LLFirPreresolvedReversedDiagnosticCompilerFE10TestDataTestGenerated.java @@ -921,6 +921,12 @@ public class LLFirPreresolvedReversedDiagnosticCompilerFE10TestDataTestGenerated runTest("compiler/testData/diagnostics/tests/RecursiveTypeParameterEqualityCheck.kt"); } + @Test + @TestMetadata("referenceToParameterizedFun.kt") + public void testReferenceToParameterizedFun() throws Exception { + runTest("compiler/testData/diagnostics/tests/referenceToParameterizedFun.kt"); + } + @Test @TestMetadata("ReserveYield.kt") public void testReserveYield() throws Exception { diff --git a/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirLightTreeOldFrontendDiagnosticsTestGenerated.java b/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirLightTreeOldFrontendDiagnosticsTestGenerated.java index 40f8e122557..e80b25c1124 100644 --- a/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirLightTreeOldFrontendDiagnosticsTestGenerated.java +++ b/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirLightTreeOldFrontendDiagnosticsTestGenerated.java @@ -921,6 +921,12 @@ public class FirLightTreeOldFrontendDiagnosticsTestGenerated extends AbstractFir runTest("compiler/testData/diagnostics/tests/RecursiveTypeParameterEqualityCheck.kt"); } + @Test + @TestMetadata("referenceToParameterizedFun.kt") + public void testReferenceToParameterizedFun() throws Exception { + runTest("compiler/testData/diagnostics/tests/referenceToParameterizedFun.kt"); + } + @Test @TestMetadata("ReserveYield.kt") public void testReserveYield() throws Exception { diff --git a/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirPsiOldFrontendDiagnosticsTestGenerated.java b/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirPsiOldFrontendDiagnosticsTestGenerated.java index f327c14ed35..dc46fa0efb1 100644 --- a/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirPsiOldFrontendDiagnosticsTestGenerated.java +++ b/compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirPsiOldFrontendDiagnosticsTestGenerated.java @@ -921,6 +921,12 @@ public class FirPsiOldFrontendDiagnosticsTestGenerated extends AbstractFirPsiDia runTest("compiler/testData/diagnostics/tests/RecursiveTypeParameterEqualityCheck.kt"); } + @Test + @TestMetadata("referenceToParameterizedFun.kt") + public void testReferenceToParameterizedFun() throws Exception { + runTest("compiler/testData/diagnostics/tests/referenceToParameterizedFun.kt"); + } + @Test @TestMetadata("ReserveYield.kt") public void testReserveYield() throws Exception { diff --git a/compiler/testData/diagnostics/tests/referenceToParameterizedFun.fir.kt b/compiler/testData/diagnostics/tests/referenceToParameterizedFun.fir.kt new file mode 100644 index 00000000000..4764b0f8f24 --- /dev/null +++ b/compiler/testData/diagnostics/tests/referenceToParameterizedFun.fir.kt @@ -0,0 +1,8 @@ +// ISSUE: KT-59233 + +fun consume(arg: T) {} + +fun box(): String { + val foo = ::consume + return "OK" +} diff --git a/compiler/testData/diagnostics/tests/referenceToParameterizedFun.kt b/compiler/testData/diagnostics/tests/referenceToParameterizedFun.kt new file mode 100644 index 00000000000..30841ebcd4b --- /dev/null +++ b/compiler/testData/diagnostics/tests/referenceToParameterizedFun.kt @@ -0,0 +1,8 @@ +// ISSUE: KT-59233 + +fun consume(arg: T) {} + +fun box(): String { + val foo = ::consume + return "OK" +} diff --git a/compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/DiagnosticTestGenerated.java b/compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/DiagnosticTestGenerated.java index ff0094f437d..4e9324cf410 100644 --- a/compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/DiagnosticTestGenerated.java +++ b/compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/DiagnosticTestGenerated.java @@ -921,6 +921,12 @@ public class DiagnosticTestGenerated extends AbstractDiagnosticTest { runTest("compiler/testData/diagnostics/tests/RecursiveTypeParameterEqualityCheck.kt"); } + @Test + @TestMetadata("referenceToParameterizedFun.kt") + public void testReferenceToParameterizedFun() throws Exception { + runTest("compiler/testData/diagnostics/tests/referenceToParameterizedFun.kt"); + } + @Test @TestMetadata("ReserveYield.kt") public void testReserveYield() throws Exception {