Enum MappedCheckError 

pub enum MappedCheckError<SE, PE, RE> {
    Preflight(CheckError<SE, PE, RE>),
    Provenance(Error),
    Execution {
        envelope: SourceMap,
        source: CheckError<SE, PE, RE>,
    },
}

A check in a logical CMS envelope retains its own source context separately from the inner TSTInfo map. CMS errors must not use TSTInfo coordinates.

Variants

Preflight(CheckError<SE, PE, RE>)

Caller source/session mismatch, refused before map admission or work. The original operand identifies its reader; no copied map is required.

Provenance(Error)

Envelope map admission failed at its already physical carrier.

Execution

Original cause and independently retained envelope coordinate context.

Fields

envelope: SourceMap

Maps the original CMS envelope’s coordinates, not inner TSTInfo.

source: CheckError<SE, PE, RE>

Original check cause; source/operand variants select its context.

Trait Implementations

impl<SE: Debug, PE: Debug, RE: Debug> Debug for MappedCheckError<SE, PE, RE>

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

Formats the value using the given formatter.