[AA K2] implement symbol pointers for receiver parameter

^KT-54311
This commit is contained in:
Dmitrii Gridin
2022-11-04 16:24:09 +01:00
committed by Space Team
parent 48f7cdfaa1
commit 043e3e6840
5 changed files with 43 additions and 13 deletions
@@ -1,5 +1,3 @@
// DO_NOT_CHECK_SYMBOL_RESTORE_K2
annotation class ReceiverAnnotation
@Target(AnnotationTarget.TYPE)
annotation class ReceiverTypeAnnotation
@@ -1,8 +1,6 @@
// DO_NOT_CHECK_NON_PSI_SYMBOL_RESTORE
// DO_NOT_CHECK_NON_PSI_SYMBOL_RESTORE_K1
annotation class ReceiverAnnotation
@Target(AnnotationTarget.TYPE)
annotation class ReceiverTypeAnnotation
val @receiver:ReceiverAnnotation @ReceiverTypeAnnotation Long.prop: Boolean get() = { t<caret>his == 1 }
// DO_NOT_CHECK_SYMBOL_RESTORE_K2