{"ast_node_type":"other","tokens":[{"end":98,"kind":"keyword","start":0,"text":"debug_assert!(self.range_empty(alloc_range(offset,"}]}
        debug_assert!(self.range_empty(alloc_range(offset, cx.data_layout().pointer_size()), cx));
    pub fn insert_ptr(&mut self, offset: Size, prov: Prov, cx: &impl HasDataLayout) {
        self.ptrs.insert(offset, prov);