Loop uses a completely different mechanism than the others. In the cases you exposed in your example, they are based on type inference. LOOP is using a strict coercion via THE, so in this sense it is more permisive to higher safety levels.<br>

<br clear="all">Juanjo<br><br>-- <br>Instituto de Física Fundamental, CSIC<br>c/ Serrano, 113b, Madrid 28006 (Spain) <br><a href="http://juanjose.garciaripoll.googlepages.com" target="_blank">http://juanjose.garciaripoll.googlepages.com</a><br>