{"ast_node_type":"other","tokens":[{"end":87,"kind":"keyword","start":0,"text":"push_mut_span(destination.local,"}]}
                        push_mut_span(destination.local, terminator.span, &mut result);
                    if ever_init_map.get(destination.local).copied().unwrap_or_default() {
                    } else {