From 6a0300244a0649bfe9e198b79d42bb2b39997480 Mon Sep 17 00:00:00 2001 From: Douglas Wilson Date: Wed, 15 May 2024 13:13:57 +0100 Subject: [PATCH] and doctest --- hugr/src/ops/constant.rs | 3 ++- hugr/src/ops/constant/custom.rs | 5 +++-- 2 files changed, 5 insertions(+), 3 deletions(-) diff --git a/hugr/src/ops/constant.rs b/hugr/src/ops/constant.rs index 2d1a5dce2..5d11df71e 100644 --- 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 index 6a1b84f45..de5599b4d 100644 --- 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