Test for KT-5502 (works after KT-4450 / KT-5907 fix)

2015-04-06 17:02:11 +03:00
parent d92ccad35d
commit 88441814b9
3 changed files with 35 additions and 0 deletions
@@ -11341,6 +11341,12 @@ public class JetDiagnosticsTestGenerated extends AbstractJetDiagnosticsTest {
                    doTest(fileName);
                }

+                @TestMetadata("kt5502.kt")
+                public void testKt5502() throws Exception {
+                    String fileName = JetTestUtils.navigationMetadata("compiler/testData/diagnostics/tests/smartCasts/varnotnull/kt5502.kt");
+                    doTest(fileName);
+                }
+
                @TestMetadata("kt5907.kt")
                public void testKt5907() throws Exception {
                    String fileName = JetTestUtils.navigationMetadata("compiler/testData/diagnostics/tests/smartCasts/varnotnull/kt5907.kt");