{"ast_node_type":"other","tokens":[{"end":55,"kind":"keyword","start":0,"text":"state.kill_all(other_borrows_of_local);"}]}
                state.kill_all(other_borrows_of_local);
            if !self.body.local_decls[place.local].is_ref_to_static() {
            }