assert-not-modified (cargo): Macro which, given a variable and a block of code, executes the block of code and checks that the variable has not changed.
Keywords: assert|test|modify|mutate|macro