mut_guard (cargo): Run a function after some data was mutably borrowed
Keywords: contract-programming|invariant