Community
Participate
Working Groups
Using Version: 3.1.0 Build id: I20050112-1200 Given the following code: ------------------------ interface Base<E> { public Base<E> proc(); } abstract class Derived<D> implements Base<D> { abstract Derived<D> makeNew(); public Derived<D> proc() { // ******* "Derived" underlined. Derived<D> nu = makeNew(); return nu; } } ------------------------ Also, set the Java Compiler > Errors/Warnings > JDK 5.0 options > "Unsafe type operation involving raw types" to "Error". Eclipse returns this error: Type safety: The return type Derived<D> of the method proc() of type Derived<D> needs unchecked conversion to conform to the return type Base<E> of inherited method If the "Unsafe type operation..." is set to ignore, the error does not appear. If the 2 classes are not parameterized, the error does not appear.
Compiles fine with HEAD contents.
Added MethodVerify test040
Verified in I20050215-2300