Of course if the compiler can prove <i>from my code</i> that some invariant holds, I want it to optimize out the check. What I resent is the compiler deriving invariants from no other basis than &quot;standard said so&quot;.