{"ast_node_type":"other","tokens":[{"end":15,"kind":"keyword","start":0,"text":")"}]}
    ) -> bool {
        locals_state_at_exit: &LocalsStateAtExit,
        // If a local variable is immutable, then we only need to track borrows to guard