JDK-8046762 : Revert some inference fixes in JDK-8033718
  • Type: Bug
  • Component: tools
  • Sub-Component: javac
  • Affected Version: 8u20
  • Priority: P3
  • Status: Resolved
  • Resolution: Fixed
  • Submitted: 2014-06-12
  • Updated: 2015-08-20
  • Resolved: 2014-06-13
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
8u20 b20Fixed
Related Reports
Relates :  
JDK-8051443 - Bogus "no suitable method found" error from javac
Relates :  
JDK-8133118 - Incompatible static wildcard bounds
Relates :  
JDK-8039214 - Inference should not map capture variables to their upper bounds
Relates :  
JDK-8033718 - Inference ignores capture variable as upper bound
Description
JDK-8033718 modified some aspects of inference in order to make it more in line with the spec.  However, this led to regressions -- see JDK-8039214.  Because JDK-8039214 is too risky to include in 8u20, some changes in JDK-8033718 need to be rolled back.

Specifically:
- CapturedUndetVar.addBound should not modify the bounds of the 'bound' parameter
- Types.isSubtypeNoCapture should not skip the 'cvarLowerBound' call when 't' is an UndetVar
Comments
Reviewed here: http://mail.openjdk.java.net/pipermail/compiler-dev/2014-June/008852.html
13-06-2014
Not relevant for 9 -- instead, JDK-8039214 will address the issue in 9.
12-06-2014