Added test for KT-334 Can't use java.lang.Comparable by the short name

#KT-334 obsolete
2013-03-14 17:27:48 +04:00
parent be30716076
commit 735f06e78f
2 changed files with 11 additions and 0 deletions
@@ -0,0 +1,6 @@
+import <!PLATFORM_CLASS_MAPPED_TO_KOTLIN!>java.lang.Comparable<!> as Comparable
+
+fun f(c: <!PLATFORM_CLASS_MAPPED_TO_KOTLIN!>Comparable<*><!>) {
+    <!TYPE_MISMATCH!>c<!>: jet.Comparable<*>
+    c: <!PLATFORM_CLASS_MAPPED_TO_KOTLIN!>java.lang.Comparable<*><!>
+}
@@ -3623,6 +3623,11 @@ public class JetDiagnosticsTestGenerated extends AbstractDiagnosticsTestWithEage
                doTest("compiler/testData/diagnostics/tests/regressions/kt328.kt");
            }
            
+            @TestMetadata("kt334.kt")
+            public void testKt334() throws Exception {
+                doTest("compiler/testData/diagnostics/tests/regressions/kt334.kt");
+            }
+            
            @TestMetadata("kt335.336.kt")
            public void testKt335_336() throws Exception {
                doTest("compiler/testData/diagnostics/tests/regressions/kt335.336.kt");