{"ast_node_type":"other","tokens":[{"end":24,"kind":"keyword","start":0,"text":"&cx.tcx,"}]}
                &cx.tcx,
                interpret::Pointer::new(prov, Size::from_bytes(ptr_offset)),
            ),