Fix for a problem with smart cast impossible in a situation when it's not needed. A test for KT-3572. #KT-3572 Fixed.

2015-04-30 11:50:38 +03:00
parent 093878bd06
commit f4dd685bbe
5 changed files with 59 additions and 7 deletions
@@ -10998,6 +10998,12 @@ public class JetDiagnosticsTestGenerated extends AbstractJetDiagnosticsTest {
                doTest(fileName);
            }

+            @TestMetadata("kt3572.kt")
+            public void testKt3572() throws Exception {
+                String fileName = JetTestUtils.navigationMetadata("compiler/testData/diagnostics/tests/smartCasts/kt3572.kt");
+                doTest(fileName);
+            }
+
            @TestMetadata("kt3711.kt")
            public void testKt3711() throws Exception {
                String fileName = JetTestUtils.navigationMetadata("compiler/testData/diagnostics/tests/smartCasts/kt3711.kt");