K2: reproduce KT-61691

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

@@ -1506,6 +1506,12 @@ public class DiagnosticCompilerTestFE10TestdataTestGenerated extends AbstractDia
                 runTest("compiler/testData/diagnostics/tests/annotations/AnnotatedBlock.kt");
             }
 
+            @Test
+            @TestMetadata("AnnotatedCatchValueParameter.kt")
+            public void testAnnotatedCatchValueParameter() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/annotations/AnnotatedCatchValueParameter.kt");
+            }
+
             @Test
             @TestMetadata("AnnotatedConstructor.kt")
             public void testAnnotatedConstructor() throws Exception {

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

@@ -1506,6 +1506,12 @@ public class LLFirPreresolvedReversedDiagnosticCompilerFE10TestDataTestGenerated
                 runTest("compiler/testData/diagnostics/tests/annotations/AnnotatedBlock.kt");
             }
 
+            @Test
+            @TestMetadata("AnnotatedCatchValueParameter.kt")
+            public void testAnnotatedCatchValueParameter() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/annotations/AnnotatedCatchValueParameter.kt");
+            }
+
             @Test
             @TestMetadata("AnnotatedConstructor.kt")
             public void testAnnotatedConstructor() throws Exception {

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

@@ -1506,6 +1506,12 @@ public class FirLightTreeOldFrontendDiagnosticsTestGenerated extends AbstractFir
                 runTest("compiler/testData/diagnostics/tests/annotations/AnnotatedBlock.kt");
             }
 
+            @Test
+            @TestMetadata("AnnotatedCatchValueParameter.kt")
+            public void testAnnotatedCatchValueParameter() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/annotations/AnnotatedCatchValueParameter.kt");
+            }
+
             @Test
             @TestMetadata("AnnotatedConstructor.kt")
             public void testAnnotatedConstructor() throws Exception {

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

@@ -1506,6 +1506,12 @@ public class FirPsiOldFrontendDiagnosticsTestGenerated extends AbstractFirPsiDia
                 runTest("compiler/testData/diagnostics/tests/annotations/AnnotatedBlock.kt");
             }
 
+            @Test
+            @TestMetadata("AnnotatedCatchValueParameter.kt")
+            public void testAnnotatedCatchValueParameter() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/annotations/AnnotatedCatchValueParameter.kt");
+            }
+
             @Test
             @TestMetadata("AnnotatedConstructor.kt")
             public void testAnnotatedConstructor() throws Exception {

compiler/testData/diagnostics/tests/annotations/AnnotatedCatchValueParameter.fir.kt

@@ -0,0 +1,22 @@
+// WITH_STDLIB
+// ISSUE: KT-61691
+
+@Retention(AnnotationRetention.SOURCE)
+@Target(AnnotationTarget.VALUE_PARAMETER)
+annotation class FixCatchValueParameter
+
+@Retention(AnnotationRetention.SOURCE)
+@Target(AnnotationTarget.LOCAL_VARIABLE)
+annotation class FixCatchLocalVariable
+
+@Retention(AnnotationRetention.SOURCE)
+@Target(AnnotationTarget.CLASS)
+annotation class FixCatchClass
+
+fun main() {
+    try {
+
+    } catch (@FixCatchLocalVariable <!WRONG_ANNOTATION_TARGET!>@FixCatchValueParameter<!> <!WRONG_ANNOTATION_TARGET!>@FixCatchClass<!> e: Throwable) {
+
+    }
+}

compiler/testData/diagnostics/tests/annotations/AnnotatedCatchValueParameter.kt

@@ -0,0 +1,22 @@
+// WITH_STDLIB
+// ISSUE: KT-61691
+
+@Retention(AnnotationRetention.SOURCE)
+@Target(AnnotationTarget.VALUE_PARAMETER)
+annotation class FixCatchValueParameter
+
+@Retention(AnnotationRetention.SOURCE)
+@Target(AnnotationTarget.LOCAL_VARIABLE)
+annotation class FixCatchLocalVariable
+
+@Retention(AnnotationRetention.SOURCE)
+@Target(AnnotationTarget.CLASS)
+annotation class FixCatchClass
+
+fun main() {
+    try {
+
+    } catch (@FixCatchLocalVariable @FixCatchValueParameter @FixCatchClass e: Throwable) {
+
+    }
+}

compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/DiagnosticTestGenerated.java

@@ -1506,6 +1506,12 @@ public class DiagnosticTestGenerated extends AbstractDiagnosticTest {
                 runTest("compiler/testData/diagnostics/tests/annotations/AnnotatedBlock.kt");
             }
 
+            @Test
+            @TestMetadata("AnnotatedCatchValueParameter.kt")
+            public void testAnnotatedCatchValueParameter() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/annotations/AnnotatedCatchValueParameter.kt");
+            }
+
             @Test
             @TestMetadata("AnnotatedConstructor.kt")
             public void testAnnotatedConstructor() throws Exception {