Enum MirEvalError 

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

Variants

ConstEvalError(String, Box<ConstEvalError>)

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)

MirLowerErrorForClosure(InternedClosureId, MirLowerError)

TypeIsUnsized(StoredTy, &'static str)

NotSupported(String)

InvalidConst(StoredConst)

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

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 + 'static), span_formatter: impl Fn(FileId, TextRange) -> String, display_target: DisplayTarget, ) -> Result<(), Error>

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

Trait Implementations

impl Clone for MirEvalError

fn clone(&self) -> MirEvalError

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

fn from(value: MirEvalError) -> ConstEvalError

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