Type Alias Guidance

pub type Guidance = Guidance<Interner>;

Aliased Type

enum Guidance {
    Definite(Canonical<Substitution<Interner>>),
    Suggested(Canonical<Substitution<Interner>>),
    Unknown,
}

Variants

Definite(Canonical<Substitution<Interner>>)

The existential variables must have the given values if the goal is ever to hold, but that alone isn’t enough to guarantee the goal will actually hold.

Suggested(Canonical<Substitution<Interner>>)

There are multiple plausible values for the existentials, but the ones here are suggested as the preferred choice heuristically. These should be used for inference fallback only.

Unknown

There’s no useful information to feed back to type inference

Trait Implementations

impl<I> Clone for Guidance<I>

where I: Clone + Interner,

fn clone(&self) -> Guidance<I>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<I> Debug for Guidance<I>

where I: Debug + Interner,

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

Formats the value using the given formatter.

impl<I> PartialEq for Guidance<I>

where I: PartialEq + Interner,

fn eq(&self, other: &Guidance<I>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<I> Eq for Guidance<I>

where I: Eq + Interner,

impl<I> StructuralPartialEq for Guidance<I>

where I: Interner,