{"ast_node_type":"other","tokens":[{"end":30,"kind":"keyword","start":0,"text":"discr,"}]}
                        discr,
                    TerminatorKind::SwitchInt {
                        targets: SwitchTargets::static_if(1, start_of_then, start_of_else),