@@ -14,13 +14,12 @@ fn gen_valid_domain_name() -> impl Strategy<Value = String> {
1414proptest ! {
1515 #[ test]
1616 fn prop_domain_name_parses( s in gen_valid_domain_name( ) ) {
17- let domain = parse_domain_name( s) ;
18- prop_assert!( matches!( domain, Ok ( _) ) , "expected ok, got err: {domain:?}" )
17+ parse_domain_name( s) ?;
1918 }
2019
2120 #[ test]
2221 fn prop_domain_name_displays_input( s in gen_valid_domain_name( ) ) {
23- let domain = DomainName :: from_str( & s) . unwrap ( ) ;
22+ let domain = DomainName :: from_str( & s) ? ;
2423 prop_assert_eq!( s, domain. to_string( ) )
2524 }
2625
@@ -29,7 +28,7 @@ proptest! {
2928 tld in "[\\ S&&[^/]]{1,64}" ,
3029 sub in prop:: option:: of( gen_valid_domain_name( ) )
3130 ) {
32- let domain = parse_domain_name( iter:: once( tld. as_str( ) ) . chain( sub. as_deref( ) ) . join( "/" ) ) . unwrap ( ) ;
31+ let domain = parse_domain_name( iter:: once( tld. as_str( ) ) . chain( sub. as_deref( ) ) . join( "/" ) ) ? ;
3332 prop_assert_eq!( & tld, domain. tld( ) . as_str( ) ) ;
3433 prop_assert_eq!( sub. as_deref( ) , domain. sub_domain( ) ) ;
3534 let domain_tld = Tld :: from( domain) ;
@@ -38,26 +37,26 @@ proptest! {
3837
3938 #[ test]
4039 fn prop_domain_name_serde( s in gen_valid_domain_name( ) ) {
41- let a = parse_domain_name( s) . unwrap ( ) ;
42- let js = serde_json:: to_string( & a) . unwrap ( ) ;
40+ let a = parse_domain_name( s) ? ;
41+ let js = serde_json:: to_string( & a) ? ;
4342 eprintln!( "json: `{js}`" ) ;
44- let b: DomainName = serde_json:: from_str( & js) . unwrap ( ) ;
43+ let b: DomainName = serde_json:: from_str( & js) ? ;
4544 prop_assert_eq!( a, b)
4645 }
4746
4847 #[ test]
4948 fn prop_domain_name_sats( s in gen_valid_domain_name( ) ) {
50- let a = parse_domain_name( s) . unwrap ( ) ;
51- let bsatn = bsatn:: to_vec( & a) . unwrap ( ) ;
52- let b: DomainName = bsatn:: from_slice( & bsatn) . unwrap ( ) ;
49+ let a = parse_domain_name( s) ? ;
50+ let bsatn = bsatn:: to_vec( & a) ? ;
51+ let b: DomainName = bsatn:: from_slice( & bsatn) ? ;
5352 prop_assert_eq!( a, b)
5453 }
5554
5655 #[ test]
5756 fn prop_domain_name_inequality( a in gen_valid_domain_name( ) , b in gen_valid_domain_name( ) ) {
5857 prop_assume!( a != b) ;
59- let a = parse_domain_name( a) . unwrap ( ) ;
60- let b = parse_domain_name( b) . unwrap ( ) ;
58+ let a = parse_domain_name( a) ? ;
59+ let b = parse_domain_name( b) ? ;
6160 prop_assert_ne!( a, b) ;
6261 }
6362
@@ -121,7 +120,7 @@ proptest! {
121120 #[ test]
122121 fn prop_but_tld_can_be_some_other_hex_value( bytes in any:: <[ u8 ; 32 ] >( ) ) {
123122 let addr = hex:: encode( bytes) ;
124- prop_assert! ( matches! ( parse_domain_name( addr) , Ok ( _ ) ) )
123+ parse_domain_name( addr) ? ;
125124 }
126125}
127126
0 commit comments