Подстановочный знак Java с супер неожиданным поведением

Я написал класс Fruit, который реализует интерфейс Comparable и 2 подкласса: Apple и Orange. Я написал метод, который возвращает максимум между двумя фруктами (что бы это ни значило).

Заметьте, что я НЕ использовал никаких подстановочных знаков с супер.

Я думал, что метод max завершится неудачно, потому что интерфейс Comparable не реализован непосредственно Apple или Orange.

Вопрос: Почему предлагается использовать эту форму шаблона:

<T extends Comparable<? super T>>

если он работает и без супер?

Вот код:

package main;

//Note that I did not use the super wildcard: <T extends Comparable<? super T>>
class Max {

  public static <T extends Comparable<T>> T getMax(T x, T y) {
    return x.compareTo(y) >= 0 ? x : y;
  }
}

class Fruit implements Comparable<Fruit> {
    public String name;

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

    @Override
    public int compareTo(Fruit other) {
        return name.compareTo(other.name) == 0 ? 0 :
               name.compareTo(other.name) > 0 ? 1 : -1;
    }

}

class Apple extends Fruit {
    String name;

    public Apple(String name) {
        super(name);
    }

}

class Orange extends Fruit {
    String name;

    public Orange(String name) {
        super(name);
    }

}

public class Main {

    public static void main(String[] args) {

        Apple a = new Apple("apple");
        Orange o = new Orange("orange");
        Fruit f = Max.getMax(a, o); //It should not be allowed because T does not implement Comparable directly
        System.out.println(f.name);

  }
}