Bug 76729

Summary: [1.5][Generics] Wrong Compile Error - Type Bound Mismatch
Product: [Eclipse Project] JDT Reporter: Se Kwon, Kim <evol>
Component: CoreAssignee: Philipe Mulet <philippe_mulet>
Status: RESOLVED DUPLICATE QA Contact:
Severity: blocker    
Priority: P3    
Version: 3.1   
Target Milestone: 3.1 M3   
Hardware: PC   
OS: Windows 2000   
Whiteboard:
Attachments:
Description Flags
Test Java File none

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 ***