Bug 82187 - [compiler] [1.5] internal compiler reports bound mismatch
Summary: [compiler] [1.5] internal compiler reports bound mismatch
Status: VERIFIED FIXED
Alias: None
Product: JDT
Classification: Eclipse Project
Component: Core (show other bugs)
Version: 3.1   Edit
Hardware: PC Linux-GTK
: P3 normal (vote)
Target Milestone: 3.1 M5   Edit
Assignee: Philipe Mulet CLA
QA Contact:
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2005-01-04 16:12 EST by Ralf Behle CLA
Modified: 2005-02-15 05:33 EST (History)
1 user (show)

See Also:


Attachments

Note You need to log in before you can comment on or make changes to this bug.
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