[FIR] Add a minimized alternative for orOperatorWithConstant.kt

It was decided to leave this code as is, because supporting
it would probably require introducing Implication-statements,
but this is not a good-enough use-case for such work.

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

@@ -35020,6 +35020,12 @@ public class DiagnosticCompilerTestFE10TestdataTestGenerated extends AbstractDia
                 runTest("compiler/testData/diagnostics/tests/smartCasts/smartCastOnWhen.kt");
             }
 
+            @Test
+            @TestMetadata("smartCastWithOrFalse.kt")
+            public void testSmartCastWithOrFalse() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/smartCasts/smartCastWithOrFalse.kt");
+            }
+
             @Test
             @TestMetadata("smartcastInFriendModule.kt")
             public void testSmartcastInFriendModule() throws Exception {

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

@@ -35020,6 +35020,12 @@ public class LLFirPreresolvedReversedDiagnosticCompilerFE10TestDataTestGenerated
                 runTest("compiler/testData/diagnostics/tests/smartCasts/smartCastOnWhen.kt");
             }
 
+            @Test
+            @TestMetadata("smartCastWithOrFalse.kt")
+            public void testSmartCastWithOrFalse() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/smartCasts/smartCastWithOrFalse.kt");
+            }
+
             @Test
             @TestMetadata("smartcastInFriendModule.kt")
             public void testSmartcastInFriendModule() throws Exception {

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

@@ -32740,6 +32740,12 @@ public class FirLightTreeOldFrontendDiagnosticsTestGenerated extends AbstractFir
                 runTest("compiler/testData/diagnostics/tests/smartCasts/smartCastOnWhen.kt");
             }
 
+            @Test
+            @TestMetadata("smartCastWithOrFalse.kt")
+            public void testSmartCastWithOrFalse() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/smartCasts/smartCastWithOrFalse.kt");
+            }
+
             @Test
             @TestMetadata("smartcastInFriendModule.kt")
             public void testSmartcastInFriendModule() throws Exception {

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

@@ -32860,6 +32860,12 @@ public class FirPsiOldFrontendDiagnosticsTestGenerated extends AbstractFirPsiDia
                 runTest("compiler/testData/diagnostics/tests/smartCasts/smartCastOnWhen.kt");
             }
 
+            @Test
+            @TestMetadata("smartCastWithOrFalse.kt")
+            public void testSmartCastWithOrFalse() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/smartCasts/smartCastWithOrFalse.kt");
+            }
+
             @Test
             @TestMetadata("smartcastInFriendModule.kt")
             public void testSmartcastInFriendModule() throws Exception {

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

@@ -0,0 +1,8 @@
+fun main(x: Any?) {
+    if (x is String || false) {
+        x.<!UNRESOLVED_REFERENCE!>length<!>
+    }
+    else {
+        x.<!UNRESOLVED_REFERENCE!>length<!>
+    }
+}

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

@@ -0,0 +1,8 @@
+fun main(x: Any?) {
+    if (x is String || false) {
+        <!DEBUG_INFO_SMARTCAST!>x<!>.length
+    }
+    else {
+        x.<!UNRESOLVED_REFERENCE!>length<!>
+    }
+}

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

@@ -35020,6 +35020,12 @@ public class DiagnosticTestGenerated extends AbstractDiagnosticTest {
                 runTest("compiler/testData/diagnostics/tests/smartCasts/smartCastOnWhen.kt");
             }
 
+            @Test
+            @TestMetadata("smartCastWithOrFalse.kt")
+            public void testSmartCastWithOrFalse() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/smartCasts/smartCastWithOrFalse.kt");
+            }
+
             @Test
             @TestMetadata("smartcastInFriendModule.kt")
             public void testSmartcastInFriendModule() throws Exception {