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 :  
Relates :  
Relates :  
Relates :  
Relates :  
Relates :  
Relates :  
Relates :  
Relates :  
Relates :  
Relates :  
Relates :  
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)