Bug 76729 - [1.5][Generics] Wrong Compile Error - Type Bound Mismatch
Summary: [1.5][Generics] Wrong Compile Error - Type Bound Mismatch
Status: RESOLVED DUPLICATE of bug 73963
Alias: None
Product: JDT
Classification: Eclipse Project
Component: Core (show other bugs)
Version: 3.1   Edit
Hardware: PC Windows 2000
: P3 blocker (vote)
Target Milestone: 3.1 M3   Edit
Assignee: Philipe Mulet CLA
QA Contact:
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2004-10-21 03:15 EDT by Se Kwon, Kim CLA
Modified: 2004-10-21 08:04 EDT (History)
0 users

See Also:


Attachments
Test Java File (376 bytes, text/plain)
2004-10-21 03:19 EDT, Se Kwon, Kim CLA
no flags Details

Note You need to log in before you can comment on or make changes to this bug.
Description Se Kwon, Kim CLA 2004-10-21 03:15:42 EDT
This Java File is compiled successfully with javac in Sun's JDK 1.5, but isn't 
compiled with eclipse 3.1M2 JDT with error.


---Java File Start---
class A<BB extends B>
{}

class B<AA extends A>
{}

public interface Test1<C extends B<?>, D extends A<?>>
{}

class AbstractA extends A<AbstractB> {};
class AbstractB extends B<AbstractA> {};

class Test2<E extends AbstractB, F extends AbstractA> implements Test1<E, F>
{}
---Java File End---


As you see, it must be compiled properly. But eclipse makes following errors :
"Bound mismatch: The type # is not a valid substitute for the bounded parameter 
<C extends B<?>> of the type Test1<C, D>"
Comment 1 Se Kwon, Kim CLA 2004-10-21 03:19:11 EDT
Created attachment 15317 [details]
Test Java File

This file is compiled successfully with javac in SUN JDK 1.5.
But it's not compiled with Eclipse 3.1M2 JDT.
Comment 2 Philipe Mulet CLA 2004-10-21 08:04:36 EDT
Cannot reproduce in latest. 

*** This bug has been marked as a duplicate of 73963 ***