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 @Ann(unresolved_reference) T.test // OK, error only in IDE but not in the compiler +val @Ann(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) Int.test get() = 10