{"ast_node_type":"other","tokens":[{"end":83,"kind":"keyword","start":0,"text":"debug!(\"annotate_argument_and_return_for_borrow:"}]}
        debug!("annotate_argument_and_return_for_borrow: location={:?}", location);
        let location = borrow.reserve_location;
        if let Some(Statement { kind: StatementKind::Assign(box (reservation, _)), .. }) =