Enum ResolutionResult 

pub enum ResolutionResult {
    Success(Substitution),
    Failure,
    Error(String),
}

The outcome of resolving a query.

Variants

Success(Substitution)

A successful substitution answering the query.

Failure

The query has no solution.

Error(String)

An error occurred during resolution (e.g., depth limit exceeded).

Trait Implementations

impl Clone for ResolutionResult

fn clone(&self) -> ResolutionResult

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ResolutionResult

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

Formats the value using the given formatter.