Enum InferenceError

pub enum InferenceError {
    Reported(DiagnosticAdded),
    Cycle(InferenceVar),
    TypeKindMismatch {
        ty0: TypeId,
        ty1: TypeId,
    },
    ConstKindMismatch {
        const0: ConstValueId,
        const1: ConstValueId,
    },
    ImplKindMismatch {
        impl0: ImplId,
        impl1: ImplId,
    },
    GenericArgMismatch {
        garg0: GenericArgumentId,
        garg1: GenericArgumentId,
    },
    TraitMismatch {
        trt0: TraitId,
        trt1: TraitId,
    },
    GenericFunctionMismatch {
        func0: GenericFunctionId,
        func1: GenericFunctionId,
    },
    ConstInferenceNotSupported,
    NoImplsFound(ConcreteTraitId),
    Ambiguity(Ambiguity),
    TypeNotInferred(TypeId),
}

Variants

Reported(DiagnosticAdded)

An inference error wrapping a previously reported error.

Cycle(InferenceVar)

TypeKindMismatch

Fields

ty0: TypeId

ty1: TypeId

ConstKindMismatch

Fields

const0: ConstValueId

const1: ConstValueId

ImplKindMismatch

Fields

impl0: ImplId

impl1: ImplId

GenericArgMismatch

Fields

garg0: GenericArgumentId

garg1: GenericArgumentId

TraitMismatch

Fields

trt0: TraitId

trt1: TraitId

GenericFunctionMismatch

Fields

func0: GenericFunctionId

func1: GenericFunctionId

ConstInferenceNotSupported

NoImplsFound(ConcreteTraitId)

Ambiguity(Ambiguity)

TypeNotInferred(TypeId)

Implementations

impl InferenceError

pub fn format(&self, db: &(dyn SemanticGroup + 'static)) -> String

impl InferenceError

pub fn report( &self, diagnostics: &mut SemanticDiagnostics, stable_ptr: SyntaxStablePtrId, ) -> DiagnosticAdded

Trait Implementations

impl Clone for InferenceError

fn clone(&self) -> InferenceError

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for InferenceError

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

Formats the value using the given formatter.

impl<'a, T: ?Sized + Upcast<dyn SemanticGroup + 'static>> DebugWithDb<T> for InferenceError

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

fn debug<'me, 'db>(&'me self, db: &'me Db) -> DebugWith<'me, Db>

where Self: Sized + 'me,

fn into_debug<'me, 'db>(self, db: &'me Db) -> DebugWith<'me, Db>

where Self: Sized + 'me,

impl Hash for InferenceError

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for InferenceError

fn eq(&self, other: &InferenceError) -> 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 Eq for InferenceError

impl StructuralPartialEq for InferenceError