Enum rustc_middle::mir::interpret::error::UnsupportedOpInfo
source · [−]pub enum UnsupportedOpInfo {
Unsupported(String),
PartialPointerOverwrite(Pointer<AllocId>),
PartialPointerCopy(Pointer<AllocId>),
ReadPointerAsBytes,
ThreadLocalStatic(DefId),
ReadExternStatic(DefId),
}
Expand description
Error information for when the program did something that might (or might not) be correct to do according to the Rust spec, but due to limitations in the interpreter, the operation could not be carried out. These limitations can differ between CTFE and the Miri engine, e.g., CTFE does not support dereferencing pointers at integral addresses.
Variants
Unsupported(String)
Free-form case. Only for errors that are never caught!
PartialPointerOverwrite(Pointer<AllocId>)
Overwriting parts of a pointer; the resulting state cannot be represented in our
Allocation
data structure. See https://github.com/rust-lang/miri/issues/2181.
PartialPointerCopy(Pointer<AllocId>)
Attempting to copy
parts of a pointer to somewhere else; the resulting state cannot be
represented in our Allocation
data structure. See
https://github.com/rust-lang/miri/issues/2181.
ReadPointerAsBytes
Encountered a pointer where we needed raw bytes.
ThreadLocalStatic(DefId)
Accessing thread local statics
ReadExternStatic(DefId)
Accessing an unsupported extern static.
Trait Implementations
Auto Trait Implementations
impl RefUnwindSafe for UnsupportedOpInfo
impl Send for UnsupportedOpInfo
impl Sync for UnsupportedOpInfo
impl Unpin for UnsupportedOpInfo
impl UnwindSafe for UnsupportedOpInfo
Blanket Implementations
sourceimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
sourceimpl<T, R> InternIteratorElement<T, R> for T
impl<T, R> InternIteratorElement<T, R> for T
type Output = R
fn intern_with<I, F>(iter: I, f: F) -> <T as InternIteratorElement<T, R>>::Outputwhere
I: Iterator<Item = T>,
F: FnOnce(&[T]) -> R,
sourceimpl<T> MaybeResult<T> for T
impl<T> MaybeResult<T> for T
sourceimpl<CTX, T> Value<CTX> for Twhere
CTX: DepContext,
impl<CTX, T> Value<CTX> for Twhere
CTX: DepContext,
default fn from_cycle_error(tcx: CTX) -> T
impl<'a, T> Captures<'a> for Twhere
T: ?Sized,
Layout
Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...)
attributes. Please see the Rust Reference’s “Type Layout” chapter for details on type layout guarantees.
Size: 32 bytes
Size for each variant:
Unsupported
: 28 bytesPartialPointerOverwrite
: 20 bytesPartialPointerCopy
: 20 bytesReadPointerAsBytes
: 0 bytesThreadLocalStatic
: 8 bytesReadExternStatic
: 8 bytes