{"ast_node_type":"other","tokens":[{"end":68,"kind":"keyword","start":0,"text":"&basic_blocks[first_successor].terminator().kind"}]}
                    &basic_blocks[first_successor].terminator().kind
                if let TerminatorKind::SwitchInt { .. } =
                {