Struct InferenceInfo 

pub struct InferenceInfo {
    pub candidates: Vec<InferenceCandidate>,
    pub upper_bounds: Vec<TypeId>,
    pub resolved: Option<TypeId>,
}

Value stored for each inference variable root.

Fields

candidates: Vec<InferenceCandidate>

upper_bounds: Vec<TypeId>

resolved: Option<TypeId>

Implementations

impl InferenceInfo

pub const fn is_empty(&self) -> bool

Trait Implementations

impl Clone for InferenceInfo

fn clone(&self) -> InferenceInfo

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for InferenceInfo

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

Formats the value using the given formatter.

impl Default for InferenceInfo

fn default() -> InferenceInfo

Returns the “default value” for a type.

impl UnifyValue for InferenceInfo

type Error = NoError

Defines the type to return when merging of two values fails. If merging is infallible, use the special struct NoError found in this crate, which unlocks various more convenient methods on the unification table.

fn unify_values(a: &Self, b: &Self) -> Result<Self, Self::Error>

Given two values, produce a new value that combines them. If that is not possible, produce an error.