Test for KT-3711. Passes already in M11 or even earlier

2015-04-07 19:01:47 +03:00
parent 221501c0d9
commit cd206fc97b
3 changed files with 31 additions and 0 deletions
@@ -11341,6 +11341,12 @@ public class JetDiagnosticsTestGenerated extends AbstractJetDiagnosticsTest {
                    doTest(fileName);
                }

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