{"ast_node_type":"other","tokens":[{"end":53,"kind":"keyword","start":0,"text":"//"}]}
            // Memory with provenance must be defined
        } else if let Some(prov) = alloc.provenance().get(i, &tcx) {
            assert!(