Me está costando mucho tratar de resolver esto. Digamos que tengo el siguiente código:

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
}

¿Por qué la asignación da como resultado un error de compilación? El error es algo como:

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

Según mi comprensión de la covarianza, elgetMammals() método devuelve unlist que siempre contendráMammal objetos por lo que debe ser asignable. ¿Qué me estoy perdiendo?