Expand description
Macro which, given a variable and a block of code, executes the block of code and checks that the variable has not changed.
For instance, this can check that a function does not have side-effects.
Macrosยง
- assert_
not_ modified - Given a variable and a block of code, executes the block of code and checks that the variable has not changed.