Le polymorphisme peut poser un problème. Il y a donc des situations où les
types sont polymorphes et on ne saura pas exactement s'il y a risque
d'interférence. Par contre, lorsque deux valeurs ont des types
suffisemment connus et incompatibles, on saura, comme en Pascal, que ces
valeurs sont à des emplacements-mémoire disjoints.
Comme en Pascal, on peut également s'appuyer sur les indices.