JDK-8054309 : 5.1.10: Lower-bounded wildcard sometimes maps to its bound in javac
  • Type: Bug
  • Component: specification
  • Sub-Component: language
  • Priority: P4
  • Status: Open
  • Resolution: Unresolved
  • Submitted: 2014-08-04
  • Updated: 2015-09-21
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.
Other
tbd_majorUnresolved
Related Reports
Relates :  
Relates :  
Description
In javac, the capture of C<? super Object> is C<Object>, not C<CAP>.  More generally, where the declaration-site upper bound is B, C<? super T> maps to C<T> if T = B (we could generalize this to B <: T, since well-formedness already requires that T <: B).

This behavior is unspecified, but could be considered as an enhancement to JLS, since it is longstanding compiler behavior.