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.