{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"///"}]}
    /// This is highly destructive, no more execution can happen after this!
    ///
    pub fn take_leaked_allocations(