phonenumber 0.3.9+9.0.21

use phonenumber::parse;
use proptest::prelude::*;

proptest! {
    #[test]
    fn rfc3966_crash_test(
        tel_prefix: bool,
        use_plus: bool,
        s: String,
        phone_context: Option<String>,
    ) {
        let context = if let Some(phone_context) = &phone_context { format!(";phone-context={phone_context}") } else { "".to_string() };
        let tel_prefix = if tel_prefix { "tel:" } else { "" };
        let plus = if use_plus { "+" } else { "" };
        let s = format!("{}{}{}{}", tel_prefix, plus, s, context);
        let _ = parse(None, &s);
    }

    #[test]
    fn doesnt_crash(s in "\\PC*") {
        let _ = parse(None, &s);
    }

    #[test]
    fn doesnt_crash_2(s in "\\+\\PC*") {
        let _ = parse(None, &s);
    }

    // Issue #83: `parse` returns an error when parsing "+1 650-253-0000".
    // Reason: the number was parsed using RFC 3966 rules, incorrectly parsing the prefix as
    // "+1 650". A space should not be allowed in an RFC 3966 number, and the regex based parser
    // should be used instead.
    #[test]
    fn parse_mixed_spaces_and_dashes(s in "\\+1[ -]650[ -]253[ -]0000") {
        let parsed = parse(None, &s).unwrap();
        prop_assert_eq!(parsed.country().id(), phonenumber::country::US.into());
    }

    // Issue #82: same problem as issue #83. In this case, the prefix was parsed as "+687 11",
    // which does not fit in a u16. However, the correct country code is "+687".
    #[test]
    fn issue82(s in "\\+687 11[ .]11[ .]11") {
        let parsed = parse(None, &s).unwrap();
        prop_assert_eq!(parsed.country().id(), phonenumber::country::NC.into());
    }

    #[test]
    fn parse_belgian_phonenumbers(s in "\\+32[0-9]{8,9}") {
        let parsed = parse(None, &s).expect("valid Belgian number");
        prop_assert_eq!(parsed.country().id(), phonenumber::country::BE.into());
    }
}