Enum MirEvalError

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

Variants

ConstEvalError(String, Box<ConstEvalError>)

LayoutError(LayoutError, Ty)

TargetDataLayoutNotAvailable(Arc<str>)

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)

MirLowerErrorForClosure(ClosureId, MirLowerError)

TypeIsUnsized(Ty, &'static str)

NotSupported(String)

InvalidConst(Const)

InFunction(Box<MirEvalError>, Vec<(Either<FunctionId, ClosureId>, MirSpan, DefWithBodyId)>)

ExecutionLimitExceeded

StackOverflow

InvalidVTableId(usize)

FIXME: Fold this into InternalError

CoerceUnsizedError(Ty)

?

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, edition: Edition, ) -> Result<(), Error>

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

Trait Implementations

impl Clone for MirEvalError

fn clone(&self) -> MirEvalError

Returns a copy 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 From<MirEvalError> for ConstEvalError

fn from(value: MirEvalError) -> Self

Converts to this type from the input type.

impl PartialEq for MirEvalError

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

impl StructuralPartialEq for MirEvalError