[AA] more tests on receiver annotations

^KT-54311
^KT-54385
^KT-54417

analysis/analysis-api-fe10/tests-gen/org/jetbrains/kotlin/analysis/api/fe10/test/cases/generated/cases/symbols/Fe10IdeNormalAnalysisSourceModuleSymbolByPsiTestGenerated.java

@@ -226,6 +226,12 @@ public class Fe10IdeNormalAnalysisSourceModuleSymbolByPsiTestGenerated extends A
         runTest("analysis/analysis-api/testData/symbols/symbolByPsi/propertyWithAnnotations.kt");
     }
 
+    @Test
+    @TestMetadata("receiverAnnotation.kt")
+    public void testReceiverAnnotation() throws Exception {
+        runTest("analysis/analysis-api/testData/symbols/symbolByPsi/receiverAnnotation.kt");
+    }
+
     @Test
     @TestMetadata("topLevelFunctions.kt")
     public void testTopLevelFunctions() throws Exception {

analysis/analysis-api-fe10/tests-gen/org/jetbrains/kotlin/analysis/api/fe10/test/cases/generated/cases/symbols/Fe10IdeNormalAnalysisSourceModuleSymbolByReferenceTestGenerated.java

@@ -64,6 +64,12 @@ public class Fe10IdeNormalAnalysisSourceModuleSymbolByReferenceTestGenerated ext
         runTest("analysis/analysis-api/testData/symbols/symbolByReference/explicitLambdaParameter.kt");
     }
 
+    @Test
+    @TestMetadata("functionReceiverParameter.kt")
+    public void testFunctionReceiverParameter() throws Exception {
+        runTest("analysis/analysis-api/testData/symbols/symbolByReference/functionReceiverParameter.kt");
+    }
+
     @Test
     @TestMetadata("genericFromFunctionInLocalClass.kt")
     public void testGenericFromFunctionInLocalClass() throws Exception {
@@ -82,6 +88,12 @@ public class Fe10IdeNormalAnalysisSourceModuleSymbolByReferenceTestGenerated ext
         runTest("analysis/analysis-api/testData/symbols/symbolByReference/implicitLambdaParameter.kt");
     }
 
+    @Test
+    @TestMetadata("propertyReceiverParameter.kt")
+    public void testPropertyReceiverParameter() throws Exception {
+        runTest("analysis/analysis-api/testData/symbols/symbolByReference/propertyReceiverParameter.kt");
+    }
+
     @Test
     @TestMetadata("samConstructor.kt")
     public void testSamConstructor() throws Exception {

analysis/analysis-api-fir/tests-gen/org/jetbrains/kotlin/analysis/api/fir/test/cases/generated/cases/symbols/FirIdeNormalAnalysisSourceModuleSymbolByPsiTestGenerated.java

@@ -226,6 +226,12 @@ public class FirIdeNormalAnalysisSourceModuleSymbolByPsiTestGenerated extends Ab
         runTest("analysis/analysis-api/testData/symbols/symbolByPsi/propertyWithAnnotations.kt");
     }
 
+    @Test
+    @TestMetadata("receiverAnnotation.kt")
+    public void testReceiverAnnotation() throws Exception {
+        runTest("analysis/analysis-api/testData/symbols/symbolByPsi/receiverAnnotation.kt");
+    }
+
     @Test
     @TestMetadata("topLevelFunctions.kt")
     public void testTopLevelFunctions() throws Exception {

analysis/analysis-api-fir/tests-gen/org/jetbrains/kotlin/analysis/api/fir/test/cases/generated/cases/symbols/FirIdeNormalAnalysisSourceModuleSymbolByReferenceTestGenerated.java

@@ -64,6 +64,12 @@ public class FirIdeNormalAnalysisSourceModuleSymbolByReferenceTestGenerated exte
         runTest("analysis/analysis-api/testData/symbols/symbolByReference/explicitLambdaParameter.kt");
     }
 
+    @Test
+    @TestMetadata("functionReceiverParameter.kt")
+    public void testFunctionReceiverParameter() throws Exception {
+        runTest("analysis/analysis-api/testData/symbols/symbolByReference/functionReceiverParameter.kt");
+    }
+
     @Test
     @TestMetadata("genericFromFunctionInLocalClass.kt")
     public void testGenericFromFunctionInLocalClass() throws Exception {
@@ -82,6 +88,12 @@ public class FirIdeNormalAnalysisSourceModuleSymbolByReferenceTestGenerated exte
         runTest("analysis/analysis-api/testData/symbols/symbolByReference/implicitLambdaParameter.kt");
     }
 
+    @Test
+    @TestMetadata("propertyReceiverParameter.kt")
+    public void testPropertyReceiverParameter() throws Exception {
+        runTest("analysis/analysis-api/testData/symbols/symbolByReference/propertyReceiverParameter.kt");
+    }
+
     @Test
     @TestMetadata("samConstructor.kt")
     public void testSamConstructor() throws Exception {

analysis/analysis-api-impl-base/tests/org/jetbrains/kotlin/analysis/api/impl/base/test/cases/symbols/AbstractSymbolTest.kt

@@ -10,10 +10,7 @@ import org.jetbrains.kotlin.analysis.api.components.KtDeclarationRendererOptions
 import org.jetbrains.kotlin.analysis.api.impl.base.test.cases.symbols.SymbolTestDirectives.DO_NOT_CHECK_SYMBOL_RESTORE
 import org.jetbrains.kotlin.analysis.api.impl.base.test.cases.symbols.SymbolTestDirectives.DO_NOT_CHECK_SYMBOL_RESTORE_K1
 import org.jetbrains.kotlin.analysis.api.impl.base.test.cases.symbols.SymbolTestDirectives.DO_NOT_CHECK_SYMBOL_RESTORE_K2
-import org.jetbrains.kotlin.analysis.api.symbols.DebugSymbolRenderer
+import org.jetbrains.kotlin.analysis.api.symbols.*
-import org.jetbrains.kotlin.analysis.api.symbols.KtDeclarationSymbol
-import org.jetbrains.kotlin.analysis.api.symbols.KtFileSymbol
-import org.jetbrains.kotlin.analysis.api.symbols.KtSymbol
 import org.jetbrains.kotlin.analysis.api.symbols.pointers.KtSymbolPointer
 import org.jetbrains.kotlin.analysis.test.framework.base.AbstractAnalysisApiSingleFileTest
 import org.jetbrains.kotlin.analysis.test.framework.test.configurators.FrontendKind
@@ -80,6 +77,7 @@ abstract class AbstractSymbolTest : AbstractAnalysisApiSingleFileTest() {
                                 }
                             }
 
+                            is KtReceiverParameterSymbol -> DebugSymbolRenderer.render(symbol)
                             else -> error(symbol::class.toString())
                         }
                     )

analysis/analysis-api-standalone/tests-gen/org/jetbrains/kotlin/analysis/api/standalone/fir/test/cases/generated/cases/symbols/FirStandaloneNormalAnalysisSourceModuleSymbolByPsiTestGenerated.java

@@ -226,6 +226,12 @@ public class FirStandaloneNormalAnalysisSourceModuleSymbolByPsiTestGenerated ext
         runTest("analysis/analysis-api/testData/symbols/symbolByPsi/propertyWithAnnotations.kt");
     }
 
+    @Test
+    @TestMetadata("receiverAnnotation.kt")
+    public void testReceiverAnnotation() throws Exception {
+        runTest("analysis/analysis-api/testData/symbols/symbolByPsi/receiverAnnotation.kt");
+    }
+
     @Test
     @TestMetadata("topLevelFunctions.kt")
     public void testTopLevelFunctions() throws Exception {

analysis/analysis-api-standalone/tests-gen/org/jetbrains/kotlin/analysis/api/standalone/fir/test/cases/generated/cases/symbols/FirStandaloneNormalAnalysisSourceModuleSymbolByReferenceTestGenerated.java

@@ -64,6 +64,12 @@ public class FirStandaloneNormalAnalysisSourceModuleSymbolByReferenceTestGenerat
         runTest("analysis/analysis-api/testData/symbols/symbolByReference/explicitLambdaParameter.kt");
     }
 
+    @Test
+    @TestMetadata("functionReceiverParameter.kt")
+    public void testFunctionReceiverParameter() throws Exception {
+        runTest("analysis/analysis-api/testData/symbols/symbolByReference/functionReceiverParameter.kt");
+    }
+
     @Test
     @TestMetadata("genericFromFunctionInLocalClass.kt")
     public void testGenericFromFunctionInLocalClass() throws Exception {
@@ -82,6 +88,12 @@ public class FirStandaloneNormalAnalysisSourceModuleSymbolByReferenceTestGenerat
         runTest("analysis/analysis-api/testData/symbols/symbolByReference/implicitLambdaParameter.kt");
     }
 
+    @Test
+    @TestMetadata("propertyReceiverParameter.kt")
+    public void testPropertyReceiverParameter() throws Exception {
+        runTest("analysis/analysis-api/testData/symbols/symbolByReference/propertyReceiverParameter.kt");
+    }
+
     @Test
     @TestMetadata("samConstructor.kt")
     public void testSamConstructor() throws Exception {

analysis/analysis-api/testData/symbols/symbolByPsi/receiverAnnotation.descriptors.pretty.txt

@@ -0,0 +1,8 @@
+fun (@ReceiverTypeAnnotation kotlin.Int).foo()
+
+val (@ReceiverTypeAnnotation kotlin.Long).prop: kotlin.Boolean
+
+annotation class ReceiverAnnotation
+
+@kotlin.annotation.Target(allowedTargets = [kotlin.annotation.AnnotationTarget.TYPE])
+annotation class ReceiverTypeAnnotation

analysis/analysis-api/testData/symbols/symbolByPsi/receiverAnnotation.descriptors.txt

@@ -0,0 +1,157 @@
+KtNamedClassOrObjectSymbol:
+  annotationsList: []
+  classIdIfNonLocal: ReceiverAnnotation
+  classKind: ANNOTATION_CLASS
+  companionObject: null
+  contextReceivers: []
+  isData: false
+  isExternal: false
+  isFun: false
+  isInline: false
+  isInner: false
+  modality: FINAL
+  name: ReceiverAnnotation
+  origin: SOURCE
+  superTypes: [
+    kotlin/Annotation
+  ]
+  symbolKind: TOP_LEVEL
+  typeParameters: []
+  visibility: Public
+  getContainingModule: KtSourceModule "Sources of main"
+  deprecationStatus: null
+
+KtNamedClassOrObjectSymbol:
+  annotationsList: [
+    kotlin/annotation/Target(allowedTargets = [kotlin.annotation.AnnotationTarget.TYPE])
+      psi: KtAnnotationEntry
+  ]
+  classIdIfNonLocal: ReceiverTypeAnnotation
+  classKind: ANNOTATION_CLASS
+  companionObject: null
+  contextReceivers: []
+  isData: false
+  isExternal: false
+  isFun: false
+  isInline: false
+  isInner: false
+  modality: FINAL
+  name: ReceiverTypeAnnotation
+  origin: SOURCE
+  superTypes: [
+    kotlin/Annotation
+  ]
+  symbolKind: TOP_LEVEL
+  typeParameters: []
+  visibility: Public
+  getContainingModule: KtSourceModule "Sources of main"
+  deprecationStatus: null
+
+KtFunctionSymbol:
+  annotationsList: []
+  callableIdIfNonLocal: /foo
+  contextReceivers: []
+  hasStableParameterNames: true
+  isBuiltinFunctionInvoke: false
+  isExtension: true
+  isExternal: false
+  isInfix: false
+  isInline: false
+  isOperator: false
+  isOverride: false
+  isStatic: false
+  isSuspend: false
+  modality: FINAL
+  name: foo
+  origin: SOURCE
+  receiverType: [
+    ReceiverTypeAnnotation()
+      psi: KtAnnotationEntry
+  ] @R|ReceiverTypeAnnotation|()  kotlin/Int
+  returnType: kotlin/Unit
+  symbolKind: TOP_LEVEL
+  typeParameters: []
+  valueParameters: []
+  visibility: Public
+  getContainingModule: KtSourceModule "Sources of main"
+  deprecationStatus: null
+
+KtPropertyGetterSymbol:
+  annotationsList: []
+  callableIdIfNonLocal: null
+  contextReceivers: []
+  hasBody: true
+  hasStableParameterNames: true
+  isDefault: false
+  isExtension: false
+  isInline: false
+  isOverride: false
+  modality: FINAL
+  origin: SOURCE
+  receiverType: [
+    ReceiverTypeAnnotation()
+      psi: KtAnnotationEntry
+  ] @R|ReceiverTypeAnnotation|()  kotlin/Long
+  returnType: kotlin/Boolean
+  symbolKind: ACCESSOR
+  typeParameters: []
+  valueParameters: []
+  visibility: Public
+  getContainingModule: KtSourceModule "Sources of main"
+  deprecationStatus: null
+
+KtKotlinPropertySymbol:
+  annotationsList: []
+  callableIdIfNonLocal: /prop
+  contextReceivers: []
+  getter: KtPropertyGetterSymbol:
+    annotationsList: []
+    callableIdIfNonLocal: null
+    contextReceivers: []
+    hasBody: true
+    hasStableParameterNames: true
+    isDefault: false
+    isExtension: false
+    isInline: false
+    isOverride: false
+    modality: FINAL
+    origin: SOURCE
+    receiverType: [
+      ReceiverTypeAnnotation()
+        psi: KtAnnotationEntry
+    ] @R|ReceiverTypeAnnotation|()  kotlin/Long
+    returnType: kotlin/Boolean
+    symbolKind: ACCESSOR
+    typeParameters: []
+    valueParameters: []
+    visibility: Public
+  hasBackingField: false
+  hasGetter: true
+  hasSetter: false
+  initializer: null
+  isConst: false
+  isDelegatedProperty: false
+  isExtension: true
+  isFromPrimaryConstructor: false
+  isLateInit: false
+  isOverride: false
+  isStatic: false
+  isVal: true
+  modality: FINAL
+  name: prop
+  origin: SOURCE
+  receiverType: [
+    ReceiverTypeAnnotation()
+      psi: KtAnnotationEntry
+  ] @R|ReceiverTypeAnnotation|()  kotlin/Long
+  returnType: kotlin/Boolean
+  setter: null
+  symbolKind: TOP_LEVEL
+  typeParameters: []
+  visibility: Public
+  getContainingModule: KtSourceModule "Sources of main"
+  deprecationStatus: null
+  getterDeprecationStatus: null
+  javaGetterName: getProp
+  javaSetterName: null
+  setterDeprecationStatus: null

analysis/analysis-api/testData/symbols/symbolByPsi/receiverAnnotation.kt

@@ -0,0 +1,7 @@
+annotation class ReceiverAnnotation
+@Target(AnnotationTarget.TYPE)
+annotation class ReceiverTypeAnnotation
+
+fun @receiver:ReceiverAnnotation @ReceiverTypeAnnotation Int.foo() {}
+
+val @receiver:ReceiverAnnotation @ReceiverTypeAnnotation Long.prop: Boolean get() = true

analysis/analysis-api/testData/symbols/symbolByPsi/receiverAnnotation.pretty.txt

@@ -0,0 +1,8 @@
+fun @ReceiverAnnotation @ReceiverTypeAnnotation kotlin.Int.foo()
+
+val @ReceiverAnnotation @ReceiverTypeAnnotation kotlin.Long.prop: kotlin.Boolean
+
+annotation class ReceiverAnnotation
+
+@kotlin.annotation.Target(allowedTargets = [kotlin.annotation.AnnotationTarget.TYPE])
+annotation class ReceiverTypeAnnotation

analysis/analysis-api/testData/symbols/symbolByPsi/receiverAnnotation.txt

@@ -0,0 +1,165 @@
+KtNamedClassOrObjectSymbol:
+  annotationsList: []
+  classIdIfNonLocal: ReceiverAnnotation
+  classKind: ANNOTATION_CLASS
+  companionObject: null
+  contextReceivers: []
+  isData: false
+  isExternal: false
+  isFun: false
+  isInline: false
+  isInner: false
+  modality: FINAL
+  name: ReceiverAnnotation
+  origin: SOURCE
+  superTypes: [
+    kotlin/Annotation
+  ]
+  symbolKind: TOP_LEVEL
+  typeParameters: []
+  visibility: Public
+  getContainingModule: KtSourceModule "Sources of main"
+  deprecationStatus: null
+
+KtNamedClassOrObjectSymbol:
+  annotationsList: [
+    kotlin/annotation/Target(allowedTargets = [kotlin.annotation.AnnotationTarget.TYPE])
+      psi: KtAnnotationEntry
+  ]
+  classIdIfNonLocal: ReceiverTypeAnnotation
+  classKind: ANNOTATION_CLASS
+  companionObject: null
+  contextReceivers: []
+  isData: false
+  isExternal: false
+  isFun: false
+  isInline: false
+  isInner: false
+  modality: FINAL
+  name: ReceiverTypeAnnotation
+  origin: SOURCE
+  superTypes: [
+    kotlin/Annotation
+  ]
+  symbolKind: TOP_LEVEL
+  typeParameters: []
+  visibility: Public
+  getContainingModule: KtSourceModule "Sources of main"
+  deprecationStatus: null
+
+KtFunctionSymbol:
+  annotationsList: []
+  callableIdIfNonLocal: /foo
+  contextReceivers: []
+  hasStableParameterNames: true
+  isBuiltinFunctionInvoke: false
+  isExtension: true
+  isExternal: false
+  isInfix: false
+  isInline: false
+  isOperator: false
+  isOverride: false
+  isStatic: false
+  isSuspend: false
+  modality: FINAL
+  name: foo
+  origin: SOURCE
+  receiverType: [
+    ReceiverAnnotation()
+      psi: KtAnnotationEntry
+    ReceiverTypeAnnotation()
+      psi: KtAnnotationEntry
+  ] @RECEIVER:R|ReceiverAnnotation|()  @R|ReceiverTypeAnnotation|()  kotlin/Int
+  returnType: kotlin/Unit
+  symbolKind: TOP_LEVEL
+  typeParameters: []
+  valueParameters: []
+  visibility: Public
+  getContainingModule: KtSourceModule "Sources of main"
+  deprecationStatus: null
+
+KtPropertyGetterSymbol:
+  annotationsList: []
+  callableIdIfNonLocal: null
+  contextReceivers: []
+  hasBody: true
+  hasStableParameterNames: true
+  isDefault: false
+  isExtension: false
+  isInline: false
+  isOverride: false
+  modality: FINAL
+  origin: SOURCE
+  receiverType: [
+    ReceiverAnnotation()
+      psi: KtAnnotationEntry
+    ReceiverTypeAnnotation()
+      psi: KtAnnotationEntry
+  ] @RECEIVER:R|ReceiverAnnotation|()  @R|ReceiverTypeAnnotation|()  kotlin/Long
+  returnType: kotlin/Boolean
+  symbolKind: ACCESSOR
+  typeParameters: []
+  valueParameters: []
+  visibility: Public
+  getContainingModule: KtSourceModule "Sources of main"
+  deprecationStatus: null
+
+KtKotlinPropertySymbol:
+  annotationsList: []
+  callableIdIfNonLocal: /prop
+  contextReceivers: []
+  getter: KtPropertyGetterSymbol:
+    annotationsList: []
+    callableIdIfNonLocal: null
+    contextReceivers: []
+    hasBody: true
+    hasStableParameterNames: true
+    isDefault: false
+    isExtension: false
+    isInline: false
+    isOverride: false
+    modality: FINAL
+    origin: SOURCE
+    receiverType: [
+      ReceiverAnnotation()
+        psi: KtAnnotationEntry
+      ReceiverTypeAnnotation()
+        psi: KtAnnotationEntry
+    ] @RECEIVER:R|ReceiverAnnotation|()  @R|ReceiverTypeAnnotation|()  kotlin/Long
+    returnType: kotlin/Boolean
+    symbolKind: ACCESSOR
+    typeParameters: []
+    valueParameters: []
+    visibility: Public
+  hasBackingField: false
+  hasGetter: true
+  hasSetter: false
+  initializer: null
+  isConst: false
+  isDelegatedProperty: false
+  isExtension: true
+  isFromPrimaryConstructor: false
+  isLateInit: false
+  isOverride: false
+  isStatic: false
+  isVal: true
+  modality: FINAL
+  name: prop
+  origin: SOURCE
+  receiverType: [
+    ReceiverAnnotation()
+      psi: KtAnnotationEntry
+    ReceiverTypeAnnotation()
+      psi: KtAnnotationEntry
+  ] @RECEIVER:R|ReceiverAnnotation|()  @R|ReceiverTypeAnnotation|()  kotlin/Long
+  returnType: kotlin/Boolean
+  setter: null
+  symbolKind: TOP_LEVEL
+  typeParameters: []
+  visibility: Public
+  getContainingModule: KtSourceModule "Sources of main"
+  deprecationStatus: null
+  getterDeprecationStatus: null
+  javaGetterName: getProp
+  javaSetterName: null
+  setterDeprecationStatus: null

analysis/analysis-api/testData/symbols/symbolByReference/functionReceiverParameter.descriptors.pretty.txt

@@ -0,0 +1 @@
+fun (@ReceiverTypeAnnotation kotlin.Int).foo()

analysis/analysis-api/testData/symbols/symbolByReference/functionReceiverParameter.descriptors.txt

@@ -0,0 +1,28 @@
+KtFunctionSymbol:
+  annotationsList: []
+  callableIdIfNonLocal: /foo
+  contextReceivers: []
+  hasStableParameterNames: true
+  isBuiltinFunctionInvoke: false
+  isExtension: true
+  isExternal: false
+  isInfix: false
+  isInline: false
+  isOperator: false
+  isOverride: false
+  isStatic: false
+  isSuspend: false
+  modality: FINAL
+  name: foo
+  origin: SOURCE
+  receiverType: [
+    ReceiverTypeAnnotation()
+      psi: KtAnnotationEntry
+  ] @R|ReceiverTypeAnnotation|()  kotlin/Int
+  returnType: kotlin/Unit
+  symbolKind: TOP_LEVEL
+  typeParameters: []
+  valueParameters: []
+  visibility: Public
+  getContainingModule: KtSourceModule "Sources of main"
+  deprecationStatus: null

analysis/analysis-api/testData/symbols/symbolByReference/functionReceiverParameter.kt

@@ -0,0 +1,9 @@
+// DO_NOT_CHECK_SYMBOL_RESTORE_K2
+
+annotation class ReceiverAnnotation
+@Target(AnnotationTarget.TYPE)
+annotation class ReceiverTypeAnnotation
+
+fun @receiver:ReceiverAnnotation @ReceiverTypeAnnotation Int.foo() {
+    thi<caret>s
+}

analysis/analysis-api/testData/symbols/symbolByReference/functionReceiverParameter.pretty.txt

@@ -0,0 +1,9 @@
+KtReceiverParameterSymbol:
+  origin: SOURCE
+  owningCallableSymbol: KtFunctionSymbol(/foo)
+  type: [
+    ReceiverAnnotation()
+      psi: KtAnnotationEntry
+    ReceiverTypeAnnotation()
+      psi: KtAnnotationEntry
+  ] @RECEIVER:R|ReceiverAnnotation|()  @R|ReceiverTypeAnnotation|()  kotlin/Int

analysis/analysis-api/testData/symbols/symbolByReference/functionReceiverParameter.txt

@@ -0,0 +1,12 @@
+KtReceiverParameterSymbol:
+  origin: SOURCE
+  owningCallableSymbol: KtFunctionSymbol(/foo)
+  type: [
+    ReceiverAnnotation()
+      psi: KtAnnotationEntry
+    ReceiverTypeAnnotation()
+      psi: KtAnnotationEntry
+  ] @RECEIVER:R|ReceiverAnnotation|()  @R|ReceiverTypeAnnotation|()  kotlin/Int
+  getContainingModule: Could not render due to java.lang.IllegalArgumentException: Failed requirement.
+
+  deprecationStatus: Could not render due to java.lang.IllegalArgumentException: Failed requirement.

analysis/analysis-api/testData/symbols/symbolByReference/propertyReceiverParameter.descriptors.pretty.txt

@@ -0,0 +1 @@
+val (@ReceiverTypeAnnotation kotlin.Long).prop: kotlin.Boolean

analysis/analysis-api/testData/symbols/symbolByReference/propertyReceiverParameter.descriptors.txt

@@ -0,0 +1,55 @@
+KtKotlinPropertySymbol:
+  annotationsList: []
+  callableIdIfNonLocal: /prop
+  contextReceivers: []
+  getter: KtPropertyGetterSymbol:
+    annotationsList: []
+    callableIdIfNonLocal: null
+    contextReceivers: []
+    hasBody: true
+    hasStableParameterNames: true
+    isDefault: false
+    isExtension: false
+    isInline: false
+    isOverride: false
+    modality: FINAL
+    origin: SOURCE
+    receiverType: [
+      ReceiverTypeAnnotation()
+        psi: KtAnnotationEntry
+    ] @R|ReceiverTypeAnnotation|()  kotlin/Long
+    returnType: kotlin/Boolean
+    symbolKind: ACCESSOR
+    typeParameters: []
+    valueParameters: []
+    visibility: Public
+  hasBackingField: false
+  hasGetter: true
+  hasSetter: false
+  initializer: null
+  isConst: false
+  isDelegatedProperty: false
+  isExtension: true
+  isFromPrimaryConstructor: false
+  isLateInit: false
+  isOverride: false
+  isStatic: false
+  isVal: true
+  modality: FINAL
+  name: prop
+  origin: SOURCE
+  receiverType: [
+    ReceiverTypeAnnotation()
+      psi: KtAnnotationEntry
+  ] @R|ReceiverTypeAnnotation|()  kotlin/Long
+  returnType: kotlin/Boolean
+  setter: null
+  symbolKind: TOP_LEVEL
+  typeParameters: []
+  visibility: Public
+  getContainingModule: KtSourceModule "Sources of main"
+  deprecationStatus: null
+  getterDeprecationStatus: null
+  javaGetterName: getProp
+  javaSetterName: null
+  setterDeprecationStatus: null

analysis/analysis-api/testData/symbols/symbolByReference/propertyReceiverParameter.kt

@@ -0,0 +1,7 @@
+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

analysis/analysis-api/testData/symbols/symbolByReference/propertyReceiverParameter.pretty.txt

@@ -0,0 +1,61 @@
+KtReceiverParameterSymbol:
+  origin: SOURCE
+  owningCallableSymbol: KtKotlinPropertySymbol:
+    annotationsList: []
+    callableIdIfNonLocal: /prop
+    contextReceivers: []
+    getter: KtPropertyGetterSymbol:
+      annotationsList: []
+      callableIdIfNonLocal: null
+      contextReceivers: []
+      hasBody: true
+      hasStableParameterNames: true
+      isDefault: false
+      isExtension: false
+      isInline: false
+      isOverride: false
+      modality: FINAL
+      origin: SOURCE
+      receiverType: [
+        ReceiverAnnotation()
+          psi: KtAnnotationEntry
+        ReceiverTypeAnnotation()
+          psi: KtAnnotationEntry
+      ] @RECEIVER:R|ReceiverAnnotation|()  @R|ReceiverTypeAnnotation|()  kotlin/Long
+      returnType: kotlin/Boolean
+      symbolKind: ACCESSOR
+      typeParameters: []
+      valueParameters: []
+      visibility: Public
+    hasBackingField: false
+    hasGetter: true
+    hasSetter: false
+    initializer: null
+    isConst: false
+    isDelegatedProperty: false
+    isExtension: true
+    isFromPrimaryConstructor: false
+    isLateInit: false
+    isOverride: false
+    isStatic: false
+    isVal: true
+    modality: FINAL
+    name: prop
+    origin: SOURCE
+    receiverType: [
+      ReceiverAnnotation()
+        psi: KtAnnotationEntry
+      ReceiverTypeAnnotation()
+        psi: KtAnnotationEntry
+    ] @RECEIVER:R|ReceiverAnnotation|()  @R|ReceiverTypeAnnotation|()  kotlin/Long
+    returnType: kotlin/Boolean
+    setter: null
+    symbolKind: TOP_LEVEL
+    typeParameters: []
+    visibility: Public
+  type: [
+    ReceiverAnnotation()
+      psi: KtAnnotationEntry
+    ReceiverTypeAnnotation()
+      psi: KtAnnotationEntry
+  ] @RECEIVER:R|ReceiverAnnotation|()  @R|ReceiverTypeAnnotation|()  kotlin/Long

analysis/analysis-api/testData/symbols/symbolByReference/propertyReceiverParameter.txt

@@ -0,0 +1,64 @@
+KtReceiverParameterSymbol:
+  origin: SOURCE
+  owningCallableSymbol: KtKotlinPropertySymbol:
+    annotationsList: []
+    callableIdIfNonLocal: /prop
+    contextReceivers: []
+    getter: KtPropertyGetterSymbol:
+      annotationsList: []
+      callableIdIfNonLocal: null
+      contextReceivers: []
+      hasBody: true
+      hasStableParameterNames: true
+      isDefault: false
+      isExtension: false
+      isInline: false
+      isOverride: false
+      modality: FINAL
+      origin: SOURCE
+      receiverType: [
+        ReceiverAnnotation()
+          psi: KtAnnotationEntry
+        ReceiverTypeAnnotation()
+          psi: KtAnnotationEntry
+      ] @RECEIVER:R|ReceiverAnnotation|()  @R|ReceiverTypeAnnotation|()  kotlin/Long
+      returnType: kotlin/Boolean
+      symbolKind: ACCESSOR
+      typeParameters: []
+      valueParameters: []
+      visibility: Public
+    hasBackingField: false
+    hasGetter: true
+    hasSetter: false
+    initializer: null
+    isConst: false
+    isDelegatedProperty: false
+    isExtension: true
+    isFromPrimaryConstructor: false
+    isLateInit: false
+    isOverride: false
+    isStatic: false
+    isVal: true
+    modality: FINAL
+    name: prop
+    origin: SOURCE
+    receiverType: [
+      ReceiverAnnotation()
+        psi: KtAnnotationEntry
+      ReceiverTypeAnnotation()
+        psi: KtAnnotationEntry
+    ] @RECEIVER:R|ReceiverAnnotation|()  @R|ReceiverTypeAnnotation|()  kotlin/Long
+    returnType: kotlin/Boolean
+    setter: null
+    symbolKind: TOP_LEVEL
+    typeParameters: []
+    visibility: Public
+  type: [
+    ReceiverAnnotation()
+      psi: KtAnnotationEntry
+    ReceiverTypeAnnotation()
+      psi: KtAnnotationEntry
+  ] @RECEIVER:R|ReceiverAnnotation|()  @R|ReceiverTypeAnnotation|()  kotlin/Long
+  getContainingModule: Could not render due to java.lang.IllegalArgumentException: Failed requirement.
+
+  deprecationStatus: Could not render due to java.lang.IllegalArgumentException: Failed requirement.