chrono/format/
parse.rs

1// This is a part of Chrono.
2// Portions copyright (c) 2015, John Nagle.
3// See README.md and LICENSE.txt for details.
4
5//! Date and time parsing routines.
6
7use core::borrow::Borrow;
8use core::str;
9
10use super::scan;
11use super::{BAD_FORMAT, INVALID, OUT_OF_RANGE, TOO_LONG, TOO_SHORT};
12use super::{Fixed, InternalFixed, InternalInternal, Item, Numeric, Pad, Parsed};
13use super::{ParseError, ParseResult};
14use crate::{DateTime, FixedOffset, Weekday};
15
16fn set_weekday_with_num_days_from_sunday(p: &mut Parsed, v: i64) -> ParseResult<()> {
17    p.set_weekday(match v {
18        0 => Weekday::Sun,
19        1 => Weekday::Mon,
20        2 => Weekday::Tue,
21        3 => Weekday::Wed,
22        4 => Weekday::Thu,
23        5 => Weekday::Fri,
24        6 => Weekday::Sat,
25        _ => return Err(OUT_OF_RANGE),
26    })
27}
28
29fn set_weekday_with_number_from_monday(p: &mut Parsed, v: i64) -> ParseResult<()> {
30    p.set_weekday(match v {
31        1 => Weekday::Mon,
32        2 => Weekday::Tue,
33        3 => Weekday::Wed,
34        4 => Weekday::Thu,
35        5 => Weekday::Fri,
36        6 => Weekday::Sat,
37        7 => Weekday::Sun,
38        _ => return Err(OUT_OF_RANGE),
39    })
40}
41
42fn parse_rfc2822<'a>(parsed: &mut Parsed, mut s: &'a str) -> ParseResult<(&'a str, ())> {
43    macro_rules! try_consume {
44        ($e:expr) => {{
45            let (s_, v) = $e?;
46            s = s_;
47            v
48        }};
49    }
50
51    // an adapted RFC 2822 syntax from Section 3.3 and 4.3:
52    //
53    // c-char      = <any char except '(', ')' and '\\'>
54    // c-escape    = "\" <any char>
55    // comment     = "(" *(comment / c-char / c-escape) ")" *S
56    // date-time   = [ day-of-week "," ] date 1*S time *S *comment
57    // day-of-week = *S day-name *S
58    // day-name    = "Mon" / "Tue" / "Wed" / "Thu" / "Fri" / "Sat" / "Sun"
59    // date        = day month year
60    // day         = *S 1*2DIGIT *S
61    // month       = 1*S month-name 1*S
62    // month-name  = "Jan" / "Feb" / "Mar" / "Apr" / "May" / "Jun" /
63    //               "Jul" / "Aug" / "Sep" / "Oct" / "Nov" / "Dec"
64    // year        = *S 2*DIGIT *S
65    // time        = time-of-day 1*S zone
66    // time-of-day = hour ":" minute [ ":" second ]
67    // hour        = *S 2DIGIT *S
68    // minute      = *S 2DIGIT *S
69    // second      = *S 2DIGIT *S
70    // zone        = ( "+" / "-" ) 4DIGIT /
71    //               "UT" / "GMT" /                  ; same as +0000
72    //               "EST" / "CST" / "MST" / "PST" / ; same as -0500 to -0800
73    //               "EDT" / "CDT" / "MDT" / "PDT" / ; same as -0400 to -0700
74    //               1*(%d65-90 / %d97-122)          ; same as -0000
75    //
76    // some notes:
77    //
78    // - quoted characters can be in any mixture of lower and upper cases.
79    //
80    // - we do not recognize a folding white space (FWS) or comment (CFWS).
81    //   for our purposes, instead, we accept any sequence of Unicode
82    //   white space characters (denoted here to `S`). For comments, we accept
83    //   any text within parentheses while respecting escaped parentheses.
84    //   Any actual RFC 2822 parser is expected to parse FWS and/or CFWS themselves
85    //   and replace it with a single SP (`%x20`); this is legitimate.
86    //
87    // - two-digit year < 50 should be interpreted by adding 2000.
88    //   two-digit year >= 50 or three-digit year should be interpreted
89    //   by adding 1900. note that four-or-more-digit years less than 1000
90    //   are *never* affected by this rule.
91    //
92    // - mismatching day-of-week is always an error, which is consistent to
93    //   Chrono's own rules.
94    //
95    // - zones can range from `-9959` to `+9959`, but `FixedOffset` does not
96    //   support offsets larger than 24 hours. this is not *that* problematic
97    //   since we do not directly go to a `DateTime` so one can recover
98    //   the offset information from `Parsed` anyway.
99
100    s = s.trim_start();
101
102    if let Ok((s_, weekday)) = scan::short_weekday(s) {
103        if !s_.starts_with(',') {
104            return Err(INVALID);
105        }
106        s = &s_[1..];
107        parsed.set_weekday(weekday)?;
108    }
109
110    s = s.trim_start();
111    parsed.set_day(try_consume!(scan::number(s, 1, 2)))?;
112    s = scan::space(s)?; // mandatory
113    parsed.set_month(1 + i64::from(try_consume!(scan::short_month0(s))))?;
114    s = scan::space(s)?; // mandatory
115
116    // distinguish two- and three-digit years from four-digit years
117    let prevlen = s.len();
118    let mut year = try_consume!(scan::number(s, 2, usize::MAX));
119    let yearlen = prevlen - s.len();
120    match (yearlen, year) {
121        (2, 0..=49) => {
122            year += 2000;
123        } //   47 -> 2047,   05 -> 2005
124        (2, 50..=99) => {
125            year += 1900;
126        } //   79 -> 1979
127        (3, _) => {
128            year += 1900;
129        } //  112 -> 2012,  009 -> 1909
130        (_, _) => {} // 1987 -> 1987, 0654 -> 0654
131    }
132    parsed.set_year(year)?;
133
134    s = scan::space(s)?; // mandatory
135    parsed.set_hour(try_consume!(scan::number(s, 2, 2)))?;
136    s = scan::char(s.trim_start(), b':')?.trim_start(); // *S ":" *S
137    parsed.set_minute(try_consume!(scan::number(s, 2, 2)))?;
138    if let Ok(s_) = scan::char(s.trim_start(), b':') {
139        // [ ":" *S 2DIGIT ]
140        parsed.set_second(try_consume!(scan::number(s_, 2, 2)))?;
141    }
142
143    s = scan::space(s)?; // mandatory
144    parsed.set_offset(i64::from(try_consume!(scan::timezone_offset_2822(s))))?;
145
146    // optional comments
147    while let Ok((s_out, ())) = scan::comment_2822(s) {
148        s = s_out;
149    }
150
151    Ok((s, ()))
152}
153
154pub(crate) fn parse_rfc3339<'a>(parsed: &mut Parsed, mut s: &'a str) -> ParseResult<(&'a str, ())> {
155    macro_rules! try_consume {
156        ($e:expr) => {{
157            let (s_, v) = $e?;
158            s = s_;
159            v
160        }};
161    }
162
163    // an adapted RFC 3339 syntax from Section 5.6:
164    //
165    // date-fullyear  = 4DIGIT
166    // date-month     = 2DIGIT ; 01-12
167    // date-mday      = 2DIGIT ; 01-28, 01-29, 01-30, 01-31 based on month/year
168    // time-hour      = 2DIGIT ; 00-23
169    // time-minute    = 2DIGIT ; 00-59
170    // time-second    = 2DIGIT ; 00-58, 00-59, 00-60 based on leap second rules
171    // time-secfrac   = "." 1*DIGIT
172    // time-numoffset = ("+" / "-") time-hour ":" time-minute
173    // time-offset    = "Z" / time-numoffset
174    // partial-time   = time-hour ":" time-minute ":" time-second [time-secfrac]
175    // full-date      = date-fullyear "-" date-month "-" date-mday
176    // full-time      = partial-time time-offset
177    // date-time      = full-date "T" full-time
178    //
179    // some notes:
180    //
181    // - quoted characters can be in any mixture of lower and upper cases.
182    //
183    // - it may accept any number of fractional digits for seconds.
184    //   for Chrono, this means that we should skip digits past first 9 digits.
185    //
186    // - unlike RFC 2822, the valid offset ranges from -23:59 to +23:59.
187    //   note that this restriction is unique to RFC 3339 and not ISO 8601.
188    //   since this is not a typical Chrono behavior, we check it earlier.
189    //
190    // - For readability a full-date and a full-time may be separated by a space character.
191
192    parsed.set_year(try_consume!(scan::number(s, 4, 4)))?;
193    s = scan::char(s, b'-')?;
194    parsed.set_month(try_consume!(scan::number(s, 2, 2)))?;
195    s = scan::char(s, b'-')?;
196    parsed.set_day(try_consume!(scan::number(s, 2, 2)))?;
197
198    s = match s.as_bytes().first() {
199        Some(&b't' | &b'T' | &b' ') => &s[1..],
200        Some(_) => return Err(INVALID),
201        None => return Err(TOO_SHORT),
202    };
203
204    parsed.set_hour(try_consume!(scan::number(s, 2, 2)))?;
205    s = scan::char(s, b':')?;
206    parsed.set_minute(try_consume!(scan::number(s, 2, 2)))?;
207    s = scan::char(s, b':')?;
208    parsed.set_second(try_consume!(scan::number(s, 2, 2)))?;
209    if s.starts_with('.') {
210        let nanosecond = try_consume!(scan::nanosecond(&s[1..]));
211        parsed.set_nanosecond(nanosecond)?;
212    }
213
214    let offset = try_consume!(scan::timezone_offset(s, |s| scan::char(s, b':'), true, false, true));
215    // This range check is similar to the one in `FixedOffset::east_opt`, so it would be redundant.
216    // But it is possible to read the offset directly from `Parsed`. We want to only successfully
217    // populate `Parsed` if the input is fully valid RFC 3339.
218    // Max for the hours field is `23`, and for the minutes field `59`.
219    const MAX_RFC3339_OFFSET: i32 = (23 * 60 + 59) * 60;
220    if !(-MAX_RFC3339_OFFSET..=MAX_RFC3339_OFFSET).contains(&offset) {
221        return Err(OUT_OF_RANGE);
222    }
223    parsed.set_offset(i64::from(offset))?;
224
225    Ok((s, ()))
226}
227
228/// Tries to parse given string into `parsed` with given formatting items.
229/// Returns `Ok` when the entire string has been parsed (otherwise `parsed` should not be used).
230/// There should be no trailing string after parsing;
231/// use a stray [`Item::Space`](./enum.Item.html#variant.Space) to trim whitespaces.
232///
233/// This particular date and time parser is:
234///
235/// - Greedy. It will consume the longest possible prefix.
236///   For example, `April` is always consumed entirely when the long month name is requested;
237///   it equally accepts `Apr`, but prefers the longer prefix in this case.
238///
239/// - Padding-agnostic (for numeric items).
240///   The [`Pad`](./enum.Pad.html) field is completely ignored,
241///   so one can prepend any number of whitespace then any number of zeroes before numbers.
242///
243/// - (Still) obeying the intrinsic parsing width. This allows, for example, parsing `HHMMSS`.
244pub fn parse<'a, I, B>(parsed: &mut Parsed, s: &str, items: I) -> ParseResult<()>
245where
246    I: Iterator<Item = B>,
247    B: Borrow<Item<'a>>,
248{
249    match parse_internal(parsed, s, items) {
250        Ok("") => Ok(()),
251        Ok(_) => Err(TOO_LONG), // if there are trailing chars it is an error
252        Err(e) => Err(e),
253    }
254}
255
256/// Tries to parse given string into `parsed` with given formatting items.
257/// Returns `Ok` with a slice of the unparsed remainder.
258///
259/// This particular date and time parser is:
260///
261/// - Greedy. It will consume the longest possible prefix.
262///   For example, `April` is always consumed entirely when the long month name is requested;
263///   it equally accepts `Apr`, but prefers the longer prefix in this case.
264///
265/// - Padding-agnostic (for numeric items).
266///   The [`Pad`](./enum.Pad.html) field is completely ignored,
267///   so one can prepend any number of zeroes before numbers.
268///
269/// - (Still) obeying the intrinsic parsing width. This allows, for example, parsing `HHMMSS`.
270pub fn parse_and_remainder<'a, 'b, I, B>(
271    parsed: &mut Parsed,
272    s: &'b str,
273    items: I,
274) -> ParseResult<&'b str>
275where
276    I: Iterator<Item = B>,
277    B: Borrow<Item<'a>>,
278{
279    parse_internal(parsed, s, items)
280}
281
282fn parse_internal<'a, 'b, I, B>(
283    parsed: &mut Parsed,
284    mut s: &'b str,
285    items: I,
286) -> Result<&'b str, ParseError>
287where
288    I: Iterator<Item = B>,
289    B: Borrow<Item<'a>>,
290{
291    macro_rules! try_consume {
292        ($e:expr) => {{
293            match $e {
294                Ok((s_, v)) => {
295                    s = s_;
296                    v
297                }
298                Err(e) => return Err(e),
299            }
300        }};
301    }
302
303    for item in items {
304        match *item.borrow() {
305            Item::Literal(prefix) => {
306                if s.len() < prefix.len() {
307                    return Err(TOO_SHORT);
308                }
309                if !s.starts_with(prefix) {
310                    return Err(INVALID);
311                }
312                s = &s[prefix.len()..];
313            }
314
315            #[cfg(feature = "alloc")]
316            Item::OwnedLiteral(ref prefix) => {
317                if s.len() < prefix.len() {
318                    return Err(TOO_SHORT);
319                }
320                if !s.starts_with(&prefix[..]) {
321                    return Err(INVALID);
322                }
323                s = &s[prefix.len()..];
324            }
325
326            Item::Space(_) => {
327                s = s.trim_start();
328            }
329
330            #[cfg(feature = "alloc")]
331            Item::OwnedSpace(_) => {
332                s = s.trim_start();
333            }
334
335            Item::Numeric(ref spec, ref _pad) => {
336                use super::Numeric::*;
337                type Setter = fn(&mut Parsed, i64) -> ParseResult<()>;
338
339                let (width, signed, set): (usize, bool, Setter) = match *spec {
340                    Year => (4, true, Parsed::set_year),
341                    YearDiv100 => (2, false, Parsed::set_year_div_100),
342                    YearMod100 => (2, false, Parsed::set_year_mod_100),
343                    IsoYear => (4, true, Parsed::set_isoyear),
344                    IsoYearDiv100 => (2, false, Parsed::set_isoyear_div_100),
345                    IsoYearMod100 => (2, false, Parsed::set_isoyear_mod_100),
346                    Quarter => (1, false, Parsed::set_quarter),
347                    Month => (2, false, Parsed::set_month),
348                    Day => (2, false, Parsed::set_day),
349                    WeekFromSun => (2, false, Parsed::set_week_from_sun),
350                    WeekFromMon => (2, false, Parsed::set_week_from_mon),
351                    IsoWeek => (2, false, Parsed::set_isoweek),
352                    NumDaysFromSun => (1, false, set_weekday_with_num_days_from_sunday),
353                    WeekdayFromMon => (1, false, set_weekday_with_number_from_monday),
354                    Ordinal => (3, false, Parsed::set_ordinal),
355                    Hour => (2, false, Parsed::set_hour),
356                    Hour12 => (2, false, Parsed::set_hour12),
357                    Minute => (2, false, Parsed::set_minute),
358                    Second => (2, false, Parsed::set_second),
359                    Nanosecond => (9, false, Parsed::set_nanosecond),
360                    Timestamp => (usize::MAX, false, Parsed::set_timestamp),
361
362                    // for the future expansion
363                    Internal(ref int) => match int._dummy {},
364                };
365
366                s = s.trim_start();
367                let v = if signed {
368                    if s.starts_with('-') {
369                        let v = try_consume!(scan::number(&s[1..], 1, usize::MAX));
370                        0i64.checked_sub(v).ok_or(OUT_OF_RANGE)?
371                    } else if s.starts_with('+') {
372                        try_consume!(scan::number(&s[1..], 1, usize::MAX))
373                    } else {
374                        // if there is no explicit sign, we respect the original `width`
375                        try_consume!(scan::number(s, 1, width))
376                    }
377                } else {
378                    try_consume!(scan::number(s, 1, width))
379                };
380                set(parsed, v)?;
381            }
382
383            Item::Fixed(ref spec) => {
384                use super::Fixed::*;
385
386                match spec {
387                    &ShortMonthName => {
388                        let month0 = try_consume!(scan::short_month0(s));
389                        parsed.set_month(i64::from(month0) + 1)?;
390                    }
391
392                    &LongMonthName => {
393                        let month0 = try_consume!(scan::short_or_long_month0(s));
394                        parsed.set_month(i64::from(month0) + 1)?;
395                    }
396
397                    &ShortWeekdayName => {
398                        let weekday = try_consume!(scan::short_weekday(s));
399                        parsed.set_weekday(weekday)?;
400                    }
401
402                    &LongWeekdayName => {
403                        let weekday = try_consume!(scan::short_or_long_weekday(s));
404                        parsed.set_weekday(weekday)?;
405                    }
406
407                    &LowerAmPm | &UpperAmPm => {
408                        if s.len() < 2 {
409                            return Err(TOO_SHORT);
410                        }
411                        let ampm = match (s.as_bytes()[0] | 32, s.as_bytes()[1] | 32) {
412                            (b'a', b'm') => false,
413                            (b'p', b'm') => true,
414                            _ => return Err(INVALID),
415                        };
416                        parsed.set_ampm(ampm)?;
417                        s = &s[2..];
418                    }
419
420                    &Nanosecond => {
421                        if s.starts_with('.') {
422                            let nano = try_consume!(scan::nanosecond(&s[1..]));
423                            parsed.set_nanosecond(nano)?;
424                        }
425                    }
426
427                    &Nanosecond3 => {
428                        if s.starts_with('.') {
429                            let nano = try_consume!(scan::nanosecond_fixed(&s[1..], 3));
430                            parsed.set_nanosecond(nano)?;
431                        }
432                    }
433
434                    &Nanosecond6 => {
435                        if s.starts_with('.') {
436                            let nano = try_consume!(scan::nanosecond_fixed(&s[1..], 6));
437                            parsed.set_nanosecond(nano)?;
438                        }
439                    }
440
441                    &Nanosecond9 => {
442                        if s.starts_with('.') {
443                            let nano = try_consume!(scan::nanosecond_fixed(&s[1..], 9));
444                            parsed.set_nanosecond(nano)?;
445                        }
446                    }
447
448                    &Internal(InternalFixed { val: InternalInternal::Nanosecond3NoDot }) => {
449                        if s.len() < 3 {
450                            return Err(TOO_SHORT);
451                        }
452                        let nano = try_consume!(scan::nanosecond_fixed(s, 3));
453                        parsed.set_nanosecond(nano)?;
454                    }
455
456                    &Internal(InternalFixed { val: InternalInternal::Nanosecond6NoDot }) => {
457                        if s.len() < 6 {
458                            return Err(TOO_SHORT);
459                        }
460                        let nano = try_consume!(scan::nanosecond_fixed(s, 6));
461                        parsed.set_nanosecond(nano)?;
462                    }
463
464                    &Internal(InternalFixed { val: InternalInternal::Nanosecond9NoDot }) => {
465                        if s.len() < 9 {
466                            return Err(TOO_SHORT);
467                        }
468                        let nano = try_consume!(scan::nanosecond_fixed(s, 9));
469                        parsed.set_nanosecond(nano)?;
470                    }
471
472                    &TimezoneName => {
473                        try_consume!(Ok((s.trim_start_matches(|c: char| !c.is_whitespace()), ())));
474                    }
475
476                    &TimezoneOffsetColon
477                    | &TimezoneOffsetDoubleColon
478                    | &TimezoneOffsetTripleColon
479                    | &TimezoneOffset => {
480                        let offset = try_consume!(scan::timezone_offset(
481                            s.trim_start(),
482                            scan::colon_or_space,
483                            false,
484                            false,
485                            true,
486                        ));
487                        parsed.set_offset(i64::from(offset))?;
488                    }
489
490                    &TimezoneOffsetColonZ | &TimezoneOffsetZ => {
491                        let offset = try_consume!(scan::timezone_offset(
492                            s.trim_start(),
493                            scan::colon_or_space,
494                            true,
495                            false,
496                            true,
497                        ));
498                        parsed.set_offset(i64::from(offset))?;
499                    }
500                    &Internal(InternalFixed {
501                        val: InternalInternal::TimezoneOffsetPermissive,
502                    }) => {
503                        let offset = try_consume!(scan::timezone_offset(
504                            s.trim_start(),
505                            scan::colon_or_space,
506                            true,
507                            true,
508                            true,
509                        ));
510                        parsed.set_offset(i64::from(offset))?;
511                    }
512
513                    &RFC2822 => try_consume!(parse_rfc2822(parsed, s)),
514                    &RFC3339 => {
515                        // Used for the `%+` specifier, which has the description:
516                        // "Same as `%Y-%m-%dT%H:%M:%S%.f%:z` (...)
517                        // This format also supports having a `Z` or `UTC` in place of `%:z`."
518                        // Use the relaxed parser to match this description.
519                        try_consume!(parse_rfc3339_relaxed(parsed, s))
520                    }
521                }
522            }
523
524            Item::Error => {
525                return Err(BAD_FORMAT);
526            }
527        }
528    }
529    Ok(s)
530}
531
532/// Accepts a relaxed form of RFC3339.
533/// A space or a 'T' are accepted as the separator between the date and time
534/// parts. Additional spaces are allowed between each component.
535///
536/// All of these examples are equivalent:
537/// ```
538/// # use chrono::{DateTime, offset::FixedOffset};
539/// "2012-12-12T12:12:12Z".parse::<DateTime<FixedOffset>>()?;
540/// "2012-12-12 12:12:12Z".parse::<DateTime<FixedOffset>>()?;
541/// "2012-  12-12T12:  12:12Z".parse::<DateTime<FixedOffset>>()?;
542/// # Ok::<(), chrono::ParseError>(())
543/// ```
544impl str::FromStr for DateTime<FixedOffset> {
545    type Err = ParseError;
546
547    fn from_str(s: &str) -> ParseResult<DateTime<FixedOffset>> {
548        let mut parsed = Parsed::new();
549        let (s, _) = parse_rfc3339_relaxed(&mut parsed, s)?;
550        if !s.trim_start().is_empty() {
551            return Err(TOO_LONG);
552        }
553        parsed.to_datetime()
554    }
555}
556
557/// Accepts a relaxed form of RFC3339.
558///
559/// Differences with RFC3339:
560/// - Values don't require padding to two digits.
561/// - Years outside the range 0...=9999 are accepted, but they must include a sign.
562/// - `UTC` is accepted as a valid timezone name/offset (for compatibility with the debug format of
563///   `DateTime<Utc>`.
564/// - There can be spaces between any of the components.
565/// - The colon in the offset may be missing.
566fn parse_rfc3339_relaxed<'a>(parsed: &mut Parsed, mut s: &'a str) -> ParseResult<(&'a str, ())> {
567    const DATE_ITEMS: &[Item<'static>] = &[
568        Item::Numeric(Numeric::Year, Pad::Zero),
569        Item::Space(""),
570        Item::Literal("-"),
571        Item::Numeric(Numeric::Month, Pad::Zero),
572        Item::Space(""),
573        Item::Literal("-"),
574        Item::Numeric(Numeric::Day, Pad::Zero),
575    ];
576    const TIME_ITEMS: &[Item<'static>] = &[
577        Item::Numeric(Numeric::Hour, Pad::Zero),
578        Item::Space(""),
579        Item::Literal(":"),
580        Item::Numeric(Numeric::Minute, Pad::Zero),
581        Item::Space(""),
582        Item::Literal(":"),
583        Item::Numeric(Numeric::Second, Pad::Zero),
584        Item::Fixed(Fixed::Nanosecond),
585        Item::Space(""),
586    ];
587
588    s = parse_internal(parsed, s, DATE_ITEMS.iter())?;
589
590    s = match s.as_bytes().first() {
591        Some(&b't' | &b'T' | &b' ') => &s[1..],
592        Some(_) => return Err(INVALID),
593        None => return Err(TOO_SHORT),
594    };
595
596    s = parse_internal(parsed, s, TIME_ITEMS.iter())?;
597    s = s.trim_start();
598    let (s, offset) = if s.len() >= 3 && "UTC".as_bytes().eq_ignore_ascii_case(&s.as_bytes()[..3]) {
599        (&s[3..], 0)
600    } else {
601        scan::timezone_offset(s, scan::colon_or_space, true, false, true)?
602    };
603    parsed.set_offset(i64::from(offset))?;
604    Ok((s, ()))
605}
606
607#[cfg(test)]
608mod tests {
609    use crate::format::*;
610    use crate::{DateTime, FixedOffset, NaiveDateTime, TimeZone, Timelike, Utc};
611
612    macro_rules! parsed {
613        ($($k:ident: $v:expr),*) => (#[allow(unused_mut)] {
614            let mut expected = Parsed::new();
615            $(expected.$k = Some($v);)*
616            Ok(expected)
617        });
618    }
619
620    #[test]
621    fn test_parse_whitespace_and_literal() {
622        use crate::format::Item::{Literal, Space};
623
624        // empty string
625        parses("", &[]);
626        check(" ", &[], Err(TOO_LONG));
627        check("a", &[], Err(TOO_LONG));
628        check("abc", &[], Err(TOO_LONG));
629        check("🀠", &[], Err(TOO_LONG));
630
631        // whitespaces
632        parses("", &[Space("")]);
633        parses(" ", &[Space(" ")]);
634        parses("  ", &[Space("  ")]);
635        parses("   ", &[Space("   ")]);
636        parses(" ", &[Space("")]);
637        parses("  ", &[Space(" ")]);
638        parses("   ", &[Space("  ")]);
639        parses("    ", &[Space("  ")]);
640        parses("", &[Space(" ")]);
641        parses(" ", &[Space("  ")]);
642        parses("  ", &[Space("   ")]);
643        parses("  ", &[Space("  "), Space("  ")]);
644        parses("   ", &[Space("  "), Space("  ")]);
645        parses("  ", &[Space(" "), Space(" ")]);
646        parses("   ", &[Space("  "), Space(" ")]);
647        parses("   ", &[Space(" "), Space("  ")]);
648        parses("   ", &[Space(" "), Space(" "), Space(" ")]);
649        parses("\t", &[Space("")]);
650        parses(" \n\r  \n", &[Space("")]);
651        parses("\t", &[Space("\t")]);
652        parses("\t", &[Space(" ")]);
653        parses(" ", &[Space("\t")]);
654        parses("\t\r", &[Space("\t\r")]);
655        parses("\t\r ", &[Space("\t\r ")]);
656        parses("\t \r", &[Space("\t \r")]);
657        parses(" \t\r", &[Space(" \t\r")]);
658        parses(" \n\r  \n", &[Space(" \n\r  \n")]);
659        parses(" \t\n", &[Space(" \t")]);
660        parses(" \n\t", &[Space(" \t\n")]);
661        parses("\u{2002}", &[Space("\u{2002}")]);
662        // most unicode whitespace characters
663        parses(
664            "\u{00A0}\u{1680}\u{2000}\u{2001}\u{2002}\u{2003}\u{2004}\u{2005}\u{2006}\u{2007}\u{2008}\u{2009}\u{3000}",
665            &[Space(
666                "\u{00A0}\u{1680}\u{2000}\u{2001}\u{2002}\u{2003}\u{2004}\u{2005}\u{2006}\u{2007}\u{2008}\u{2009}\u{3000}",
667            )],
668        );
669        // most unicode whitespace characters
670        parses(
671            "\u{00A0}\u{1680}\u{2000}\u{2001}\u{2002}\u{2003}\u{2004}\u{2005}\u{2006}\u{2007}\u{2008}\u{2009}\u{3000}",
672            &[
673                Space("\u{00A0}\u{1680}\u{2000}\u{2001}\u{2002}\u{2003}\u{2004}"),
674                Space("\u{2005}\u{2006}\u{2007}\u{2008}\u{2009}\u{3000}"),
675            ],
676        );
677        check("a", &[Space("")], Err(TOO_LONG));
678        check("a", &[Space(" ")], Err(TOO_LONG));
679        // a Space containing a literal does not match a literal
680        check("a", &[Space("a")], Err(TOO_LONG));
681        check("abc", &[Space("")], Err(TOO_LONG));
682        check("abc", &[Space(" ")], Err(TOO_LONG));
683        check(" abc", &[Space("")], Err(TOO_LONG));
684        check(" abc", &[Space(" ")], Err(TOO_LONG));
685
686        // `\u{0363}` is combining diacritic mark "COMBINING LATIN SMALL LETTER A"
687
688        // literal
689        parses("", &[Literal("")]);
690        check("", &[Literal("a")], Err(TOO_SHORT));
691        check(" ", &[Literal("a")], Err(INVALID));
692        parses("a", &[Literal("a")]);
693        parses("+", &[Literal("+")]);
694        parses("-", &[Literal("-")]);
695        parses("βˆ’", &[Literal("βˆ’")]); // MINUS SIGN (U+2212)
696        parses(" ", &[Literal(" ")]); // a Literal may contain whitespace and match whitespace
697        check("aa", &[Literal("a")], Err(TOO_LONG));
698        check("🀠", &[Literal("a")], Err(INVALID));
699        check("A", &[Literal("a")], Err(INVALID));
700        check("a", &[Literal("z")], Err(INVALID));
701        check("a", &[Literal("🀠")], Err(TOO_SHORT));
702        check("a", &[Literal("\u{0363}a")], Err(TOO_SHORT));
703        check("\u{0363}a", &[Literal("a")], Err(INVALID));
704        parses("\u{0363}a", &[Literal("\u{0363}a")]);
705        check("a", &[Literal("ab")], Err(TOO_SHORT));
706        parses("xy", &[Literal("xy")]);
707        parses("xy", &[Literal("x"), Literal("y")]);
708        parses("1", &[Literal("1")]);
709        parses("1234", &[Literal("1234")]);
710        parses("+1234", &[Literal("+1234")]);
711        parses("-1234", &[Literal("-1234")]);
712        parses("βˆ’1234", &[Literal("βˆ’1234")]); // MINUS SIGN (U+2212)
713        parses("PST", &[Literal("PST")]);
714        parses("🀠", &[Literal("🀠")]);
715        parses("🀠a", &[Literal("🀠"), Literal("a")]);
716        parses("🀠a🀠", &[Literal("🀠"), Literal("a🀠")]);
717        parses("a🀠b", &[Literal("a"), Literal("🀠"), Literal("b")]);
718        // literals can be together
719        parses("xy", &[Literal("xy")]);
720        parses("xyz", &[Literal("xyz")]);
721        // or literals can be apart
722        parses("xy", &[Literal("x"), Literal("y")]);
723        parses("xyz", &[Literal("x"), Literal("yz")]);
724        parses("xyz", &[Literal("xy"), Literal("z")]);
725        parses("xyz", &[Literal("x"), Literal("y"), Literal("z")]);
726        //
727        check("x y", &[Literal("x"), Literal("y")], Err(INVALID));
728        parses("xy", &[Literal("x"), Space(""), Literal("y")]);
729        parses("x y", &[Literal("x"), Space(""), Literal("y")]);
730        parses("x y", &[Literal("x"), Space(" "), Literal("y")]);
731
732        // whitespaces + literals
733        parses("a\n", &[Literal("a"), Space("\n")]);
734        parses("\tab\n", &[Space("\t"), Literal("ab"), Space("\n")]);
735        parses(
736            "ab\tcd\ne",
737            &[Literal("ab"), Space("\t"), Literal("cd"), Space("\n"), Literal("e")],
738        );
739        parses(
740            "+1ab\tcd\r\n+,.",
741            &[Literal("+1ab"), Space("\t"), Literal("cd"), Space("\r\n"), Literal("+,.")],
742        );
743        // whitespace and literals can be intermixed
744        parses("a\tb", &[Literal("a\tb")]);
745        parses("a\tb", &[Literal("a"), Space("\t"), Literal("b")]);
746    }
747
748    #[test]
749    fn test_parse_numeric() {
750        use crate::format::Item::{Literal, Space};
751        use crate::format::Numeric::*;
752
753        // numeric
754        check("1987", &[num(Year)], parsed!(year: 1987));
755        check("1987 ", &[num(Year)], Err(TOO_LONG));
756        check("0x12", &[num(Year)], Err(TOO_LONG)); // `0` is parsed
757        check("x123", &[num(Year)], Err(INVALID));
758        check("o123", &[num(Year)], Err(INVALID));
759        check("2015", &[num(Year)], parsed!(year: 2015));
760        check("0000", &[num(Year)], parsed!(year: 0));
761        check("9999", &[num(Year)], parsed!(year: 9999));
762        check(" \t987", &[num(Year)], parsed!(year: 987));
763        check(" \t987", &[Space(" \t"), num(Year)], parsed!(year: 987));
764        check(" \t987🀠", &[Space(" \t"), num(Year), Literal("🀠")], parsed!(year: 987));
765        check("987🀠", &[num(Year), Literal("🀠")], parsed!(year: 987));
766        check("5", &[num(Year)], parsed!(year: 5));
767        check("5\0", &[num(Year)], Err(TOO_LONG));
768        check("\x005", &[num(Year)], Err(INVALID));
769        check("", &[num(Year)], Err(TOO_SHORT));
770        check("12345", &[num(Year), Literal("5")], parsed!(year: 1234));
771        check("12345", &[nums(Year), Literal("5")], parsed!(year: 1234));
772        check("12345", &[num0(Year), Literal("5")], parsed!(year: 1234));
773        check("12341234", &[num(Year), num(Year)], parsed!(year: 1234));
774        check("1234 1234", &[num(Year), num(Year)], parsed!(year: 1234));
775        check("1234 1234", &[num(Year), Space(" "), num(Year)], parsed!(year: 1234));
776        check("1234 1235", &[num(Year), num(Year)], Err(IMPOSSIBLE));
777        check("1234 1234", &[num(Year), Literal("x"), num(Year)], Err(INVALID));
778        check("1234x1234", &[num(Year), Literal("x"), num(Year)], parsed!(year: 1234));
779        check("1234 x 1234", &[num(Year), Literal("x"), num(Year)], Err(INVALID));
780        check("1234xx1234", &[num(Year), Literal("x"), num(Year)], Err(INVALID));
781        check("1234xx1234", &[num(Year), Literal("xx"), num(Year)], parsed!(year: 1234));
782        check(
783            "1234 x 1234",
784            &[num(Year), Space(" "), Literal("x"), Space(" "), num(Year)],
785            parsed!(year: 1234),
786        );
787        check(
788            "1234 x 1235",
789            &[num(Year), Space(" "), Literal("x"), Space(" "), Literal("1235")],
790            parsed!(year: 1234),
791        );
792
793        // signed numeric
794        check("-42", &[num(Year)], parsed!(year: -42));
795        check("+42", &[num(Year)], parsed!(year: 42));
796        check("-0042", &[num(Year)], parsed!(year: -42));
797        check("+0042", &[num(Year)], parsed!(year: 42));
798        check("-42195", &[num(Year)], parsed!(year: -42195));
799        check("βˆ’42195", &[num(Year)], Err(INVALID)); // MINUS SIGN (U+2212)
800        check("+42195", &[num(Year)], parsed!(year: 42195));
801        check("  -42195", &[num(Year)], parsed!(year: -42195));
802        check(" +42195", &[num(Year)], parsed!(year: 42195));
803        check("  -42195", &[num(Year)], parsed!(year: -42195));
804        check("  +42195", &[num(Year)], parsed!(year: 42195));
805        check("-42195 ", &[num(Year)], Err(TOO_LONG));
806        check("+42195 ", &[num(Year)], Err(TOO_LONG));
807        check("  -   42", &[num(Year)], Err(INVALID));
808        check("  +   42", &[num(Year)], Err(INVALID));
809        check("  -42195", &[Space("  "), num(Year)], parsed!(year: -42195));
810        check("  βˆ’42195", &[Space("  "), num(Year)], Err(INVALID)); // MINUS SIGN (U+2212)
811        check("  +42195", &[Space("  "), num(Year)], parsed!(year: 42195));
812        check("  -   42", &[Space("  "), num(Year)], Err(INVALID));
813        check("  +   42", &[Space("  "), num(Year)], Err(INVALID));
814        check("-", &[num(Year)], Err(TOO_SHORT));
815        check("+", &[num(Year)], Err(TOO_SHORT));
816
817        // unsigned numeric
818        check("345", &[num(Ordinal)], parsed!(ordinal: 345));
819        check("+345", &[num(Ordinal)], Err(INVALID));
820        check("-345", &[num(Ordinal)], Err(INVALID));
821        check(" 345", &[num(Ordinal)], parsed!(ordinal: 345));
822        check("βˆ’345", &[num(Ordinal)], Err(INVALID)); // MINUS SIGN (U+2212)
823        check("345 ", &[num(Ordinal)], Err(TOO_LONG));
824        check(" 345", &[Space(" "), num(Ordinal)], parsed!(ordinal: 345));
825        check("345 ", &[num(Ordinal), Space(" ")], parsed!(ordinal: 345));
826        check("345🀠 ", &[num(Ordinal), Literal("🀠"), Space(" ")], parsed!(ordinal: 345));
827        check("345🀠", &[num(Ordinal)], Err(TOO_LONG));
828        check("\u{0363}345", &[num(Ordinal)], Err(INVALID));
829        check(" +345", &[num(Ordinal)], Err(INVALID));
830        check(" -345", &[num(Ordinal)], Err(INVALID));
831        check("\t345", &[Space("\t"), num(Ordinal)], parsed!(ordinal: 345));
832        check(" +345", &[Space(" "), num(Ordinal)], Err(INVALID));
833        check(" -345", &[Space(" "), num(Ordinal)], Err(INVALID));
834
835        // various numeric fields
836        check("1234 5678", &[num(Year), num(IsoYear)], parsed!(year: 1234, isoyear: 5678));
837        check("1234 5678", &[num(Year), num(IsoYear)], parsed!(year: 1234, isoyear: 5678));
838        check(
839            "12 34 56 78",
840            &[num(YearDiv100), num(YearMod100), num(IsoYearDiv100), num(IsoYearMod100)],
841            parsed!(year_div_100: 12, year_mod_100: 34, isoyear_div_100: 56, isoyear_mod_100: 78),
842        );
843        check(
844            "1 1 2 3 4 5",
845            &[
846                num(Quarter),
847                num(Month),
848                num(Day),
849                num(WeekFromSun),
850                num(NumDaysFromSun),
851                num(IsoWeek),
852            ],
853            parsed!(quarter: 1, month: 1, day: 2, week_from_sun: 3, weekday: Weekday::Thu, isoweek: 5),
854        );
855        check(
856            "6 7 89 01",
857            &[num(WeekFromMon), num(WeekdayFromMon), num(Ordinal), num(Hour12)],
858            parsed!(week_from_mon: 6, weekday: Weekday::Sun, ordinal: 89, hour_mod_12: 1),
859        );
860        check(
861            "23 45 6 78901234 567890123",
862            &[num(Hour), num(Minute), num(Second), num(Nanosecond), num(Timestamp)],
863            parsed!(hour_div_12: 1, hour_mod_12: 11, minute: 45, second: 6, nanosecond: 78_901_234, timestamp: 567_890_123),
864        );
865    }
866
867    #[test]
868    fn test_parse_fixed() {
869        use crate::format::Fixed::*;
870        use crate::format::Item::{Literal, Space};
871
872        // fixed: month and weekday names
873        check("apr", &[fixed(ShortMonthName)], parsed!(month: 4));
874        check("Apr", &[fixed(ShortMonthName)], parsed!(month: 4));
875        check("APR", &[fixed(ShortMonthName)], parsed!(month: 4));
876        check("ApR", &[fixed(ShortMonthName)], parsed!(month: 4));
877        check("\u{0363}APR", &[fixed(ShortMonthName)], Err(INVALID));
878        check("April", &[fixed(ShortMonthName)], Err(TOO_LONG)); // `Apr` is parsed
879        check("A", &[fixed(ShortMonthName)], Err(TOO_SHORT));
880        check("Sol", &[fixed(ShortMonthName)], Err(INVALID));
881        check("Apr", &[fixed(LongMonthName)], parsed!(month: 4));
882        check("Apri", &[fixed(LongMonthName)], Err(TOO_LONG)); // `Apr` is parsed
883        check("April", &[fixed(LongMonthName)], parsed!(month: 4));
884        check("Aprill", &[fixed(LongMonthName)], Err(TOO_LONG));
885        check("Aprill", &[fixed(LongMonthName), Literal("l")], parsed!(month: 4));
886        check("Aprl", &[fixed(LongMonthName), Literal("l")], parsed!(month: 4));
887        check("April", &[fixed(LongMonthName), Literal("il")], Err(TOO_SHORT)); // do not backtrack
888        check("thu", &[fixed(ShortWeekdayName)], parsed!(weekday: Weekday::Thu));
889        check("Thu", &[fixed(ShortWeekdayName)], parsed!(weekday: Weekday::Thu));
890        check("THU", &[fixed(ShortWeekdayName)], parsed!(weekday: Weekday::Thu));
891        check("tHu", &[fixed(ShortWeekdayName)], parsed!(weekday: Weekday::Thu));
892        check("Thursday", &[fixed(ShortWeekdayName)], Err(TOO_LONG)); // `Thu` is parsed
893        check("T", &[fixed(ShortWeekdayName)], Err(TOO_SHORT));
894        check("The", &[fixed(ShortWeekdayName)], Err(INVALID));
895        check("Nop", &[fixed(ShortWeekdayName)], Err(INVALID));
896        check("Thu", &[fixed(LongWeekdayName)], parsed!(weekday: Weekday::Thu));
897        check("Thur", &[fixed(LongWeekdayName)], Err(TOO_LONG)); // `Thu` is parsed
898        check("Thurs", &[fixed(LongWeekdayName)], Err(TOO_LONG)); // `Thu` is parsed
899        check("Thursday", &[fixed(LongWeekdayName)], parsed!(weekday: Weekday::Thu));
900        check("Thursdays", &[fixed(LongWeekdayName)], Err(TOO_LONG));
901        check("Thursdays", &[fixed(LongWeekdayName), Literal("s")], parsed!(weekday: Weekday::Thu));
902        check("Thus", &[fixed(LongWeekdayName), Literal("s")], parsed!(weekday: Weekday::Thu));
903        check("Thursday", &[fixed(LongWeekdayName), Literal("rsday")], Err(TOO_SHORT)); // do not backtrack
904
905        // fixed: am/pm
906        check("am", &[fixed(LowerAmPm)], parsed!(hour_div_12: 0));
907        check("pm", &[fixed(LowerAmPm)], parsed!(hour_div_12: 1));
908        check("AM", &[fixed(LowerAmPm)], parsed!(hour_div_12: 0));
909        check("PM", &[fixed(LowerAmPm)], parsed!(hour_div_12: 1));
910        check("am", &[fixed(UpperAmPm)], parsed!(hour_div_12: 0));
911        check("pm", &[fixed(UpperAmPm)], parsed!(hour_div_12: 1));
912        check("AM", &[fixed(UpperAmPm)], parsed!(hour_div_12: 0));
913        check("PM", &[fixed(UpperAmPm)], parsed!(hour_div_12: 1));
914        check("Am", &[fixed(LowerAmPm)], parsed!(hour_div_12: 0));
915        check(" Am", &[Space(" "), fixed(LowerAmPm)], parsed!(hour_div_12: 0));
916        check("Am🀠", &[fixed(LowerAmPm), Literal("🀠")], parsed!(hour_div_12: 0));
917        check("🀠Am", &[Literal("🀠"), fixed(LowerAmPm)], parsed!(hour_div_12: 0));
918        check("\u{0363}am", &[fixed(LowerAmPm)], Err(INVALID));
919        check("\u{0360}am", &[fixed(LowerAmPm)], Err(INVALID));
920        check(" Am", &[fixed(LowerAmPm)], Err(INVALID));
921        check("Am ", &[fixed(LowerAmPm)], Err(TOO_LONG));
922        check("a.m.", &[fixed(LowerAmPm)], Err(INVALID));
923        check("A.M.", &[fixed(LowerAmPm)], Err(INVALID));
924        check("ame", &[fixed(LowerAmPm)], Err(TOO_LONG)); // `am` is parsed
925        check("a", &[fixed(LowerAmPm)], Err(TOO_SHORT));
926        check("p", &[fixed(LowerAmPm)], Err(TOO_SHORT));
927        check("x", &[fixed(LowerAmPm)], Err(TOO_SHORT));
928        check("xx", &[fixed(LowerAmPm)], Err(INVALID));
929        check("", &[fixed(LowerAmPm)], Err(TOO_SHORT));
930    }
931
932    #[test]
933    fn test_parse_fixed_nanosecond() {
934        use crate::format::Fixed::{Nanosecond, Nanosecond3, Nanosecond6, Nanosecond9};
935        use crate::format::InternalInternal::*;
936        use crate::format::Item::Literal;
937        use crate::format::Numeric::Second;
938
939        // fixed: dot plus nanoseconds
940        check("", &[fixed(Nanosecond)], parsed!()); // no field set, but not an error
941        check(".", &[fixed(Nanosecond)], Err(TOO_SHORT));
942        check("4", &[fixed(Nanosecond)], Err(TOO_LONG)); // never consumes `4`
943        check("4", &[fixed(Nanosecond), num(Second)], parsed!(second: 4));
944        check(".0", &[fixed(Nanosecond)], parsed!(nanosecond: 0));
945        check(".4", &[fixed(Nanosecond)], parsed!(nanosecond: 400_000_000));
946        check(".42", &[fixed(Nanosecond)], parsed!(nanosecond: 420_000_000));
947        check(".421", &[fixed(Nanosecond)], parsed!(nanosecond: 421_000_000));
948        check(".42195", &[fixed(Nanosecond)], parsed!(nanosecond: 421_950_000));
949        check(".421951", &[fixed(Nanosecond)], parsed!(nanosecond: 421_951_000));
950        check(".4219512", &[fixed(Nanosecond)], parsed!(nanosecond: 421_951_200));
951        check(".42195123", &[fixed(Nanosecond)], parsed!(nanosecond: 421_951_230));
952        check(".421950803", &[fixed(Nanosecond)], parsed!(nanosecond: 421_950_803));
953        check(".4219508035", &[fixed(Nanosecond)], parsed!(nanosecond: 421_950_803));
954        check(".42195080354", &[fixed(Nanosecond)], parsed!(nanosecond: 421_950_803));
955        check(".421950803547", &[fixed(Nanosecond)], parsed!(nanosecond: 421_950_803));
956        check(".000000003", &[fixed(Nanosecond)], parsed!(nanosecond: 3));
957        check(".0000000031", &[fixed(Nanosecond)], parsed!(nanosecond: 3));
958        check(".0000000035", &[fixed(Nanosecond)], parsed!(nanosecond: 3));
959        check(".000000003547", &[fixed(Nanosecond)], parsed!(nanosecond: 3));
960        check(".0000000009", &[fixed(Nanosecond)], parsed!(nanosecond: 0));
961        check(".000000000547", &[fixed(Nanosecond)], parsed!(nanosecond: 0));
962        check(".0000000009999999999999999999999999", &[fixed(Nanosecond)], parsed!(nanosecond: 0));
963        check(".4🀠", &[fixed(Nanosecond), Literal("🀠")], parsed!(nanosecond: 400_000_000));
964        check(".4x", &[fixed(Nanosecond)], Err(TOO_LONG));
965        check(".  4", &[fixed(Nanosecond)], Err(INVALID));
966        check("  .4", &[fixed(Nanosecond)], Err(TOO_LONG)); // no automatic trimming
967
968        // fixed-length fractions of a second
969        check("", &[fixed(Nanosecond3)], parsed!()); // no field set, but not an error
970        check("4", &[fixed(Nanosecond3)], Err(TOO_LONG)); // never consumes `4`
971        check(".12", &[fixed(Nanosecond3)], Err(TOO_SHORT));
972        check(".123", &[fixed(Nanosecond3)], parsed!(nanosecond: 123_000_000));
973        check(".1234", &[fixed(Nanosecond3)], Err(TOO_LONG));
974        check(".1234", &[fixed(Nanosecond3), Literal("4")], parsed!(nanosecond: 123_000_000));
975
976        check("", &[fixed(Nanosecond6)], parsed!()); // no field set, but not an error
977        check("4", &[fixed(Nanosecond6)], Err(TOO_LONG)); // never consumes `4`
978        check(".12345", &[fixed(Nanosecond6)], Err(TOO_SHORT));
979        check(".123456", &[fixed(Nanosecond6)], parsed!(nanosecond: 123_456_000));
980        check(".1234567", &[fixed(Nanosecond6)], Err(TOO_LONG));
981        check(".1234567", &[fixed(Nanosecond6), Literal("7")], parsed!(nanosecond: 123_456_000));
982
983        check("", &[fixed(Nanosecond9)], parsed!()); // no field set, but not an error
984        check("4", &[fixed(Nanosecond9)], Err(TOO_LONG)); // never consumes `4`
985        check(".12345678", &[fixed(Nanosecond9)], Err(TOO_SHORT));
986        check(".123456789", &[fixed(Nanosecond9)], parsed!(nanosecond: 123_456_789));
987        check(".1234567890", &[fixed(Nanosecond9)], Err(TOO_LONG));
988        check(".1234567890", &[fixed(Nanosecond9), Literal("0")], parsed!(nanosecond: 123_456_789));
989
990        // fixed: nanoseconds without the dot
991        check("", &[internal_fixed(Nanosecond3NoDot)], Err(TOO_SHORT));
992        check(".", &[internal_fixed(Nanosecond3NoDot)], Err(TOO_SHORT));
993        check("0", &[internal_fixed(Nanosecond3NoDot)], Err(TOO_SHORT));
994        check("4", &[internal_fixed(Nanosecond3NoDot)], Err(TOO_SHORT));
995        check("42", &[internal_fixed(Nanosecond3NoDot)], Err(TOO_SHORT));
996        check("421", &[internal_fixed(Nanosecond3NoDot)], parsed!(nanosecond: 421_000_000));
997        check("4210", &[internal_fixed(Nanosecond3NoDot)], Err(TOO_LONG));
998        check(
999            "42143",
1000            &[internal_fixed(Nanosecond3NoDot), num(Second)],
1001            parsed!(nanosecond: 421_000_000, second: 43),
1002        );
1003        check(
1004            "421🀠",
1005            &[internal_fixed(Nanosecond3NoDot), Literal("🀠")],
1006            parsed!(nanosecond: 421_000_000),
1007        );
1008        check(
1009            "🀠421",
1010            &[Literal("🀠"), internal_fixed(Nanosecond3NoDot)],
1011            parsed!(nanosecond: 421_000_000),
1012        );
1013        check("42195", &[internal_fixed(Nanosecond3NoDot)], Err(TOO_LONG));
1014        check("123456789", &[internal_fixed(Nanosecond3NoDot)], Err(TOO_LONG));
1015        check("4x", &[internal_fixed(Nanosecond3NoDot)], Err(TOO_SHORT));
1016        check("  4", &[internal_fixed(Nanosecond3NoDot)], Err(INVALID));
1017        check(".421", &[internal_fixed(Nanosecond3NoDot)], Err(INVALID));
1018
1019        check("", &[internal_fixed(Nanosecond6NoDot)], Err(TOO_SHORT));
1020        check(".", &[internal_fixed(Nanosecond6NoDot)], Err(TOO_SHORT));
1021        check("0", &[internal_fixed(Nanosecond6NoDot)], Err(TOO_SHORT));
1022        check("1234", &[internal_fixed(Nanosecond6NoDot)], Err(TOO_SHORT));
1023        check("12345", &[internal_fixed(Nanosecond6NoDot)], Err(TOO_SHORT));
1024        check("421950", &[internal_fixed(Nanosecond6NoDot)], parsed!(nanosecond: 421_950_000));
1025        check("000003", &[internal_fixed(Nanosecond6NoDot)], parsed!(nanosecond: 3000));
1026        check("000000", &[internal_fixed(Nanosecond6NoDot)], parsed!(nanosecond: 0));
1027        check("1234567", &[internal_fixed(Nanosecond6NoDot)], Err(TOO_LONG));
1028        check("123456789", &[internal_fixed(Nanosecond6NoDot)], Err(TOO_LONG));
1029        check("4x", &[internal_fixed(Nanosecond6NoDot)], Err(TOO_SHORT));
1030        check("     4", &[internal_fixed(Nanosecond6NoDot)], Err(INVALID));
1031        check(".42100", &[internal_fixed(Nanosecond6NoDot)], Err(INVALID));
1032
1033        check("", &[internal_fixed(Nanosecond9NoDot)], Err(TOO_SHORT));
1034        check(".", &[internal_fixed(Nanosecond9NoDot)], Err(TOO_SHORT));
1035        check("42195", &[internal_fixed(Nanosecond9NoDot)], Err(TOO_SHORT));
1036        check("12345678", &[internal_fixed(Nanosecond9NoDot)], Err(TOO_SHORT));
1037        check("421950803", &[internal_fixed(Nanosecond9NoDot)], parsed!(nanosecond: 421_950_803));
1038        check("000000003", &[internal_fixed(Nanosecond9NoDot)], parsed!(nanosecond: 3));
1039        check(
1040            "42195080354",
1041            &[internal_fixed(Nanosecond9NoDot), num(Second)],
1042            parsed!(nanosecond: 421_950_803, second: 54),
1043        ); // don't skip digits that come after the 9
1044        check("1234567890", &[internal_fixed(Nanosecond9NoDot)], Err(TOO_LONG));
1045        check("000000000", &[internal_fixed(Nanosecond9NoDot)], parsed!(nanosecond: 0));
1046        check("00000000x", &[internal_fixed(Nanosecond9NoDot)], Err(INVALID));
1047        check("        4", &[internal_fixed(Nanosecond9NoDot)], Err(INVALID));
1048        check(".42100000", &[internal_fixed(Nanosecond9NoDot)], Err(INVALID));
1049    }
1050
1051    #[test]
1052    fn test_parse_fixed_timezone_offset() {
1053        use crate::format::Fixed::*;
1054        use crate::format::InternalInternal::*;
1055        use crate::format::Item::Literal;
1056
1057        // TimezoneOffset
1058        check("1", &[fixed(TimezoneOffset)], Err(INVALID));
1059        check("12", &[fixed(TimezoneOffset)], Err(INVALID));
1060        check("123", &[fixed(TimezoneOffset)], Err(INVALID));
1061        check("1234", &[fixed(TimezoneOffset)], Err(INVALID));
1062        check("12345", &[fixed(TimezoneOffset)], Err(INVALID));
1063        check("123456", &[fixed(TimezoneOffset)], Err(INVALID));
1064        check("1234567", &[fixed(TimezoneOffset)], Err(INVALID));
1065        check("+1", &[fixed(TimezoneOffset)], Err(TOO_SHORT));
1066        check("+12", &[fixed(TimezoneOffset)], Err(TOO_SHORT));
1067        check("+123", &[fixed(TimezoneOffset)], Err(TOO_SHORT));
1068        check("+1234", &[fixed(TimezoneOffset)], parsed!(offset: 45_240));
1069        check("+12345", &[fixed(TimezoneOffset)], Err(TOO_LONG));
1070        check("+123456", &[fixed(TimezoneOffset)], Err(TOO_LONG));
1071        check("+1234567", &[fixed(TimezoneOffset)], Err(TOO_LONG));
1072        check("+12345678", &[fixed(TimezoneOffset)], Err(TOO_LONG));
1073        check("+12:", &[fixed(TimezoneOffset)], Err(TOO_SHORT));
1074        check("+12:3", &[fixed(TimezoneOffset)], Err(TOO_SHORT));
1075        check("+12:34", &[fixed(TimezoneOffset)], parsed!(offset: 45_240));
1076        check("-12:34", &[fixed(TimezoneOffset)], parsed!(offset: -45_240));
1077        check("βˆ’12:34", &[fixed(TimezoneOffset)], parsed!(offset: -45_240)); // MINUS SIGN (U+2212)
1078        check("+12:34:", &[fixed(TimezoneOffset)], Err(TOO_LONG));
1079        check("+12:34:5", &[fixed(TimezoneOffset)], Err(TOO_LONG));
1080        check("+12:34:56", &[fixed(TimezoneOffset)], Err(TOO_LONG));
1081        check("+12:34:56:", &[fixed(TimezoneOffset)], Err(TOO_LONG));
1082        check("+12 34", &[fixed(TimezoneOffset)], parsed!(offset: 45_240));
1083        check("+12  34", &[fixed(TimezoneOffset)], parsed!(offset: 45_240));
1084        check("12:34", &[fixed(TimezoneOffset)], Err(INVALID));
1085        check("12:34:56", &[fixed(TimezoneOffset)], Err(INVALID));
1086        check("+12::34", &[fixed(TimezoneOffset)], parsed!(offset: 45_240));
1087        check("+12: :34", &[fixed(TimezoneOffset)], parsed!(offset: 45_240));
1088        check("+12:::34", &[fixed(TimezoneOffset)], parsed!(offset: 45_240));
1089        check("+12::::34", &[fixed(TimezoneOffset)], parsed!(offset: 45_240));
1090        check("+12::34", &[fixed(TimezoneOffset)], parsed!(offset: 45_240));
1091        check("+12:34:56", &[fixed(TimezoneOffset)], Err(TOO_LONG));
1092        check("+12:3456", &[fixed(TimezoneOffset)], Err(TOO_LONG));
1093        check("+1234:56", &[fixed(TimezoneOffset)], Err(TOO_LONG));
1094        check("+1234:567", &[fixed(TimezoneOffset)], Err(TOO_LONG));
1095        check("+00:00", &[fixed(TimezoneOffset)], parsed!(offset: 0));
1096        check("-00:00", &[fixed(TimezoneOffset)], parsed!(offset: 0));
1097        check("βˆ’00:00", &[fixed(TimezoneOffset)], parsed!(offset: 0)); // MINUS SIGN (U+2212)
1098        check("+00:01", &[fixed(TimezoneOffset)], parsed!(offset: 60));
1099        check("-00:01", &[fixed(TimezoneOffset)], parsed!(offset: -60));
1100        check("+00:30", &[fixed(TimezoneOffset)], parsed!(offset: 1_800));
1101        check("-00:30", &[fixed(TimezoneOffset)], parsed!(offset: -1_800));
1102        check("+24:00", &[fixed(TimezoneOffset)], parsed!(offset: 86_400));
1103        check("-24:00", &[fixed(TimezoneOffset)], parsed!(offset: -86_400));
1104        check("βˆ’24:00", &[fixed(TimezoneOffset)], parsed!(offset: -86_400)); // MINUS SIGN (U+2212)
1105        check("+99:59", &[fixed(TimezoneOffset)], parsed!(offset: 359_940));
1106        check("-99:59", &[fixed(TimezoneOffset)], parsed!(offset: -359_940));
1107        check("+00:60", &[fixed(TimezoneOffset)], Err(OUT_OF_RANGE));
1108        check("+00:99", &[fixed(TimezoneOffset)], Err(OUT_OF_RANGE));
1109        check("#12:34", &[fixed(TimezoneOffset)], Err(INVALID));
1110        check("+12:34 ", &[fixed(TimezoneOffset)], Err(TOO_LONG));
1111        check("+12 34 ", &[fixed(TimezoneOffset)], Err(TOO_LONG));
1112        check(" +12:34", &[fixed(TimezoneOffset)], parsed!(offset: 45_240));
1113        check(" -12:34", &[fixed(TimezoneOffset)], parsed!(offset: -45_240));
1114        check(" βˆ’12:34", &[fixed(TimezoneOffset)], parsed!(offset: -45_240)); // MINUS SIGN (U+2212)
1115        check("  +12:34", &[fixed(TimezoneOffset)], parsed!(offset: 45_240));
1116        check("  -12:34", &[fixed(TimezoneOffset)], parsed!(offset: -45_240));
1117        check("\t -12:34", &[fixed(TimezoneOffset)], parsed!(offset: -45_240));
1118        check("-12: 34", &[fixed(TimezoneOffset)], parsed!(offset: -45_240));
1119        check("-12 :34", &[fixed(TimezoneOffset)], parsed!(offset: -45_240));
1120        check("-12 : 34", &[fixed(TimezoneOffset)], parsed!(offset: -45_240));
1121        check("-12 :  34", &[fixed(TimezoneOffset)], parsed!(offset: -45_240));
1122        check("-12  : 34", &[fixed(TimezoneOffset)], parsed!(offset: -45_240));
1123        check("-12:  34", &[fixed(TimezoneOffset)], parsed!(offset: -45_240));
1124        check("-12  :34", &[fixed(TimezoneOffset)], parsed!(offset: -45_240));
1125        check("-12  :  34", &[fixed(TimezoneOffset)], parsed!(offset: -45_240));
1126        check("12:34 ", &[fixed(TimezoneOffset)], Err(INVALID));
1127        check(" 12:34", &[fixed(TimezoneOffset)], Err(INVALID));
1128        check("", &[fixed(TimezoneOffset)], Err(TOO_SHORT));
1129        check("+", &[fixed(TimezoneOffset)], Err(TOO_SHORT));
1130        check(
1131            "+12345",
1132            &[fixed(TimezoneOffset), num(Numeric::Day)],
1133            parsed!(offset: 45_240, day: 5),
1134        );
1135        check(
1136            "+12:345",
1137            &[fixed(TimezoneOffset), num(Numeric::Day)],
1138            parsed!(offset: 45_240, day: 5),
1139        );
1140        check("+12:34:", &[fixed(TimezoneOffset), Literal(":")], parsed!(offset: 45_240));
1141        check("Z12:34", &[fixed(TimezoneOffset)], Err(INVALID));
1142        check("X12:34", &[fixed(TimezoneOffset)], Err(INVALID));
1143        check("Z+12:34", &[fixed(TimezoneOffset)], Err(INVALID));
1144        check("X+12:34", &[fixed(TimezoneOffset)], Err(INVALID));
1145        check("Xβˆ’12:34", &[fixed(TimezoneOffset)], Err(INVALID)); // MINUS SIGN (U+2212)
1146        check("🀠+12:34", &[fixed(TimezoneOffset)], Err(INVALID));
1147        check("+12:34🀠", &[fixed(TimezoneOffset)], Err(TOO_LONG));
1148        check("+12:🀠34", &[fixed(TimezoneOffset)], Err(INVALID));
1149        check("+1234🀠", &[fixed(TimezoneOffset), Literal("🀠")], parsed!(offset: 45_240));
1150        check("-1234🀠", &[fixed(TimezoneOffset), Literal("🀠")], parsed!(offset: -45_240));
1151        check("βˆ’1234🀠", &[fixed(TimezoneOffset), Literal("🀠")], parsed!(offset: -45_240)); // MINUS SIGN (U+2212)
1152        check("+12:34🀠", &[fixed(TimezoneOffset), Literal("🀠")], parsed!(offset: 45_240));
1153        check("-12:34🀠", &[fixed(TimezoneOffset), Literal("🀠")], parsed!(offset: -45_240));
1154        check("βˆ’12:34🀠", &[fixed(TimezoneOffset), Literal("🀠")], parsed!(offset: -45_240)); // MINUS SIGN (U+2212)
1155        check("🀠+12:34", &[Literal("🀠"), fixed(TimezoneOffset)], parsed!(offset: 45_240));
1156        check("Z", &[fixed(TimezoneOffset)], Err(INVALID));
1157        check("A", &[fixed(TimezoneOffset)], Err(INVALID));
1158        check("PST", &[fixed(TimezoneOffset)], Err(INVALID));
1159        check("#Z", &[fixed(TimezoneOffset)], Err(INVALID));
1160        check(":Z", &[fixed(TimezoneOffset)], Err(INVALID));
1161        check("+Z", &[fixed(TimezoneOffset)], Err(TOO_SHORT));
1162        check("+:Z", &[fixed(TimezoneOffset)], Err(INVALID));
1163        check("+Z:", &[fixed(TimezoneOffset)], Err(INVALID));
1164        check("z", &[fixed(TimezoneOffset)], Err(INVALID));
1165        check(" :Z", &[fixed(TimezoneOffset)], Err(INVALID));
1166        check(" Z", &[fixed(TimezoneOffset)], Err(INVALID));
1167        check(" z", &[fixed(TimezoneOffset)], Err(INVALID));
1168
1169        // TimezoneOffsetColon
1170        check("1", &[fixed(TimezoneOffsetColon)], Err(INVALID));
1171        check("12", &[fixed(TimezoneOffsetColon)], Err(INVALID));
1172        check("123", &[fixed(TimezoneOffsetColon)], Err(INVALID));
1173        check("1234", &[fixed(TimezoneOffsetColon)], Err(INVALID));
1174        check("12345", &[fixed(TimezoneOffsetColon)], Err(INVALID));
1175        check("123456", &[fixed(TimezoneOffsetColon)], Err(INVALID));
1176        check("1234567", &[fixed(TimezoneOffsetColon)], Err(INVALID));
1177        check("12345678", &[fixed(TimezoneOffsetColon)], Err(INVALID));
1178        check("+1", &[fixed(TimezoneOffsetColon)], Err(TOO_SHORT));
1179        check("+12", &[fixed(TimezoneOffsetColon)], Err(TOO_SHORT));
1180        check("+123", &[fixed(TimezoneOffsetColon)], Err(TOO_SHORT));
1181        check("+1234", &[fixed(TimezoneOffsetColon)], parsed!(offset: 45_240));
1182        check("-1234", &[fixed(TimezoneOffsetColon)], parsed!(offset: -45_240));
1183        check("βˆ’1234", &[fixed(TimezoneOffsetColon)], parsed!(offset: -45_240)); // MINUS SIGN (U+2212)
1184        check("+12345", &[fixed(TimezoneOffsetColon)], Err(TOO_LONG));
1185        check("+123456", &[fixed(TimezoneOffsetColon)], Err(TOO_LONG));
1186        check("+1234567", &[fixed(TimezoneOffsetColon)], Err(TOO_LONG));
1187        check("+12345678", &[fixed(TimezoneOffsetColon)], Err(TOO_LONG));
1188        check("1:", &[fixed(TimezoneOffsetColon)], Err(INVALID));
1189        check("12:", &[fixed(TimezoneOffsetColon)], Err(INVALID));
1190        check("12:3", &[fixed(TimezoneOffsetColon)], Err(INVALID));
1191        check("12:34", &[fixed(TimezoneOffsetColon)], Err(INVALID));
1192        check("12:34:", &[fixed(TimezoneOffsetColon)], Err(INVALID));
1193        check("12:34:5", &[fixed(TimezoneOffsetColon)], Err(INVALID));
1194        check("12:34:56", &[fixed(TimezoneOffsetColon)], Err(INVALID));
1195        check("+1:", &[fixed(TimezoneOffsetColon)], Err(INVALID));
1196        check("+12:", &[fixed(TimezoneOffsetColon)], Err(TOO_SHORT));
1197        check("+12:3", &[fixed(TimezoneOffsetColon)], Err(TOO_SHORT));
1198        check("+12:34", &[fixed(TimezoneOffsetColon)], parsed!(offset: 45_240));
1199        check("-12:34", &[fixed(TimezoneOffsetColon)], parsed!(offset: -45_240));
1200        check("βˆ’12:34", &[fixed(TimezoneOffsetColon)], parsed!(offset: -45_240)); // MINUS SIGN (U+2212)
1201        check("+12:34:", &[fixed(TimezoneOffsetColon)], Err(TOO_LONG));
1202        check("+12:34:5", &[fixed(TimezoneOffsetColon)], Err(TOO_LONG));
1203        check("+12:34:56", &[fixed(TimezoneOffsetColon)], Err(TOO_LONG));
1204        check("+12:34:56:", &[fixed(TimezoneOffsetColon)], Err(TOO_LONG));
1205        check("+12:34:56:7", &[fixed(TimezoneOffsetColon)], Err(TOO_LONG));
1206        check("+12:34:56:78", &[fixed(TimezoneOffsetColon)], Err(TOO_LONG));
1207        check("+12:3456", &[fixed(TimezoneOffsetColon)], Err(TOO_LONG));
1208        check("+1234:56", &[fixed(TimezoneOffsetColon)], Err(TOO_LONG));
1209        check("βˆ’12:34", &[fixed(TimezoneOffsetColon)], parsed!(offset: -45_240)); // MINUS SIGN (U+2212)
1210        check("βˆ’12 : 34", &[fixed(TimezoneOffsetColon)], parsed!(offset: -45_240)); // MINUS SIGN (U+2212)
1211        check("+12 :34", &[fixed(TimezoneOffsetColon)], parsed!(offset: 45_240));
1212        check("+12: 34", &[fixed(TimezoneOffsetColon)], parsed!(offset: 45_240));
1213        check("+12 34", &[fixed(TimezoneOffsetColon)], parsed!(offset: 45_240));
1214        check("+12: 34", &[fixed(TimezoneOffsetColon)], parsed!(offset: 45_240));
1215        check("+12 :34", &[fixed(TimezoneOffsetColon)], parsed!(offset: 45_240));
1216        check("+12 : 34", &[fixed(TimezoneOffsetColon)], parsed!(offset: 45_240));
1217        check("-12 : 34", &[fixed(TimezoneOffsetColon)], parsed!(offset: -45_240));
1218        check("+12  : 34", &[fixed(TimezoneOffsetColon)], parsed!(offset: 45_240));
1219        check("+12 :  34", &[fixed(TimezoneOffsetColon)], parsed!(offset: 45_240));
1220        check("+12  :  34", &[fixed(TimezoneOffsetColon)], parsed!(offset: 45_240));
1221        check("+12::34", &[fixed(TimezoneOffsetColon)], parsed!(offset: 45_240));
1222        check("+12: :34", &[fixed(TimezoneOffsetColon)], parsed!(offset: 45_240));
1223        check("+12:::34", &[fixed(TimezoneOffsetColon)], parsed!(offset: 45_240));
1224        check("+12::::34", &[fixed(TimezoneOffsetColon)], parsed!(offset: 45_240));
1225        check("+12::34", &[fixed(TimezoneOffsetColon)], parsed!(offset: 45_240));
1226        check("#1234", &[fixed(TimezoneOffsetColon)], Err(INVALID));
1227        check("#12:34", &[fixed(TimezoneOffsetColon)], Err(INVALID));
1228        check("+12:34 ", &[fixed(TimezoneOffsetColon)], Err(TOO_LONG));
1229        check(" +12:34", &[fixed(TimezoneOffsetColon)], parsed!(offset: 45_240));
1230        check("\t+12:34", &[fixed(TimezoneOffsetColon)], parsed!(offset: 45_240));
1231        check("\t\t+12:34", &[fixed(TimezoneOffsetColon)], parsed!(offset: 45_240));
1232        check("12:34 ", &[fixed(TimezoneOffsetColon)], Err(INVALID));
1233        check(" 12:34", &[fixed(TimezoneOffsetColon)], Err(INVALID));
1234        check("", &[fixed(TimezoneOffsetColon)], Err(TOO_SHORT));
1235        check("+", &[fixed(TimezoneOffsetColon)], Err(TOO_SHORT));
1236        check(":", &[fixed(TimezoneOffsetColon)], Err(INVALID));
1237        check(
1238            "+12345",
1239            &[fixed(TimezoneOffsetColon), num(Numeric::Day)],
1240            parsed!(offset: 45_240, day: 5),
1241        );
1242        check(
1243            "+12:345",
1244            &[fixed(TimezoneOffsetColon), num(Numeric::Day)],
1245            parsed!(offset: 45_240, day: 5),
1246        );
1247        check("+12:34:", &[fixed(TimezoneOffsetColon), Literal(":")], parsed!(offset: 45_240));
1248        check("Z", &[fixed(TimezoneOffsetColon)], Err(INVALID));
1249        check("A", &[fixed(TimezoneOffsetColon)], Err(INVALID));
1250        check("PST", &[fixed(TimezoneOffsetColon)], Err(INVALID));
1251        check("#Z", &[fixed(TimezoneOffsetColon)], Err(INVALID));
1252        check(":Z", &[fixed(TimezoneOffsetColon)], Err(INVALID));
1253        check("+Z", &[fixed(TimezoneOffsetColon)], Err(TOO_SHORT));
1254        check("+:Z", &[fixed(TimezoneOffsetColon)], Err(INVALID));
1255        check("+Z:", &[fixed(TimezoneOffsetColon)], Err(INVALID));
1256        check("z", &[fixed(TimezoneOffsetColon)], Err(INVALID));
1257        check(" :Z", &[fixed(TimezoneOffsetColon)], Err(INVALID));
1258        check(" Z", &[fixed(TimezoneOffsetColon)], Err(INVALID));
1259        check(" z", &[fixed(TimezoneOffsetColon)], Err(INVALID));
1260        // testing `TimezoneOffsetColon` also tests same path as `TimezoneOffsetDoubleColon`
1261        // and `TimezoneOffsetTripleColon` for function `parse_internal`.
1262        // No need for separate tests for `TimezoneOffsetDoubleColon` and
1263        // `TimezoneOffsetTripleColon`.
1264
1265        // TimezoneOffsetZ
1266        check("1", &[fixed(TimezoneOffsetZ)], Err(INVALID));
1267        check("12", &[fixed(TimezoneOffsetZ)], Err(INVALID));
1268        check("123", &[fixed(TimezoneOffsetZ)], Err(INVALID));
1269        check("1234", &[fixed(TimezoneOffsetZ)], Err(INVALID));
1270        check("12345", &[fixed(TimezoneOffsetZ)], Err(INVALID));
1271        check("123456", &[fixed(TimezoneOffsetZ)], Err(INVALID));
1272        check("1234567", &[fixed(TimezoneOffsetZ)], Err(INVALID));
1273        check("12345678", &[fixed(TimezoneOffsetZ)], Err(INVALID));
1274        check("+1", &[fixed(TimezoneOffsetZ)], Err(TOO_SHORT));
1275        check("+12", &[fixed(TimezoneOffsetZ)], Err(TOO_SHORT));
1276        check("+123", &[fixed(TimezoneOffsetZ)], Err(TOO_SHORT));
1277        check("+1234", &[fixed(TimezoneOffsetZ)], parsed!(offset: 45_240));
1278        check("-1234", &[fixed(TimezoneOffsetZ)], parsed!(offset: -45_240));
1279        check("βˆ’1234", &[fixed(TimezoneOffsetZ)], parsed!(offset: -45_240)); // MINUS SIGN (U+2212)
1280        check("+12345", &[fixed(TimezoneOffsetZ)], Err(TOO_LONG));
1281        check("+123456", &[fixed(TimezoneOffsetZ)], Err(TOO_LONG));
1282        check("+1234567", &[fixed(TimezoneOffsetZ)], Err(TOO_LONG));
1283        check("+12345678", &[fixed(TimezoneOffsetZ)], Err(TOO_LONG));
1284        check("1:", &[fixed(TimezoneOffsetZ)], Err(INVALID));
1285        check("12:", &[fixed(TimezoneOffsetZ)], Err(INVALID));
1286        check("12:3", &[fixed(TimezoneOffsetZ)], Err(INVALID));
1287        check("12:34", &[fixed(TimezoneOffsetZ)], Err(INVALID));
1288        check("12:34:", &[fixed(TimezoneOffsetZ)], Err(INVALID));
1289        check("12:34:5", &[fixed(TimezoneOffsetZ)], Err(INVALID));
1290        check("12:34:56", &[fixed(TimezoneOffsetZ)], Err(INVALID));
1291        check("+1:", &[fixed(TimezoneOffsetZ)], Err(INVALID));
1292        check("+12:", &[fixed(TimezoneOffsetZ)], Err(TOO_SHORT));
1293        check("+12:3", &[fixed(TimezoneOffsetZ)], Err(TOO_SHORT));
1294        check("+12:34", &[fixed(TimezoneOffsetZ)], parsed!(offset: 45_240));
1295        check("-12:34", &[fixed(TimezoneOffsetZ)], parsed!(offset: -45_240));
1296        check("βˆ’12:34", &[fixed(TimezoneOffsetZ)], parsed!(offset: -45_240)); // MINUS SIGN (U+2212)
1297        check("+12:34:", &[fixed(TimezoneOffsetZ)], Err(TOO_LONG));
1298        check("+12:34:5", &[fixed(TimezoneOffsetZ)], Err(TOO_LONG));
1299        check("+12:34:56", &[fixed(TimezoneOffsetZ)], Err(TOO_LONG));
1300        check("+12:34:56:", &[fixed(TimezoneOffsetZ)], Err(TOO_LONG));
1301        check("+12:34:56:7", &[fixed(TimezoneOffsetZ)], Err(TOO_LONG));
1302        check("+12:34:56:78", &[fixed(TimezoneOffsetZ)], Err(TOO_LONG));
1303        check("+12::34", &[fixed(TimezoneOffsetZ)], parsed!(offset: 45_240));
1304        check("+12:3456", &[fixed(TimezoneOffsetZ)], Err(TOO_LONG));
1305        check("+1234:56", &[fixed(TimezoneOffsetZ)], Err(TOO_LONG));
1306        check("+12 34", &[fixed(TimezoneOffsetZ)], parsed!(offset: 45_240));
1307        check("+12  34", &[fixed(TimezoneOffsetZ)], parsed!(offset: 45_240));
1308        check("+12: 34", &[fixed(TimezoneOffsetZ)], parsed!(offset: 45_240));
1309        check("+12 :34", &[fixed(TimezoneOffsetZ)], parsed!(offset: 45_240));
1310        check("+12 : 34", &[fixed(TimezoneOffsetZ)], parsed!(offset: 45_240));
1311        check("+12  : 34", &[fixed(TimezoneOffsetZ)], parsed!(offset: 45_240));
1312        check("+12 :  34", &[fixed(TimezoneOffsetZ)], parsed!(offset: 45_240));
1313        check("+12  :  34", &[fixed(TimezoneOffsetZ)], parsed!(offset: 45_240));
1314        check("12:34 ", &[fixed(TimezoneOffsetZ)], Err(INVALID));
1315        check(" 12:34", &[fixed(TimezoneOffsetZ)], Err(INVALID));
1316        check("+12:34 ", &[fixed(TimezoneOffsetZ)], Err(TOO_LONG));
1317        check("+12 34 ", &[fixed(TimezoneOffsetZ)], Err(TOO_LONG));
1318        check(" +12:34", &[fixed(TimezoneOffsetZ)], parsed!(offset: 45_240));
1319        check(
1320            "+12345",
1321            &[fixed(TimezoneOffsetZ), num(Numeric::Day)],
1322            parsed!(offset: 45_240, day: 5),
1323        );
1324        check(
1325            "+12:345",
1326            &[fixed(TimezoneOffsetZ), num(Numeric::Day)],
1327            parsed!(offset: 45_240, day: 5),
1328        );
1329        check("+12:34:", &[fixed(TimezoneOffsetZ), Literal(":")], parsed!(offset: 45_240));
1330        check("Z12:34", &[fixed(TimezoneOffsetZ)], Err(TOO_LONG));
1331        check("X12:34", &[fixed(TimezoneOffsetZ)], Err(INVALID));
1332        check("Z", &[fixed(TimezoneOffsetZ)], parsed!(offset: 0));
1333        check("z", &[fixed(TimezoneOffsetZ)], parsed!(offset: 0));
1334        check(" Z", &[fixed(TimezoneOffsetZ)], parsed!(offset: 0));
1335        check(" z", &[fixed(TimezoneOffsetZ)], parsed!(offset: 0));
1336        check("\u{0363}Z", &[fixed(TimezoneOffsetZ)], Err(INVALID));
1337        check("Z ", &[fixed(TimezoneOffsetZ)], Err(TOO_LONG));
1338        check("A", &[fixed(TimezoneOffsetZ)], Err(INVALID));
1339        check("PST", &[fixed(TimezoneOffsetZ)], Err(INVALID));
1340        check("#Z", &[fixed(TimezoneOffsetZ)], Err(INVALID));
1341        check(":Z", &[fixed(TimezoneOffsetZ)], Err(INVALID));
1342        check(":z", &[fixed(TimezoneOffsetZ)], Err(INVALID));
1343        check("+Z", &[fixed(TimezoneOffsetZ)], Err(TOO_SHORT));
1344        check("-Z", &[fixed(TimezoneOffsetZ)], Err(TOO_SHORT));
1345        check("+A", &[fixed(TimezoneOffsetZ)], Err(TOO_SHORT));
1346        check("+πŸ™ƒ", &[fixed(TimezoneOffsetZ)], Err(INVALID));
1347        check("+Z:", &[fixed(TimezoneOffsetZ)], Err(INVALID));
1348        check(" :Z", &[fixed(TimezoneOffsetZ)], Err(INVALID));
1349        check(" +Z", &[fixed(TimezoneOffsetZ)], Err(TOO_SHORT));
1350        check(" -Z", &[fixed(TimezoneOffsetZ)], Err(TOO_SHORT));
1351        check("+:Z", &[fixed(TimezoneOffsetZ)], Err(INVALID));
1352        check("Y", &[fixed(TimezoneOffsetZ)], Err(INVALID));
1353        check("Zulu", &[fixed(TimezoneOffsetZ), Literal("ulu")], parsed!(offset: 0));
1354        check("zulu", &[fixed(TimezoneOffsetZ), Literal("ulu")], parsed!(offset: 0));
1355        check("+1234ulu", &[fixed(TimezoneOffsetZ), Literal("ulu")], parsed!(offset: 45_240));
1356        check("+12:34ulu", &[fixed(TimezoneOffsetZ), Literal("ulu")], parsed!(offset: 45_240));
1357        // Testing `TimezoneOffsetZ` also tests same path as `TimezoneOffsetColonZ`
1358        // in function `parse_internal`.
1359        // No need for separate tests for `TimezoneOffsetColonZ`.
1360
1361        // TimezoneOffsetPermissive
1362        check("1", &[internal_fixed(TimezoneOffsetPermissive)], Err(INVALID));
1363        check("12", &[internal_fixed(TimezoneOffsetPermissive)], Err(INVALID));
1364        check("123", &[internal_fixed(TimezoneOffsetPermissive)], Err(INVALID));
1365        check("1234", &[internal_fixed(TimezoneOffsetPermissive)], Err(INVALID));
1366        check("12345", &[internal_fixed(TimezoneOffsetPermissive)], Err(INVALID));
1367        check("123456", &[internal_fixed(TimezoneOffsetPermissive)], Err(INVALID));
1368        check("1234567", &[internal_fixed(TimezoneOffsetPermissive)], Err(INVALID));
1369        check("12345678", &[internal_fixed(TimezoneOffsetPermissive)], Err(INVALID));
1370        check("+1", &[internal_fixed(TimezoneOffsetPermissive)], Err(TOO_SHORT));
1371        check("+12", &[internal_fixed(TimezoneOffsetPermissive)], parsed!(offset: 43_200));
1372        check("+123", &[internal_fixed(TimezoneOffsetPermissive)], Err(TOO_SHORT));
1373        check("+1234", &[internal_fixed(TimezoneOffsetPermissive)], parsed!(offset: 45_240));
1374        check("-1234", &[internal_fixed(TimezoneOffsetPermissive)], parsed!(offset: -45_240));
1375        check("βˆ’1234", &[internal_fixed(TimezoneOffsetPermissive)], parsed!(offset: -45_240)); // MINUS SIGN (U+2212)
1376        check("+12345", &[internal_fixed(TimezoneOffsetPermissive)], Err(TOO_LONG));
1377        check("+123456", &[internal_fixed(TimezoneOffsetPermissive)], Err(TOO_LONG));
1378        check("+1234567", &[internal_fixed(TimezoneOffsetPermissive)], Err(TOO_LONG));
1379        check("+12345678", &[internal_fixed(TimezoneOffsetPermissive)], Err(TOO_LONG));
1380        check("1:", &[internal_fixed(TimezoneOffsetPermissive)], Err(INVALID));
1381        check("12:", &[internal_fixed(TimezoneOffsetPermissive)], Err(INVALID));
1382        check("12:3", &[internal_fixed(TimezoneOffsetPermissive)], Err(INVALID));
1383        check("12:34", &[internal_fixed(TimezoneOffsetPermissive)], Err(INVALID));
1384        check("12:34:", &[internal_fixed(TimezoneOffsetPermissive)], Err(INVALID));
1385        check("12:34:5", &[internal_fixed(TimezoneOffsetPermissive)], Err(INVALID));
1386        check("12:34:56", &[internal_fixed(TimezoneOffsetPermissive)], Err(INVALID));
1387        check("+1:", &[internal_fixed(TimezoneOffsetPermissive)], Err(INVALID));
1388        check("+12:", &[internal_fixed(TimezoneOffsetPermissive)], parsed!(offset: 43_200));
1389        check("+12:3", &[internal_fixed(TimezoneOffsetPermissive)], Err(TOO_SHORT));
1390        check("+12:34", &[internal_fixed(TimezoneOffsetPermissive)], parsed!(offset: 45_240));
1391        check("-12:34", &[internal_fixed(TimezoneOffsetPermissive)], parsed!(offset: -45_240));
1392        check("βˆ’12:34", &[internal_fixed(TimezoneOffsetPermissive)], parsed!(offset: -45_240)); // MINUS SIGN (U+2212)
1393        check("+12:34:", &[internal_fixed(TimezoneOffsetPermissive)], Err(TOO_LONG));
1394        check("+12:34:5", &[internal_fixed(TimezoneOffsetPermissive)], Err(TOO_LONG));
1395        check("+12:34:56", &[internal_fixed(TimezoneOffsetPermissive)], Err(TOO_LONG));
1396        check("+12:34:56:", &[internal_fixed(TimezoneOffsetPermissive)], Err(TOO_LONG));
1397        check("+12:34:56:7", &[internal_fixed(TimezoneOffsetPermissive)], Err(TOO_LONG));
1398        check("+12:34:56:78", &[internal_fixed(TimezoneOffsetPermissive)], Err(TOO_LONG));
1399        check("+12 34", &[internal_fixed(TimezoneOffsetPermissive)], parsed!(offset: 45_240));
1400        check("+12  34", &[internal_fixed(TimezoneOffsetPermissive)], parsed!(offset: 45_240));
1401        check("+12 :34", &[internal_fixed(TimezoneOffsetPermissive)], parsed!(offset: 45_240));
1402        check("+12: 34", &[internal_fixed(TimezoneOffsetPermissive)], parsed!(offset: 45_240));
1403        check("+12 : 34", &[internal_fixed(TimezoneOffsetPermissive)], parsed!(offset: 45_240));
1404        check("+12  :34", &[internal_fixed(TimezoneOffsetPermissive)], parsed!(offset: 45_240));
1405        check("+12:  34", &[internal_fixed(TimezoneOffsetPermissive)], parsed!(offset: 45_240));
1406        check("+12  :  34", &[internal_fixed(TimezoneOffsetPermissive)], parsed!(offset: 45_240));
1407        check("+12::34", &[internal_fixed(TimezoneOffsetPermissive)], parsed!(offset: 45_240));
1408        check("+12 ::34", &[internal_fixed(TimezoneOffsetPermissive)], parsed!(offset: 45_240));
1409        check("+12: :34", &[internal_fixed(TimezoneOffsetPermissive)], parsed!(offset: 45_240));
1410        check("+12:: 34", &[internal_fixed(TimezoneOffsetPermissive)], parsed!(offset: 45_240));
1411        check("+12  ::34", &[internal_fixed(TimezoneOffsetPermissive)], parsed!(offset: 45_240));
1412        check("+12:  :34", &[internal_fixed(TimezoneOffsetPermissive)], parsed!(offset: 45_240));
1413        check("+12::  34", &[internal_fixed(TimezoneOffsetPermissive)], parsed!(offset: 45_240));
1414        check("+12:::34", &[internal_fixed(TimezoneOffsetPermissive)], parsed!(offset: 45_240));
1415        check("+12::::34", &[internal_fixed(TimezoneOffsetPermissive)], parsed!(offset: 45_240));
1416        check("12:34 ", &[internal_fixed(TimezoneOffsetPermissive)], Err(INVALID));
1417        check(" 12:34", &[internal_fixed(TimezoneOffsetPermissive)], Err(INVALID));
1418        check("+12:34 ", &[internal_fixed(TimezoneOffsetPermissive)], Err(TOO_LONG));
1419        check(" +12:34", &[internal_fixed(TimezoneOffsetPermissive)], parsed!(offset: 45_240));
1420        check(" -12:34", &[internal_fixed(TimezoneOffsetPermissive)], parsed!(offset: -45_240));
1421        check(" βˆ’12:34", &[internal_fixed(TimezoneOffsetPermissive)], parsed!(offset: -45_240)); // MINUS SIGN (U+2212)
1422        check(
1423            "+12345",
1424            &[internal_fixed(TimezoneOffsetPermissive), num(Numeric::Day)],
1425            parsed!(offset: 45_240, day: 5),
1426        );
1427        check(
1428            "+12:345",
1429            &[internal_fixed(TimezoneOffsetPermissive), num(Numeric::Day)],
1430            parsed!(offset: 45_240, day: 5),
1431        );
1432        check(
1433            "+12:34:",
1434            &[internal_fixed(TimezoneOffsetPermissive), Literal(":")],
1435            parsed!(offset: 45_240),
1436        );
1437        check("🀠+12:34", &[internal_fixed(TimezoneOffsetPermissive)], Err(INVALID));
1438        check("+12:34🀠", &[internal_fixed(TimezoneOffsetPermissive)], Err(TOO_LONG));
1439        check("+12:🀠34", &[internal_fixed(TimezoneOffsetPermissive)], Err(INVALID));
1440        check(
1441            "+12:34🀠",
1442            &[internal_fixed(TimezoneOffsetPermissive), Literal("🀠")],
1443            parsed!(offset: 45_240),
1444        );
1445        check(
1446            "🀠+12:34",
1447            &[Literal("🀠"), internal_fixed(TimezoneOffsetPermissive)],
1448            parsed!(offset: 45_240),
1449        );
1450        check("Z", &[internal_fixed(TimezoneOffsetPermissive)], parsed!(offset: 0));
1451        check("A", &[internal_fixed(TimezoneOffsetPermissive)], Err(INVALID));
1452        check("PST", &[internal_fixed(TimezoneOffsetPermissive)], Err(INVALID));
1453        check("z", &[internal_fixed(TimezoneOffsetPermissive)], parsed!(offset: 0));
1454        check(" Z", &[internal_fixed(TimezoneOffsetPermissive)], parsed!(offset: 0));
1455        check(" z", &[internal_fixed(TimezoneOffsetPermissive)], parsed!(offset: 0));
1456        check("Z ", &[internal_fixed(TimezoneOffsetPermissive)], Err(TOO_LONG));
1457        check("#Z", &[internal_fixed(TimezoneOffsetPermissive)], Err(INVALID));
1458        check(":Z", &[internal_fixed(TimezoneOffsetPermissive)], Err(INVALID));
1459        check(":z", &[internal_fixed(TimezoneOffsetPermissive)], Err(INVALID));
1460        check("+Z", &[internal_fixed(TimezoneOffsetPermissive)], Err(TOO_SHORT));
1461        check("-Z", &[internal_fixed(TimezoneOffsetPermissive)], Err(TOO_SHORT));
1462        check("+A", &[internal_fixed(TimezoneOffsetPermissive)], Err(TOO_SHORT));
1463        check("+PST", &[internal_fixed(TimezoneOffsetPermissive)], Err(INVALID));
1464        check("+πŸ™ƒ", &[internal_fixed(TimezoneOffsetPermissive)], Err(INVALID));
1465        check("+Z:", &[internal_fixed(TimezoneOffsetPermissive)], Err(INVALID));
1466        check(" :Z", &[internal_fixed(TimezoneOffsetPermissive)], Err(INVALID));
1467        check(" +Z", &[internal_fixed(TimezoneOffsetPermissive)], Err(TOO_SHORT));
1468        check(" -Z", &[internal_fixed(TimezoneOffsetPermissive)], Err(TOO_SHORT));
1469        check("+:Z", &[internal_fixed(TimezoneOffsetPermissive)], Err(INVALID));
1470        check("Y", &[internal_fixed(TimezoneOffsetPermissive)], Err(INVALID));
1471
1472        // TimezoneName
1473        check("CEST", &[fixed(TimezoneName)], parsed!());
1474        check("cest", &[fixed(TimezoneName)], parsed!()); // lowercase
1475        check("XXXXXXXX", &[fixed(TimezoneName)], parsed!()); // not a real timezone name
1476        check("!!!!", &[fixed(TimezoneName)], parsed!()); // not a real timezone name!
1477        check("CEST 5", &[fixed(TimezoneName), Literal(" "), num(Numeric::Day)], parsed!(day: 5));
1478        check("CEST ", &[fixed(TimezoneName)], Err(TOO_LONG));
1479        check(" CEST", &[fixed(TimezoneName)], Err(TOO_LONG));
1480        check("CE ST", &[fixed(TimezoneName)], Err(TOO_LONG));
1481    }
1482
1483    #[test]
1484    #[rustfmt::skip]
1485    fn test_parse_practical_examples() {
1486        use crate::format::InternalInternal::*;
1487        use crate::format::Item::{Literal, Space};
1488        use crate::format::Numeric::*;
1489
1490        // some practical examples
1491        check(
1492            "2015-02-04T14:37:05+09:00",
1493            &[
1494                num(Year), Literal("-"), num(Month), Literal("-"), num(Day), Literal("T"),
1495                num(Hour), Literal(":"), num(Minute), Literal(":"), num(Second),
1496                fixed(Fixed::TimezoneOffset),
1497            ],
1498            parsed!(
1499                year: 2015, month: 2, day: 4, hour_div_12: 1, hour_mod_12: 2, minute: 37,
1500                second: 5, offset: 32400
1501            ),
1502        );
1503        check(
1504            "2015-02-04T14:37:05-09:00",
1505            &[
1506                num(Year), Literal("-"), num(Month), Literal("-"), num(Day), Literal("T"),
1507                num(Hour), Literal(":"), num(Minute), Literal(":"), num(Second),
1508                fixed(Fixed::TimezoneOffset),
1509            ],
1510            parsed!(
1511                year: 2015, month: 2, day: 4, hour_div_12: 1, hour_mod_12: 2, minute: 37,
1512                second: 5, offset: -32400
1513            ),
1514        );
1515        check(
1516            "2015-02-04T14:37:05βˆ’09:00", // timezone offset using MINUS SIGN (U+2212)
1517            &[
1518                num(Year), Literal("-"), num(Month), Literal("-"), num(Day), Literal("T"),
1519                num(Hour), Literal(":"), num(Minute), Literal(":"), num(Second),
1520                fixed(Fixed::TimezoneOffset)
1521            ],
1522            parsed!(
1523                year: 2015, month: 2, day: 4, hour_div_12: 1, hour_mod_12: 2, minute: 37,
1524                second: 5, offset: -32400
1525            ),
1526        );
1527        check(
1528            "20150204143705567",
1529            &[
1530                num(Year), num(Month), num(Day), num(Hour), num(Minute), num(Second),
1531                internal_fixed(Nanosecond3NoDot)
1532            ],
1533            parsed!(
1534                year: 2015, month: 2, day: 4, hour_div_12: 1, hour_mod_12: 2, minute: 37,
1535                second: 5, nanosecond: 567000000
1536            ),
1537        );
1538        check(
1539            "Mon, 10 Jun 2013 09:32:37 GMT",
1540            &[
1541                fixed(Fixed::ShortWeekdayName), Literal(","), Space(" "), num(Day), Space(" "),
1542                fixed(Fixed::ShortMonthName), Space(" "), num(Year), Space(" "), num(Hour),
1543                Literal(":"), num(Minute), Literal(":"), num(Second), Space(" "), Literal("GMT")
1544            ],
1545            parsed!(
1546                year: 2013, month: 6, day: 10, weekday: Weekday::Mon,
1547                hour_div_12: 0, hour_mod_12: 9, minute: 32, second: 37
1548            ),
1549        );
1550        check(
1551            "🀠Mon, 10 Jun🀠2013 09:32:37  GMT🀠",
1552            &[
1553                Literal("🀠"), fixed(Fixed::ShortWeekdayName), Literal(","), Space(" "), num(Day),
1554                Space(" "), fixed(Fixed::ShortMonthName), Literal("🀠"), num(Year), Space(" "),
1555                num(Hour), Literal(":"), num(Minute), Literal(":"), num(Second), Space("  "),
1556                Literal("GMT"), Literal("🀠")
1557            ],
1558            parsed!(
1559                year: 2013, month: 6, day: 10, weekday: Weekday::Mon,
1560                hour_div_12: 0, hour_mod_12: 9, minute: 32, second: 37
1561            ),
1562        );
1563        check(
1564            "Sun Aug 02 13:39:15 CEST 2020",
1565            &[
1566                fixed(Fixed::ShortWeekdayName), Space(" "), fixed(Fixed::ShortMonthName),
1567                Space(" "), num(Day), Space(" "), num(Hour), Literal(":"), num(Minute),
1568                Literal(":"), num(Second), Space(" "), fixed(Fixed::TimezoneName), Space(" "),
1569                num(Year)
1570            ],
1571            parsed!(
1572                year: 2020, month: 8, day: 2, weekday: Weekday::Sun,
1573                hour_div_12: 1, hour_mod_12: 1, minute: 39, second: 15
1574            ),
1575        );
1576        check(
1577            "20060102150405",
1578            &[num(Year), num(Month), num(Day), num(Hour), num(Minute), num(Second)],
1579            parsed!(
1580                year: 2006, month: 1, day: 2, hour_div_12: 1, hour_mod_12: 3, minute: 4, second: 5
1581            ),
1582        );
1583        check(
1584            "3:14PM",
1585            &[num(Hour12), Literal(":"), num(Minute), fixed(Fixed::LowerAmPm)],
1586            parsed!(hour_div_12: 1, hour_mod_12: 3, minute: 14),
1587        );
1588        check(
1589            "12345678901234.56789",
1590            &[num(Timestamp), Literal("."), num(Nanosecond)],
1591            parsed!(nanosecond: 56_789, timestamp: 12_345_678_901_234),
1592        );
1593        check(
1594            "12345678901234.56789",
1595            &[num(Timestamp), fixed(Fixed::Nanosecond)],
1596            parsed!(nanosecond: 567_890_000, timestamp: 12_345_678_901_234),
1597        );
1598
1599        // docstring examples from `impl str::FromStr`
1600        check(
1601            "2000-01-02T03:04:05Z",
1602            &[
1603                num(Year), Literal("-"), num(Month), Literal("-"), num(Day), Literal("T"),
1604                num(Hour), Literal(":"), num(Minute), Literal(":"), num(Second),
1605                internal_fixed(TimezoneOffsetPermissive)
1606            ],
1607            parsed!(
1608                year: 2000, month: 1, day: 2, hour_div_12: 0, hour_mod_12: 3, minute: 4, second: 5,
1609                offset: 0
1610            ),
1611        );
1612        check(
1613            "2000-01-02 03:04:05Z",
1614            &[
1615                num(Year), Literal("-"), num(Month), Literal("-"), num(Day), Space(" "),
1616                num(Hour), Literal(":"), num(Minute), Literal(":"), num(Second),
1617                internal_fixed(TimezoneOffsetPermissive)
1618            ],
1619            parsed!(
1620                year: 2000, month: 1, day: 2, hour_div_12: 0, hour_mod_12: 3, minute: 4, second: 5,
1621                offset: 0
1622            ),
1623        );
1624    }
1625
1626    #[track_caller]
1627    fn parses(s: &str, items: &[Item]) {
1628        let mut parsed = Parsed::new();
1629        assert!(parse(&mut parsed, s, items.iter()).is_ok());
1630    }
1631
1632    #[track_caller]
1633    fn check(s: &str, items: &[Item], expected: ParseResult<Parsed>) {
1634        let mut parsed = Parsed::new();
1635        let result = parse(&mut parsed, s, items.iter());
1636        let parsed = result.map(|_| parsed);
1637        assert_eq!(parsed, expected);
1638    }
1639
1640    #[test]
1641    fn test_rfc2822() {
1642        let ymd_hmsn = |y, m, d, h, n, s, nano, off| {
1643            FixedOffset::east_opt(off * 60 * 60)
1644                .unwrap()
1645                .with_ymd_and_hms(y, m, d, h, n, s)
1646                .unwrap()
1647                .with_nanosecond(nano)
1648                .unwrap()
1649        };
1650
1651        // Test data - (input, Ok(expected result) or Err(error code))
1652        let testdates = [
1653            ("Tue, 20 Jan 2015 17:35:20 -0800", Ok(ymd_hmsn(2015, 1, 20, 17, 35, 20, 0, -8))), // normal case
1654            ("Fri,  2 Jan 2015 17:35:20 -0800", Ok(ymd_hmsn(2015, 1, 2, 17, 35, 20, 0, -8))), // folding whitespace
1655            ("Fri, 02 Jan 2015 17:35:20 -0800", Ok(ymd_hmsn(2015, 1, 2, 17, 35, 20, 0, -8))), // leading zero
1656            ("Tue, 20 Jan 2015 17:35:20 -0800 (UTC)", Ok(ymd_hmsn(2015, 1, 20, 17, 35, 20, 0, -8))), // trailing comment
1657            (
1658                r"Tue, 20 Jan 2015 17:35:20 -0800 ( (UTC ) (\( (a)\(( \t ) ) \\( \) ))",
1659                Ok(ymd_hmsn(2015, 1, 20, 17, 35, 20, 0, -8)),
1660            ), // complex trailing comment
1661            (r"Tue, 20 Jan 2015 17:35:20 -0800 (UTC\)", Err(TOO_LONG)), // incorrect comment, not enough closing parentheses
1662            (
1663                "Tue, 20 Jan 2015 17:35:20 -0800 (UTC)\t \r\n(Anothercomment)",
1664                Ok(ymd_hmsn(2015, 1, 20, 17, 35, 20, 0, -8)),
1665            ), // multiple comments
1666            ("Tue, 20 Jan 2015 17:35:20 -0800 (UTC) ", Err(TOO_LONG)), // trailing whitespace after comment
1667            ("20 Jan 2015 17:35:20 -0800", Ok(ymd_hmsn(2015, 1, 20, 17, 35, 20, 0, -8))), // no day of week
1668            ("20 JAN 2015 17:35:20 -0800", Ok(ymd_hmsn(2015, 1, 20, 17, 35, 20, 0, -8))), // upper case month
1669            ("Tue, 20 Jan 2015 17:35 -0800", Ok(ymd_hmsn(2015, 1, 20, 17, 35, 0, 0, -8))), // no second
1670            ("11 Sep 2001 09:45:00 +0000", Ok(ymd_hmsn(2001, 9, 11, 9, 45, 0, 0, 0))),
1671            ("11 Sep 2001 09:45:00 EST", Ok(ymd_hmsn(2001, 9, 11, 9, 45, 0, 0, -5))),
1672            ("11 Sep 2001 09:45:00 GMT", Ok(ymd_hmsn(2001, 9, 11, 9, 45, 0, 0, 0))),
1673            ("30 Feb 2015 17:35:20 -0800", Err(OUT_OF_RANGE)), // bad day of month
1674            ("Tue, 20 Jan 2015", Err(TOO_SHORT)),              // omitted fields
1675            ("Tue, 20 Avr 2015 17:35:20 -0800", Err(INVALID)), // bad month name
1676            ("Tue, 20 Jan 2015 25:35:20 -0800", Err(OUT_OF_RANGE)), // bad hour
1677            ("Tue, 20 Jan 2015 7:35:20 -0800", Err(INVALID)),  // bad # of digits in hour
1678            ("Tue, 20 Jan 2015 17:65:20 -0800", Err(OUT_OF_RANGE)), // bad minute
1679            ("Tue, 20 Jan 2015 17:35:90 -0800", Err(OUT_OF_RANGE)), // bad second
1680            ("Tue, 20 Jan 2015 17:35:20 -0890", Err(OUT_OF_RANGE)), // bad offset
1681            ("6 Jun 1944 04:00:00Z", Err(INVALID)),            // bad offset (zulu not allowed)
1682            // named timezones that have specific timezone offsets
1683            // see https://www.rfc-editor.org/rfc/rfc2822#section-4.3
1684            ("Tue, 20 Jan 2015 17:35:20 GMT", Ok(ymd_hmsn(2015, 1, 20, 17, 35, 20, 0, 0))),
1685            ("Tue, 20 Jan 2015 17:35:20 UT", Ok(ymd_hmsn(2015, 1, 20, 17, 35, 20, 0, 0))),
1686            ("Tue, 20 Jan 2015 17:35:20 ut", Ok(ymd_hmsn(2015, 1, 20, 17, 35, 20, 0, 0))),
1687            ("Tue, 20 Jan 2015 17:35:20 EDT", Ok(ymd_hmsn(2015, 1, 20, 17, 35, 20, 0, -4))),
1688            ("Tue, 20 Jan 2015 17:35:20 EST", Ok(ymd_hmsn(2015, 1, 20, 17, 35, 20, 0, -5))),
1689            ("Tue, 20 Jan 2015 17:35:20 CDT", Ok(ymd_hmsn(2015, 1, 20, 17, 35, 20, 0, -5))),
1690            ("Tue, 20 Jan 2015 17:35:20 CST", Ok(ymd_hmsn(2015, 1, 20, 17, 35, 20, 0, -6))),
1691            ("Tue, 20 Jan 2015 17:35:20 MDT", Ok(ymd_hmsn(2015, 1, 20, 17, 35, 20, 0, -6))),
1692            ("Tue, 20 Jan 2015 17:35:20 MST", Ok(ymd_hmsn(2015, 1, 20, 17, 35, 20, 0, -7))),
1693            ("Tue, 20 Jan 2015 17:35:20 PDT", Ok(ymd_hmsn(2015, 1, 20, 17, 35, 20, 0, -7))),
1694            ("Tue, 20 Jan 2015 17:35:20 PST", Ok(ymd_hmsn(2015, 1, 20, 17, 35, 20, 0, -8))),
1695            ("Tue, 20 Jan 2015 17:35:20 pst", Ok(ymd_hmsn(2015, 1, 20, 17, 35, 20, 0, -8))),
1696            // named single-letter military timezones must fallback to +0000
1697            ("Tue, 20 Jan 2015 17:35:20 Z", Ok(ymd_hmsn(2015, 1, 20, 17, 35, 20, 0, 0))),
1698            ("Tue, 20 Jan 2015 17:35:20 A", Ok(ymd_hmsn(2015, 1, 20, 17, 35, 20, 0, 0))),
1699            ("Tue, 20 Jan 2015 17:35:20 a", Ok(ymd_hmsn(2015, 1, 20, 17, 35, 20, 0, 0))),
1700            ("Tue, 20 Jan 2015 17:35:20 K", Ok(ymd_hmsn(2015, 1, 20, 17, 35, 20, 0, 0))),
1701            ("Tue, 20 Jan 2015 17:35:20 k", Ok(ymd_hmsn(2015, 1, 20, 17, 35, 20, 0, 0))),
1702            // named single-letter timezone "J" is specifically not valid
1703            ("Tue, 20 Jan 2015 17:35:20 J", Err(INVALID)),
1704            ("Tue, 20 Jan 2015 17:35:20 -0890", Err(OUT_OF_RANGE)), // bad offset minutes
1705            ("Tue, 20 Jan 2015 17:35:20Z", Err(INVALID)),           // bad offset: zulu not allowed
1706            ("Tue, 20 Jan 2015 17:35:20 Zulu", Err(INVALID)),       // bad offset: zulu not allowed
1707            ("Tue, 20 Jan 2015 17:35:20 ZULU", Err(INVALID)),       // bad offset: zulu not allowed
1708            ("Tue, 20 Jan 2015 17:35:20 βˆ’0800", Err(INVALID)), // bad offset: timezone offset using MINUS SIGN (U+2212), not specified for RFC 2822
1709            ("Tue, 20 Jan 2015 17:35:20 0800", Err(INVALID)),  // missing offset sign
1710            ("Tue, 20 Jan 2015 17:35:20 HAS", Err(INVALID)),   // bad named timezone
1711            ("Tue, 20 Jan 2015😈17:35:20 -0800", Err(INVALID)), // bad character!
1712        ];
1713
1714        fn rfc2822_to_datetime(date: &str) -> ParseResult<DateTime<FixedOffset>> {
1715            let mut parsed = Parsed::new();
1716            parse(&mut parsed, date, [Item::Fixed(Fixed::RFC2822)].iter())?;
1717            parsed.to_datetime()
1718        }
1719
1720        // Test against test data above
1721        for &(date, checkdate) in testdates.iter() {
1722            #[cfg(feature = "std")]
1723            eprintln!("Test input: {date:?}\n    Expect: {checkdate:?}");
1724            let dt = rfc2822_to_datetime(date); // parse a date
1725            if dt != checkdate {
1726                // check for expected result
1727                panic!(
1728                    "Date conversion failed for {date}\nReceived: {dt:?}\nExpected: {checkdate:?}"
1729                );
1730            }
1731        }
1732    }
1733
1734    #[test]
1735    fn parse_rfc850() {
1736        static RFC850_FMT: &str = "%A, %d-%b-%y %T GMT";
1737
1738        let dt = Utc.with_ymd_and_hms(1994, 11, 6, 8, 49, 37).unwrap();
1739
1740        // Check that the format is what we expect
1741        #[cfg(feature = "alloc")]
1742        assert_eq!(dt.format(RFC850_FMT).to_string(), "Sunday, 06-Nov-94 08:49:37 GMT");
1743
1744        // Check that it parses correctly
1745        assert_eq!(
1746            NaiveDateTime::parse_from_str("Sunday, 06-Nov-94 08:49:37 GMT", RFC850_FMT),
1747            Ok(dt.naive_utc())
1748        );
1749
1750        // Check that the rest of the weekdays parse correctly (this test originally failed because
1751        // Sunday parsed incorrectly).
1752        let testdates = [
1753            (
1754                Utc.with_ymd_and_hms(1994, 11, 7, 8, 49, 37).unwrap(),
1755                "Monday, 07-Nov-94 08:49:37 GMT",
1756            ),
1757            (
1758                Utc.with_ymd_and_hms(1994, 11, 8, 8, 49, 37).unwrap(),
1759                "Tuesday, 08-Nov-94 08:49:37 GMT",
1760            ),
1761            (
1762                Utc.with_ymd_and_hms(1994, 11, 9, 8, 49, 37).unwrap(),
1763                "Wednesday, 09-Nov-94 08:49:37 GMT",
1764            ),
1765            (
1766                Utc.with_ymd_and_hms(1994, 11, 10, 8, 49, 37).unwrap(),
1767                "Thursday, 10-Nov-94 08:49:37 GMT",
1768            ),
1769            (
1770                Utc.with_ymd_and_hms(1994, 11, 11, 8, 49, 37).unwrap(),
1771                "Friday, 11-Nov-94 08:49:37 GMT",
1772            ),
1773            (
1774                Utc.with_ymd_and_hms(1994, 11, 12, 8, 49, 37).unwrap(),
1775                "Saturday, 12-Nov-94 08:49:37 GMT",
1776            ),
1777        ];
1778
1779        for val in &testdates {
1780            assert_eq!(NaiveDateTime::parse_from_str(val.1, RFC850_FMT), Ok(val.0.naive_utc()));
1781        }
1782
1783        let test_dates_fail = [
1784            "Saturday, 12-Nov-94 08:49:37",
1785            "Saturday, 12-Nov-94 08:49:37 Z",
1786            "Saturday, 12-Nov-94 08:49:37 GMTTTT",
1787            "Saturday, 12-Nov-94 08:49:37 gmt",
1788            "Saturday, 12-Nov-94 08:49:37 +08:00",
1789            "Caturday, 12-Nov-94 08:49:37 GMT",
1790            "Saturday, 99-Nov-94 08:49:37 GMT",
1791            "Saturday, 12-Nov-2000 08:49:37 GMT",
1792            "Saturday, 12-Mop-94 08:49:37 GMT",
1793            "Saturday, 12-Nov-94 28:49:37 GMT",
1794            "Saturday, 12-Nov-94 08:99:37 GMT",
1795            "Saturday, 12-Nov-94 08:49:99 GMT",
1796        ];
1797
1798        for val in &test_dates_fail {
1799            assert!(NaiveDateTime::parse_from_str(val, RFC850_FMT).is_err());
1800        }
1801    }
1802
1803    #[test]
1804    fn test_rfc3339() {
1805        let ymd_hmsn = |y, m, d, h, n, s, nano, off| {
1806            FixedOffset::east_opt(off * 60 * 60)
1807                .unwrap()
1808                .with_ymd_and_hms(y, m, d, h, n, s)
1809                .unwrap()
1810                .with_nanosecond(nano)
1811                .unwrap()
1812        };
1813
1814        // Test data - (input, Ok(expected result) or Err(error code))
1815        let testdates = [
1816            ("2015-01-20T17:35:20-08:00", Ok(ymd_hmsn(2015, 1, 20, 17, 35, 20, 0, -8))), // normal case
1817            ("2015-01-20T17:35:20βˆ’08:00", Ok(ymd_hmsn(2015, 1, 20, 17, 35, 20, 0, -8))), // normal case with MINUS SIGN (U+2212)
1818            ("1944-06-06T04:04:00Z", Ok(ymd_hmsn(1944, 6, 6, 4, 4, 0, 0, 0))),           // D-day
1819            ("2001-09-11T09:45:00-08:00", Ok(ymd_hmsn(2001, 9, 11, 9, 45, 0, 0, -8))),
1820            ("2015-01-20T17:35:20.001-08:00", Ok(ymd_hmsn(2015, 1, 20, 17, 35, 20, 1_000_000, -8))),
1821            ("2015-01-20T17:35:20.001βˆ’08:00", Ok(ymd_hmsn(2015, 1, 20, 17, 35, 20, 1_000_000, -8))), // with MINUS SIGN (U+2212)
1822            ("2015-01-20T17:35:20.000031-08:00", Ok(ymd_hmsn(2015, 1, 20, 17, 35, 20, 31_000, -8))),
1823            ("2015-01-20T17:35:20.000000004-08:00", Ok(ymd_hmsn(2015, 1, 20, 17, 35, 20, 4, -8))),
1824            ("2015-01-20T17:35:20.000000004βˆ’08:00", Ok(ymd_hmsn(2015, 1, 20, 17, 35, 20, 4, -8))), // with MINUS SIGN (U+2212)
1825            (
1826                "2015-01-20T17:35:20.000000000452-08:00",
1827                Ok(ymd_hmsn(2015, 1, 20, 17, 35, 20, 0, -8)),
1828            ), // too small
1829            (
1830                "2015-01-20T17:35:20.000000000452βˆ’08:00",
1831                Ok(ymd_hmsn(2015, 1, 20, 17, 35, 20, 0, -8)),
1832            ), // too small with MINUS SIGN (U+2212)
1833            ("2015-01-20 17:35:20-08:00", Ok(ymd_hmsn(2015, 1, 20, 17, 35, 20, 0, -8))), // without 'T'
1834            ("2015/01/20T17:35:20.001-08:00", Err(INVALID)), // wrong separator char YMD
1835            ("2015-01-20T17-35-20.001-08:00", Err(INVALID)), // wrong separator char HMS
1836            ("-01-20T17:35:20-08:00", Err(INVALID)),         // missing year
1837            ("99-01-20T17:35:20-08:00", Err(INVALID)),       // bad year format
1838            ("99999-01-20T17:35:20-08:00", Err(INVALID)),    // bad year value
1839            ("-2000-01-20T17:35:20-08:00", Err(INVALID)),    // bad year value
1840            ("2015-02-30T17:35:20-08:00", Err(OUT_OF_RANGE)), // bad day of month value
1841            ("2015-01-20T25:35:20-08:00", Err(OUT_OF_RANGE)), // bad hour value
1842            ("2015-01-20T17:65:20-08:00", Err(OUT_OF_RANGE)), // bad minute value
1843            ("2015-01-20T17:35:90-08:00", Err(OUT_OF_RANGE)), // bad second value
1844            ("2015-01-20T17:35:20-24:00", Err(OUT_OF_RANGE)), // bad offset value
1845            ("15-01-20T17:35:20-08:00", Err(INVALID)),       // bad year format
1846            ("15-01-20T17:35:20-08:00:00", Err(INVALID)),    // bad year format, bad offset format
1847            ("2015-01-20T17:35:2008:00", Err(INVALID)),      // missing offset sign
1848            ("2015-01-20T17:35:20 08:00", Err(INVALID)),     // missing offset sign
1849            ("2015-01-20T17:35:20Zulu", Err(TOO_LONG)),      // bad offset format
1850            ("2015-01-20T17:35:20 Zulu", Err(INVALID)),      // bad offset format
1851            ("2015-01-20T17:35:20GMT", Err(INVALID)),        // bad offset format
1852            ("2015-01-20T17:35:20 GMT", Err(INVALID)),       // bad offset format
1853            ("2015-01-20T17:35:20+GMT", Err(INVALID)),       // bad offset format
1854            ("2015-01-20T17:35:20++08:00", Err(INVALID)),    // bad offset format
1855            ("2015-01-20T17:35:20--08:00", Err(INVALID)),    // bad offset format
1856            ("2015-01-20T17:35:20βˆ’βˆ’08:00", Err(INVALID)), // bad offset format with MINUS SIGN (U+2212)
1857            ("2015-01-20T17:35:20Β±08:00", Err(INVALID)),  // bad offset sign
1858            ("2015-01-20T17:35:20-08-00", Err(INVALID)),  // bad offset separator
1859            ("2015-01-20T17:35:20-08;00", Err(INVALID)),  // bad offset separator
1860            ("2015-01-20T17:35:20-0800", Err(INVALID)),   // bad offset separator
1861            ("2015-01-20T17:35:20-08:0", Err(TOO_SHORT)), // bad offset minutes
1862            ("2015-01-20T17:35:20-08:AA", Err(INVALID)),  // bad offset minutes
1863            ("2015-01-20T17:35:20-08:ZZ", Err(INVALID)),  // bad offset minutes
1864            ("2015-01-20T17:35:20.001-08 : 00", Err(INVALID)), // bad offset separator
1865            ("2015-01-20T17:35:20-08:00:00", Err(TOO_LONG)), // bad offset format
1866            ("2015-01-20T17:35:20+08:", Err(TOO_SHORT)),  // bad offset format
1867            ("2015-01-20T17:35:20-08:", Err(TOO_SHORT)),  // bad offset format
1868            ("2015-01-20T17:35:20βˆ’08:", Err(TOO_SHORT)), // bad offset format with MINUS SIGN (U+2212)
1869            ("2015-01-20T17:35:20-08", Err(TOO_SHORT)),  // bad offset format
1870            ("2015-01-20T", Err(TOO_SHORT)),             // missing HMS
1871            ("2015-01-20T00:00:1", Err(TOO_SHORT)),      // missing complete S
1872            ("2015-01-20T00:00:1-08:00", Err(INVALID)),  // missing complete S
1873        ];
1874
1875        // Test against test data above
1876        for &(date, checkdate) in testdates.iter() {
1877            let dt = DateTime::<FixedOffset>::parse_from_rfc3339(date);
1878            if dt != checkdate {
1879                // check for expected result
1880                panic!(
1881                    "Date conversion failed for {date}\nReceived: {dt:?}\nExpected: {checkdate:?}"
1882                );
1883            }
1884        }
1885    }
1886
1887    #[test]
1888    fn test_issue_1010() {
1889        let dt = crate::NaiveDateTime::parse_from_str(
1890            "\u{c}SUN\u{e}\u{3000}\0m@J\u{3000}\0\u{3000}\0m\u{c}!\u{c}\u{b}\u{c}\u{c}\u{c}\u{c}%A\u{c}\u{b}\0SU\u{c}\u{c}",
1891            "\u{c}\u{c}%A\u{c}\u{b}\0SUN\u{c}\u{c}\u{c}SUNN\u{c}\u{c}\u{c}SUN\u{c}\u{c}!\u{c}\u{b}\u{c}\u{c}\u{c}\u{c}%A\u{c}\u{b}%a",
1892        );
1893        assert_eq!(dt, Err(ParseError(ParseErrorKind::Invalid)));
1894    }
1895}