JDK-7007432 : Test generic types well-formedness
  • Type: Enhancement
  • Component: tools
  • Sub-Component: javac
  • Affected Version: 7
  • Priority: P4
  • Status: Closed
  • Resolution: Fixed
  • OS: generic
  • CPU: unknown
  • Submitted: 2010-12-16
  • Updated: 2011-03-08
  • Resolved: 2011-03-08
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 7
7 b128Fixed
Related Reports
Relates :  
JDK-7006109 - Add test library to simplify the task of writing automated type-system tests
Description
Generic types well-formedness (as described in 4.5) is not tested properly throughout the compiler regression tests. This had led to regressions in the past.
Comments
SUGGESTED FIX A webrev of this fix is available at the following URL: http://hg.openjdk.java.net/jdk7/tl/langtools/rev/c8d312dd17bc
14-01-2011
EVALUATION There are two things to be done here: *) the type well-formedness test has to be rweritten in terms of types, rather than in terms of trees, so that it can be leveraged by the recently added type-harness *) Add a test that checks many combinations of generic types w.r.t. well-formedness (see JLS 4.5)
16-12-2010