[LL API] Fix 'this' capturing inside property accessors

^KTIJ-26726 Fixed

analysis/analysis-api-fir/tests-gen/org/jetbrains/kotlin/analysis/api/fir/test/cases/generated/cases/components/compilerFacility/FirIdeNormalAnalysisLibrarySourceModuleCompilerFacilityTestGenerated.java

@@ -160,6 +160,24 @@ public class FirIdeNormalAnalysisLibrarySourceModuleCompilerFacilityTestGenerate
                 runTest("analysis/analysis-api/testData/components/compilerFacility/compilation/codeFragments/capturing/extensionReceiverLabeled.kt");
             }
 
+            @Test
+            @TestMetadata("extensionReceiverProperty.kt")
+            public void testExtensionReceiverProperty() throws Exception {
+                runTest("analysis/analysis-api/testData/components/compilerFacility/compilation/codeFragments/capturing/extensionReceiverProperty.kt");
+            }
+
+            @Test
+            @TestMetadata("extensionReceiverPropertyExplicit.kt")
+            public void testExtensionReceiverPropertyExplicit() throws Exception {
+                runTest("analysis/analysis-api/testData/components/compilerFacility/compilation/codeFragments/capturing/extensionReceiverPropertyExplicit.kt");
+            }
+
+            @Test
+            @TestMetadata("extensionReceiverPropertyLabeled.kt")
+            public void testExtensionReceiverPropertyLabeled() throws Exception {
+                runTest("analysis/analysis-api/testData/components/compilerFacility/compilation/codeFragments/capturing/extensionReceiverPropertyLabeled.kt");
+            }
+
             @Test
             @TestMetadata("initializer.kt")
             public void testInitializer() throws Exception {

analysis/analysis-api-fir/tests-gen/org/jetbrains/kotlin/analysis/api/fir/test/cases/generated/cases/components/compilerFacility/FirIdeNormalAnalysisSourceModuleCompilerFacilityTestGenerated.java

@@ -160,6 +160,24 @@ public class FirIdeNormalAnalysisSourceModuleCompilerFacilityTestGenerated exten
                 runTest("analysis/analysis-api/testData/components/compilerFacility/compilation/codeFragments/capturing/extensionReceiverLabeled.kt");
             }
 
+            @Test
+            @TestMetadata("extensionReceiverProperty.kt")
+            public void testExtensionReceiverProperty() throws Exception {
+                runTest("analysis/analysis-api/testData/components/compilerFacility/compilation/codeFragments/capturing/extensionReceiverProperty.kt");
+            }
+
+            @Test
+            @TestMetadata("extensionReceiverPropertyExplicit.kt")
+            public void testExtensionReceiverPropertyExplicit() throws Exception {
+                runTest("analysis/analysis-api/testData/components/compilerFacility/compilation/codeFragments/capturing/extensionReceiverPropertyExplicit.kt");
+            }
+
+            @Test
+            @TestMetadata("extensionReceiverPropertyLabeled.kt")
+            public void testExtensionReceiverPropertyLabeled() throws Exception {
+                runTest("analysis/analysis-api/testData/components/compilerFacility/compilation/codeFragments/capturing/extensionReceiverPropertyLabeled.kt");
+            }
+
             @Test
             @TestMetadata("initializer.kt")
             public void testInitializer() throws Exception {

analysis/analysis-api/testData/components/compilerFacility/compilation/codeFragments/capturing/extensionReceiverProperty.capturing.txt

@@ -0,0 +1,4 @@
+ExtensionReceiver[name: ext; isMutated: false; displayText: this@ext]
+    val R|kotlin/Int|.ext: R|kotlin/String|
+        get(): R|kotlin/String|
+    R|kotlin/Int|

analysis/analysis-api/testData/components/compilerFacility/compilation/codeFragments/capturing/extensionReceiverProperty.fragment.kt

@@ -0,0 +1 @@
+dec()

analysis/analysis-api/testData/components/compilerFacility/compilation/codeFragments/capturing/extensionReceiverProperty.ir.txt

@@ -0,0 +1,13 @@
+MODULE_FRAGMENT
+  FILE fqName:<root> fileName:fragment.kt
+    CLASS CLASS name:CodeFragment modality:FINAL visibility:public superTypes:[kotlin.Any]
+      $this: VALUE_PARAMETER INSTANCE_RECEIVER name:<this> type:<root>.CodeFragment
+      CONSTRUCTOR visibility:public <> () returnType:<root>.CodeFragment [primary]
+        BLOCK_BODY
+          DELEGATING_CONSTRUCTOR_CALL 'public constructor <init> () [primary] declared in kotlin.Any'
+      FUN name:run visibility:public modality:FINAL <> (p0:kotlin.Int) returnType:kotlin.Int
+        VALUE_PARAMETER name:p0 index:0 type:kotlin.Int
+        EXPRESSION_BODY
+          BLOCK type=kotlin.Int origin=null
+            CALL 'public final fun dec (): kotlin.Int [operator] declared in kotlin.Int' type=kotlin.Int origin=null
+              $this: GET_VAR 'p0: kotlin.Int declared in <root>.CodeFragment.run' type=kotlin.Int origin=null

analysis/analysis-api/testData/components/compilerFacility/compilation/codeFragments/capturing/extensionReceiverProperty.kt

@@ -0,0 +1,8 @@
+fun test() {
+    1.ext
+}
+
+val Int.ext: String
+    get() {
+        <caret>return "foo"
+    }

analysis/analysis-api/testData/components/compilerFacility/compilation/codeFragments/capturing/extensionReceiverProperty.txt

@@ -0,0 +1,5 @@
+public final class CodeFragment {
+    // source: 'fragment.kt'
+    public method <init>(): void
+    public final static method run(p0: int): int
+}

analysis/analysis-api/testData/components/compilerFacility/compilation/codeFragments/capturing/extensionReceiverPropertyExplicit.capturing.txt

@@ -0,0 +1,4 @@
+ExtensionReceiver[name: ext; isMutated: false; displayText: this@ext]
+    val R|kotlin/Int|.ext: R|kotlin/String|
+        get(): R|kotlin/String|
+    R|kotlin/Int|

analysis/analysis-api/testData/components/compilerFacility/compilation/codeFragments/capturing/extensionReceiverPropertyExplicit.fragment.kt

@@ -0,0 +1 @@
+this.dec()

analysis/analysis-api/testData/components/compilerFacility/compilation/codeFragments/capturing/extensionReceiverPropertyExplicit.ir.txt

@@ -0,0 +1,13 @@
+MODULE_FRAGMENT
+  FILE fqName:<root> fileName:fragment.kt
+    CLASS CLASS name:CodeFragment modality:FINAL visibility:public superTypes:[kotlin.Any]
+      $this: VALUE_PARAMETER INSTANCE_RECEIVER name:<this> type:<root>.CodeFragment
+      CONSTRUCTOR visibility:public <> () returnType:<root>.CodeFragment [primary]
+        BLOCK_BODY
+          DELEGATING_CONSTRUCTOR_CALL 'public constructor <init> () [primary] declared in kotlin.Any'
+      FUN name:run visibility:public modality:FINAL <> (p0:kotlin.Int) returnType:kotlin.Int
+        VALUE_PARAMETER name:p0 index:0 type:kotlin.Int
+        EXPRESSION_BODY
+          BLOCK type=kotlin.Int origin=null
+            CALL 'public final fun dec (): kotlin.Int [operator] declared in kotlin.Int' type=kotlin.Int origin=null
+              $this: GET_VAR 'p0: kotlin.Int declared in <root>.CodeFragment.run' type=kotlin.Int origin=null

analysis/analysis-api/testData/components/compilerFacility/compilation/codeFragments/capturing/extensionReceiverPropertyExplicit.kt

@@ -0,0 +1,8 @@
+fun test() {
+    1.ext
+}
+
+val Int.ext: String
+    get() {
+        <caret>return "foo"
+    }

analysis/analysis-api/testData/components/compilerFacility/compilation/codeFragments/capturing/extensionReceiverPropertyExplicit.txt

@@ -0,0 +1,5 @@
+public final class CodeFragment {
+    // source: 'fragment.kt'
+    public method <init>(): void
+    public final static method run(p0: int): int
+}

analysis/analysis-api/testData/components/compilerFacility/compilation/codeFragments/capturing/extensionReceiverPropertyLabeled.capturing.txt

@@ -0,0 +1,4 @@
+ExtensionReceiver[name: ext; isMutated: false; displayText: this@ext]
+    val R|kotlin/Int|.ext: R|kotlin/String|
+        get(): R|kotlin/String|
+    R|kotlin/Int|

analysis/analysis-api/testData/components/compilerFacility/compilation/codeFragments/capturing/extensionReceiverPropertyLabeled.fragment.kt

@@ -0,0 +1 @@
+this@ext.dec()

analysis/analysis-api/testData/components/compilerFacility/compilation/codeFragments/capturing/extensionReceiverPropertyLabeled.ir.txt

@@ -0,0 +1,13 @@
+MODULE_FRAGMENT
+  FILE fqName:<root> fileName:fragment.kt
+    CLASS CLASS name:CodeFragment modality:FINAL visibility:public superTypes:[kotlin.Any]
+      $this: VALUE_PARAMETER INSTANCE_RECEIVER name:<this> type:<root>.CodeFragment
+      CONSTRUCTOR visibility:public <> () returnType:<root>.CodeFragment [primary]
+        BLOCK_BODY
+          DELEGATING_CONSTRUCTOR_CALL 'public constructor <init> () [primary] declared in kotlin.Any'
+      FUN name:run visibility:public modality:FINAL <> (p0:kotlin.Int) returnType:kotlin.Int
+        VALUE_PARAMETER name:p0 index:0 type:kotlin.Int
+        EXPRESSION_BODY
+          BLOCK type=kotlin.Int origin=null
+            CALL 'public final fun dec (): kotlin.Int [operator] declared in kotlin.Int' type=kotlin.Int origin=null
+              $this: GET_VAR 'p0: kotlin.Int declared in <root>.CodeFragment.run' type=kotlin.Int origin=null

analysis/analysis-api/testData/components/compilerFacility/compilation/codeFragments/capturing/extensionReceiverPropertyLabeled.kt

@@ -0,0 +1,8 @@
+fun test() {
+    1.ext
+}
+
+val Int.ext: String
+    get() {
+        <caret>return "foo"
+    }

analysis/analysis-api/testData/components/compilerFacility/compilation/codeFragments/capturing/extensionReceiverPropertyLabeled.txt

@@ -0,0 +1,5 @@
+public final class CodeFragment {
+    // source: 'fragment.kt'
+    public method <init>(): void
+    public final static method run(p0: int): int
+}

analysis/low-level-api-fir/src/org/jetbrains/kotlin/analysis/low/level/api/fir/compile/CodeFragmentCapturedValueAnalyzer.kt

@@ -139,7 +139,10 @@ private class CodeFragmentCapturedValueVisitor(
                                 register(CodeFragmentCapturedSymbol(capturedValue, symbol, typeRef, contextReceiverNumber))
                             }
                         }
-                        is FirFunctionSymbol<*> -> {
+                        is FirFunctionSymbol<*>, is FirPropertySymbol -> {
+                            @Suppress("USELESS_IS_CHECK") // Smart-cast is not applied from a 'when' condition in K1
+                            require(symbol is FirCallableSymbol<*>)
+
                             if (contextReceiverNumber >= 0) {
                                 val contextReceiver = symbol.resolvedContextReceivers[contextReceiverNumber]
                                 val labelName = contextReceiver.labelName

analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/CodeFragmentCapturingTestGenerated.java

@@ -54,6 +54,24 @@ public class CodeFragmentCapturingTestGenerated extends AbstractCodeFragmentCapt
         runTest("analysis/analysis-api/testData/components/compilerFacility/compilation/codeFragments/capturing/extensionReceiverLabeled.kt");
     }
 
+    @Test
+    @TestMetadata("extensionReceiverProperty.kt")
+    public void testExtensionReceiverProperty() throws Exception {
+        runTest("analysis/analysis-api/testData/components/compilerFacility/compilation/codeFragments/capturing/extensionReceiverProperty.kt");
+    }
+
+    @Test
+    @TestMetadata("extensionReceiverPropertyExplicit.kt")
+    public void testExtensionReceiverPropertyExplicit() throws Exception {
+        runTest("analysis/analysis-api/testData/components/compilerFacility/compilation/codeFragments/capturing/extensionReceiverPropertyExplicit.kt");
+    }
+
+    @Test
+    @TestMetadata("extensionReceiverPropertyLabeled.kt")
+    public void testExtensionReceiverPropertyLabeled() throws Exception {
+        runTest("analysis/analysis-api/testData/components/compilerFacility/compilation/codeFragments/capturing/extensionReceiverPropertyLabeled.kt");
+    }
+
     @Test
     @TestMetadata("initializer.kt")
     public void testInitializer() throws Exception {