JDK-5042462 : Problem with least upper bound (lub) and type variables
  • Type: Bug
  • Component: tools
  • Sub-Component: javac
  • Affected Version: 5.0
  • Priority: P5
  • Status: Closed
  • Resolution: Fixed
  • OS: solaris_8
  • CPU: generic
  • Submitted: 2004-05-05
  • Updated: 2017-05-16
  • 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 Other
7 b06Fixed OpenJDK6Resolved
Related Reports
Relates :  
JDK-6488666 - inference: lub of typevariables does not yield expected results
Relates :  
JDK-6557661 - Problem with least upper bound
Description
javac rejects the following code.

class X {
    <T, U extends T, V extends T> T cond1(boolean z, U x1, V x2) {
        return (z? x1: x2);
    }
}
Comments
SUGGESTED FIX Webrev of changes: http://sa.sfbay/projects/langtools/bugid_summary.pl?bugid=5042462 See also attachment 5042462.tar.gz.
03-01-2007
EVALUATION Actually, the JLS agrees with this behavior but I still think it is a bug. I have filed specification bug 6488666.
01-11-2006
CONVERTED DATA BugTraq+ Release Management Values COMMIT TO FIX: dragon mustang
07-09-2004
EVALUATION A bug. ###@###.### 2004-05-06
06-05-2004