{"ast_node_type":"other","tokens":[{"end":37,"kind":"keyword","start":0,"text":")"}]}
    ) -> mir::interpret::AllocRange {
        size: rustc_abi::Size,
        rustc_middle::mir::interpret::alloc_range(offset, size)