Enum InferenceError 

pub enum InferenceError<'db> {
    Reported(DiagnosticAdded),
    Cycle(InferenceVar),
    TypeKindMismatch {
        ty0: TypeId<'db>,
        ty1: TypeId<'db>,
    },
    ConstKindMismatch {
        const0: ConstValueId<'db>,
        const1: ConstValueId<'db>,
    },
    ImplKindMismatch {
        impl0: ImplId<'db>,
        impl1: ImplId<'db>,
    },
    NegativeImplKindMismatch {
        impl0: NegativeImplId<'db>,
        impl1: NegativeImplId<'db>,
    },
    GenericArgMismatch {
        garg0: GenericArgumentId<'db>,
        garg1: GenericArgumentId<'db>,
    },
    TraitMismatch {
        trt0: TraitId<'db>,
        trt1: TraitId<'db>,
    },
    ImplTypeMismatch {
        impl_id: ImplId<'db>,
        trait_type_id: TraitTypeId<'db>,
        ty0: TypeId<'db>,
        ty1: TypeId<'db>,
    },
    GenericFunctionMismatch {
        func0: GenericFunctionId<'db>,
        func1: GenericFunctionId<'db>,
    },
    ConstNotInferred,
    NoImplsFound(ConcreteTraitId<'db>),
    NoNegativeImplsFound(ConcreteTraitId<'db>),
    Ambiguity(Ambiguity<'db>),
    TypeNotInferred(TypeId<'db>),
}

Variants

Reported(DiagnosticAdded)

An inference error wrapping a previously reported error.

Cycle(InferenceVar)

TypeKindMismatch

Fields

ty0: TypeId<'db>

ty1: TypeId<'db>

ConstKindMismatch

Fields

const0: ConstValueId<'db>

const1: ConstValueId<'db>

ImplKindMismatch

Fields

impl0: ImplId<'db>

impl1: ImplId<'db>

NegativeImplKindMismatch

Fields

impl0: NegativeImplId<'db>

impl1: NegativeImplId<'db>

GenericArgMismatch

Fields

garg0: GenericArgumentId<'db>

garg1: GenericArgumentId<'db>

TraitMismatch

Fields

trt0: TraitId<'db>

trt1: TraitId<'db>

ImplTypeMismatch

Fields

impl_id: ImplId<'db>

trait_type_id: TraitTypeId<'db>

ty0: TypeId<'db>

ty1: TypeId<'db>

GenericFunctionMismatch

Fields

func0: GenericFunctionId<'db>

func1: GenericFunctionId<'db>

ConstNotInferred

NoImplsFound(ConcreteTraitId<'db>)

NoNegativeImplsFound(ConcreteTraitId<'db>)

Ambiguity(Ambiguity<'db>)

TypeNotInferred(TypeId<'db>)

Implementations

impl<'db> InferenceError<'db>

pub fn format(&self, db: &dyn Database) -> String

impl<'db> InferenceError<'db>

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

Trait Implementations

impl<'db> Clone for InferenceError<'db>

fn clone(&self) -> InferenceError<'db>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'db> Debug for InferenceError<'db>

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

Formats the value using the given formatter.

impl<'db> DebugWithDb<'db> for InferenceError<'db>

type Db = dyn Database

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

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

where Self: Sized + 'me,

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

where Self: Sized + 'me,

impl<'db> Hash for InferenceError<'db>

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<'db> PartialEq for InferenceError<'db>

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

unsafe fn maybe_update(old_pointer_: *mut Self, new_value_: Self) -> bool

Returns

impl<'db> Eq for InferenceError<'db>

impl<'db> StructuralPartialEq for InferenceError<'db>