K2: reproduce KT-80940, add test for KT-80885

Author: mglukhikh

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

@@ -0,0 +1,18 @@
+// RUN_PIPELINE_TILL: FIR2IR
+// FIR_IDENTICAL
+// ISSUE: KT-80940
+
+// MODULE: lib
+// FILE: lib.kt
+
+@Target(AnnotationTarget.TYPE)
+@Retention(AnnotationRetention.RUNTIME)
+annotation class MyAnnotation(val arg: @MyAnnotation String = "")
+
+// MODULE: main(lib)
+// FILE: main.kt
+
+fun foo(arg: @MyAnnotation String) {}
+
+/* GENERATED_FIR_TAGS: annotationDeclaration, collectionLiteral, functionDeclaration, outProjection, primaryConstructor,
+propertyDeclaration */

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

@@ -0,0 +1,18 @@
+// RUN_PIPELINE_TILL: FIR2IR
+// FIR_IDENTICAL
+// ISSUE: KT-80885, KT-80940
+
+// MODULE: lib
+// FILE: lib.kt
+
+@Target(AnnotationTarget.TYPE)
+@Retention(AnnotationRetention.RUNTIME)
+annotation class MyAnnotation(vararg val arg: @MyAnnotation String = [])
+
+// MODULE: main(lib)
+// FILE: main.kt
+
+fun foo(arg: @MyAnnotation String) {}
+
+/* GENERATED_FIR_TAGS: annotationDeclaration, collectionLiteral, functionDeclaration, outProjection, primaryConstructor, vararg,
+propertyDeclaration */