Enum Observed 

pub enum Observed {
    SeatAbsent,
    ContractDisagreement,
    IdentityDisagreement,
    ProfileDisagreement,
    BoundExceeded,
    OriginAbsent,
    Declared {
        name: DiagnosticName,
        described: &'static str,
    },
}

How what was observed differs from the contract that was expected.

A typed classification, never a sentence: the sentence is a projection of this.

Variants

SeatAbsent

A required seat was unfurnished.

ContractDisagreement

What was present disagrees with the expected contract.

IdentityDisagreement

An identity that had to match did not.

ProfileDisagreement

The material was presented under a profile that does not offer it.

BoundExceeded

A declared magnitude was exceeded.

OriginAbsent

Generated material arrived with no origin.

Declared

A difference an adopter declared, for an observation none of the rows above classify.

Fields

name: DiagnosticName

The stable kebab-case name.

described: &'static str

How the difference reads in a composed line.

Implementations

impl Observed

pub const ALL: &'static [Self]

Every classification the compiler’s own seams state, in declaration order.

An adopter’s declared classifications are its own and no roster here enumerates them.

pub const fn name(self) -> &'static str

The classification’s stable name.

Trait Implementations

impl Clone for Observed

fn clone(&self) -> Observed

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Observed

impl Debug for Observed

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

Formats the value using the given formatter.

impl Eq for Observed

impl Hash for Observed

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 Observed

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Observed