pub use MaybeEnteredTraceSpan in lib.rs

Author: Stypox

src/helpers.rs

@@ -1435,7 +1435,7 @@ impl ToU64 for usize {
 /// This struct is needed to enforce `#[must_use]` on values produced by [enter_trace_span] even
 /// when the "tracing" feature is not enabled.
 #[must_use]
-pub struct MaybeEnteredSpan {
+pub struct MaybeEnteredTraceSpan {
     #[cfg(feature = "tracing")]
     pub _entered_span: tracing::span::EnteredSpan,
 }
@@ -1447,7 +1447,7 @@ pub struct MaybeEnteredSpan {
 #[macro_export]
 macro_rules! enter_trace_span {
     ($($tt:tt)*) => {
-        $crate::helpers::MaybeEnteredSpan {
+        $crate::MaybeEnteredTraceSpan {
             #[cfg(feature = "tracing")]
             _entered_span: tracing::info_span!($($tt)*).entered()
         }

src/lib.rs

@@ -139,7 +139,9 @@ pub use crate::eval::{
     AlignmentCheck, BacktraceStyle, IsolatedOp, MiriConfig, MiriEntryFnType, RejectOpWith,
     ValidationMode, create_ecx, eval_entry,
 };
-pub use crate::helpers::{AccessKind, EvalContextExt as _, ToU64 as _, ToUsize as _};
+pub use crate::helpers::{
+    AccessKind, EvalContextExt as _, MaybeEnteredTraceSpan, ToU64 as _, ToUsize as _,
+};
 pub use crate::intrinsics::EvalContextExt as _;
 pub use crate::machine::{
     AllocExtra, DynMachineCallback, FrameExtra, MachineCallback, MemoryKind, MiriInterpCx,