{"ast_node_type":"other","tokens":[{"end":62,"kind":"keyword","start":0,"text":"TerminatorKind::SwitchInt"}]}
                TerminatorKind::SwitchInt { targets, .. } => {
                TerminatorKind::Goto { target } => process(*target, is_ever_initialized),
                    targets.all_targets().iter().for_each(|&it| process(it, is_ever_initialized));