Kui üks objekt muutub töö käigus teise tüüpi objektiks.

Kui funktsioonid muudetakse automaatselt klassideks.

Kui mitu erinevat klassi defineerivad sama nimega meetodi ja neid saab kutsuda sama süntaksiga.

Kui klassi sees on mitu sama nimega muutujat.