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.

Juanjo

--
Instituto de Física Fundamental, CSIC
c/ Serrano, 113b, Madrid 28006 (Spain)
http://juanjose.garciaripoll.googlepages.com