Add a test where a local variable has the same name as a property

analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/DiagnosisCompilerTestFE10TestdataTestGenerated.java

@@ -28850,6 +28850,12 @@ public class DiagnosisCompilerTestFE10TestdataTestGenerated extends AbstractDiag
                 runTest("compiler/testData/diagnostics/tests/smartCasts/implicitThisOnRefInLambdaInSmartcast.kt");
             }
 
+            @Test
+            @TestMetadata("implicitThisOrLocalVar.kt")
+            public void testImplicitThisOrLocalVar() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/smartCasts/implicitThisOrLocalVar.kt");
+            }
+
             @Test
             @TestMetadata("implicitToGrandSon.kt")
             public void testImplicitToGrandSon() throws Exception {

compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirOldFrontendDiagnosticsTestGenerated.java

@@ -28850,6 +28850,12 @@ public class FirOldFrontendDiagnosticsTestGenerated extends AbstractFirDiagnosti
                 runTest("compiler/testData/diagnostics/tests/smartCasts/implicitThisOnRefInLambdaInSmartcast.kt");
             }
 
+            @Test
+            @TestMetadata("implicitThisOrLocalVar.kt")
+            public void testImplicitThisOrLocalVar() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/smartCasts/implicitThisOrLocalVar.kt");
+            }
+
             @Test
             @TestMetadata("implicitToGrandSon.kt")
             public void testImplicitToGrandSon() throws Exception {

compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirOldFrontendDiagnosticsWithLightTreeTestGenerated.java

@@ -28850,6 +28850,12 @@ public class FirOldFrontendDiagnosticsWithLightTreeTestGenerated extends Abstrac
                 runTest("compiler/testData/diagnostics/tests/smartCasts/implicitThisOnRefInLambdaInSmartcast.kt");
             }
 
+            @Test
+            @TestMetadata("implicitThisOrLocalVar.kt")
+            public void testImplicitThisOrLocalVar() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/smartCasts/implicitThisOrLocalVar.kt");
+            }
+
             @Test
             @TestMetadata("implicitToGrandSon.kt")
             public void testImplicitToGrandSon() throws Exception {

compiler/testData/diagnostics/tests/smartCasts/implicitThisOrLocalVar.fir.kt

@@ -0,0 +1,26 @@
+class Box(var item: String?)
+
+fun <T> take(it: T) {}
+
+fun Box.test() {
+    val other = Box("")
+    myRun {
+        if (item != null) {
+            take<String>(<!SMARTCAST_IMPOSSIBLE!>item<!>)
+            other.item = null
+            take<String>(<!SMARTCAST_IMPOSSIBLE!>item<!>)
+            this.item = null
+            take<String>(<!SMARTCAST_IMPOSSIBLE!>item<!>)
+        }
+    }
+
+    var item: String? = "OK"
+    myRun {
+        if (item != null) {
+            this.item = null
+            take<String>(<!SMARTCAST_IMPOSSIBLE!>item<!>)
+        }
+    }
+}
+
+fun myRun(block: () -> Unit) {}

compiler/testData/diagnostics/tests/smartCasts/implicitThisOrLocalVar.kt

@@ -0,0 +1,26 @@
+class Box(var item: String?)
+
+fun <T> take(it: T) {}
+
+fun Box.test() {
+    val other = Box("")
+    myRun {
+        if (item != null) {
+            take<String>(<!SMARTCAST_IMPOSSIBLE!>item<!>)
+            other.item = null
+            take<String>(<!SMARTCAST_IMPOSSIBLE!>item<!>)
+            this.item = null
+            take<String>(<!TYPE_MISMATCH!>item<!>)
+        }
+    }
+
+    var item: String? = "OK"
+    myRun {
+        if (item != null) {
+            this.item = null
+            take<String>(<!DEBUG_INFO_SMARTCAST!>item<!>)
+        }
+    }
+}
+
+fun myRun(block: () -> Unit) {}

compiler/testData/diagnostics/tests/smartCasts/implicitThisOrLocalVar.txt

@@ -0,0 +1,13 @@
+package
+
+public fun myRun(/*0*/ block: () -> kotlin.Unit): kotlin.Unit
+public fun </*0*/ T> take(/*0*/ it: T): kotlin.Unit
+public fun Box.test(): kotlin.Unit
+
+public final class Box {
+    public constructor Box(/*0*/ item: kotlin.String?)
+    public final var item: kotlin.String?
+    public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+    public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+    public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+}

compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/DiagnosticTestGenerated.java

@@ -28940,6 +28940,12 @@ public class DiagnosticTestGenerated extends AbstractDiagnosticTest {
                 runTest("compiler/testData/diagnostics/tests/smartCasts/implicitThisOnRefInLambdaInSmartcast.kt");
             }
 
+            @Test
+            @TestMetadata("implicitThisOrLocalVar.kt")
+            public void testImplicitThisOrLocalVar() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/smartCasts/implicitThisOrLocalVar.kt");
+            }
+
             @Test
             @TestMetadata("implicitToGrandSon.kt")
             public void testImplicitToGrandSon() throws Exception {