{"ast_node_type":"other","tokens":[{"end":58,"kind":"keyword","start":0,"text":")"}]}
    ) -> InterpResult<'tcx, Allocation<Prov, (), Bytes>> {
        mut adjust_ptr: impl FnMut(Pointer<CtfeProvenance>) -> InterpResult<'tcx, Pointer<Prov>>,
        // Copy the data.