-
Bug
-
Resolution: Cannot Reproduce
-
P3
-
7
-
generic
-
other
*) type-inference causes selection of inapplicable method (6638712)
*) type-inference problems with underconstrained type-variables and fbounds (6369605)
*) type-inference should propagate constraints (6650759)
*) return type-inference doesn't work with autoboxing (6785114)
*) return type-inference doesn't work with conditional expressions (6721089)
*) return type-inference doesn't work in enhanced for loops (6541819)
*) wrong method return and thrown types after unchecked conversion (6791481)
*) wrong subtyping/type-containment between undetvars and wildcards (6315770)
*) type-variables inferred during 15.12.2.8 not substituted into formals before method checking (6730476)
- relates to
-
JDK-6369605 Unconstrained type variables fails to include bounds
-
- Closed
-
-
JDK-6638712 Inference with wildcard types causes selection of inapplicable method
-
- Closed
-
-
JDK-6569074 Type inference fails with bounded type parameters
-
- Closed
-
-
JDK-6556624 Fails to accept program with Tj <: A constraint
-
- Closed
-
-
JDK-6650759 Inference of formal type parameter (unused in formal parameters) is not performed
-
- Closed
-
-
JDK-6791481 15.12.2.6: Excessive erasure of return/thrown types is specified
-
- Open
-
-
JDK-8153577 Type Inference Fails for Generic Return Type
-
- Closed
-
-
JDK-6315770 javac inference allows creation of strange types: Integer & Runnable
-
- Closed
-
-
JDK-6730476 invalid "unchecked generic array" warning
-
- Closed
-
-
JDK-6541819 Inference does not work in enhanced for loop
-
- Open
-
-
JDK-6721089 ternary conditional operator does not handle generics
-
- Resolved
-
-
JDK-6785114 Return type inference (15.12.2.8) doesn't work with autoboxing
-
- Closed
-