On considère le programme Eiffel de la figure 1 : dans cet exemple on définit deux classes POINT et PIXEL qui partagent une méthode is_equal (spécialisée dans PIXEL. La classe MAIN crée deux instances de POINT et une de PIXEL. L'affectation p:=r est acceptée par le compilateur puisque le PIXEL r peut être aussi considéré comme un point. Malheureusement, l'appel p.is_equal(q) produira une erreur à l'exécution puisqu'on exécute le corps de is_equal, défini dans PIXEL, qui demande la composante status au POINT q. On retrouve le même problème dans l'appel de la fonction breakit
Sous Photoshop, 1 pixel= 1 point
