mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-21 04:50:58 +07:00
include all inference variables for resolve and ignore additional constraints checks if the inference is going to failure; this way if (expr()) would get type of the 'standalone' expression instead of expression with boolean as expected type
10 lines
277 B
Java
10 lines
277 B
Java
class Test {
|
|
{
|
|
asList(<error descr="Target type of a lambda conversion must be an interface">o -> {}</error>, 1, 2, 3);
|
|
asList(<error descr="Integer is not a functional interface">Test::foo</error>, 1, 2, 3);
|
|
}
|
|
|
|
void foo() {}
|
|
|
|
<T> void asList(T... tS) {}
|
|
} |