{"ast_node_type":"variable","tokens":[{"end":90,"kind":"keyword","start":0,"text":"if"}]}
        if let Some(Statement { kind: StatementKind::Assign(box (reservation, _)), .. }) =
        debug!("annotate_argument_and_return_for_borrow: location={:?}", location);
            &self.body[location.block].statements.get(location.statement_index)