Enum cairo_lang_semantic::expr::inference::InferenceError

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

Variants

Failed(DiagnosticAdded)

Cycle

Fields

var: InferenceVar

TypeKindMismatch

Fields

ty0: TypeId

ty1: TypeId

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

Fields

concrete_trait_id: ConcreteTraitId

Ambiguity(Ambiguity)

TypeNotInferred

Fields

ty: 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 From<DiagnosticAdded> for InferenceError

fn from(value: DiagnosticAdded) -> Self

Converts to this type from the input type.

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

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

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

This method 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