Struct ErrorDetail 

pub struct ErrorDetail {
    pub kind: Option<ErrorKind>,
    pub model: Option<String>,
    pub field: Option<String>,
    pub expected_type: Option<String>,
    pub actual_wire_type: Option<String>,
    pub raw_value: Option<String>,
    pub context: BTreeMap<String, String>,
}

The structured, recoverable payload a Failure carries (scp-error.md).

The leaf produces this; the runtime only transports it — it never synthesizes or infers a field. Every field except kind is optional: absent means not applicable, never unknown, defaulted.

expected_type is a PortableType in Portable Type Notation (portable_type_notation), not a serialized type object: it is a rendering of a statically declared type, so a codegen target bakes it as a literal and nothing walks a type at runtime.

Fields

kind: Option<ErrorKind>

model: Option<String>

The declaring model / component.

field: Option<String>

The offending field / port.

expected_type: Option<String>

The declared type, in Portable Type Notation.

actual_wire_type: Option<String>

The wire type actually observed (the producer’s own vocabulary).

raw_value: Option<String>

The offending value, stringified (never re-parsed to recover a type).

context: BTreeMap<String, String>

Caller context (e.g. the item key that located the datum). Ordered for determinism.

Trait Implementations

impl Clone for ErrorDetail

fn clone(&self) -> ErrorDetail

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ErrorDetail

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

Formats the value using the given formatter.

impl Default for ErrorDetail

fn default() -> ErrorDetail

Returns the “default value” for a type.

impl Eq for ErrorDetail

impl PartialEq for ErrorDetail

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ErrorDetail