Enum hir_ty::mir::MirEvalError
source · pub enum MirEvalError {
Show 16 variants
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§
Trait Implementations§
source§impl Clone for MirEvalError
impl Clone for MirEvalError
source§fn clone(&self) -> MirEvalError
fn clone(&self) -> MirEvalError
Returns a copy of the value. Read more
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresource§impl Debug for MirEvalError
impl Debug for MirEvalError
source§impl From<MirEvalError> for ConstEvalError
impl From<MirEvalError> for ConstEvalError
source§fn from(value: MirEvalError) -> Self
fn from(value: MirEvalError) -> Self
Converts to this type from the input type.
source§impl PartialEq for MirEvalError
impl PartialEq for MirEvalError
impl Eq for MirEvalError
impl StructuralPartialEq for MirEvalError
Auto Trait Implementations§
impl Freeze for MirEvalError
impl RefUnwindSafe for MirEvalError
impl Send for MirEvalError
impl Sync for MirEvalError
impl Unpin for MirEvalError
impl UnwindSafe for MirEvalError
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
source§unsafe fn clone_to_uninit(&self, dst: *mut T)
unsafe fn clone_to_uninit(&self, dst: *mut T)
🔬This is a nightly-only experimental API. (
clone_to_uninit
)§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Checks if this value is equivalent to the given key. Read more
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key
and return true
if they are equal.§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
source§impl<T> IntoEither for T
impl<T> IntoEither for T
source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self
into a Left
variant of Either<Self, Self>
if into_left
is true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moresource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self
into a Left
variant of Either<Self, Self>
if into_left(&self)
returns true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read more