Enum ResolveError 

pub enum ResolveError {
    ForbiddenOuter {
        inner: WrapperName,
        outer: WrapperName,
    },
    MutuallyExclusive {
        a: WrapperName,
        b: WrapperName,
        a_reason: WrapperActivation,
        b_reason: WrapperActivation,
    },
    ConstraintCycle {
        cycle: Vec<WrapperName>,
    },
    UnknownWrapper {
        name: String,
        suggestion: Option<&'static str>,
    },
    DanglingRequiresInner {
        from: WrapperName,
        missing: WrapperName,
    },
    OverridePermutationMismatch {
        missing: Option<WrapperName>,
        extra: Option<WrapperName>,
    },
}

Errors the resolver may surface. Each variant carries enough context for the caller to render an actionable diagnostic without re-walking the registry.

Variants

ForbiddenOuter

forbids_outer violation — wrapper inner declared outer must not wrap it, but the resolved order placed outer outside inner.

Fields

inner: WrapperName

outer: WrapperName

MutuallyExclusive

mutually_exclusive_with violation — both triggered for the same op.

Fields

a: WrapperName

b: WrapperName

a_reason: WrapperActivation

b_reason: WrapperActivation

ConstraintCycle

Constraint graph contains a requires_inner cycle (e.g. A.requires_inner = [B] and B.requires_inner = [A]). Almost always a registry-author bug; surface at session start.

Fields

cycle: Vec<WrapperName>

UnknownWrapper

Override referenced an unknown wrapper name. Carries the closest registered name as a typo suggestion when available.

Fields

name: String

suggestion: Option<&'static str>

DanglingRequiresInner

requires_inner pointed at a wrapper that doesn’t exist in the registry. Almost always a registry-author bug.

Fields

from: WrapperName

missing: WrapperName

OverridePermutationMismatch

SRD-32a Push 3 — an explicit wrappers: { order: [...] } override is not a permutation of the wrappers triggered on the op. Either a triggered wrapper is missing from the override (missing), or the override names a wrapper whose trigger doesn’t fire (extra). Exactly one of missing/extra is set per error; the resolver reports the first violation it finds.

Fields

missing: Option<WrapperName>

extra: Option<WrapperName>

Trait Implementations

impl Debug for ResolveError

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

Formats the value using the given formatter.

impl Display for ResolveError

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

Formats the value using the given formatter.

impl Error for ResolveError

fn source(&self) -> Option<&(dyn Error + 'static)>

Returns the lower-level source of this error, if any.

fn description(&self) -> &str

👎Deprecated since 1.42.0:

use the Display impl or to_string()

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0:

replaced by Error::source, which can support downcasting

fn provide<'a>(&'a self, request: &mut Request<'a>)

🔬This is a nightly-only experimental API. (error_generic_member_access)

Provides type-based access to context intended for error reports.