JDK-6557665 : Type variables are erased during lub computation
  • Type: Enhancement
  • Component: specification
  • Sub-Component: language
  • Affected Version: 5.0
  • Priority: P5
  • Status: Closed
  • Resolution: Duplicate
  • OS: generic
  • CPU: generic
  • Submitted: 2007-05-15
  • Updated: 2010-04-04
  • Resolved: 2007-09-26
Related Reports
Duplicate :  
JDK-6488666 - inference: lub of typevariables does not yield expected results
Relates :  
JDK-6557661 - Problem with least upper bound
Description
According to the JLS, type variables are erased when calculating lub.
This is not correct.

See https://bugs.eclipse.org/bugs/show_bug.cgi?id=129261#c20 and bug 6557661.
Comments
EVALUATION 6488666 was already the spec RFE for passing type arguments' bounds to the inference process and using such bounds in the lub calculation.
26-09-2007