Ce serait génial s'il y avait un moyen de dire au compilateur "ne compile cet accès au tableau que si tu peux effectuer l'élimination des vérifications de limites". Ainsi, vous pourriez éviter les vérifications de limites sans écrire de code non sécurisé, du moins dans certaines circonstances.