Trait dbc::Invariant

pub trait Invariant {
    fn invariant(&self) -> bool;
}

The Invariant trait allows for asserting an object

Implementors of the Invariant trait can then use the invariant! macro to test their objects are safe to use.

See the invariant! macro for examples

Required Methods

fn invariant(&self) -> bool

Implementors