Function parse_valid_num 

pub(crate) fn parse_valid_num<'tcx>(
    tcx: TyCtxt<'tcx>,
    def_id: DefId,
    exprs: &[Expr],
) -> Vec<NumericPredicate<'tcx>>