driveby: simplify logic from_extension_op

CQCL · Nov 30, 2023 · 04fdad0 · 04fdad0
1 parent 74ff7ff
commit 04fdad0
Showing 1 changed file with 4 additions and 8 deletions.
diff --git a/src/std_extensions/logic.rs b/src/std_extensions/logic.rs
@@ -59,14 +59,10 @@ impl OpName for ConcreteLogicOp {
 impl MakeExtensionOp for ConcreteLogicOp {
     fn from_extension_op(ext_op: &ExtensionOp) -> Result<Self, OpLoadError> {
         let def: NaryLogic = NaryLogic::from_def(ext_op.def())?;
-        Ok(match def {
-            NaryLogic::And | NaryLogic::Or => {
-                let [TypeArg::BoundedNat { n }] = *ext_op.args() else {
-                    return Err(SignatureError::InvalidTypeArgs.into());
-                };
-                Self(def, n)
-            }
-        })
+        let [TypeArg::BoundedNat { n }] = *ext_op.args() else {
+            return Err(SignatureError::InvalidTypeArgs.into());
+        };
+        Ok(Self(def, n))
     }
 
     fn type_args(&self) -> Vec<TypeArg> {