Bugzilla – Full Text Bug Listing
| Summary: | [1.5][compiler] method override check does not detect differences in additional type bounds | ||
|---|---|---|---|
| Product: | [Eclipse Project] JDT | Reporter: | Markus Keller <markus.kell.r> |
| Component: | Core | Assignee: | Kent Johnson <kent_johnson> |
| Status: | VERIFIED FIXED | QA Contact: | |
| Severity: | normal | ||
| Priority: | P3 | CC: | forax, martinae |
| Version: | 3.2 | ||
| Target Milestone: | 3.1.2 | ||
| Hardware: | PC | ||
| OS: | Windows XP | ||
| Whiteboard: | |||
This one should fail too:
interface I extends Runnable, Serializable { }
class E extends A {
@Override //should error
<S extends Number & I> void foo2(S s) { }
}
*** Bug 112499 has been marked as a duplicate of this bug. *** Added MethodVerify test75-76 Released into HEAD and 3.1.2 stream Verified for 3.2M4 in I20051212-2000 Verified for 3.1.2 using build M20060109-1200. |
I20050811-1530 + jdt.core v_606 Ecipse compiles these classes without error, although the methods in B and C don't override the one from A: import java.io.Serializable; class A { <S extends Number & Serializable & Runnable > void foo2(S s) { } } class B extends A { @Override // should error <S extends Number & Runnable> void foo2(S s) { } } class C extends A { @Override // should error <S extends Number & Runnable & Cloneable> void foo2(S s) { } } class D extends A { @Override // correct <S extends Number & Runnable & Serializable> void foo2(S s) { } }