Bug 100153

Summary: [1.5][compiler] Bound check failure on recursive formal bound
Product: [Eclipse Project] JDT Reporter: Philipe Mulet <philippe_mulet>
Component: CoreAssignee: Philipe Mulet <philippe_mulet>
Status: VERIFIED FIXED QA Contact:
Severity: normal    
Priority: P3    
Version: 3.1   
Target Milestone: 3.1.1   
Hardware: PC   
OS: Windows XP   
Whiteboard:

Description Philipe Mulet CLA 2005-06-15 07:28:44 EDT 
3.1rc2

The following program should be accepted:

public class X<T extends X<T>> {
	void foo(X<? extends T> x) {}
}
Comment 1 Philipe Mulet CLA 2005-06-15 07:29:52 EDT 
Added GenericTypeTest#test751 (expecting failure)
Comment 2 Philipe Mulet CLA 2005-07-05 09:47:44 EDT 
Bound check should check for wildcard bound matching type variable up front.
Added GenericTypeTest#test775.
Fixed
Comment 3 Maxime Daniel CLA 2005-08-09 08:06:24 EDT 
Verified in 3.2 M1 with build I20050808-2000.
Comment 4 David Audel CLA 2005-09-26 09:50:53 EDT 
Verified using M20050923-1430 for 3.1.1