java – 传递给方法的无界通配符

public class ColTest {
static<T> 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<Long>(Arrays.asList(2L,3L,7L));
        Long lng=1L;
        ColTest.wildSub(list,lng);
    }
}

真的很感兴趣为什么这个片段是合法的,因为wildSub的签名只接受T的ArrayList或从T派生,并且类型为T的arg.但是<？>意味着 – 一些特定的类型,未知,以及它如何满足编译器？在所有类型<？>之后并不意味着<？延伸长> ...