Bug 82187

Summary: [compiler] [1.5] internal compiler reports bound mismatch
Product: [Eclipse Project] JDT Reporter: Ralf Behle <ralf.be>
Component: CoreAssignee: Philipe Mulet <philippe_mulet>
Status: VERIFIED FIXED QA Contact:
Severity: normal    
Priority: P3 CC: psk
Version: 3.1   
Target Milestone: 3.1 M5   
Hardware: PC   
OS: Linux-GTK   
Whiteboard:

Description Ralf Behle CLA 2005-01-04 16:12:27 EST
For the given program the internal compiler reports a bound mismatch error. 
Sun's javac has no problems with this program.

import java.util.*;

public class A {
	
	 public <E extends Object, S extends Collection<E>> S test1(S param){
	 	return null;
	 }
	 
	 public void test2() {
	 	test1(new Vector<String>());
	 }

}
Comment 1 Philipe Mulet CLA 2005-01-08 09:37:21 EST
Added regression test: GenericTypeTest#test452.

Type inference wasn't collecting through type variable bounds recursively.
Comment 2 Philipe Mulet CLA 2005-01-08 09:37:39 EST
Fixed
Comment 3 Jerome Lanneluc CLA 2005-02-15 05:33:52 EST
Verified in I20050214