Java ковариация

Я с трудом пытаюсь понять это. Скажем, у меня есть следующий код:

class Animal { }
class Mammal extends Animal { }
class Giraffe extends Mammal { }
...
public static List<? extends Mammal> getMammals() { return ...; }
...

public static void main(String[] args) {
    List<Mammal> mammals = getMammals(); // compilation error
}

Почему назначение приводит к ошибке компиляции? Ошибка что-то вроде:

Type mismatch: cannot convert from List<capture#4-of ? extends Mammal> to List<Mammal>

Согласно моему пониманию ковариации,getMammals() метод возвращаетlist это всегда будет содержатьMammal объекты, поэтому он должен быть назначен. Что мне не хватает?

Ответы на вопрос(2)

Ваш ответ на вопрос