(&mut self, alloc_id: &rustc_middle::mir::interpret::AllocId)
| 206 | } |
| 207 | |
| 208 | fn encode_alloc_id(&mut self, alloc_id: &rustc_middle::mir::interpret::AllocId) { |
| 209 | let (index, _) = self.interpret_allocs.insert_full(*alloc_id); |
| 210 | index.encode(self); |
| 211 | } |
| 212 | } |
| 213 | |
| 214 | const TAG_FULL_SPAN: u8 = 0; |