{"ast_node_type":"other","tokens":[{"end":39,"kind":"keyword","start":0,"text":"debug_assert!(prov.len()"}]}
        debug_assert!(prov.len() <= 1);
        let prov = self.range_ptrs_get(alloc_range(offset, Size::from_bytes(1)), cx);
        if let Some(entry) = prov.first() {