Enum ra_ap_hir::MirLowerError

pub enum MirLowerError {
    ConstEvalError(Box<str>, Box<ConstEvalError>),
    LayoutError(LayoutError),
    IncompleteExpr,
    IncompletePattern,
    TraitFunctionDefinition(TraitId, Name),
    UnresolvedName(String),
    RecordLiteralWithoutPath,
    UnresolvedMethod(String),
    UnresolvedField,
    UnsizedTemporary(Ty<Interner>),
    MissingFunctionDefinition(DefWithBodyId, Idx<Expr>),
    TypeMismatch(Option<TypeMismatch>),
    TypeError(&'static str),
    NotSupported(String),
    ContinueWithoutLoop,
    BreakWithoutLoop,
    Loop,
    ImplementationError(String),
    LangItemNotFound(LangItem),
    MutatingRvalue,
    UnresolvedLabel,
    UnresolvedUpvar(Place),
    InaccessibleLocal,
    GenericArgNotProvided(TypeOrConstParamId, Substitution<Interner>),
}

Variants

ConstEvalError(Box<str>, Box<ConstEvalError>)

LayoutError(LayoutError)

IncompleteExpr

IncompletePattern

TraitFunctionDefinition(TraitId, Name)

Trying to lower a trait function, instead of an implementation

UnresolvedName(String)

RecordLiteralWithoutPath

UnresolvedMethod(String)

UnresolvedField

UnsizedTemporary(Ty<Interner>)

MissingFunctionDefinition(DefWithBodyId, Idx<Expr>)

TypeMismatch(Option<TypeMismatch>)

TypeError(&'static str)

This should never happen. Type mismatch should catch everything.

NotSupported(String)

ContinueWithoutLoop

BreakWithoutLoop

Loop

ImplementationError(String)

Something that should never happen and is definitely a bug, but we don’t want to panic if it happened

LangItemNotFound(LangItem)

MutatingRvalue

UnresolvedLabel

UnresolvedUpvar(Place)

InaccessibleLocal

GenericArgNotProvided(TypeOrConstParamId, Substitution<Interner>)

Implementations

impl MirLowerError

pub fn pretty_print( &self, f: &mut String, db: &dyn HirDatabase, span_formatter: impl Fn(FileId, TextRange) -> String ) -> Result<(), Error>

Trait Implementations

impl Clone for MirLowerError

fn clone(&self) -> MirLowerError

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for MirLowerError

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

Formats the value using the given formatter.

impl From<LayoutError> for MirLowerError

fn from(value: LayoutError) -> MirLowerError

Converts to this type from the input type.

impl From<MirLowerError> for ConstEvalError

fn from(value: MirLowerError) -> ConstEvalError

Converts to this type from the input type.

impl PartialEq for MirLowerError

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

impl StructuralPartialEq for MirLowerError