pub enum UnsupportedOpInfo {
Unsupported(String),
UnsizedLocal,
OverwritePartialPointer(Pointer<AllocId>),
ReadPartialPointer(Pointer<AllocId>),
ReadPointerAsInt(Option<(AllocId, BadBytesAccess)>),
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!
UnsizedLocal
Unsized local variables.
OverwritePartialPointer(Pointer<AllocId>)
Overwriting parts of a pointer; without knowing absolute addresses, the resulting state cannot be represented by the CTFE interpreter.
ReadPartialPointer(Pointer<AllocId>)
Attempting to read or copy parts of a pointer to somewhere else; without knowing absolute addresses, the resulting state cannot be represented by the CTFE interpreter.
ReadPointerAsInt(Option<(AllocId, BadBytesAccess)>)
Encountered a pointer where we needed an integer.
ThreadLocalStatic(DefId)
Accessing thread local statics
ReadExternStatic(DefId)
Accessing an unsupported extern static.
Trait Implementations§
source§impl ReportErrorExt for UnsupportedOpInfo
impl ReportErrorExt for UnsupportedOpInfo
source§fn diagnostic_message(&self) -> DiagnosticMessage
fn diagnostic_message(&self) -> DiagnosticMessage
fn add_args<G: EmissionGuarantee>( self, _: &Handler, builder: &mut DiagnosticBuilder<'_, G> )
fn debug(self) -> Stringwhere Self: Sized,
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§
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
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: 48 bytes
Size for each variant:
Unsupported
: 28 bytesUnsizedLocal
: 0 bytesOverwritePartialPointer
: 20 bytesReadPartialPointer
: 20 bytesReadPointerAsInt
: 44 bytesThreadLocalStatic
: 8 bytesReadExternStatic
: 8 bytes