Struct AssertDetail 

pub struct AssertDetail {
    pub kind: DetailKind,
    pub message: String,
    pub phase: Option<Cow<'static, str>>,
}

A single diagnostic message from an assertion, paired with a structural DetailKind so filtering is robust to wording changes.

Access the message text via detail.message; format-string probes (format!("{detail}")) work via the Display impl. New code that needs to filter by category should match on kind rather than substring-match the message text — wording can change without notice but the variant tag is the structural contract.

Fields

kind: DetailKind

message: String

phase: Option<Cow<'static, str>>

Scenario phase the detail was emitted under. Mirrors PassDetail::phase: None outside any PhaseGuard scope (boot, BASELINE settle, non-scenario test fixtures), Some when an active guard has installed a label. Carried on every detail so consumers (auto-repro renderer, sidecar parsers) see a uniform phase field across pass + fail records. Producers that already know the active phase can stamp via Self::with_phase.

Cow<'static, str> mirrors PassDetail::phase for the same zero-allocation reason: the common case is the per-step RAII guard’s static &'static str label staying as Cow::Borrowed (zero alloc); runtime-built Strings become Cow::Owned.

Implementations

impl AssertDetail

pub fn new(kind: DetailKind, message: impl Into<String>) -> Self

pub fn with_phase(self, phase: impl Into<Cow<'static, str>>) -> Self

Builder-style setter for Self::phase. Consumes self, stamps the phase label, returns the updated value. Matches the PassDetail::with_phase shape so producers can chain AssertDetail::new(...).with_phase(...) uniformly across pass and fail records.

pub fn display_with_kind(&self) -> AssertDetailWithKind<'_>

Borrow this detail as a kind-prefixed std::fmt::Display adapter. The default Display impl on AssertDetail writes only message so terminal output reads as bare prose; structured-log consumers that want to bucket failures by category without re-checking Self::kind reach for this helper instead.

Renders as [<DetailKind variant name>] <message> — debug-form for the kind so the variant token is grep-stable across renames (a regression that drops a DetailKind variant breaks the match arms that produce it; the rendered token follows). Zero- allocation: the wrapper holds a &AssertDetail and writes straight into the formatter.

let d = AssertDetail::new(DetailKind::Stuck, "tid 7 stuck 1500ms on cpu3");
assert_eq!(d.to_string(), "tid 7 stuck 1500ms on cpu3");
assert_eq!(
    d.display_with_kind().to_string(),
    "[Stuck] tid 7 stuck 1500ms on cpu3",
);

Trait Implementations

impl Clone for AssertDetail

fn clone(&self) -> AssertDetail

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for AssertDetail

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for AssertDetail

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for AssertDetail

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl From<&str> for AssertDetail

fn from(s: &str) -> Self

Conversion for uncategorized messages; defaults kind to DetailKind::Other. Prefer AssertDetail::new when the detail has a meaningful category — the DetailKind is serialized into the sidecar JSON and consumed by stats tooling to bucket failures, so losing the category bucket makes post-run categorization rely on free-text regex against message.

impl From<String> for AssertDetail

fn from(message: String) -> Self

Conversion for uncategorized messages; defaults kind to DetailKind::Other. Prefer AssertDetail::new when the detail has a meaningful category — the DetailKind is serialized into the sidecar JSON and consumed by stats tooling to bucket failures, so losing the category bucket makes post-run categorization rely on free-text regex against message.

impl PartialEq for AssertDetail

fn eq(&self, other: &AssertDetail) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for AssertDetail

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for AssertDetail

impl StructuralPartialEq for AssertDetail