...bug in the function; one that would invalidate the postcondition.

Of course, if no postcondition...

...two reasons:

1. so it won't invalidate existing code that uses the identifier "traits...

...have to happen? Relocating the
stack will invalidate any pointers to automatic (in the C...

...try/catch blocks. This doesn't actually invalidate the assertion (you still can't fall...

...behavior exists, is intentional, and does not invalidate any invariants.

Example 2 (C++):

class data...

...almost any change to the class will invalidate such an initialization.
62) The order of...

...in order to accomodate it, which will invalidate any previous references.
This is another place...

...basis. If you want to invalidate that, you need to invalidate my basis, i.e...

...an unused function (especially if private) could invalidate code just because it is calling another...

...or I could render them undefined.
Iterators invalidate anyway at the drop of a hat...