Es wäre cool, wenn es eine Möglichkeit gäbe, dem Compiler zu sagen: "Kompiliere diesen Array-Zugriff nur, wenn du die Eliminierung der Bereichsüberprüfung durchführen kannst". So könntest du Bereichsüberprüfungen vermeiden, ohne unsicheren Code zu schreiben, zumindest in einigen Umständen.