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.
Instituto de Física Fundamental, CSIC
c/ Serrano, 113b, Madrid 28006 (Spain)