new inference: raise a conflict for 2 captured wildcards as equality constraints

(cherry picked from commit 52bf5c35f05483ed957af17eb80b1b70cd3ed1c9)
This commit is contained in:
anna
2013-11-25 16:47:50 +01:00
parent 73bf021d6c
commit b8c1c38788
3 changed files with 11 additions and 11 deletions
@@ -10,7 +10,7 @@ class Test {
public void test(Set<MyConsumer> set) {
@SuppressWarnings("unchecked")
Map<Parent, MyConsumer<Parent>> map = create<error descr="'create(java.util.Set<T>)' in 'Test' cannot be applied to '(java.util.Set<Test.MyConsumer>)'">(set)</error>;
Map<Parent, MyConsumer<Parent>> map = <error descr="Inferred type 'T' for type parameter 'T' is not within its bound; should implement 'Test.Consumer<Test.Parent>'">create(set)</error>;
}