{"ast_node_type":"function","tokens":[{"end":72,"kind":"keyword","start":0,"text":"fn"}]}
    fn add_extra_drop_facts(&mut self, relevant_live_locals: &[Local]) {
    /// the function body only at certain nodes in the CFG.
        // This collect is more necessary than immediately apparent