Het zou cool zijn als er een manier was om de compiler te vertellen "compileer deze array-toegang alleen als je de eliminatie van grenscontroles kunt uitvoeren" Zodat je grenscontroles kunt vermijden zonder onveilig te schrijven, althans in sommige omstandigheden.