{"ast_node_type":"other","tokens":[{"end":44,"kind":"keyword","start":0,"text":")"}]}
    ) -> AllocResult<ProvenanceCopy<Prov>> {
        cx: &impl HasDataLayout,
        let shift_offset = move |idx, offset| {