Struct Invariant 

pub struct Invariant {
    pub id: &'static str,
    pub statement: &'static str,
}

A semantic promise, with an id stable across engine versions.

The id is what a client or a test pins against; the statement is for humans and may be reworded. Ids are never reused for a different rule — retiring a guarantee means removing the id, which is a breaking change by construction.

Fields

id: &'static str

statement: &'static str

Trait Implementations

impl Clone for Invariant

fn clone(&self) -> Invariant

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Invariant

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Invariant

fn deserialize<D: Deserializer<'de>>(d: D) -> Result<Self, D::Error>

Deserialize this value from the given Serde deserializer.

impl Eq for Invariant

impl PartialEq for Invariant

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for Invariant

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for Invariant