Bug 99983

Summary: [1.5][compiler] a type variable may not be followed by other bounds
Product: [Eclipse Project] JDT Reporter: David Audel <david_audel>
Component: CoreAssignee: Philipe Mulet <philippe_mulet>
Status: VERIFIED DUPLICATE QA Contact:
Severity: normal    
Priority: P3    
Version: 3.0   
Target Milestone: 3.1.2   
Hardware: PC   
OS: Windows XP   
Whiteboard:

Description David Audel CLA 2005-06-14 11:35:41 EDT
build 3.1RC2
1) create p\X.java
package p;
public X<T> {
  interface I {}
  class Y<U extends T & I> {
  }
}
2) compile

there is no error

but javac return a error

p\X.java:5: a type variable may not be followed by other bounds
        class Y<U extends T & I> {}
                              ^
1 error
Comment 1 David Audel CLA 2005-06-14 11:49:31 EDT
the bug seems to be in javac:
http://bugs.sun.com/bugdatabase/view_bug.do?bug_id=4899305
Comment 2 Olivier Thomann CLA 2005-06-14 13:05:07 EDT
Added regression test
org.eclipse.jdt.core.tests.compiler.regression.GenericTypeTest.test745.
Closing as INVALID.
Comment 3 Olivier Thomann CLA 2005-06-14 13:06:40 EDT
Sorry test747.
Comment 4 Philipe Mulet CLA 2005-10-20 19:05:56 EDT
reopening
Comment 5 Philipe Mulet CLA 2005-10-20 19:06:32 EDT
Actually we were wrong, and spec disallow this case.
Comment 6 Philipe Mulet CLA 2005-10-20 19:06:58 EDT

*** This bug has been marked as a duplicate of 106466 ***
Comment 7 Olivier Thomann CLA 2006-01-10 09:45:18 EST
Verified in M20060109-0800 for 3.1.2