{"ast_node_type":"other","tokens":[{"end":12,"kind":"keyword","start":0,"text":"})"}]}
        }) {
            (discr_for_var > usize::MAX as u128) || (discr_for_var as usize >= num_discrs)
            return None;