Bug 93093 - [1.5][dom] Capture binding "? extends Number[]" has bound Object instead of Number[]
Summary: [1.5][dom] Capture binding "? extends Number[]" has bound Object instead of N...
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 M7   Edit
Assignee: Philipe Mulet CLA
QA Contact:
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2005-04-28 06:04 EDT by Markus Keller CLA
Modified: 2005-05-11 13:30 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 Markus Keller CLA 2005-04-28 06:04:17 EDT 
I20050426-1700

Vector< ? extends Number[] > wild= null;
wild.get(0);

The bounds of the capture binding for expression "wild.get(0)" are { Object },
but should be { Number[] }.
Comment 1 Markus Keller CLA 2005-04-28 07:19:09 EDT 
See also bug 92982.
Comment 2 Philipe Mulet CLA 2005-04-28 12:09:04 EDT 
Issue is in DOM AST conversion. The list of bounds is not surfacing the extra
first bound which contains the array bound.
Comment 3 Philipe Mulet CLA 2005-04-29 07:25:34 EDT 
Added ASTConverter15Test#test173.
Fixed by considering the captureBinding firstBound in array scenario.
Comment 4 Olivier Thomann CLA 2005-05-11 13:30:07 EDT 
Verified in I20050510-0010