> If your compiler can prove you dont need bounds-checking it will remove the check and the performance would be the same

and in practice that is a very big "if"