Enum MirEvalError 

pub enum MirEvalError<'db> {
    ConstEvalError(String, Box<ConstEvalError<'db>>),
    LayoutError(LayoutError, StoredTy),
    TargetDataLayoutNotAvailable(TargetLoadError),
    UndefinedBehavior(String),
    Panic(String),
    MirLowerError(FunctionId, MirLowerError<'db>),
    MirLowerErrorForClosure(InternedClosureId<'db>, MirLowerError<'db>),
    TypeIsUnsized(StoredTy, &'static str),
    NotSupported(String),
    InvalidConst,
    InFunction(Box<MirEvalError<'db>>, Vec<(Either<FunctionId, InternedClosureId<'db>>, MirSpan, InferBodyId<'db>)>),
    ExecutionLimitExceeded,
    StackOverflow,
    InvalidVTableId(usize),
    CoerceUnsizedError(StoredTy),
    InternalError(Box<str>),
}

Variants

ConstEvalError(String, Box<ConstEvalError<'db>>)

LayoutError(LayoutError, StoredTy)

TargetDataLayoutNotAvailable(TargetLoadError)

UndefinedBehavior(String)

Means that code had undefined behavior. We don’t try to actively detect UB, but if it was detected then use this type of error.

Panic(String)

MirLowerError(FunctionId, MirLowerError<'db>)

MirLowerErrorForClosure(InternedClosureId<'db>, MirLowerError<'db>)

TypeIsUnsized(StoredTy, &'static str)

NotSupported(String)

InvalidConst

InFunction(Box<MirEvalError<'db>>, Vec<(Either<FunctionId, InternedClosureId<'db>>, MirSpan, InferBodyId<'db>)>)

ExecutionLimitExceeded

StackOverflow

InvalidVTableId(usize)

FIXME: Fold this into InternalError

CoerceUnsizedError(StoredTy)

?

InternalError(Box<str>)

These should not occur, usually indicates a bug in mir lowering.

Implementations

impl MirEvalError<'_>

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

pub fn is_panic(&self) -> Option<&str>

Trait Implementations

impl<'db> Clone for MirEvalError<'db>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for MirEvalError<'_>

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

Formats the value using the given formatter.

impl<'db> From<MirEvalError<'db>> for ConstEvalError<'db>

fn from(value: MirEvalError<'db>) -> Self

Converts to this type from the input type.

impl<'db> PartialEq for MirEvalError<'db>

fn eq(&self, other: &MirEvalError<'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 MirEvalError<'db>

where InternedClosureId<'db>: Update,

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

Returns

impl<'db> Eq for MirEvalError<'db>

impl<'db> StructuralPartialEq for MirEvalError<'db>