java – 对于类型为T的方法,当它需要两个<？时,它的'推断

package org.hamcrest.core

...

public static <T> Matcher<T> allOf(Matcher<? super T> first,Matcher<? super T> second) {
    List<Matcher<? super T>> matchers = new ArrayList<Matcher<? super T>>(2);
    matchers.add(first);
    matchers.add(second);
    return allOf(matchers);
}

在我的代码中,我首先将此方法称为Matcher< Object>第二个是Matcher< SomeException>.

现在：

>当我使用带有1.6目标的Eclipse编译它时,它会使< T>匹配< SomeException取代.
>当我使用带有1.6目标的javac 1.7编译它时,它使< T>匹配< SomeException取代.
>当我使用带有1.6目标的javac 1.6进行编译时,它会使< T>匹配<对象>

问题是,什么< T>在这种情况下应该？

我的理解是,javac 1.6中存在一个错误,它应该是Matcher< SomeException>,因为这是输入参数的常见类型(SomeException是Object的子类型)然后,它是100％肯定的,它返回了Matcher将是Matcher< SomeException>.

我对吗？有没有办法迫使javac 1.6正常行事？