Было бы здорово, если бы существовал способ сказать компилятору: "компилируй этот доступ к массиву только если ты можешь выполнить устранение проверки границ". Таким образом, вы могли бы избежать проверок границ, не прибегая к небезопасному коду, по крайней мере, в некоторых обстоятельствах.