{"ast_node_type":"other","tokens":[{"end":20,"kind":"keyword","start":0,"text":"source_info,"}]}
        source_info,
        kind: TerminatorKind::SwitchInt { targets: child_targets, discr: child_discr },
    } = bbs[child].terminator()