JDK-6785112 : Umbrella: issues with generic method type-inference
  • Type: Bug
  • Component: tools
  • Sub-Component: javac
  • Affected Version: 7
  • Priority: P3
  • Status: Closed
  • Resolution: Cannot Reproduce
  • OS: other
  • CPU: generic
  • Submitted: 2008-12-15
  • Updated: 2016-09-13
  • Resolved: 2011-01-28
The Version table provides details related to the release that this issue/RFE will be addressed.

Unresolved : Release in which this issue/RFE will be addressed.
Resolved: Release in which this issue/RFE has been resolved.
Fixed : Release in which this issue/RFE has been fixed. The release containing this fix may be available for download as an Early Access Release or a General Availability Release.

To download the current JDK release, click here.
JDK 7
7Resolved
Related Reports
Relates :  
JDK-6369605 - Unconstrained type variables fails to include bounds
Relates :  
JDK-8153577 - Type Inference Fails for Generic Return Type
Relates :  
JDK-6315770 - javac inference allows creation of strange types: Integer & Runnable
Relates :  
JDK-6730476 - invalid "unchecked generic array" warning
Relates :  
JDK-6541819 - Inference does not work in enhanced for loop
Relates :  
JDK-6791481 - 15.12.2.6: Excessive erasure of return/thrown types is specified
Relates :  
JDK-6721089 - ternary conditional operator does not handle generics
Relates :  
JDK-6785114 - Return type inference (15.12.2.8) doesn't work with autoboxing
Relates :  
JDK-6569074 - Type inference fails with bounded type parameters
Relates :  
JDK-6556624 - Fails to accept program with Tj <: A constraint
Relates :  
JDK-6650759 - Inference of formal type parameter (unused in formal parameters) is not performed
Relates :  
JDK-6638712 - Inference with wildcard types causes selection of inapplicable method
Description
This in an "umbrella" CR for all the oustanding bug/rfe regarding generic type-inference:

*) 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)