chore(deps-rs): Update hugr and tket-json-rs (#493)

This should unblock #475

Edit: No, it wont. It is still blocked on a separate bug -.-

Author: aborgna-q

Cargo.lock

@@ -24,13 +24,13 @@ missing_docs = "warn"
 
 [workspace.dependencies]
 
-hugr = "0.7.0"
-hugr-cli = "0.1.3"
-hugr-core = "0.4.0"
+hugr = "0.8.0"
+hugr-cli = "0.1.4"
+hugr-core = "0.5.0"
 portgraph = "0.12"
 pyo3 = "0.21.2"
 itertools = "0.13.0"
-tket-json-rs = "0.4.2"
+tket-json-rs = "0.5.0"
 tracing = "0.1.37"
 portmatching = "0.3.1"
 bytemuck = "1.16.1"

Cargo.toml

@@ -81,8 +81,7 @@ mod test {
                     )?;
 
                     circ = {
-                        let mut dfg =
-                            cfg.simple_entry_builder(two_qbs.clone(), 1, ExtensionSet::new())?;
+                        let mut dfg = cfg.simple_entry_builder(two_qbs.clone(), 1)?;
                         let [q1, q2] = dfg.input_wires_arr();
 
                         let [q1] = dfg.add_dataflow_op(Tk2Op::H, [q1])?.outputs_arr();

tket2/src/passes/pytket.rs

@@ -127,14 +127,12 @@ impl NativeOp {
 
         let params = (num_params > 0).then(|| vec!["".into(); num_params]);
 
-        Some(circuit_json::Operation {
-            op_type: serial_op,
-            n_qb: Some(num_qubits as u32),
-            params,
-            op_box: None,
-            signature: Some([vec!["Q".into(); num_qubits], vec!["B".into(); num_bits]].concat()),
-            conditional: None,
-        })
+        let mut op = circuit_json::Operation::default();
+        op.op_type = serial_op;
+        op.n_qb = Some(num_qubits as u32);
+        op.params = params;
+        op.signature = Some([vec!["Q".into(); num_qubits], vec!["B".into(); num_bits]].concat());
+        Some(op)
     }
 
     /// Returns the dataflow signature for this operation.