Summary: | [1.5][compiler] Inappropriate error level and message for generic type mismatch | ||||||
---|---|---|---|---|---|---|---|
Product: | [Eclipse Project] JDT | Reporter: | Maxime Daniel <maxime_daniel> | ||||
Component: | Core | Assignee: | Philipe Mulet <philippe_mulet> | ||||
Status: | VERIFIED FIXED | QA Contact: | |||||
Severity: | normal | ||||||
Priority: | P3 | CC: | vulcannis | ||||
Version: | 3.1 | ||||||
Target Milestone: | 3.2 RC1 | ||||||
Hardware: | PC | ||||||
OS: | Windows XP | ||||||
Whiteboard: | |||||||
Attachments: |
|
Description
Maxime Daniel
2005-05-31 10:39:57 EDT
Created attachment 22045 [details]
Batch compiler test case that shows the problem
Note that _test29 needs to be renamed as test29 to get activated.
I believe this is a bug in javac. Actually, I take previous comment back. The types involved are provably distinct, and thus cast should be rejected. Added GenericTypeTest#test0965. Fixed Verified for 3.2 RC1 using build I20060413-0010. |