type casts: check type parameter first (IDEA-58454)

This commit is contained in:
anna
2010-09-09 12:09:50 +04:00
parent 9ceeb2d23a
commit 48b40d0c03
2 changed files with 11 additions and 2 deletions

View File

@@ -466,6 +466,15 @@ public class Test {
W<? extends A> y = ( W<? extends A>) x;
W<?> y1 = (W<?>)x;
}
void testTypeParams() {
class MyClass<K, V> {
MyClass<K, V> convert(MyClass<? super K, ? super V> arg) {
MyClass<K, V> result = (MyClass<K, V>)arg;
return result;
}
}
}
}
class W<T> {}