Type Alias hir_ty::Guidance

source ·

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