Description Jay Sachs 2005-06-02 07:24:53 EDT

The following class compiles in javac, and in Eclipse 3.1M7, but now fails to
compile in RC1 with the error message

"Bound mismatch: The generic method a() of type Foo<T> is not applicable for the
arguments () since the type ? extends T is not a valid substitute for the
bounded parameter <U extends T>"

It certainly appears to be type-safe, though I haven't read the spec to be positive.

public class Foo<T> {

    B<? extends T> b() {
        return a();
    }
    
    <U extends T> B<U> a() {
        return null;
    }
    
    static class B<X> { }
    
}