Different type witness for PECS in java generics

Question

I make a recap with generics and I\'d like to ensure if my understanding is correct:

class SuperAnimal { }
class Anim