Enum MappedProfileCheckError 

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

A profile check in a logical envelope retains both independent source maps.

Variants

Preflight(CheckError<SE, PE, RE>)

Original source/session refusal before map allocation or dispatch.

Provenance(Error)

Outer-map admission failed at its original physical enclosure.

Execution

Original extended cause with its separately retained outer coordinates.

Fields

envelope: SourceMap

Original CMS envelope map, never the carried-information map.

source: ProfileCheckError<SE, PE, RE, FE>

Unchanged common/profile cause and any retained inner context.

Trait Implementations

impl<SE: Debug, PE: Debug, RE: Debug, FE: Debug> Debug for MappedProfileCheckError<SE, PE, RE, FE>

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

Formats the value using the given formatter.