Bug 83218

Description Bart Geraci 2005-01-19 13:31:11 EST

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.