mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-30 18:20:52 +07:00
7bdb789b45
reject inference if lower and equals bounds do not agree; -> inference variable should fill extends list types with it's upper bounds as they are correctly substituted with session's inference variables, otherwise incorporation up-up rule could get refs to initial type parameter instead of correct inference variable
8 lines
175 B
Java
8 lines
175 B
Java
class A<T> {
|
|
<T extends A<T>> void foo(T x){}
|
|
|
|
void bar(A<?> x){
|
|
foo<error descr="'foo(T)' in 'A' cannot be applied to '(A<capture<?>>)'">(x)</error>;
|
|
}
|
|
}
|