MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-08-26 03:13:40 +07:00
Code Issues Packages Projects Releases Wiki Activity

old inference: take only EQUALS bounds from sibling param (IDEA-119757)

Browse Source
This commit is contained in:
Anna Kozlova
2014-06-02 20:00:30 +04:00
parent dc3b3a9127
commit 88a9ace2c1
3 changed files with 17 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files
java/java-tests/testData/codeInsight/daemonCodeAnalyzer/genericsHighlighting/IDEA119757.java
+16
View File
@@ -0,0 +1,16 @@
import java.util.List;
class Foo<T extends V,V> {
Foo(List<? extends T> l) {
}
}
class Bar {
void foo(Foo<String,String> foo) {}
void bar(List<String> l) {
foo<error descr="'foo(Foo<java.lang.String,java.lang.String>)' in 'Bar' cannot be applied to '(Foo<java.lang.String,java.lang.Object>)'">(new Foo<>(l))</error>;
foo<error descr="'foo(Foo<java.lang.String,java.lang.String>)' in 'Bar' cannot be applied to '(Foo<java.lang.String,java.lang.Object>)'">(f(l))</error>;
}
<T1 extends V1, V1> Foo<T1, V1> f(List<? extends T1> l) {return null;}
}