https://scontent-cdg2-1.xx.fbcdn.net/v/t34.0-12/25589628_10211675795225500_1712473632_n.png?oh=15d6e6c8f024caa97f42a329880c97f4&oe=5A3E1C41

Pourquoi est-ce que la dernière ligne affiche "AA" ?

ab est un A (un B transformé en A)
f(A a) de A accepte les B qui sont des A.
ab.f(bb) => A::f(bb) => A::f(B) ? (je connais pas de f(B) dans mon contexte A) => A::f(A) => AA

En fait, dans le contexte de ab (contexte de A), on ne connait pas de fonction qui a une signature f(B b), donc on prend celle qui fonctionne par l'héritage quand même A::f(A a).
Si jamais tu enlèves l'argument de f(), il connaitrait B::f() puisqu'elle écraserait A::f(). Et idem si tu créais B::f(A), il ferait appel à B::f(A) et pas à A::f(A), et idem si tu fais A::f(B) et B::f(B), il irait chercher B::f(B).
C'est mon interpréation

ab a été déclaré comme un A, donc le compilateur va chercher dans les fonctions de A.

Parmi ces fonctions, la première accepte un argument de type B (parce que B est un sous-type de A), mais la seconde non (parce que B n’est pas un sous-type de C) ; c’est donc la première qui est utilisée