JDK-8030686 : Lambda Spec: Incorporation for capture bound involving ? extends Object
  • Type: Bug
  • Component: specification
  • Sub-Component: language
  • Priority: P2
  • Status: Closed
  • Resolution: Fixed
  • Submitted: 2013-12-18
  • Updated: 2014-02-26
  • Resolved: 2013-12-18
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-8030148 - Lambda Spec: Reduction for Foo = Foo
Relates :  
JDK-6480391 - Unbounded wildcard '?' means '? extends Object'
Description
The incorporation behavior for a capture bound involving '? extends Object' should be identical to that of '?'.
Comments
Updated spec text for 18.3: If Ai is a wildcard of the form ?: - ��i = R implies false - ��i <: R implies ���Bi �� <: R��� - R <: ��i implies false If Ai is a wildcard of the form ? extends T: - ��i = R implies false - If Bi is Object, ��i <: R implies ���T <: R��� - ***If T is Object, ��i <: R implies ���Bi �� <: R���*** - R <: ��i implies false
18-12-2013