Comment by monkeyelite

You’re describing a situation where I - or a very smart compiler can choose when to bounds check or not to make that intelligent realization.