Macro loop_invariant

loop_invariant!() { /* proc-macro */ }