Test for using dynamic types with smart casts

2014-11-19 19:48:08 +03:00
parent cdecb9d8c4
commit 712f776545
3 changed files with 33 additions and 0 deletions
@@ -3788,6 +3788,12 @@ public class JetDiagnosticsTestGenerated extends AbstractJetDiagnosticsTest {
                doTest(fileName);
            }

+            @TestMetadata("smartCast.kt")
+            public void testSmartCast() throws Exception {
+                String fileName = JetTestUtils.navigationMetadata("compiler/testData/diagnostics/tests/dynamicTypes/smartCast.kt");
+                doTest(fileName);
+            }
+
            @TestMetadata("unsupported.kt")
            public void testUnsupported() throws Exception {
                String fileName = JetTestUtils.navigationMetadata("compiler/testData/diagnostics/tests/dynamicTypes/unsupported.kt");