Enum RelationResult 

pub enum RelationResult {
    Refined,
    Satisfied,
    Defer,
    Failed(&'static str),
}

Outcome of running a relation against the solver’s current type nodes. The solver’s worklist treats each variant differently: Refined requeues dependents, Satisfied removes the relation, Defer parks it for later, Failed aborts the solve.

Variants

Refined

Made progress narrowing one or more type variables. Requeue any relations sharing those types.

Satisfied

Constraint fully satisfied. Remove from the worklist.

Defer

Insufficient information today. Come back when something else refines the participating types.

Failed(&'static str)

Hard contradiction. The solver propagates the diagnostic back as a build error.

Trait Implementations

impl Debug for RelationResult

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

Formats the value using the given formatter.