Bugzilla – Full Text Bug Listing
| Summary: | [1.5][compiler] Invalid cycle detected | ||
|---|---|---|---|
| Product: | [Eclipse Project] JDT | Reporter: | Philipe Mulet <philippe_mulet> |
| Component: | Core | Assignee: | Kent Johnson <kent_johnson> |
| Status: | CLOSED FIXED | QA Contact: | |
| Severity: | normal | ||
| Priority: | P3 | CC: | BJGeraci |
| Version: | 3.1 | ||
| Target Milestone: | 3.1 RC2 | ||
| Hardware: | PC | ||
| OS: | Windows XP | ||
| Whiteboard: | |||
javac says:
X.java:7: type parameter X is not within its bound
class Y extends X implements I<X> {
^
X.java:7: I cannot be inherited with different arguments: <X> and <Y>
class Y extends X implements I<X> {
^
2 errors
We don't pass a much simpler test:
interface I<T> {}
class X implements I<Y> {}
class Y extends X implements I<Y> {}
+1 for RC2 Added GenericType test729 Verified with N20050609-0010 + JDT/Core HEAD Verified for 3.1 RC2 using build I20050610-0010 close |
Build N-20050525 Following code is incorrectly flagged with a cycle: interface I<T extends I<? super T>> {} public class X implements I<Y> {} class Y extends X implements I<X> {} where only bound check failure should be issued