JDK-8030018 : Lambda Spec: Inference should generate an eq bound from an unboxing constraint
  • Type: Bug
  • Component: specification
  • Sub-Component: language
  • Priority: P3
  • Status: Closed
  • Resolution: Fixed
  • Submitted: 2013-12-12
  • Updated: 2014-02-26
  • Resolved: 2013-12-12
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
8Fixed
Related Reports
Relates :  
JDK-8030017 - Assignments allow widening before unboxing
Description
Given the constraint [alpha -> int], there is only one possible solution: alpha = Integer.  But 18.2.2 produces alpha <: Integer instead.  This is inconsistent with 5.2, which does _not_ allow a widening reference conversion before unboxing conversion.
Comments
Updated text for 18.2.2: Otherwise, if T is a primitive type, let T' be the result of applying boxing conversion (5.1.7) to T. Then the constraint reduces to ***[S = T']***.
12-12-2013