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)?;