[FIR] Transform annotations of property receiver type

This commit is contained in:
Dmitriy Novozhilov
2021-04-15 17:52:12 +03:00
parent 564de2790f
commit 4133f38c8c
2 changed files with 3 additions and 2 deletions
@@ -126,6 +126,7 @@ open class FirDeclarationsResolveTransformer(transformer: FirBodyResolveTransfor
return property
}
property.transformReceiverTypeRef(transformer, ResolutionMode.ContextIndependent)
dataFlowAnalyzer.enterProperty(property)
doTransformTypeParameters(property)
return withFullBodyResolve {
@@ -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