From ed73513d482e2aaa69d5478306a9e5f9b08c0e4d Mon Sep 17 00:00:00 2001
From: "victor.petukhov" <victor.petukhov@jetbrains.com>
Date: Tue, 25 Sep 2018 13:02:03 +0300
Subject: [PATCH] Add PSI test templates for identifiers

---
 .../templates/_layout/linkedTestsLayout.kt    | 10 +++++++++
 .../templates/_layout/notLinkedTestsLayout.kt |  9 ++++++++
 .../templates/identifiers/atomicExpression.kt |  9 ++++++++
 .../identifiers/callableReference.kt          |  7 ++++++
 .../psi/templates/identifiers/catchBlock.kt   |  5 +++++
 .../psi/templates/identifiers/class.kt        |  9 ++++++++
 .../templates/identifiers/companionObject.kt  | 17 ++++++++++++++
 .../psi/templates/identifiers/enumEntry.kt    |  4 ++++
 .../identifiers/fileAnnotationComplex.kt      |  1 +
 .../identifiers/fileAnnotationSimple.kt       |  1 +
 .../psi/templates/identifiers/function.kt     |  5 +++++
 .../psi/templates/identifiers/import.kt       |  9 ++++++++
 .../identifiers/infixFunctionCall.kt          |  5 +++++
 .../templates/identifiers/labelDefinition.kt  | 21 ++++++++++++++++++
 .../templates/identifiers/labelReference.kt   |  8 +++++++
 .../psi/templates/identifiers/object.kt       |  7 ++++++
 .../templates/identifiers/packageComplex.kt   |  1 +
 .../templates/identifiers/packageSimple.kt    |  1 +
 .../psi/templates/identifiers/parameter.kt    | 12 ++++++++++
 .../psi/templates/identifiers/setter.kt       | 14 ++++++++++++
 .../templates/identifiers/simpleUserType.kt   |  7 ++++++
 .../identifiers/stringTemplateElement.kt      |  7 ++++++
 .../psi/templates/identifiers/typeAlias.kt    |  5 +++++
 .../templates/identifiers/typeConstraint.kt   | 16 ++++++++++++++
 .../templates/identifiers/typeParameter.kt    | 13 +++++++++++
 .../identifiers/unescapedAnnotation.kt        | 22 +++++++++++++++++++
 .../templates/identifiers/valueArgument.kt    | 11 ++++++++++
 .../identifiers/variableDeclarationEntry.kt   | 15 +++++++++++++
 28 files changed, 251 insertions(+)
 create mode 100644 compiler/tests-spec/testData/psi/templates/_layout/linkedTestsLayout.kt
 create mode 100644 compiler/tests-spec/testData/psi/templates/_layout/notLinkedTestsLayout.kt
 create mode 100644 compiler/tests-spec/testData/psi/templates/identifiers/atomicExpression.kt
 create mode 100644 compiler/tests-spec/testData/psi/templates/identifiers/callableReference.kt
 create mode 100644 compiler/tests-spec/testData/psi/templates/identifiers/catchBlock.kt
 create mode 100644 compiler/tests-spec/testData/psi/templates/identifiers/class.kt
 create mode 100644 compiler/tests-spec/testData/psi/templates/identifiers/companionObject.kt
 create mode 100644 compiler/tests-spec/testData/psi/templates/identifiers/enumEntry.kt
 create mode 100644 compiler/tests-spec/testData/psi/templates/identifiers/fileAnnotationComplex.kt
 create mode 100644 compiler/tests-spec/testData/psi/templates/identifiers/fileAnnotationSimple.kt
 create mode 100644 compiler/tests-spec/testData/psi/templates/identifiers/function.kt
 create mode 100644 compiler/tests-spec/testData/psi/templates/identifiers/import.kt
 create mode 100644 compiler/tests-spec/testData/psi/templates/identifiers/infixFunctionCall.kt
 create mode 100644 compiler/tests-spec/testData/psi/templates/identifiers/labelDefinition.kt
 create mode 100644 compiler/tests-spec/testData/psi/templates/identifiers/labelReference.kt
 create mode 100644 compiler/tests-spec/testData/psi/templates/identifiers/object.kt
 create mode 100644 compiler/tests-spec/testData/psi/templates/identifiers/packageComplex.kt
 create mode 100644 compiler/tests-spec/testData/psi/templates/identifiers/packageSimple.kt
 create mode 100644 compiler/tests-spec/testData/psi/templates/identifiers/parameter.kt
 create mode 100644 compiler/tests-spec/testData/psi/templates/identifiers/setter.kt
 create mode 100644 compiler/tests-spec/testData/psi/templates/identifiers/simpleUserType.kt
 create mode 100644 compiler/tests-spec/testData/psi/templates/identifiers/stringTemplateElement.kt
 create mode 100644 compiler/tests-spec/testData/psi/templates/identifiers/typeAlias.kt
 create mode 100644 compiler/tests-spec/testData/psi/templates/identifiers/typeConstraint.kt
 create mode 100644 compiler/tests-spec/testData/psi/templates/identifiers/typeParameter.kt
 create mode 100644 compiler/tests-spec/testData/psi/templates/identifiers/unescapedAnnotation.kt
 create mode 100644 compiler/tests-spec/testData/psi/templates/identifiers/valueArgument.kt
 create mode 100644 compiler/tests-spec/testData/psi/templates/identifiers/variableDeclarationEntry.kt

diff --git a/compiler/tests-spec/testData/psi/templates/_layout/linkedTestsLayout.kt b/compiler/tests-spec/testData/psi/templates/_layout/linkedTestsLayout.kt
new file mode 100644
index 00000000000..f5b3e2f0b71
--- /dev/null
+++ b/compiler/tests-spec/testData/psi/templates/_layout/linkedTestsLayout.kt
@@ -0,0 +1,10 @@
+/*
+ KOTLIN PSI SPEC TEST (<!TEST_TYPE!>)
+
+ SECTIONS: <!SECTIONS!>
+ PARAGRAPH: <!PARAGRAPH_NUMBER!>
+ SENTENCE: [<!SENTENCE_NUMBER!>] <!SENTENCE!>
+ NUMBER: <!TEST_NUMBER!>
+ DESCRIPTION: <!TEST_DESCRIPTION!>
+ NOTE: this test data is generated by FeatureInteractionTestDataGenerator. DO NOT MODIFY CODE MANUALLY!
+ */
\ No newline at end of file
diff --git a/compiler/tests-spec/testData/psi/templates/_layout/notLinkedTestsLayout.kt b/compiler/tests-spec/testData/psi/templates/_layout/notLinkedTestsLayout.kt
new file mode 100644
index 00000000000..f235766b200
--- /dev/null
+++ b/compiler/tests-spec/testData/psi/templates/_layout/notLinkedTestsLayout.kt
@@ -0,0 +1,9 @@
+/*
+ KOTLIN NOT LINKED PSI SPEC TEST (<!TEST_TYPE!>)
+
+ SECTION: <!SECTION!>
+ CATEGORIES: <!CATEGORIES!>
+ NUMBER: <!TEST_NUMBER!>
+ DESCRIPTION: <!TEST_DESCRIPTION!>
+ NOTE: this test data is generated by FeatureInteractionTestDataGenerator. DO NOT MODIFY CODE MANUALLY!
+ */
\ No newline at end of file
diff --git a/compiler/tests-spec/testData/psi/templates/identifiers/atomicExpression.kt b/compiler/tests-spec/testData/psi/templates/identifiers/atomicExpression.kt
new file mode 100644
index 00000000000..4814cc4ca38
--- /dev/null
+++ b/compiler/tests-spec/testData/psi/templates/identifiers/atomicExpression.kt
@@ -0,0 +1,9 @@
+val <!ELEMENT!> = 10
+val <!ELEMENT!> = "."
+
+val value_1 = <!ELEMENT!> - 100 % <!ELEMENT!>
+val value_2 = <!ELEMENT!>.dec()
+val value_3 = "$<!ELEMENT!> 10"
+val value_4 = "${<!ELEMENT!>}"
+val value_5 = <!ELEMENT!> + " 11..." + <!ELEMENT!> + "1"
+val value_6 = <!ELEMENT!>
diff --git a/compiler/tests-spec/testData/psi/templates/identifiers/callableReference.kt b/compiler/tests-spec/testData/psi/templates/identifiers/callableReference.kt
new file mode 100644
index 00000000000..8a99adfe22c
--- /dev/null
+++ b/compiler/tests-spec/testData/psi/templates/identifiers/callableReference.kt
@@ -0,0 +1,7 @@
+fun case_1() {
+    Boolean::<!ELEMENT!>
+
+    Boolean???::<!ELEMENT!>::<!ELEMENT!>::<!ELEMENT!>
+
+    org.jetbrains.Boolean?::<!ELEMENT!>::<!ELEMENT!>
+}
diff --git a/compiler/tests-spec/testData/psi/templates/identifiers/catchBlock.kt b/compiler/tests-spec/testData/psi/templates/identifiers/catchBlock.kt
new file mode 100644
index 00000000000..d05269f10ba
--- /dev/null
+++ b/compiler/tests-spec/testData/psi/templates/identifiers/catchBlock.kt
@@ -0,0 +1,5 @@
+fun f() {
+    try {} catch (<!ELEMENT!>: Any) {}
+
+    try {} catch (@a <!ELEMENT!>: Any) {}
+}
diff --git a/compiler/tests-spec/testData/psi/templates/identifiers/class.kt b/compiler/tests-spec/testData/psi/templates/identifiers/class.kt
new file mode 100644
index 00000000000..ae965ab4ede
--- /dev/null
+++ b/compiler/tests-spec/testData/psi/templates/identifiers/class.kt
@@ -0,0 +1,9 @@
+class <!ELEMENT!> {}
+
+internal class A: <!ELEMENT!> {}
+
+interface <!ELEMENT!> {}
+
+interface A: @<!ELEMENT!> B {}
+
+interface A: B, C, <!ELEMENT!> {}
diff --git a/compiler/tests-spec/testData/psi/templates/identifiers/companionObject.kt b/compiler/tests-spec/testData/psi/templates/identifiers/companionObject.kt
new file mode 100644
index 00000000000..9ff27ed1708
--- /dev/null
+++ b/compiler/tests-spec/testData/psi/templates/identifiers/companionObject.kt
@@ -0,0 +1,17 @@
+class A {
+    companion object <!ELEMENT!> {
+
+    }
+}
+
+class B {
+    companion object <!ELEMENT!>: A() {
+
+    }
+}
+
+class C {
+    companion object <!ELEMENT!>: B by expr, x1, A() {
+
+    }
+}
diff --git a/compiler/tests-spec/testData/psi/templates/identifiers/enumEntry.kt b/compiler/tests-spec/testData/psi/templates/identifiers/enumEntry.kt
new file mode 100644
index 00000000000..85913f439a6
--- /dev/null
+++ b/compiler/tests-spec/testData/psi/templates/identifiers/enumEntry.kt
@@ -0,0 +1,4 @@
+enum class A(x1: Any?) {
+    <!ELEMENT!>("1"),
+    <!ELEMENT!>("2");
+}
diff --git a/compiler/tests-spec/testData/psi/templates/identifiers/fileAnnotationComplex.kt b/compiler/tests-spec/testData/psi/templates/identifiers/fileAnnotationComplex.kt
new file mode 100644
index 00000000000..825b00c66ff
--- /dev/null
+++ b/compiler/tests-spec/testData/psi/templates/identifiers/fileAnnotationComplex.kt
@@ -0,0 +1 @@
+@file:[JvmName.<!ELEMENT!><<!ELEMENT!>>()]
diff --git a/compiler/tests-spec/testData/psi/templates/identifiers/fileAnnotationSimple.kt b/compiler/tests-spec/testData/psi/templates/identifiers/fileAnnotationSimple.kt
new file mode 100644
index 00000000000..c0294b536db
--- /dev/null
+++ b/compiler/tests-spec/testData/psi/templates/identifiers/fileAnnotationSimple.kt
@@ -0,0 +1 @@
+@file:<!ELEMENT!>
diff --git a/compiler/tests-spec/testData/psi/templates/identifiers/function.kt b/compiler/tests-spec/testData/psi/templates/identifiers/function.kt
new file mode 100644
index 00000000000..d0d435373d2
--- /dev/null
+++ b/compiler/tests-spec/testData/psi/templates/identifiers/function.kt
@@ -0,0 +1,5 @@
+fun <!ELEMENT!>() {}
+
+suspend fun <!ELEMENT!>() {}
+
+inline fun <T: Number> <!ELEMENT!>() = <!ELEMENT!>
diff --git a/compiler/tests-spec/testData/psi/templates/identifiers/import.kt b/compiler/tests-spec/testData/psi/templates/identifiers/import.kt
new file mode 100644
index 00000000000..dc3f6773a20
--- /dev/null
+++ b/compiler/tests-spec/testData/psi/templates/identifiers/import.kt
@@ -0,0 +1,9 @@
+import org.jetbrains.<!ELEMENT!>.*
+
+import <!ELEMENT!>
+
+import <!ELEMENT!>.*;
+
+import <!ELEMENT!>.*import <!ELEMENT!>
+
+import org.jetbrains.kotlin as <!ELEMENT!>
diff --git a/compiler/tests-spec/testData/psi/templates/identifiers/infixFunctionCall.kt b/compiler/tests-spec/testData/psi/templates/identifiers/infixFunctionCall.kt
new file mode 100644
index 00000000000..ea4ce6d71cf
--- /dev/null
+++ b/compiler/tests-spec/testData/psi/templates/identifiers/infixFunctionCall.kt
@@ -0,0 +1,5 @@
+fun f() {
+    1 + 1 <!ELEMENT!> 10..11
+
+    1 + 1 <!ELEMENT!> 10..11 <!ELEMENT!> 10 <!ELEMENT!> -.9-9.0
+}
\ No newline at end of file
diff --git a/compiler/tests-spec/testData/psi/templates/identifiers/labelDefinition.kt b/compiler/tests-spec/testData/psi/templates/identifiers/labelDefinition.kt
new file mode 100644
index 00000000000..9459f2ee9d9
--- /dev/null
+++ b/compiler/tests-spec/testData/psi/templates/identifiers/labelDefinition.kt
@@ -0,0 +1,21 @@
+fun f() {
+    val lambda_1 = <!ELEMENT!>@ {}
+
+    val lambda_2 = <!ELEMENT!>@ {
+        println(1)
+    }
+
+    val lambda_3 = @someAnotation <!ELEMENT!>@ {
+        println(1)
+    }
+
+    val lambda_4 = @someAnotation1 @someAnotation2 @someAnotation3 <!ELEMENT!>@ {
+        println(1)
+    }
+
+    val x1 = <!ELEMENT!>@ 10 - 1
+    val x2 = <!ELEMENT!>@(listOf(1))
+    val x3 = <!ELEMENT!>@(return return) && <!ELEMENT!>@ return return
+    val x4 = <!ELEMENT!>@ try {} finally {} && <!ELEMENT!>@ return return
+    val x5 = <!ELEMENT!>@ try { false } catch(e: E) {} catch (e: Exception) { true } && <!ELEMENT!>@ when (value) { <!ELEMENT!>@ true -> <!ELEMENT!>@ false; <!ELEMENT!>@ false -> <!ELEMENT!>@ true }
+}
diff --git a/compiler/tests-spec/testData/psi/templates/identifiers/labelReference.kt b/compiler/tests-spec/testData/psi/templates/identifiers/labelReference.kt
new file mode 100644
index 00000000000..c71103718b9
--- /dev/null
+++ b/compiler/tests-spec/testData/psi/templates/identifiers/labelReference.kt
@@ -0,0 +1,8 @@
+fun f() {
+    return@<!ELEMENT!>
+
+    while (true) {
+        break@<!ELEMENT!>
+        continue@<!ELEMENT!>
+    }
+}
diff --git a/compiler/tests-spec/testData/psi/templates/identifiers/object.kt b/compiler/tests-spec/testData/psi/templates/identifiers/object.kt
new file mode 100644
index 00000000000..c6f6997d32a
--- /dev/null
+++ b/compiler/tests-spec/testData/psi/templates/identifiers/object.kt
@@ -0,0 +1,7 @@
+object A : <!ELEMENT!> {}
+
+object B : A<B<<!ELEMENT!>, <!ELEMENT!>>, <!ELEMENT!>> {}
+
+object <!ELEMENT!> constructor() {}
+
+object <!ELEMENT!> : <!ELEMENT!><<!ELEMENT!>> {}
diff --git a/compiler/tests-spec/testData/psi/templates/identifiers/packageComplex.kt b/compiler/tests-spec/testData/psi/templates/identifiers/packageComplex.kt
new file mode 100644
index 00000000000..c380a2339d1
--- /dev/null
+++ b/compiler/tests-spec/testData/psi/templates/identifiers/packageComplex.kt
@@ -0,0 +1 @@
+package org.jetbrains.<!ELEMENT!>
diff --git a/compiler/tests-spec/testData/psi/templates/identifiers/packageSimple.kt b/compiler/tests-spec/testData/psi/templates/identifiers/packageSimple.kt
new file mode 100644
index 00000000000..b157c568581
--- /dev/null
+++ b/compiler/tests-spec/testData/psi/templates/identifiers/packageSimple.kt
@@ -0,0 +1 @@
+package <!ELEMENT!>
diff --git a/compiler/tests-spec/testData/psi/templates/identifiers/parameter.kt b/compiler/tests-spec/testData/psi/templates/identifiers/parameter.kt
new file mode 100644
index 00000000000..48600f3fb90
--- /dev/null
+++ b/compiler/tests-spec/testData/psi/templates/identifiers/parameter.kt
@@ -0,0 +1,12 @@
+fun f1(<!ELEMENT!>: Int) {}
+
+fun f2(<!ELEMENT!>: Boolean, <!ELEMENT!>: Boolean) = <!ELEMENT!>
+
+fun f3(val <!ELEMENT!>: Boolean = <!ELEMENT!>, var <!ELEMENT!>: Boolean) = <!ELEMENT!>
+
+class A {
+    val x1: Boolean = <!ELEMENT!>
+        set(<!ELEMENT!>) = <!ELEMENT!>
+    var x2: Boolean = <!ELEMENT!>
+        set(vararg <!ELEMENT!>: Boolean) = <!ELEMENT!>
+}
diff --git a/compiler/tests-spec/testData/psi/templates/identifiers/setter.kt b/compiler/tests-spec/testData/psi/templates/identifiers/setter.kt
new file mode 100644
index 00000000000..e9cf181a6a3
--- /dev/null
+++ b/compiler/tests-spec/testData/psi/templates/identifiers/setter.kt
@@ -0,0 +1,14 @@
+class A {
+    var x1: String
+        set(private <!ELEMENT!>) = <!ELEMENT!>
+
+    var x2: String
+        set(abstract final <!ELEMENT!>) {
+            return field
+        }
+}
+
+var x3 = 0L
+    set(suspend <!ELEMENT!>) {
+        return field
+    }
diff --git a/compiler/tests-spec/testData/psi/templates/identifiers/simpleUserType.kt b/compiler/tests-spec/testData/psi/templates/identifiers/simpleUserType.kt
new file mode 100644
index 00000000000..1754f9d56ee
--- /dev/null
+++ b/compiler/tests-spec/testData/psi/templates/identifiers/simpleUserType.kt
@@ -0,0 +1,7 @@
+fun f1(a: <!ELEMENT!>) {}
+
+fun f2(a: <!ELEMENT!><*>) {}
+
+fun f3(a: <!ELEMENT!><out *>) {}
+
+fun f4(a: <!ELEMENT!><in List<<!ELEMENT!><*>>>) {}
diff --git a/compiler/tests-spec/testData/psi/templates/identifiers/stringTemplateElement.kt b/compiler/tests-spec/testData/psi/templates/identifiers/stringTemplateElement.kt
new file mode 100644
index 00000000000..be405af4fd5
--- /dev/null
+++ b/compiler/tests-spec/testData/psi/templates/identifiers/stringTemplateElement.kt
@@ -0,0 +1,7 @@
+fun f1() {
+    val x1 = "$<!ELEMENT!>"
+
+    val x2 = "..." + "...$<!ELEMENT!>..." + "..."
+
+    var x3 = "$<!ELEMENT!>$<!ELEMENT!>$<!ELEMENT!>"
+}
diff --git a/compiler/tests-spec/testData/psi/templates/identifiers/typeAlias.kt b/compiler/tests-spec/testData/psi/templates/identifiers/typeAlias.kt
new file mode 100644
index 00000000000..fc2effb65da
--- /dev/null
+++ b/compiler/tests-spec/testData/psi/templates/identifiers/typeAlias.kt
@@ -0,0 +1,5 @@
+typealias <!ELEMENT!> = Boolean
+
+private typealias <!ELEMENT!><T> = List<T>
+
+internal typealias <!ELEMENT!><<!ELEMENT!>> = Map<<!ELEMENT!><<!ELEMENT!>>, List<<!ELEMENT!>>>
diff --git a/compiler/tests-spec/testData/psi/templates/identifiers/typeConstraint.kt b/compiler/tests-spec/testData/psi/templates/identifiers/typeConstraint.kt
new file mode 100644
index 00000000000..cdd628479ac
--- /dev/null
+++ b/compiler/tests-spec/testData/psi/templates/identifiers/typeConstraint.kt
@@ -0,0 +1,16 @@
+class A <<!ELEMENT!>, <!ELEMENT!>>
+        where <!ELEMENT!> : CharSequence,
+              <!ELEMENT!> : Comparable<<!ELEMENT!>>
+
+annotation class B <<!ELEMENT!>>
+        where <!ELEMENT!> : CharSequence,
+              @A<List<Nothing?>> @B <!ELEMENT!> : Comparable<<!ELEMENT!>>
+
+annotation class C <<!ELEMENT!>, <!ELEMENT!>> where @property:C <!ELEMENT!> : CharSequence, <!ELEMENT!> : Comparable<<!ELEMENT!>>
+
+fun <<!ELEMENT!>, <!ELEMENT!>> d(): Boolean
+        where <!ELEMENT!> : Any,
+              <!ELEMENT!> : Iterable<*>,
+              <!ELEMENT!> : Collection<*>,
+              <!ELEMENT!> : MutableCollection<*>,
+              <!ELEMENT!> : Comparable<<!ELEMENT!>> = <!ELEMENT!> == <!ELEMENT!>
\ No newline at end of file
diff --git a/compiler/tests-spec/testData/psi/templates/identifiers/typeParameter.kt b/compiler/tests-spec/testData/psi/templates/identifiers/typeParameter.kt
new file mode 100644
index 00000000000..f09ef46cd1f
--- /dev/null
+++ b/compiler/tests-spec/testData/psi/templates/identifiers/typeParameter.kt
@@ -0,0 +1,13 @@
+fun <<!ELEMENT!>> f1() {}
+
+fun <reified T : <!ELEMENT!>> T.f2() {}
+
+class B<K: L<M<<!ELEMENT!>>>> {}
+
+class B<K, T: A<in <!ELEMENT!>>> {}
+
+fun <T : org.jetbrains.<!ELEMENT!>> T.f3() {}
+
+fun f4(a: List<out <!ELEMENT!>>) {}
+
+fun f5(a: List<List<List<<!ELEMENT!>?>>>) {}
diff --git a/compiler/tests-spec/testData/psi/templates/identifiers/unescapedAnnotation.kt b/compiler/tests-spec/testData/psi/templates/identifiers/unescapedAnnotation.kt
new file mode 100644
index 00000000000..29e74a0cd94
--- /dev/null
+++ b/compiler/tests-spec/testData/psi/templates/identifiers/unescapedAnnotation.kt
@@ -0,0 +1,22 @@
+class A {
+    @field:<!ELEMENT!>
+    val a: Int = ""
+
+    @setparam:<!ELEMENT!>(<!ELEMENT!>)
+    val b: Int = ""
+
+    @receiver:org.jetbrains.<!ELEMENT!><A<B, C>>(<!ELEMENT!>)
+    val c: Int = ""
+
+    @org.jetbrains.<!ELEMENT!>
+    val c: Int = ""
+
+    @<!ELEMENT!><A<B>, C>(<!ELEMENT!>, <!ELEMENT!>, <!ELEMENT!>)
+    val c: Int = ""
+
+    @<!ELEMENT!>
+    val c: Int = ""
+
+    @<!ELEMENT!>.<!ELEMENT!>.<!ELEMENT!><A<B>, C>(<!ELEMENT!>, <!ELEMENT!>, <!ELEMENT!>)
+    val c: Int = ""
+}
diff --git a/compiler/tests-spec/testData/psi/templates/identifiers/valueArgument.kt b/compiler/tests-spec/testData/psi/templates/identifiers/valueArgument.kt
new file mode 100644
index 00000000000..c7a7623f7a6
--- /dev/null
+++ b/compiler/tests-spec/testData/psi/templates/identifiers/valueArgument.kt
@@ -0,0 +1,11 @@
+fun f1() {
+    f2(<!ELEMENT!> = expr)
+
+    f3(<!ELEMENT!> = (0L - 10 + throw E() - -.09))
+
+    f4(
+        <!ELEMENT!> = return return,
+        <!ELEMENT!> = try {} finally {},
+        <!ELEMENT!> = 0x10
+    )
+}
diff --git a/compiler/tests-spec/testData/psi/templates/identifiers/variableDeclarationEntry.kt b/compiler/tests-spec/testData/psi/templates/identifiers/variableDeclarationEntry.kt
new file mode 100644
index 00000000000..41104e0e779
--- /dev/null
+++ b/compiler/tests-spec/testData/psi/templates/identifiers/variableDeclarationEntry.kt
@@ -0,0 +1,15 @@
+fun f1() {
+    for (<!ELEMENT!>: Any in 0..10) {}
+
+    val x1 = {<!ELEMENT!>: Boolean ->
+        println("1")
+    }
+
+    val x2 = {<!ELEMENT!>: Boolean, <!ELEMENT!>: <!ELEMENT!> -> }
+
+    var <!ELEMENT!>: Boolean;
+
+    val x3 = fun(<!ELEMENT!>: Boolean) {
+
+    }(<!ELEMENT!>)
+}