fix clippy warning

cucapra · Dec 19, 2024 · 3597a85 · 3597a85
1 parent 6634a18
commit 3597a85
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/src/bv/arithmetic.rs b/src/bv/arithmetic.rs
@@ -256,10 +256,7 @@ pub(crate) fn shift_right(
     clear(dst);
 
     // check to see if we are shifting for more than our width
-    let shift_amount = match get_shift_amount(b, width) {
-        None => return None,
-        Some(value) => value,
-    };
+    let shift_amount = get_shift_amount(b, width)?;
 
     // otherwise we actually perform the shift by converting it to a slice
     let hi = width - 1;