From 85ca5294ef4f691853cfa1d5c0fd182d7bcf3cca Mon Sep 17 00:00:00 2001 From: Ilya Chernikov Date: Tue, 18 Jul 2023 15:48:28 +0200 Subject: [PATCH] K2: add test for already fixed missing diagnostic issue #KT-55956 --- ...CompilerTestFE10TestdataTestGenerated.java | 6 +++++ ...sticCompilerFE10TestDataTestGenerated.java | 6 +++++ ...eeOldFrontendDiagnosticsTestGenerated.java | 6 +++++ ...siOldFrontendDiagnosticsTestGenerated.java | 6 +++++ .../diagnostics/tests/regressions/kt55956.kt | 22 +++++++++++++++++++ .../test/runners/DiagnosticTestGenerated.java | 6 +++++ 6 files changed, 52 insertions(+) create mode 100644 compiler/testData/diagnostics/tests/regressions/kt55956.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 172f03e3603..b780679ffb3 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 @@ -27098,6 +27098,12 @@ public class DiagnosticCompilerTestFE10TestdataTestGenerated extends AbstractDia runTest("compiler/testData/diagnostics/tests/regressions/kt557.kt"); } + @Test + @TestMetadata("kt55956.kt") + public void testKt55956() throws Exception { + runTest("compiler/testData/diagnostics/tests/regressions/kt55956.kt"); + } + @Test @TestMetadata("kt571.kt") public void testKt571() 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 54b59f33187..5b65a844f96 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 @@ -27098,6 +27098,12 @@ public class LLFirPreresolvedReversedDiagnosticCompilerFE10TestDataTestGenerated runTest("compiler/testData/diagnostics/tests/regressions/kt557.kt"); } + @Test + @TestMetadata("kt55956.kt") + public void testKt55956() throws Exception { + runTest("compiler/testData/diagnostics/tests/regressions/kt55956.kt"); + } + @Test @TestMetadata("kt571.kt") public void testKt571() 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 a3b8e4ae72b..fe4cdbcaf02 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 @@ -27098,6 +27098,12 @@ public class FirLightTreeOldFrontendDiagnosticsTestGenerated extends AbstractFir runTest("compiler/testData/diagnostics/tests/regressions/kt557.kt"); } + @Test + @TestMetadata("kt55956.kt") + public void testKt55956() throws Exception { + runTest("compiler/testData/diagnostics/tests/regressions/kt55956.kt"); + } + @Test @TestMetadata("kt571.kt") public void testKt571() 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 71cb3019999..5489fca7452 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 @@ -27110,6 +27110,12 @@ public class FirPsiOldFrontendDiagnosticsTestGenerated extends AbstractFirPsiDia runTest("compiler/testData/diagnostics/tests/regressions/kt557.kt"); } + @Test + @TestMetadata("kt55956.kt") + public void testKt55956() throws Exception { + runTest("compiler/testData/diagnostics/tests/regressions/kt55956.kt"); + } + @Test @TestMetadata("kt571.kt") public void testKt571() throws Exception { diff --git a/compiler/testData/diagnostics/tests/regressions/kt55956.kt b/compiler/testData/diagnostics/tests/regressions/kt55956.kt new file mode 100644 index 00000000000..44d174fc0b0 --- /dev/null +++ b/compiler/testData/diagnostics/tests/regressions/kt55956.kt @@ -0,0 +1,22 @@ +// FIR_IDENTICAL +// TARGET_BACKEND: JVM_IR + +@file:MyExperimentalAPI + +@RequiresOptIn +@Target(AnnotationTarget.CLASS) +annotation class MyExperimentalAPI + +@MyExperimentalAPI +class Some { + fun foo() {} +} + +class Bar { + @OptIn(MyExperimentalAPI::class) + fun bar() { + Some().foo() + } +} + +fun main(args: Array) {} 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 721dffc401b..0afc629f0a3 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 @@ -28690,6 +28690,12 @@ public class DiagnosticTestGenerated extends AbstractDiagnosticTest { runTest("compiler/testData/diagnostics/tests/regressions/kt557.kt"); } + @Test + @TestMetadata("kt55956.kt") + public void testKt55956() throws Exception { + runTest("compiler/testData/diagnostics/tests/regressions/kt55956.kt"); + } + @Test @TestMetadata("kt571.kt") public void testKt571() throws Exception {