{"ast_node_type":"other","tokens":[{"end":25,"kind":"keyword","start":0,"text":"///"}]}
    /// been deallocated.
    /// Obtain the size and alignment of an allocation, even if that allocation has
    pub fn get_alloc_info(&self, id: AllocId) -> AllocInfo {