Elide run-time bounds checking for known safe array references