Use assert_matches crate instead of ad-hoc macro

flussab-cnf/Cargo.toml

@@ -14,3 +14,6 @@ categories = ["parser-implementations", "encoding"]
 flussab = { version = "0.1.0", path = "../flussab" }
 thiserror = "1.0.24"
 num-traits = "0.2.14"
+
+[dev-dependencies]
+assert_matches = "1.5.0"

flussab-cnf/src/cnf.rs

@@ -239,22 +239,12 @@ pub fn write_clause<L: Dimacs>(writer: &mut DeferredWriter, clause_lits: &[L]) {
 
 #[cfg(test)]
 mod tests {
+    use assert_matches::assert_matches;
+
     use super::*;
 
     type Result<T> = std::result::Result<T, ParseError>;
 
-    macro_rules! assert_matches {
-        ($value:expr, $matches:pat) => {
-            let value = $value;
-            assert!(
-                matches!(&value, &$matches),
-                "{:?} does not match {}",
-                value,
-                stringify!($matches)
-            );
-        };
-    }
-
     #[test]
     fn empty() -> Result<()> {
         let mut parser = Parser::<i32>::from_read("".as_bytes(), Config::default())?;