{"ast_node_type":"other","tokens":[{"end":44,"kind":"keyword","start":0,"text":")"}]}
    ) -> Option<(u128, &'a SwitchTargets)> {
        block: &'a BasicBlockData<'tcx>,
        // There are two places here we need to evaluate a constant.