Enum AssertKind 

#[repr(u8)]
pub enum AssertKind {
    Always = 0,
    AlwaysOrUnreachable = 1,
    Sometimes = 2,
    Reachable = 3,
    Unreachable = 4,
    NumericAlways = 5,
    NumericSometimes = 6,
    BooleanSometimesAll = 7,
}

The kind of assertion being tracked.

Variants

Always = 0

Invariant that must always hold when reached.

AlwaysOrUnreachable = 1

Invariant that must hold when reached, but need not be reached.

Sometimes = 2

Condition that should sometimes be true.

Reachable = 3

Code path that should be reached at least once.

Unreachable = 4

Code path that should never be reached.

NumericAlways = 5

Numeric invariant that must always hold (e.g., val > threshold).

NumericSometimes = 6

Numeric condition that should sometimes hold.

BooleanSometimesAll = 7

Compound boolean: all named bools should sometimes be true simultaneously.

Implementations

impl AssertKind

pub fn from_u8(v: u8) -> Option<Self>

Convert from raw u8 to AssertKind, returning None for invalid values.

Trait Implementations

impl Clone for AssertKind

fn clone(&self) -> AssertKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AssertKind

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

Formats the value using the given formatter.

impl PartialEq for AssertKind

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

impl Eq for AssertKind

impl StructuralPartialEq for AssertKind