Are you talking about optimizing out bounds checking that isn't happening in the first place?

If you declare using an invalidated iterator as UB, the compiler can optimize as if the container was effectively immutable during the loop.