{"ast_node_type":"other","tokens":[{"end":53,"kind":"keyword","start":0,"text":"kind:"}]}
                    kind: TerminatorKind::SwitchInt {
                    source_info: bbs[parent].terminator().source_info,
                        // switch on the first discriminant, so we can mark the second one as dead