Function parse_string_interval 

fn parse_string_interval<'tcx>(
    tcx: TyCtxt<'tcx>,
    def_id: DefId,
    value: &Expr,
    raw_range: &str,
) -> Option<Vec<NumericPredicate<'tcx>>>