diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnConstructorParameterExpression.kt b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnConstructorParameterExpression.kt
new file mode 100644
index 00000000000..e9de9b12fbb
--- /dev/null
+++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnConstructorParameterExpression.kt
@@ -0,0 +1,8 @@
+// LOOK_UP_FOR_ELEMENT_OF_TYPE: org.jetbrains.kotlin.psi.KtStringTemplateExpression
+
+class ResolveMe(
+ addCommaWarning: @Anno("abc") Boolean = false
+)
+
+@Target(AnnotationTarget.TYPE)
+annotation class Anno(val s: String)
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnConstructorParameterExpression.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnConstructorParameterExpression.txt
new file mode 100644
index 00000000000..5f72cbc1ed7
--- /dev/null
+++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnConstructorParameterExpression.txt
@@ -0,0 +1,25 @@
+KT element: KtStringTemplateExpression
+FIR element: FirConstExpressionImpl
+FIR source kind: KtRealSourceElementKind
+
+FIR element rendered:
+String(abc)
+
+FIR FILE:
+FILE: [ResolvedTo(IMPORTS)] typeOnAnnotationOnConstructorParameterExpression.kt
+ [ResolvedTo(BODY_RESOLVE)] annotations container
+ public final [ResolvedTo(STATUS)] class ResolveMe : R|kotlin/Any| {
+ public [ResolvedTo(BODY_RESOLVE)] constructor([ResolvedTo(BODY_RESOLVE)] addCommaWarning: R|@R|Anno|(s = String(abc)) kotlin/Boolean| = Boolean(false)): R|ResolveMe| {
+ super()
+ }
+
+ }
+ @R|kotlin/annotation/Target|[Types](Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE|) public final [ResolvedTo(STATUS)] annotation class Anno : R|kotlin/Annotation| {
+ public [ResolvedTo(STATUS)] constructor([ResolvedTo(STATUS)] s: R|kotlin/String|): R|Anno| {
+ LAZY_super
+ }
+
+ public final [ResolvedTo(STATUS)] val s: R|kotlin/String| = R|/s|
+ public [ResolvedTo(STATUS)] get(): R|kotlin/String|
+
+ }
diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnReceiverFunction.kt b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnReceiverFunction.kt
new file mode 100644
index 00000000000..b316a7eb55f
--- /dev/null
+++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnReceiverFunction.kt
@@ -0,0 +1,6 @@
+// LOOK_UP_FOR_ELEMENT_OF_TYPE: org.jetbrains.kotlin.psi.KtAnnotationEntry
+
+fun @Anno("ab") Int.check() = 1
+
+@Target(AnnotationTarget.TYPE)
+annotation class Anno(val s: String)
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnReceiverFunction.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnReceiverFunction.txt
new file mode 100644
index 00000000000..c592d8b8b65
--- /dev/null
+++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnReceiverFunction.txt
@@ -0,0 +1,22 @@
+KT element: KtAnnotationEntry
+FIR element: FirAnnotationCallImpl
+FIR source kind: KtRealSourceElementKind
+
+FIR element rendered:
+@R|Anno|[Types](s = String(ab))
+
+FIR FILE:
+FILE: [ResolvedTo(IMPORTS)] typeOnAnnotationOnReceiverFunction.kt
+ [ResolvedTo(BODY_RESOLVE)] annotations container
+ public final [ResolvedTo(BODY_RESOLVE)] fun R|@R|Anno|(s = String(ab)) kotlin/Int|.check(): R|kotlin/Int| {
+ ^check Int(1)
+ }
+ @R|kotlin/annotation/Target|[Types](Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE|) public final [ResolvedTo(STATUS)] annotation class Anno : R|kotlin/Annotation| {
+ public [ResolvedTo(STATUS)] constructor([ResolvedTo(STATUS)] s: R|kotlin/String|): R|Anno| {
+ LAZY_super
+ }
+
+ public final [ResolvedTo(STATUS)] val s: R|kotlin/String| = R|/s|
+ public [ResolvedTo(STATUS)] get(): R|kotlin/String|
+
+ }
diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnReceiverParameter.kt b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnReceiverParameter.kt
new file mode 100644
index 00000000000..da5cd5c145b
--- /dev/null
+++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnReceiverParameter.kt
@@ -0,0 +1,6 @@
+// LOOK_UP_FOR_ELEMENT_OF_TYPE: org.jetbrains.kotlin.psi.KtAnnotationEntry
+
+fun @receiver:Anno("ab") Int.check() = 1
+
+@Target(AnnotationTarget.TYPE)
+annotation class Anno(val s: String)
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnReceiverParameter.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnReceiverParameter.txt
new file mode 100644
index 00000000000..389c2d4b291
--- /dev/null
+++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnReceiverParameter.txt
@@ -0,0 +1,22 @@
+KT element: KtAnnotationEntry
+FIR element: FirAnnotationCallImpl
+FIR source kind: FromUseSiteTarget
+
+FIR element rendered:
+@RECEIVER:R|Anno|[Types](s = String(ab))
+
+FIR FILE:
+FILE: [ResolvedTo(IMPORTS)] typeOnAnnotationOnReceiverParameter.kt
+ [ResolvedTo(BODY_RESOLVE)] annotations container
+ public final [ResolvedTo(BODY_RESOLVE)] fun @RECEIVER:R|Anno|[Types](s = String(ab)) R|kotlin/Int|.check(): R|kotlin/Int| {
+ ^check Int(1)
+ }
+ @R|kotlin/annotation/Target|[Types](Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE|) public final [ResolvedTo(STATUS)] annotation class Anno : R|kotlin/Annotation| {
+ public [ResolvedTo(STATUS)] constructor([ResolvedTo(STATUS)] s: R|kotlin/String|): R|Anno| {
+ LAZY_super
+ }
+
+ public final [ResolvedTo(STATUS)] val s: R|kotlin/String| = R|/s|
+ public [ResolvedTo(STATUS)] get(): R|kotlin/String|
+
+ }
diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnReceiverProperty.kt b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnReceiverProperty.kt
new file mode 100644
index 00000000000..56742ca0eba
--- /dev/null
+++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnReceiverProperty.kt
@@ -0,0 +1,6 @@
+// LOOK_UP_FOR_ELEMENT_OF_TYPE: org.jetbrains.kotlin.psi.KtAnnotationEntry
+
+val @Anno("a") Int.i: String get() = ""
+
+@Target(AnnotationTarget.TYPE)
+annotation class Anno(val s: String)
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnReceiverProperty.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnReceiverProperty.txt
new file mode 100644
index 00000000000..912b0982abc
--- /dev/null
+++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnReceiverProperty.txt
@@ -0,0 +1,23 @@
+KT element: KtAnnotationEntry
+FIR element: FirAnnotationCallImpl
+FIR source kind: KtRealSourceElementKind
+
+FIR element rendered:
+@R|Anno|[Types](s = String(a))
+
+FIR FILE:
+FILE: [ResolvedTo(IMPORTS)] typeOnAnnotationOnReceiverProperty.kt
+ [ResolvedTo(BODY_RESOLVE)] annotations container
+ public final [ResolvedTo(BODY_RESOLVE)] val R|@R|Anno|(s = String(a)) kotlin/Int|.i: R|kotlin/String|
+ public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/String| {
+ ^ String()
+ }
+ @R|kotlin/annotation/Target|[Types](Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE|) public final [ResolvedTo(STATUS)] annotation class Anno : R|kotlin/Annotation| {
+ public [ResolvedTo(STATUS)] constructor([ResolvedTo(STATUS)] s: R|kotlin/String|): R|Anno| {
+ LAZY_super
+ }
+
+ public final [ResolvedTo(STATUS)] val s: R|kotlin/String| = R|/s|
+ public [ResolvedTo(STATUS)] get(): R|kotlin/String|
+
+ }
diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnReceiverPropertyCall.kt b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnReceiverPropertyCall.kt
new file mode 100644
index 00000000000..bd1df5dbc10
--- /dev/null
+++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnReceiverPropertyCall.kt
@@ -0,0 +1,6 @@
+// LOOK_UP_FOR_ELEMENT_OF_TYPE: org.jetbrains.kotlin.psi.KtTypeReference
+
+val @Anno("a") Int.i: String get() = ""
+
+@Target(AnnotationTarget.TYPE)
+annotation class Anno(val s: String)
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnReceiverPropertyCall.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnReceiverPropertyCall.txt
new file mode 100644
index 00000000000..990c30d7f5c
--- /dev/null
+++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnReceiverPropertyCall.txt
@@ -0,0 +1,23 @@
+KT element: KtTypeReference
+FIR element: FirResolvedTypeRefImpl
+FIR source kind: KtRealSourceElementKind
+
+FIR element rendered:
+R|Anno|
+
+FIR FILE:
+FILE: [ResolvedTo(IMPORTS)] typeOnAnnotationOnReceiverPropertyCall.kt
+ [ResolvedTo(BODY_RESOLVE)] annotations container
+ public final [ResolvedTo(BODY_RESOLVE)] val R|@R|Anno|(s = String(a)) kotlin/Int|.i: R|kotlin/String|
+ public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/String| {
+ ^ String()
+ }
+ @R|kotlin/annotation/Target|[Types](Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE|) public final [ResolvedTo(STATUS)] annotation class Anno : R|kotlin/Annotation| {
+ public [ResolvedTo(STATUS)] constructor([ResolvedTo(STATUS)] s: R|kotlin/String|): R|Anno| {
+ LAZY_super
+ }
+
+ public final [ResolvedTo(STATUS)] val s: R|kotlin/String| = R|/s|
+ public [ResolvedTo(STATUS)] get(): R|kotlin/String|
+
+ }
diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnReturnFunction.kt b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnReturnFunction.kt
new file mode 100644
index 00000000000..fe1a82e9dc6
--- /dev/null
+++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnReturnFunction.kt
@@ -0,0 +1,6 @@
+// LOOK_UP_FOR_ELEMENT_OF_TYPE: org.jetbrains.kotlin.psi.KtAnnotationEntry
+
+fun check(): @Anno("ab") Int = 1
+
+@Target(AnnotationTarget.TYPE)
+annotation class Anno(val s: String)
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnReturnFunction.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnReturnFunction.txt
new file mode 100644
index 00000000000..9667e22bcf9
--- /dev/null
+++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnReturnFunction.txt
@@ -0,0 +1,22 @@
+KT element: KtAnnotationEntry
+FIR element: FirAnnotationCallImpl
+FIR source kind: KtRealSourceElementKind
+
+FIR element rendered:
+@R|Anno|[Types](s = String(ab))
+
+FIR FILE:
+FILE: [ResolvedTo(IMPORTS)] typeOnAnnotationOnReturnFunction.kt
+ [ResolvedTo(BODY_RESOLVE)] annotations container
+ public final [ResolvedTo(BODY_RESOLVE)] fun check(): R|@R|Anno|(s = String(ab)) kotlin/Int| {
+ ^check Int(1)
+ }
+ @R|kotlin/annotation/Target|[Types](Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE|) public final [ResolvedTo(STATUS)] annotation class Anno : R|kotlin/Annotation| {
+ public [ResolvedTo(STATUS)] constructor([ResolvedTo(STATUS)] s: R|kotlin/String|): R|Anno| {
+ LAZY_super
+ }
+
+ public final [ResolvedTo(STATUS)] val s: R|kotlin/String| = R|/s|
+ public [ResolvedTo(STATUS)] get(): R|kotlin/String|
+
+ }
diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnReturnProperty.kt b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnReturnProperty.kt
new file mode 100644
index 00000000000..56bdd2c842a
--- /dev/null
+++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnReturnProperty.kt
@@ -0,0 +1,6 @@
+// LOOK_UP_FOR_ELEMENT_OF_TYPE: org.jetbrains.kotlin.psi.KtAnnotationEntry
+
+val i: @Anno("ab") Int = 1
+
+@Target(AnnotationTarget.TYPE)
+annotation class Anno(val s: String)
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnReturnProperty.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnReturnProperty.txt
new file mode 100644
index 00000000000..342c2756216
--- /dev/null
+++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnReturnProperty.txt
@@ -0,0 +1,21 @@
+KT element: KtAnnotationEntry
+FIR element: FirAnnotationCallImpl
+FIR source kind: KtRealSourceElementKind
+
+FIR element rendered:
+@R|Anno|[Types](s = String(ab))
+
+FIR FILE:
+FILE: [ResolvedTo(IMPORTS)] typeOnAnnotationOnReturnProperty.kt
+ [ResolvedTo(BODY_RESOLVE)] annotations container
+ public final [ResolvedTo(BODY_RESOLVE)] val i: R|@R|Anno|(s = String(ab)) kotlin/Int| = Int(1)
+ public [ResolvedTo(BODY_RESOLVE)] get(): R|@R|Anno|(s = String(ab)) kotlin/Int|
+ @R|kotlin/annotation/Target|[Types](Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE|) public final [ResolvedTo(STATUS)] annotation class Anno : R|kotlin/Annotation| {
+ public [ResolvedTo(STATUS)] constructor([ResolvedTo(STATUS)] s: R|kotlin/String|): R|Anno| {
+ LAZY_super
+ }
+
+ public final [ResolvedTo(STATUS)] val s: R|kotlin/String| = R|/s|
+ public [ResolvedTo(STATUS)] get(): R|kotlin/String|
+
+ }
diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/types/nestedClassType.kt b/analysis/low-level-api-fir/testdata/getOrBuildFir/types/nestedClassType.kt
new file mode 100644
index 00000000000..15145e218f6
--- /dev/null
+++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/types/nestedClassType.kt
@@ -0,0 +1,9 @@
+open class Foo {
+ class Nested
+}
+
+class Bar : Foo() {
+ fun create(): Nested {
+
+ }
+}
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/types/nestedClassType.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/types/nestedClassType.txt
new file mode 100644
index 00000000000..7fd0b3facfc
--- /dev/null
+++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/types/nestedClassType.txt
@@ -0,0 +1,32 @@
+KT element: KtTypeReference
+FIR element: FirResolvedTypeRefImpl
+FIR source kind: KtRealSourceElementKind
+
+FIR element rendered:
+R|Foo.Nested|
+
+FIR FILE:
+FILE: [ResolvedTo(IMPORTS)] nestedClassType.kt
+ [ResolvedTo(BODY_RESOLVE)] annotations container
+ public open [ResolvedTo(STATUS)] class Foo : R|kotlin/Any| {
+ public [ResolvedTo(STATUS)] constructor(): R|Foo| {
+ LAZY_super
+ }
+
+ public? final? [ResolvedTo(RAW_FIR)] class Nested : R|kotlin/Any| {
+ public? [ResolvedTo(RAW_FIR)] constructor(): R|Foo.Nested| {
+ LAZY_super
+ }
+
+ }
+
+ }
+ public final [ResolvedTo(STATUS)] class Bar : R|Foo| {
+ public [ResolvedTo(STATUS)] constructor(): R|Bar| {
+ LAZY_super
+ }
+
+ public final [ResolvedTo(BODY_RESOLVE)] fun create(): R|Foo.Nested| {
+ }
+
+ }
diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/types/receiverType.kt b/analysis/low-level-api-fir/testdata/getOrBuildFir/types/receiverType.kt
new file mode 100644
index 00000000000..e10746c1c7f
--- /dev/null
+++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/types/receiverType.kt
@@ -0,0 +1,4 @@
+// LOOK_UP_FOR_ELEMENT_OF_TYPE: org.jetbrains.kotlin.psi.KtNameReferenceExpression
+fun <@A T> T.test() {}
+
+@Target(AnnotationTarget.TYPE_PARAMETER) annotation class A
diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/types/receiverType.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/types/receiverType.txt
new file mode 100644
index 00000000000..6e5cbbfe5dd
--- /dev/null
+++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/types/receiverType.txt
@@ -0,0 +1,18 @@
+KT element: KtNameReferenceExpression
+FIR element: FirResolvedTypeRefImpl
+FIR source kind: KtRealSourceElementKind
+
+FIR element rendered:
+R|T|
+
+FIR FILE:
+FILE: [ResolvedTo(IMPORTS)] receiverType.kt
+ [ResolvedTo(BODY_RESOLVE)] annotations container
+ public final [ResolvedTo(BODY_RESOLVE)] fun <@R|A|[Types]() [ResolvedTo(BODY_RESOLVE)] T> R|T|.test(): R|kotlin/Unit| {
+ }
+ @R|kotlin/annotation/Target|[Types](Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE_PARAMETER|) public final [ResolvedTo(STATUS)] annotation class A : R|kotlin/Annotation| {
+ public [ResolvedTo(STATUS)] constructor(): R|A| {
+ LAZY_super
+ }
+
+ }
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/types/typeParameterBound.kt b/analysis/low-level-api-fir/testdata/getOrBuildFir/types/typeParameterBound.kt
new file mode 100644
index 00000000000..76fc6f07785
--- /dev/null
+++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/types/typeParameterBound.kt
@@ -0,0 +1,3 @@
+fun Number> check(t: T) {
+
+}
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/types/typeParameterBound.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/types/typeParameterBound.txt
new file mode 100644
index 00000000000..8740fda3014
--- /dev/null
+++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/types/typeParameterBound.txt
@@ -0,0 +1,12 @@
+KT element: KtTypeReference
+FIR element: FirResolvedTypeRefImpl
+FIR source kind: KtRealSourceElementKind
+
+FIR element rendered:
+R|kotlin/Number|
+
+FIR FILE:
+FILE: [ResolvedTo(IMPORTS)] typeParameterBound.kt
+ [ResolvedTo(BODY_RESOLVE)] annotations container
+ public final [ResolvedTo(BODY_RESOLVE)] fun <[ResolvedTo(BODY_RESOLVE)] T : R|kotlin/Number|> check([ResolvedTo(BODY_RESOLVE)] t: R|T|): R|kotlin/Unit| {
+ }
diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/types/typeParameterBoundNested.kt b/analysis/low-level-api-fir/testdata/getOrBuildFir/types/typeParameterBoundNested.kt
new file mode 100644
index 00000000000..4434af6a070
--- /dev/null
+++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/types/typeParameterBoundNested.kt
@@ -0,0 +1,3 @@
+fun Int>>> check(t: T) {
+
+}
\ No newline at end of file
diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/types/typeParameterBoundNested.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/types/typeParameterBoundNested.txt
new file mode 100644
index 00000000000..666284f6ba5
--- /dev/null
+++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/types/typeParameterBoundNested.txt
@@ -0,0 +1,12 @@
+KT element: KtTypeProjection
+FIR element: FirTypeProjectionWithVarianceImpl
+FIR source kind: KtRealSourceElementKind
+
+FIR element rendered:
+R|kotlin/Int|
+
+FIR FILE:
+FILE: [ResolvedTo(IMPORTS)] typeParameterBoundNested.kt
+ [ResolvedTo(BODY_RESOLVE)] annotations container
+ public final [ResolvedTo(BODY_RESOLVE)] fun <[ResolvedTo(BODY_RESOLVE)] T : R|kotlin/collections/List>|> check([ResolvedTo(BODY_RESOLVE)] t: R|T|): R|kotlin/Unit| {
+ }
diff --git a/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/OutOfContentRootGetOrBuildFirTestGenerated.java b/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/OutOfContentRootGetOrBuildFirTestGenerated.java
index 552de8d7f5b..8bc155e5e73 100644
--- a/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/OutOfContentRootGetOrBuildFirTestGenerated.java
+++ b/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/OutOfContentRootGetOrBuildFirTestGenerated.java
@@ -129,6 +129,12 @@ public class OutOfContentRootGetOrBuildFirTestGenerated extends AbstractOutOfCon
runTest("analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnConstructorParameter.kt");
}
+ @Test
+ @TestMetadata("typeOnAnnotationOnConstructorParameterExpression.kt")
+ public void testTypeOnAnnotationOnConstructorParameterExpression() throws Exception {
+ runTest("analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnConstructorParameterExpression.kt");
+ }
+
@Test
@TestMetadata("typeOnAnnotationOnConstructorProperty.kt")
public void testTypeOnAnnotationOnConstructorProperty() throws Exception {
@@ -159,6 +165,42 @@ public class OutOfContentRootGetOrBuildFirTestGenerated extends AbstractOutOfCon
runTest("analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnFunctionParameterWithArguments.kt");
}
+ @Test
+ @TestMetadata("typeOnAnnotationOnReceiverFunction.kt")
+ public void testTypeOnAnnotationOnReceiverFunction() throws Exception {
+ runTest("analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnReceiverFunction.kt");
+ }
+
+ @Test
+ @TestMetadata("typeOnAnnotationOnReceiverParameter.kt")
+ public void testTypeOnAnnotationOnReceiverParameter() throws Exception {
+ runTest("analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnReceiverParameter.kt");
+ }
+
+ @Test
+ @TestMetadata("typeOnAnnotationOnReceiverProperty.kt")
+ public void testTypeOnAnnotationOnReceiverProperty() throws Exception {
+ runTest("analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnReceiverProperty.kt");
+ }
+
+ @Test
+ @TestMetadata("typeOnAnnotationOnReceiverPropertyCall.kt")
+ public void testTypeOnAnnotationOnReceiverPropertyCall() throws Exception {
+ runTest("analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnReceiverPropertyCall.kt");
+ }
+
+ @Test
+ @TestMetadata("typeOnAnnotationOnReturnFunction.kt")
+ public void testTypeOnAnnotationOnReturnFunction() throws Exception {
+ runTest("analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnReturnFunction.kt");
+ }
+
+ @Test
+ @TestMetadata("typeOnAnnotationOnReturnProperty.kt")
+ public void testTypeOnAnnotationOnReturnProperty() throws Exception {
+ runTest("analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnReturnProperty.kt");
+ }
+
@Nested
@TestMetadata("analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/useSite")
@TestDataPath("$PROJECT_ROOT")
@@ -921,6 +963,12 @@ public class OutOfContentRootGetOrBuildFirTestGenerated extends AbstractOutOfCon
runTest("analysis/low-level-api-fir/testdata/getOrBuildFir/types/invalidTypeArgumentsCountLastArgument.kt");
}
+ @Test
+ @TestMetadata("nestedClassType.kt")
+ public void testNestedClassType() throws Exception {
+ runTest("analysis/low-level-api-fir/testdata/getOrBuildFir/types/nestedClassType.kt");
+ }
+
@Test
@TestMetadata("nestedTypeArgument.kt")
public void testNestedTypeArgument() throws Exception {
@@ -939,12 +987,30 @@ public class OutOfContentRootGetOrBuildFirTestGenerated extends AbstractOutOfCon
runTest("analysis/low-level-api-fir/testdata/getOrBuildFir/types/nullableTypeWithooutQuestionMark.kt");
}
+ @Test
+ @TestMetadata("receiverType.kt")
+ public void testReceiverType() throws Exception {
+ runTest("analysis/low-level-api-fir/testdata/getOrBuildFir/types/receiverType.kt");
+ }
+
@Test
@TestMetadata("typeArgument.kt")
public void testTypeArgument() throws Exception {
runTest("analysis/low-level-api-fir/testdata/getOrBuildFir/types/typeArgument.kt");
}
+ @Test
+ @TestMetadata("typeParameterBound.kt")
+ public void testTypeParameterBound() throws Exception {
+ runTest("analysis/low-level-api-fir/testdata/getOrBuildFir/types/typeParameterBound.kt");
+ }
+
+ @Test
+ @TestMetadata("typeParameterBoundNested.kt")
+ public void testTypeParameterBoundNested() throws Exception {
+ runTest("analysis/low-level-api-fir/testdata/getOrBuildFir/types/typeParameterBoundNested.kt");
+ }
+
@Test
@TestMetadata("unresolvedTypeArgumentResolvedTypeConsturctor.kt")
public void testUnresolvedTypeArgumentResolvedTypeConsturctor() throws Exception {
diff --git a/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/SourceGetOrBuildFirTestGenerated.java b/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/SourceGetOrBuildFirTestGenerated.java
index b0691d98b0f..ee8c01e1b1b 100644
--- a/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/SourceGetOrBuildFirTestGenerated.java
+++ b/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/SourceGetOrBuildFirTestGenerated.java
@@ -129,6 +129,12 @@ public class SourceGetOrBuildFirTestGenerated extends AbstractSourceGetOrBuildFi
runTest("analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnConstructorParameter.kt");
}
+ @Test
+ @TestMetadata("typeOnAnnotationOnConstructorParameterExpression.kt")
+ public void testTypeOnAnnotationOnConstructorParameterExpression() throws Exception {
+ runTest("analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnConstructorParameterExpression.kt");
+ }
+
@Test
@TestMetadata("typeOnAnnotationOnConstructorProperty.kt")
public void testTypeOnAnnotationOnConstructorProperty() throws Exception {
@@ -159,6 +165,42 @@ public class SourceGetOrBuildFirTestGenerated extends AbstractSourceGetOrBuildFi
runTest("analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnFunctionParameterWithArguments.kt");
}
+ @Test
+ @TestMetadata("typeOnAnnotationOnReceiverFunction.kt")
+ public void testTypeOnAnnotationOnReceiverFunction() throws Exception {
+ runTest("analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnReceiverFunction.kt");
+ }
+
+ @Test
+ @TestMetadata("typeOnAnnotationOnReceiverParameter.kt")
+ public void testTypeOnAnnotationOnReceiverParameter() throws Exception {
+ runTest("analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnReceiverParameter.kt");
+ }
+
+ @Test
+ @TestMetadata("typeOnAnnotationOnReceiverProperty.kt")
+ public void testTypeOnAnnotationOnReceiverProperty() throws Exception {
+ runTest("analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnReceiverProperty.kt");
+ }
+
+ @Test
+ @TestMetadata("typeOnAnnotationOnReceiverPropertyCall.kt")
+ public void testTypeOnAnnotationOnReceiverPropertyCall() throws Exception {
+ runTest("analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnReceiverPropertyCall.kt");
+ }
+
+ @Test
+ @TestMetadata("typeOnAnnotationOnReturnFunction.kt")
+ public void testTypeOnAnnotationOnReturnFunction() throws Exception {
+ runTest("analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnReturnFunction.kt");
+ }
+
+ @Test
+ @TestMetadata("typeOnAnnotationOnReturnProperty.kt")
+ public void testTypeOnAnnotationOnReturnProperty() throws Exception {
+ runTest("analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnReturnProperty.kt");
+ }
+
@Nested
@TestMetadata("analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/useSite")
@TestDataPath("$PROJECT_ROOT")
@@ -921,6 +963,12 @@ public class SourceGetOrBuildFirTestGenerated extends AbstractSourceGetOrBuildFi
runTest("analysis/low-level-api-fir/testdata/getOrBuildFir/types/invalidTypeArgumentsCountLastArgument.kt");
}
+ @Test
+ @TestMetadata("nestedClassType.kt")
+ public void testNestedClassType() throws Exception {
+ runTest("analysis/low-level-api-fir/testdata/getOrBuildFir/types/nestedClassType.kt");
+ }
+
@Test
@TestMetadata("nestedTypeArgument.kt")
public void testNestedTypeArgument() throws Exception {
@@ -939,12 +987,30 @@ public class SourceGetOrBuildFirTestGenerated extends AbstractSourceGetOrBuildFi
runTest("analysis/low-level-api-fir/testdata/getOrBuildFir/types/nullableTypeWithooutQuestionMark.kt");
}
+ @Test
+ @TestMetadata("receiverType.kt")
+ public void testReceiverType() throws Exception {
+ runTest("analysis/low-level-api-fir/testdata/getOrBuildFir/types/receiverType.kt");
+ }
+
@Test
@TestMetadata("typeArgument.kt")
public void testTypeArgument() throws Exception {
runTest("analysis/low-level-api-fir/testdata/getOrBuildFir/types/typeArgument.kt");
}
+ @Test
+ @TestMetadata("typeParameterBound.kt")
+ public void testTypeParameterBound() throws Exception {
+ runTest("analysis/low-level-api-fir/testdata/getOrBuildFir/types/typeParameterBound.kt");
+ }
+
+ @Test
+ @TestMetadata("typeParameterBoundNested.kt")
+ public void testTypeParameterBoundNested() throws Exception {
+ runTest("analysis/low-level-api-fir/testdata/getOrBuildFir/types/typeParameterBoundNested.kt");
+ }
+
@Test
@TestMetadata("unresolvedTypeArgumentResolvedTypeConsturctor.kt")
public void testUnresolvedTypeArgumentResolvedTypeConsturctor() throws Exception {