more check for casts

KT-445 (Don't allow deep instanceof for erased parameters) and more see new tests in compiler/testData/checkerWithErrorTypes/full/cast
2011-11-23 18:15:37 +04:00
parent fed075b0ca
commit 5d2dfcd48f
17 changed files with 143 additions and 5 deletions
@@ -0,0 +1,4 @@
+import java.util.List;
+import java.util.Collection;
+
+fun ff(c: Collection<String>) = c <!CAST_NEVER_SUCCEEDS!>as<!> List<Int>
@@ -0,0 +1,4 @@
+import java.util.List;
+import java.util.Collection;
+
+fun ff(c: Collection<String>) = c as List<String>
@@ -0,0 +1,4 @@
+import java.util.List;
+
+fun ff(l: Any) = l as List<*>
+
@@ -0,0 +1,3 @@
+import java.util.List;
+
+fun ff(a: Any) = <!UNCHECKED_CAST!>a as List<String><!>
@@ -0,0 +1,5 @@
+import java.util.Collection;
+import java.util.List;
+
+fun ff(l: Collection<String>) = l is List<String>
+
@@ -0,0 +1,9 @@
+import java.util.Collection;
+import java.util.List;
+
+open class A
+
+class B : A
+
+fun ff(l: Collection<B>) = l is List<out A>
+
@@ -0,0 +1,3 @@
+import java.util.List;
+
+fun ff(l: Any) = l is <!CANNOT_CHECK_FOR_ERASED!>List<String><!>
@@ -0,0 +1,5 @@
+import java.util.List;
+import java.util.Collection;
+
+fun ff(l: Collection<Int>) = l is <!INCOMPATIBLE_TYPES!>List<String><!>
+
@@ -0,0 +1,3 @@
+import java.util.List;
+
+fun ff(l: Any) = l is List<*>
@@ -0,0 +1,3 @@
+class MyList<T>
+
+fun ff(a: Any) = a is MyList<String>
@@ -0,0 +1,3 @@
+class MyList<A>
+
+fun ff(l: MyList<String>) = l is <!INCOMPATIBLE_TYPES!>MyList<Int><!>
@@ -0,0 +1,4 @@
+trait Aaa
+trait Bbb
+
+fun f(a: Aaa) = a is Bbb
@@ -0,0 +1,6 @@
+import java.util.List;
+
+fun ff(l: Any) = when(l) {
+    is <!CANNOT_CHECK_FOR_ERASED!>List<String><!> => 1
+    else 2
+}
@@ -1,6 +1,6 @@
 fun typeName(a: Any?) : String {
    return when(a) {
-        is java.util.ArrayList<Int> => "array list"
+        is java.util.ArrayList<*> => "array list"
        else => "no idea"
    }
 }
@@ -8,4 +8,4 @@ fun typeName(a: Any?) : String {
 fun box() : String {
    if(typeName(java.util.ArrayList<Int> ()) != "array list") return "array list failed"
    return "OK"
-}
+}