-
Bug
-
Resolution: Fixed
-
P3
-
8, 9
-
b19
-
Verified
Issue | Fix Version | Assignee | Priority | Status | Resolution | Resolved In Build |
---|---|---|---|---|---|---|
JDK-8205828 | 11.0.1 | Maurizio Cimadamore | P3 | Resolved | Fixed | team |
The following program doesn't compile (reported by JetBrains):
import java.util.*;
import java.util.function.*;
import java.util.logging.*;
class CompilerBugReport
{
private final static Logger LOGGER = null;
public static void test(List<List<String>> testList) {
testList.forEach(CompilerBugReport.bind(cast(LOGGER::info), iterable -> ""));
}
private static <T1, T2> TestProcedure<T1, T2> bind(Consumer<T2> delegate, Function<? super T1, T2> function) {
return null;
}
private static <C> Consumer<C> cast(Consumer<C> consumer) {
return consumer;
}
private static final class TestProcedure<X1, X2> implements Consumer<X1> {
@Override
public void accept(final X1 t1) { }
}
}
import java.util.*;
import java.util.function.*;
import java.util.logging.*;
class CompilerBugReport
{
private final static Logger LOGGER = null;
public static void test(List<List<String>> testList) {
testList.forEach(CompilerBugReport.bind(cast(LOGGER::info), iterable -> ""));
}
private static <T1, T2> TestProcedure<T1, T2> bind(Consumer<T2> delegate, Function<? super T1, T2> function) {
return null;
}
private static <C> Consumer<C> cast(Consumer<C> consumer) {
return consumer;
}
private static final class TestProcedure<X1, X2> implements Consumer<X1> {
@Override
public void accept(final X1 t1) { }
}
}
- backported by
-
JDK-8205828 Regression in logic for handling inference stuck constraints
-
- Resolved
-
- duplicates
-
JDK-8188011 Type inference fails for lambda/method reference using overloaded method
-
- Closed
-
- relates to
-
JDK-8189683 Non-deterministic solving order of inference variables
-
- Open
-
-
JDK-8156954 javac incorrectly complains of incompatible types
-
- Closed
-