Tutto molto bello...ma mi pare in chiara contraddizione con quanto detto nell'esempio precedente
Non mi ero mai posto un problema del genere!

Ora, andando esclusivamente per ispirazione, penso che le cose vadano così:
Quando usi il metodo allarga di un Rettangolo, che è anche un Quadrato, vai comunque a lavorare su una isanza che è un oggetto di tipo Quadrato e quindi ha il suo metodo allarga definito nel suo modo personale.
Il fatto che sia anche un Rettangolo garantisce che il metodo ci sia, ma non garantisce che quel metodo sia esattamente quello del rettangolo.