{"ast_node_type":"other","tokens":[{"end":25,"kind":"keyword","start":0,"text":".into_iter(),"}]}
            .into_iter(),
        [IntervalOrOwned::Borrowed(Interval { addr: a3, size: evaluator.ptr_size() * 6 })]
    )?;