Enum rustc_middle::mir::interpret::UnsupportedOpInfo[−][src]

pub enum UnsupportedOpInfo {
    Unsupported(String),
    NoMirFor(DefId),
    ReadPointerAsBytes,
    ReadBytesAsPointer,
    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)
Expand description

Free-form case. Only for errors that are never caught!

NoMirFor(DefId)
Expand description

Could not find MIR for a function.

ReadPointerAsBytes
Expand description

Encountered a pointer where we needed raw bytes.

ReadBytesAsPointer
Expand description

Encountered raw bytes where we needed a pointer.

ThreadLocalStatic(DefId)
Expand description

Accessing thread local statics

ReadExternStatic(DefId)
Expand description

Accessing an unsupported extern static.

Trait Implementations

impl Display for UnsupportedOpInfo[src]

fn fmt(&self, f: &mut Formatter<'_>) -> Result[src]

Formats the value using the given formatter. Read more

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

impl<T> Any for T where
    T: 'static + ?Sized, [src]

pub fn type_id(&self) -> TypeId[src]

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T where
    T: ?Sized, [src]

pub fn borrow(&self) -> &T[src]

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T where
    T: ?Sized, [src]

pub fn borrow_mut(&mut self) -> &mut T[src]

Mutably borrows from an owned value. Read more

impl<T> From<T> for T[src]

pub fn from(t: T) -> T[src]

Performs the conversion.

impl<T, U> Into<U> for T where
    U: From<T>, [src]

pub fn into(self) -> U[src]

Performs the conversion.

impl<T> MaybeResult<T> for T[src]

type Error = !

pub fn from(Result<T, <T as MaybeResult<T>>::Error>) -> T[src]

pub fn to_result(self) -> Result<T, <T as MaybeResult<T>>::Error>[src]

impl<T> ToString for T where
    T: Display + ?Sized, [src]

pub default fn to_string(&self) -> String[src]

Converts the given value to a String. Read more

impl<T, U> TryFrom<U> for T where
    U: Into<T>, [src]

type Error = Infallible

The type returned in the event of a conversion error.

pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>[src]

Performs the conversion.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, [src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

pub fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>[src]

Performs the conversion.

impl<T> WithConstness for T[src]

fn with_constness(self, constness: Constness) -> ConstnessAnd<Self>[src]

fn with_const(self) -> ConstnessAnd<Self>[src]

fn without_const(self) -> ConstnessAnd<Self>[src]

impl<'a, T> Captures<'a> for T where
    T: ?Sized, [src]