From 87a93ba88e4e00d9851c617b74d8b2bab6507a68 Mon Sep 17 00:00:00 2001
From: Agustin Borgna <agustin.borgna@quantinuum.com>
Date: Mon, 8 Jan 2024 16:07:19 +0000
Subject: [PATCH] fix: Ignore unsupported test in miri

---
 src/hugr/serialize.rs | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/hugr/serialize.rs b/src/hugr/serialize.rs
index 770b8c383..c9f1af7e3 100644
--- a/src/hugr/serialize.rs
+++ b/src/hugr/serialize.rs
@@ -483,6 +483,9 @@ pub mod test {
     }
 
     #[test]
+    #[cfg_attr(miri, ignore = "Extension ops cannot be used with miri.")]
+    // Miri doesn't run the extension registration required by `typetag`.
+    // https://github.com/rust-lang/miri/issues/450
     fn constants_roundtrip() -> Result<(), Box<dyn std::error::Error>> {
         let mut builder = DFGBuilder::new(FunctionType::new(vec![], vec![FLOAT64_TYPE])).unwrap();
         let w = builder.add_load_const(ConstF64::new(0.5))?;