Enum cairo_lang_semantic::expr::inference::InferenceError

pub enum InferenceError {
    Disabled,
    Cycle {
        type_var: TypeVar,
    },
    KindMismatch {
        ty0: TypeId,
        ty1: TypeId,
    },
    GenericArgMismatch {
        garg0: GenericArgumentId,
        garg1: GenericArgumentId,
    },
}

Variants

Disabled

Cycle

Fields

type_var: TypeVar

KindMismatch

Fields

ty0: TypeId

ty1: TypeId

GenericArgMismatch

Fields

garg0: GenericArgumentId

garg1: GenericArgumentId

Trait Implementations

impl Debug for InferenceError

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

Formats the value using the given formatter.