Test for substitutions with dynamic types

2014-11-19 21:51:14 +03:00
parent a1c1d25575
commit 71b2e8bcf1
3 changed files with 28 additions and 0 deletions
@@ -3794,6 +3794,12 @@ public class JetDiagnosticsTestGenerated extends AbstractJetDiagnosticsTest {
                doTest(fileName);
            }

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