JDK-8030741 : Inference: implement eager resolution of return types, consistent with JDK-8028800
  • Type: Bug
  • Component: tools
  • Sub-Component: javac
  • Affected Version: 8
  • Priority: P2
  • Status: Closed
  • Resolution: Fixed
  • Submitted: 2013-12-18
  • Updated: 2014-08-27
  • Resolved: 2014-05-01
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 8 JDK 9
8u20Fixed 9 b12Fixed
Related Reports
Duplicate :  
Relates :  
Relates :  
Relates :  
Relates :  
Relates :  
Sub Tasks
JDK-8177362 :  
Description
Lambda Spec bug JDK-8028800 modifies the treatment of nested generic method invocations in which the return type is an inference variable.  javac should implement the new logic.

This is important to minimize incompatibility with the javac 7 algorithm.

Three cases are considered:
- The return type needs to be captured
- The return type needs to have unchecked conversion
- The return type needs to be unboxed

The last one is already implemented, but may be subtly different in some corner cases.
Comments
see test cases at JDK-8028547
30-01-2014

sqe ok with deferral: A difficult, risky fix for a somewhat late spec change for a non-P1 bug is not generally a good idea.
09-01-2014