Bug ID: JDK-8051402 javac, type containment should accept that CAP <= ? extends CAP and CAP <= ? super CAP

JDK-8051402 : javac, type containment should accept that CAP <= ? extends CAP and CAP <= ? super CAP

Type: Bug
Component: tools
Sub-Component: javac
Affected Version: 8u40

Priority: P3
Status: Resolved
Resolution: Fixed

Submitted: 2014-07-19
Updated: 2015-01-21
Resolved: 2014-07-21

Versions (Unresolved/Resolved/Fixed)

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
8u40 b01Fixed

Related Reports

Duplicate :	JDK-8055681 - Javac unable to resolve method
Duplicate :	JDK-8051443 - Bogus "no suitable method found" error from javac
Relates :	JDK-8033718 - Inference ignores capture variable as upper bound
Relates :	JDK-8039214 - Inference should not map capture variables to their upper bounds
Relates :	JDK-8051468 - javac, additional test case for JDK-8051402
Relates :	JDK-8047081 - Crash on faulty reduce/lambda
Relates :	JDK-8051467 - javac, additional test case for JDK-8051402

Description

This will imply a simple fix to Types.containsType. Currently javac is not accepting these containment checks

Comments

To help clarify the status of related issues: this bug is a workaround in 8u; please see JDK-8039214 for all related issues in 9+.

12-01-2015

This patch provides a limited fix for JDK-8033718 and JDK-8039214 in the 8u repos. It does not solve the problem in full generality, but is enough to make common use cases behave correctly. The intent is for 9 to get a more general solution (with some accompanying source incompatibilities).

21-07-2014