add test

tket2-hseries/src/extension/futures.rs

@@ -153,6 +153,7 @@ impl<'a> From<&'a FutureOp> for &'static str {
 }
 
 /// Concrete "tket2.futures" operations with type set.
+#[derive(Clone, Debug, Eq, PartialEq)]
 pub struct FutureOp {
     /// The `FutureOpDef` that defines this operation.
     pub op: FutureOpDef,
@@ -281,6 +282,19 @@ pub(crate) mod test {
         }
     }
 
+    #[test]
+    fn future_op_from_def() {
+        let typ = Type::UNIT;
+
+        assert_eq!(
+            FutureOp {
+                op: FutureOpDef::Free,
+                typ: typ.clone()
+            },
+            FutureOpDef::Free.instantiate(&[typ.into()]).unwrap()
+        )
+    }
+
     #[test]
     fn circuit() {
         let t_param = TypeParam::from(TypeBound::Any);