Enum MirEvalError 

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

Variants

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

LayoutError(LayoutError, Ty<'db>)

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, MirLowerError<'db>)

TypeIsUnsized(Ty<'db>, &'static str)

NotSupported(String)

InvalidConst(Const<'db>)

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

ExecutionLimitExceeded

StackOverflow

InvalidVTableId(usize)

FIXME: Fold this into InternalError

CoerceUnsizedError(Ty<'db>)

?

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 + 'static), 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<(), Error>

Formats the value using the given formatter.

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

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

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> Eq for MirEvalError<'db>

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