and doctest

CQCL · May 15, 2024 · db5514c · db5514c
1 parent eccbbd4
commit db5514c
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 3 deletions.
diff --git a/hugr/src/ops/constant.rs b/hugr/src/ops/constant.rs
@@ -156,7 +156,8 @@ pub enum Value {
 /// is another `CustomSerialized` we do not attempt to recurse. This behaviour
 /// may change in future.
 ///
-/// ```rust
+#[cfg_attr(not(miri), doc = "```")]  // this doctest depends on typetag, so fails with miri
+#[cfg_attr(miri, doc = "```ignore")]
 /// use serde::{Serialize,Deserialize};
 /// use hugr::{
 ///   types::Type,ops::constant::{OpaqueValue, ValueName, CustomConst, CustomSerialized},

diff --git a/hugr/src/ops/constant/custom.rs b/hugr/src/ops/constant/custom.rs
@@ -29,7 +29,8 @@ use super::ValueName;
 /// be serialized with two attributes, `"c"`  the tag and `"v"` the
 /// `CustomConst`:
 ///
-/// ```rust
+#[cfg_attr(not(miri), doc = "```")]  // this doctest depends on typetag, so fails with miri
+#[cfg_attr(miri, doc = "```ignore")]
 /// use serde::{Serialize,Deserialize};
 /// use hugr::{
 ///   types::Type,ops::constant::{OpaqueValue, ValueName, CustomConst},
@@ -51,7 +52,7 @@ use super::ValueName;
 ///   "c": "CC",
 ///   "v": 2
 /// }));
-/// ````
+/// ```
 #[typetag::serde(tag = "c", content = "v")]
 pub trait CustomConst:
     Send + Sync + std::fmt::Debug + CustomConstBoxClone + Any + Downcast