{"ast_node_type":"other","tokens":[{"end":86,"kind":"keyword","start":0,"text":"ptr.into_pointer_or_addr().expect(msg).prov_and_relative_offset();"}]}
                    ptr.into_pointer_or_addr().expect(msg).prov_and_relative_offset();
                let (prov, offset) =
                let alloc_id = prov.alloc_id();