eclipse中java项目泛型报错_Java泛型Eclipse编译器错误？

我的问题是另一个人的问题的跟进：Unbounded wildcard passed to method

他对为什么编译以下代码感兴趣：

public class ColTest {

static T wildSub(ArrayList extends T> holder, T arg){

T t=holder.get(0);

return t;

}

public static void main(String[] args) {

ArrayList> list=new ArrayList(Arrays.asList(2L,3L,7L));

Long lng=1L;

ColTest.wildSub(list, lng);

}

}

我们得出的结论是,窍门是编译器推断了？.作为对象,并通过Object-> Long的琐碎继承,传递了以下Long参数.

该代码确实使用Sun / Oracle javac进行编译(我使用1.6.0_26-b03),但是没有在Eclipse中编译(我使用Helios),该代码显示以下编译错误：

The method wildSub(ArrayList extends T>, T) in the type ColTest is not applicable for the arguments (ArrayList, Long)

我的问题是：

这是Eclipse使用的Java编译器实现中的错误,还是Java的“泛型推断算法”规范中存在某种歧义,而该规范是有效的,只是由Eclipse以不同的方式实现？