Con i metodi di istanza tieni sempre a mente che: il compilatore sceglie solo la signature del metodo basandosi sul tipo "statico" del reference e sugli argomenti (quantità e tipo "statico") passati.
Potresti rispiegare meglio questo passaggio. Grazie