Enum StatusDefect 

#[non_exhaustive]
pub enum StatusDefect<'a> {
    OriginalIsDerived {
        operation: &'a str,
    },
    NoEdgeSupportsStatus {
        status: &'a str,
    },
    UnknownStatus {
        status: &'a str,
    },
}

Why a passport’s life status does not agree with its derivation edges.

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

OriginalIsDerived

The passport claims original while also claiming to derive from a predecessor.

An original unit is the one placed on the market, not the output of an operation performed on something else, so any derivation edge contradicts the claim. Carries the first offending operation rather than all of them: one is enough to show the contradiction, and the edge list is the caller’s to report in full.

Fields

operation: &'a str

The operation of the first derivation edge, in wire form.

NoEdgeSupportsStatus

The passport claims a second-life status that no derivation edge supports.

Either the edges name a different operation, or there are none at all — which are the same defect from this rule’s point of view, since both leave the claimed operation unrecorded. Whether the edge that is there carries its predecessor’s consent is super::consent’s question.

Fields

status: &'a str

The status the passport claims, in wire form.

UnknownStatus

The status is not one of the five values Annex XIII point 4(c) enumerates.

Unreachable from core, whose LifeStatus is a closed enum, and the reason this variant exists anyway is the Wasm plugins: they hand this crate JSON string fields, so an unknown value is a shape a caller really can produce. Reported rather than ignored — a status outside the annex is an invented value, and the fail-open reading would be to treat it as consistent with anything.

Fields

status: &'a str

What the passport carried.

Trait Implementations

impl<'a> Clone for StatusDefect<'a>

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a> Copy for StatusDefect<'a>

impl<'a> Debug for StatusDefect<'a>

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

Formats the value using the given formatter.

impl<'a> Eq for StatusDefect<'a>

impl<'a> PartialEq for StatusDefect<'a>

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

Equality operator ==.

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

Inequality operator !=.

impl<'a> StructuralPartialEq for StatusDefect<'a>