type distinct prover for object/type parameter wildcard fixed IDEA-124363

This commit is contained in:
Anna Kozlova
2014-07-02 21:25:09 +02:00
parent 0bbc1eee6f
commit 04d81c718c
3 changed files with 18 additions and 1 deletions
@@ -0,0 +1,16 @@
import java.util.*;
class MyTClass {
<T> void foo(final List<Object> objects){
Collection<? extends T> collection = (Collection<? extends T>) objects;
}
<T> void foo1(final List<Object> objects){
Collection<? super T> collection = (Collection<? super T>) objects;
}
<T extends String> void bar(final List<Object> objects){
Collection<? extends T> collection = <error descr="Inconvertible types; cannot cast 'java.util.List<java.lang.Object>' to 'java.util.Collection<? extends T>'">(Collection<? extends T>) objects</error>;
}
}