{"ast_node_type":"other","tokens":[{"end":44,"kind":"keyword","start":0,"text":"terminator.kind,"}]}
                            terminator.kind,
                            "duplicated values in `SwitchInt` terminator: {:?}",
                        ),