Community
Participate
Working Groups
Version: 3.1.0 Build id: I20050308-0835 Given the code below: ******************* import java.util.ArrayList; import java.util.Collection; interface Intf1<P,Q> {} class Class1<T,U,V extends Class1<T,U,V>> extends ArrayList<V> implements Intf1<T,U> { public final void thing(U arg) { // thing is underlined below Class1.thing(this, arg); } public static final <X,Y> void thing (Collection<? extends Intf1<X,Y>> arg1, Y arg2) { } } ******************* Javac does not complain. Eclipse complains with the statement: The method thing(Object) in the type Class1 is not applicable for the arguments (Class1<T,U,V>, U)
Added GenericTypeTest#test562-564. Problem comes from '? extends Intf1<X,Y>' not tagged as holding type variables, and thus optimizing out some of the type inference. Fixed
Verified on build I20050527-0010.