Summary: | [1.5] Incompatible conditional operand types | ||
---|---|---|---|
Product: | [Eclipse Project] JDT | Reporter: | Igor Fedorenko <igor> |
Component: | Core | Assignee: | Philipe Mulet <philippe_mulet> |
Status: | RESOLVED FIXED | QA Contact: | |
Severity: | normal | ||
Priority: | P3 | ||
Version: | 3.0 | ||
Target Milestone: | 3.1 M1 | ||
Hardware: | PC | ||
OS: | Windows 2000 | ||
Whiteboard: |
Description
Igor Fedorenko
2004-06-17 10:56:40 EDT
Interesting... Out of curiosity, why eclipse/old javac complain about this? Target type of this expression (ArrayList) is known and both C1 and C2 can be casted to that type, so what's wrong whith that? Under JLS2, one of the operand has to be assignable to the other (i.e. C1 assignable to C2 or reciprocal). It looks like JLS3 allow inference of most common supertype (which makes sense). New behavior is implemented from -source 1.5 on. Regression test added: Compliance_1_5#test080. Fixed |