{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"source_info:"}]}
                    source_info: bbs[parent].terminator().source_info,
                Some(Terminator {
                    kind: TerminatorKind::SwitchInt {