{"ast_node_type":"other","tokens":[{"end":90,"kind":"keyword","start":0,"text":"[IntervalOrOwned::Borrowed(Interval"}]}
        [IntervalOrOwned::Borrowed(Interval { addr: a3, size: evaluator.ptr_size() * 6 })]
        db.mir_body(format_fn.into()).map_err(|e| MirEvalError::MirLowerError(format_fn, e))?,
            .into_iter(),