#![cfg(feature = "serde")]
use lean_string::LeanString;
use proptest::property_test;
use serde::{Deserialize, Serialize};
#[derive(Debug, PartialEq, Eq, Deserialize, Serialize)]
struct PersonString {
name: String,
phones: Vec<String>,
address: Option<String>,
}
#[derive(Debug, PartialEq, Eq, Deserialize, Serialize)]
struct PersonLeanString {
name: LeanString,
phones: Vec<LeanString>,
address: Option<LeanString>,
}
#[test]
fn test_roundtrip() {
let name = "Ferris the Crab";
let phones = ["1-800-111-1111", "2-222-222-2222"];
let address = Some("123 Sesame Street");
let std = PersonString {
name: name.to_string(),
phones: phones.iter().map(|s| s.to_string()).collect(),
address: address.as_ref().map(|s| s.to_string()),
};
let compact = PersonLeanString {
name: name.into(),
phones: phones.iter().map(|s| LeanString::from(*s)).collect(),
address: address.as_ref().map(|s| LeanString::from(*s)),
};
let std_json = serde_json::to_string(&std).unwrap();
let compact_json = serde_json::to_string(&compact).unwrap();
assert_eq!(std_json, compact_json);
let std_de_compact: PersonString = serde_json::from_str(&compact_json).unwrap();
let compact_de_std: PersonLeanString = serde_json::from_str(&std_json).unwrap();
assert_eq!(std_de_compact, std);
assert_eq!(compact_de_std, compact);
}
#[property_test]
#[cfg_attr(miri, ignore)]
fn proptest_roundtrip(name: String, phones: Vec<String>, address: Option<String>) {
let std =
PersonString { name: name.clone(), phones: phones.to_vec(), address: address.clone() };
let compact = PersonLeanString {
name: name.into(),
phones: phones.iter().map(LeanString::from).collect(),
address: address.map(LeanString::from),
};
let std_json = serde_json::to_string(&std).unwrap();
let compact_json = serde_json::to_string(&compact).unwrap();
assert_eq!(std_json, compact_json);
let std_de_compact: PersonString = serde_json::from_str(&compact_json).unwrap();
let compact_de_std: PersonLeanString = serde_json::from_str(&std_json).unwrap();
assert_eq!(std_de_compact, std);
assert_eq!(compact_de_std, compact);
}