Test for overrides involving dynamic types

This commit is contained in:
Andrey Breslav
2014-11-21 16:36:59 +03:00
parent e09b624f05
commit 65164e95b5
3 changed files with 71 additions and 0 deletions
@@ -3800,6 +3800,12 @@ public class JetDiagnosticsTestGenerated extends AbstractJetDiagnosticsTest {
doTest(fileName);
}
@TestMetadata("overrides.kt")
public void testOverrides() throws Exception {
String fileName = JetTestUtils.navigationMetadata("compiler/testData/diagnostics/tests/dynamicTypes/overrides.kt");
doTest(fileName);
}
@TestMetadata("smartCast.kt")
public void testSmartCast() throws Exception {
String fileName = JetTestUtils.navigationMetadata("compiler/testData/diagnostics/tests/dynamicTypes/smartCast.kt");