<T扩展Comparable <的问题？超级T >>

我有一个三类：1.class Algorithm在中max()找到最大值Collection：

public class Algorithm {

    public static <T extends Comparable<T>> T max(Collection<? extends T> coll) {
        T max = coll.iterator().next();

        for (T elm : coll) {
            if (max.compareTo(elm) < 0)
                max = elm;
        }

        return max;
    }
}

2.Class Fruit：

public class Fruit implements Comparable<Fruit> {
    private String name;
    private int size;

    public Fruit(String name, int size) {
        this.name = name;
        this.size = size;
    }

    public int compareTo(Fruit that) {
        if (size < that.size)
            return -1;
        else if (size == that.size)
            return 0;
        else
            return 1;
    }
}

3.class Apple扩展Fruit：

public class Apple extends Fruit {
    public Apple(int size) {
        super("Apple", size);
    }
}

现在的问题是这样的：

public class Main
{
    public static void main(String[] args) {        
        Apple a1 = new Apple(10);
        Apple a2 = new Apple(34);

        List<Apple> apples = Arrays.<Apple>asList(a1, a2);

        System.out.println(Collections.max(apples).size);
    }
}

根据这篇文章Java语法问题：我应该用这种方式写它：public static <T extends Comparable<? super T>> T max(Collection<? extends T> coll)。但这现在工作正常，为什么呢？类Apple没有实现Comparable<Apple>，也没有实现super。

[更新]
Java泛型和收藏集说：

如果没有super通配符，则List<Apple>即使List<Fruit>允许查找a的最大值，查找a的最大值也是非法的。