Struct Assertion 

#[non_exhaustive]
pub struct Assertion {
    pub id: &'static str,
    pub message: &'static str,
    pub kind: AssertionKind,
    pub location: SourceLocation,
}

One assertion declaration compiled into this binary.

There is one per assertion macro call site linked into the program, whether or not that code ever runs: the catalog is a static property of the binary, not of any particular execution. The numeric and boolean macros each contribute one assertion. The guidance they additionally register is not an assertion: antithesis_init() registers it with the platform, but this module does not list it.

Catalog entries registered at runtime through assert_raw are not part of the compiled-in catalog and do not appear.

Fields (Non-exhaustive)

Non-exhaustive structs could have additional fields added in future. Therefore, non-exhaustive structs cannot be constructed in external crates using the traditional Struct { .. } syntax; cannot be matched against without a wildcard ..; and struct update syntax will not work.

id: &'static str

The key under which Antithesis aggregates this assertion’s evaluations into one test property. Currently equal to message; treat it as opaque.

message: &'static str

The name of the test property, as shown in the triage report.

kind: AssertionKind

location: SourceLocation

Trait Implementations

impl Clone for Assertion

fn clone(&self) -> Assertion

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Assertion

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

Formats the value using the given formatter.

impl Hash for Assertion

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Assertion

fn eq(&self, other: &Assertion) -> 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 Copy for Assertion

impl Eq for Assertion

impl StructuralPartialEq for Assertion