From 4133f38c8c492d1876e13edaec55e698f2cc2e28 Mon Sep 17 00:00:00 2001
From: Dmitriy Novozhilov <dmitriy.novozhilov@jetbrains.com>
Date: Thu, 15 Apr 2021 17:52:12 +0300
Subject: [PATCH] [FIR] Transform annotations of property receiver type

---
 .../body/resolve/FirDeclarationsResolveTransformer.kt         | 1 +
 .../notLinked/annotations/type-annotations/neg/8.fir.kt       | 4 ++--
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/transformers/body/resolve/FirDeclarationsResolveTransformer.kt b/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/transformers/body/resolve/FirDeclarationsResolveTransformer.kt
index 685db954644..a921c741d9e 100644
--- a/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/transformers/body/resolve/FirDeclarationsResolveTransformer.kt
+++ b/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/transformers/body/resolve/FirDeclarationsResolveTransformer.kt
@@ -126,6 +126,7 @@ open class FirDeclarationsResolveTransformer(transformer: FirBodyResolveTransfor
             return property
         }
 
+        property.transformReceiverTypeRef(transformer, ResolutionMode.ContextIndependent)
         dataFlowAnalyzer.enterProperty(property)
         doTransformTypeParameters(property)
         return withFullBodyResolve {
diff --git a/compiler/tests-spec/testData/diagnostics/notLinked/annotations/type-annotations/neg/8.fir.kt b/compiler/tests-spec/testData/diagnostics/notLinked/annotations/type-annotations/neg/8.fir.kt
index f454d0fbb7d..0a265254b36 100644
--- a/compiler/tests-spec/testData/diagnostics/notLinked/annotations/type-annotations/neg/8.fir.kt
+++ b/compiler/tests-spec/testData/diagnostics/notLinked/annotations/type-annotations/neg/8.fir.kt
@@ -3,9 +3,9 @@
 annotation class Ann(val x: Int)
 
 // TESTCASE NUMBER: 1
-val <T> @Ann(unresolved_reference) T.test // OK, error only in IDE but not in the compiler
+val <T> @Ann(<!UNRESOLVED_REFERENCE, UNRESOLVED_REFERENCE!>unresolved_reference<!>) T.test // OK, error only in IDE but not in the compiler
     get() = 10
 
 // TESTCASE NUMBER: 2
-val @Ann(unresolved_reference) Int.test
+val @Ann(<!UNRESOLVED_REFERENCE, UNRESOLVED_REFERENCE!>unresolved_reference<!>) Int.test
     get() = 10