Test and implementation for KT-6819. Now when entry condition data flow information is used for subsequent conditions. #KT-6819 Fixed

2015-04-07 17:20:11 +03:00
parent cd206fc97b
commit 27b1f1ddad
4 changed files with 19 additions and 1 deletions
@@ -11412,6 +11412,12 @@ public class JetDiagnosticsTestGenerated extends AbstractJetDiagnosticsTest {
                    String fileName = JetTestUtils.navigationMetadata("compiler/testData/diagnostics/tests/smartCasts/varnotnull/kt5907var.kt");
                    doTest(fileName);
                }
+
+                @TestMetadata("kt6819.kt")
+                public void testKt6819() throws Exception {
+                    String fileName = JetTestUtils.navigationMetadata("compiler/testData/diagnostics/tests/smartCasts/varnotnull/kt6819.kt");
+                    doTest(fileName);
+                }
            }
        }