Summary: | [1.5][compiler] A<++Element> should not be assignable a A<+Element> | ||
---|---|---|---|
Product: | [Eclipse Project] JDT | Reporter: | Tom Hofmann <eclipse> |
Component: | Core | Assignee: | Philipe Mulet <philippe_mulet> |
Status: | VERIFIED FIXED | QA Contact: | |
Severity: | normal | ||
Priority: | P3 | CC: | david_audel |
Version: | 3.1 | ||
Target Milestone: | 3.1 M7 | ||
Hardware: | PC | ||
OS: | All | ||
Whiteboard: |
Description
Tom Hofmann
2005-02-15 11:07:34 EST
likely related to our capture conversion support defficiencies. With proper capture conversion implemented, we now issue (on 1st testcase): The method addAll(Collection<? extends capture-of ? extends Number>) in the type List<capture-of ? extends Number> is not applicable for the arguments (List<capture-of ? extends Number>) Added GenericTypeTest#test589. Added GenericTypeTest#test590 for subsequent cases. Clearly the compiler error message reveals there is no such thing as wildcard collapsing. Unless this was spec'ed somewhere, we cannot alter this behavior. We now issue an error as well. Fixed, along with capture change. This PR found that capture was missing on message send. Will be released along with changes for bug 84496 Released Verified in I20050510-0010 |