Bugzilla – Full Text Bug Listing
| Summary: | [1.5][compiler] Suspicious error message for type mismatch | ||||||
|---|---|---|---|---|---|---|---|
| Product: | [Eclipse Project] JDT | Reporter: | Philipe Mulet <philippe_mulet> | ||||
| Component: | Core | Assignee: | Philipe Mulet <philippe_mulet> | ||||
| Status: | VERIFIED FIXED | QA Contact: | |||||
| Severity: | normal | ||||||
| Priority: | P3 | ||||||
| Version: | 3.2 | ||||||
| Target Milestone: | 3.2.1 | ||||||
| Hardware: | PC | ||||||
| OS: | Windows XP | ||||||
| Whiteboard: | |||||||
| Attachments: |
|
||||||
Added GenericTypeTest#test0984 Actually, test is GenericTypeTest#test0985 Created attachment 41150 [details]
Proposed patch
Intersection types shouldn't be erased when processed, like type variables.
Released for 3.2.1 integration. Released for 3.3 M1 while merging TARGET_321 in HEAD Verified for 3.3 M1 using build I20060807-2000. Verified for 3.2.1 using build M20060908-1655 |
Build 3.2RC4 The code below is expected to report an error. However the message indicates the lub computation is not perfect. It infers: List<Class<? extends Object>> where it could achieve: List<Class<? extends Object&Comparable<?>&Serializable>> import java.util.*; public class X { public void testBreak() { Collection<Class> classes = new ArrayList<Class>(); List<Class<Object>> lco = Arrays.asList(String.class, Integer.class, Long.class); } }