Enum ra_ap_hir_ty::traits::Guidance

pub enum Guidance {
    Definite(SolutionVariables),
    Suggested(SolutionVariables),
    Unknown,
}

When a goal holds ambiguously (e.g., because there are multiple possible solutions), we issue a set of guidance back to type inference.

Variants

Definite(SolutionVariables)

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(SolutionVariables)

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 Clone for Guidance

fn clone(&self) -> Guidance

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Guidance

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

Formats the value using the given formatter.

impl Eq for Guidance

impl PartialEq<Guidance> for Guidance

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=.

impl StructuralEq for Guidance

impl StructuralPartialEq for Guidance