From 676f4ea631a5e31c5019d40b59ee17cf3007e8a1 Mon Sep 17 00:00:00 2001
From: Craig Roy <craig.roy@cambridgequantum.com>
Date: Wed, 15 Nov 2023 09:34:54 +0000
Subject: [PATCH] fix(Inference): Don't add constraints between static edges

---
 src/extension/infer.rs      | 4 +---
 src/hugr/rewrite/replace.rs | 2 +-
 2 files changed, 2 insertions(+), 4 deletions(-)

diff --git a/src/extension/infer.rs b/src/extension/infer.rs
index d468017a7..5d2279fce 100644
--- a/src/extension/infer.rs
+++ b/src/extension/infer.rs
@@ -328,9 +328,7 @@ impl UnificationContext {
             for port in hugr.node_inputs(tgt_node).filter(|src_port| {
                 matches!(
                     sig.port_kind(*src_port),
-                    Some(EdgeKind::Value(_))
-                        | Some(EdgeKind::Static(_))
-                        | Some(EdgeKind::ControlFlow)
+                    Some(EdgeKind::Value(_)) | Some(EdgeKind::ControlFlow)
                 )
             }) {
                 let m_tgt = *self
diff --git a/src/hugr/rewrite/replace.rs b/src/hugr/rewrite/replace.rs
index 0b01df5aa..ed38f486b 100644
--- a/src/hugr/rewrite/replace.rs
+++ b/src/hugr/rewrite/replace.rs
@@ -482,7 +482,7 @@ mod test {
             FunctionType::new_linear(just_list.clone()).with_extension_delta(&exset),
         )?;
 
-        let pred_const = cfg.add_constant(ops::Const::unary_unit_sum(), None)?;
+        let pred_const = cfg.add_constant(ops::Const::unary_unit_sum(), exset)?;
 
         let entry = single_node_block(&mut cfg, pop, &pred_const, true)?;
         let bb2 = single_node_block(&mut cfg, push, &pred_const, false)?;