clippy: Fix redundant_pattern_matching warning.

prove-rs · Oct 13, 2023 · 05f4215 · 05f4215
1 parent 3c97663
commit 05f4215
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/z3/tests/lib.rs b/z3/tests/lib.rs
@@ -1221,7 +1221,7 @@ fn test_tactic_fail() {
 
     let tactic = Tactic::new(&ctx, "fail");
     let apply_results = tactic.apply(&goal, Some(&params));
-    assert!(matches!(apply_results, Err(_)));
+    assert!(apply_results.is_err());
 }
 
 #[test]