> The entire discussion starts from looking at getting bounds checks optimised away, not optimising seems counter-productive to this concern? I'm aware of the

> The entire discussion starts from looking at getting bounds checks optimised away, not optimising seems counter-productive to this concern? I'm aware of the history of the conversation, but the point where I joined concerned which idiom performs better unoptimized, a case which is relevant because everybody cargo-runs. > The abstraction here is not really leaky though, observable behaviour would be as expected t’es, it’s when you look at his this behaviour is achieved that things start looking odd. In many circumstances performance is part of observable behavior.