mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-24 09:20:53 +07:00
inferred type in bounds check cleanup: accept that inference result is not within its bounds and give the inference the second chance
11 lines
313 B
Java
11 lines
313 B
Java
class Test {
|
|
void bar() {
|
|
baz<error descr="'baz(S)' in 'Test' cannot be applied to '(java.io.Serializable & java.lang.Comparable<? extends java.io.Serializable & java.lang.Comparable<?>>)'">(foo(1, ""))</error>;
|
|
}
|
|
|
|
<T> T foo(T x, T y) {
|
|
return x;
|
|
}
|
|
|
|
<S extends Comparable<S>> void baz(S x) { }
|
|
} |