Bug 100153 - [1.5][compiler] Bound check failure on recursive formal bound
Summary: [1.5][compiler] Bound check failure on recursive formal bound
Status: VERIFIED FIXED
Alias: None
Product: JDT
Classification: Eclipse Project
Component: Core (show other bugs)
Version: 3.1   Edit
Hardware: PC Windows XP
: P3 normal (vote)
Target Milestone: 3.1.1   Edit
Assignee: Philipe Mulet CLA
QA Contact:
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2005-06-15 07:28 EDT by Philipe Mulet CLA
Modified: 2005-09-26 09:50 EDT (History)
0 users

See Also:

Attachments
Add an attachment (proposed patch, testcase, etc.)

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