[FIR] Adding a test case to show resolution of KT-29559 in K2

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

@@ -1089,6 +1089,12 @@ public class DiagnosticCompilerTestFE10TestdataTestGenerated extends AbstractDia
       runTest("compiler/testData/diagnostics/tests/phantomIntersections.kt");
     }
 
+    @Test
+    @TestMetadata("postfixIncSmartCast.kt")
+    public void testPostfixIncSmartCast() {
+      runTest("compiler/testData/diagnostics/tests/postfixIncSmartCast.kt");
+    }
+
     @Test
     @TestMetadata("prefixIncReturnType.kt")
     public void testPrefixIncReturnType() {
@@ -35518,6 +35524,12 @@ public class DiagnosticCompilerTestFE10TestdataTestGenerated extends AbstractDia
         runTest("compiler/testData/diagnostics/tests/smartCasts/incDecToNull.kt");
       }
 
+      @Test
+      @TestMetadata("incrementAfterAssignment.kt")
+      public void testIncrementAfterAssignment() {
+        runTest("compiler/testData/diagnostics/tests/smartCasts/incrementAfterAssignment.kt");
+      }
+
       @Test
       @TestMetadata("kt10232.kt")
       public void testKt10232() {

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

@@ -1089,6 +1089,12 @@ public class LLFirPreresolvedReversedDiagnosticCompilerFE10TestDataTestGenerated
       runTest("compiler/testData/diagnostics/tests/phantomIntersections.kt");
     }
 
+    @Test
+    @TestMetadata("postfixIncSmartCast.kt")
+    public void testPostfixIncSmartCast() {
+      runTest("compiler/testData/diagnostics/tests/postfixIncSmartCast.kt");
+    }
+
     @Test
     @TestMetadata("prefixIncReturnType.kt")
     public void testPrefixIncReturnType() {
@@ -35518,6 +35524,12 @@ public class LLFirPreresolvedReversedDiagnosticCompilerFE10TestDataTestGenerated
         runTest("compiler/testData/diagnostics/tests/smartCasts/incDecToNull.kt");
       }
 
+      @Test
+      @TestMetadata("incrementAfterAssignment.kt")
+      public void testIncrementAfterAssignment() {
+        runTest("compiler/testData/diagnostics/tests/smartCasts/incrementAfterAssignment.kt");
+      }
+
       @Test
       @TestMetadata("kt10232.kt")
       public void testKt10232() {

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

@@ -1089,6 +1089,12 @@ public class FirLightTreeOldFrontendDiagnosticsTestGenerated extends AbstractFir
       runTest("compiler/testData/diagnostics/tests/phantomIntersections.kt");
     }
 
+    @Test
+    @TestMetadata("postfixIncSmartCast.kt")
+    public void testPostfixIncSmartCast() {
+      runTest("compiler/testData/diagnostics/tests/postfixIncSmartCast.kt");
+    }
+
     @Test
     @TestMetadata("prefixIncReturnType.kt")
     public void testPrefixIncReturnType() {
@@ -33090,6 +33096,12 @@ public class FirLightTreeOldFrontendDiagnosticsTestGenerated extends AbstractFir
         runTest("compiler/testData/diagnostics/tests/smartCasts/incDecToNull.kt");
       }
 
+      @Test
+      @TestMetadata("incrementAfterAssignment.kt")
+      public void testIncrementAfterAssignment() {
+        runTest("compiler/testData/diagnostics/tests/smartCasts/incrementAfterAssignment.kt");
+      }
+
       @Test
       @TestMetadata("kt10232.kt")
       public void testKt10232() {

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

@@ -1089,6 +1089,12 @@ public class FirPsiOldFrontendDiagnosticsTestGenerated extends AbstractFirPsiDia
       runTest("compiler/testData/diagnostics/tests/phantomIntersections.kt");
     }
 
+    @Test
+    @TestMetadata("postfixIncSmartCast.kt")
+    public void testPostfixIncSmartCast() {
+      runTest("compiler/testData/diagnostics/tests/postfixIncSmartCast.kt");
+    }
+
     @Test
     @TestMetadata("prefixIncReturnType.kt")
     public void testPrefixIncReturnType() {
@@ -33228,6 +33234,12 @@ public class FirPsiOldFrontendDiagnosticsTestGenerated extends AbstractFirPsiDia
         runTest("compiler/testData/diagnostics/tests/smartCasts/incDecToNull.kt");
       }
 
+      @Test
+      @TestMetadata("incrementAfterAssignment.kt")
+      public void testIncrementAfterAssignment() {
+        runTest("compiler/testData/diagnostics/tests/smartCasts/incrementAfterAssignment.kt");
+      }
+
       @Test
       @TestMetadata("kt10232.kt")
       public void testKt10232() {

compiler/testData/diagnostics/tests/postfixIncSmartCast.fir.kt

@@ -0,0 +1,11 @@
+open class I {
+    operator fun inc(): ST = ST()
+}
+
+class ST : I()
+
+fun main() {
+    var local = I()
+    val x: ST = <!INITIALIZER_TYPE_MISMATCH!>local++<!>
+    val y: ST = local
+}

compiler/testData/diagnostics/tests/postfixIncSmartCast.kt

@@ -0,0 +1,11 @@
+open class I {
+    operator fun inc(): ST = ST()
+}
+
+class ST : I()
+
+fun main() {
+    var local = I()
+    val x: ST = <!TYPE_MISMATCH!>local++<!>
+    val y: ST = <!TYPE_MISMATCH!>local<!>
+}

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

@@ -0,0 +1,27 @@
+// WITH_STDLIB
+// SKIP_TEXT
+// ISSUE: KT-29559
+
+fun consume(i: Int) {}
+fun consume(c: Char) {}
+fun consume(a: Any?) {}
+
+fun test1() {
+    var a: Any
+
+    a = 1
+    consume(a)
+
+    a = 1
+    consume(a++)
+
+    a = 1
+    consume(++a)
+
+    a = 't'
+    consume(a++)
+
+    a = 't'
+    consume(++a)
+    consume(a++)
+}

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

@@ -0,0 +1,27 @@
+// WITH_STDLIB
+// SKIP_TEXT
+// ISSUE: KT-29559
+
+fun consume(i: Int) {}
+fun consume(c: Char) {}
+fun consume(a: Any?) {}
+
+fun test1() {
+    var a: Any
+
+    a = 1
+    consume(<!DEBUG_INFO_SMARTCAST!>a<!>)
+
+    a = 1
+    consume(<!TYPE_MISMATCH!><!DEBUG_INFO_SMARTCAST!>a<!>++<!>)
+
+    a = 1
+    consume(++<!DEBUG_INFO_SMARTCAST!>a<!>)
+
+    a = 't'
+    consume(<!TYPE_MISMATCH!><!DEBUG_INFO_SMARTCAST!>a<!>++<!>)
+
+    a = 't'
+    consume(++<!DEBUG_INFO_SMARTCAST!>a<!>)
+    consume(<!DEBUG_INFO_SMARTCAST!><!DEBUG_INFO_SMARTCAST!>a<!>++<!>)
+}

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

@@ -1089,6 +1089,12 @@ public class DiagnosticTestGenerated extends AbstractDiagnosticTest {
       runTest("compiler/testData/diagnostics/tests/phantomIntersections.kt");
     }
 
+    @Test
+    @TestMetadata("postfixIncSmartCast.kt")
+    public void testPostfixIncSmartCast() {
+      runTest("compiler/testData/diagnostics/tests/postfixIncSmartCast.kt");
+    }
+
     @Test
     @TestMetadata("prefixIncReturnType.kt")
     public void testPrefixIncReturnType() {
@@ -35518,6 +35524,12 @@ public class DiagnosticTestGenerated extends AbstractDiagnosticTest {
         runTest("compiler/testData/diagnostics/tests/smartCasts/incDecToNull.kt");
       }
 
+      @Test
+      @TestMetadata("incrementAfterAssignment.kt")
+      public void testIncrementAfterAssignment() {
+        runTest("compiler/testData/diagnostics/tests/smartCasts/incrementAfterAssignment.kt");
+      }
+
       @Test
       @TestMetadata("kt10232.kt")
       public void testKt10232() {