Bug ID: JDK-6207379 Type system undecidable?

Type: Bug
Component: specification
Sub-Component: language
Affected Version: 5.0

Priority: P3
Status: Closed
Resolution: Future Project
OS: generic
CPU: generic

Submitted: 2004-12-11
Updated: 2011-08-29
Resolved: 2008-05-20

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.

Other
5.0Resolved

Is this a valid Java program?

class F<T> {}
class C<X extends F<F<? super X>>> {
    C(X x) {
        F<? super X> f = x;
    }
}

###@###.### 2004-12-11 00:11:16 GMT