From e8881b75978b1bb95d778218147239bc1f7f8b11 Mon Sep 17 00:00:00 2001 From: Ethan Frey Date: Mon, 12 Jul 2021 11:50:56 +0200 Subject: [PATCH] Clean up test code for clippy --- rust/src/verify.rs | 7 +------ 1 file changed, 1 insertion(+), 6 deletions(-) diff --git a/rust/src/verify.rs b/rust/src/verify.rs index ddff05435..54ee30c3c 100644 --- a/rust/src/verify.rs +++ b/rust/src/verify.rs @@ -520,12 +520,7 @@ mod tests { for (name, tc) in cases { let check = check_existence_spec(&tc.proof, &tc.spec); if tc.valid { - assert!( - check.is_ok(), - "{} should be ok, got err {}", - name, - check.unwrap_err() - ); + check.expect(name); } else { assert!(check.is_err(), "{} should be an error", name); }