Project: JDT
Bug 93093 [1.5][dom] Capture binding "? extends Number[]" has bound Object instead of Number[]
Reported: 2005-04-28 06:04:17 | Status: verified fixed

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[] }.

Files changed in fix:
org.eclipse.jdt.ui.tests.refactoring/test cases/org/eclipse/jdt/ui/tests/typeconstraints/TypeEnvironmentTests.java org.eclipse.jdt.ui/core refactoring/org/eclipse/jdt/internal/corext/refactoring/typeconstraints/types/CaptureType.java