Було б круто, якби існував спосіб сказати компілятору "компілюйте доступ до цього масиву тільки в тому випадку, якщо ви можете виконати усунення перевірки меж" Таким чином, ви могли б уникнути перевірок кордонів, не виписуючи небезпечних, принаймні за деяких обставин