Obviously, removing repeated/redundant bounds checks is a basic optimization. That's not what I meant. My point still stands.
That plateau might not be any different than the CHERI plateau, since at the microarch level, CHERI will have more checks since it cannot benefit from a compiler’s static reasoning about redundant check elimination.