fmt

Author: mkovaxx

crates/anodized-core/src/lib.rs

@@ -39,8 +39,6 @@ pub struct ConditionClosure {
     pub cfg: Option<Meta>,
 }
 
-
-
 #[derive(PartialEq, PartialOrd, Clone, Copy, Debug)]
 enum ArgOrder {
     Requires,

crates/anodized-core/src/test.rs

@@ -82,10 +82,7 @@ fn test_parse_array_of_conditions() -> Result<()> {
     })?;
 
     let expected = Contract {
-        requires: vec![
-            parse_quote! { x > 0 },
-            parse_quote! { y > 0 },
-        ],
+        requires: vec![parse_quote! { x > 0 }, parse_quote! { y > 0 }],
         maintains: vec![],
         ensures: vec![
             parse_quote! { |output| output > x },
@@ -125,10 +122,7 @@ fn test_parse_multiple_clauses_of_same_flavor() -> Result<()> {
     })?;
 
     let expected = Contract {
-        requires: vec![
-            parse_quote! { x > 0 },
-            parse_quote! { y > 0 },
-        ],
+        requires: vec![parse_quote! { x > 0 }, parse_quote! { y > 0 }],
         maintains: vec![],
         ensures: vec![
             parse_quote! { |output| output > x },

crates/anodized-core/src/test_util.rs

@@ -65,4 +65,4 @@ fn assert_token_streams_eq<T: ToTokens>(left: &[T], right: &[T], clause_name: &s
             i + 1
         );
     }
-}
+}