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

pub enum UnsupportedOpInfo {
    Unsupported(String),
    NoMirFor(DefId),
    ReadPointerAsBytes,
    ReadBytesAsPointer,
    ThreadLocalStatic(DefId),
    ReadExternStatic(DefId),
}

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!

NoMirFor(DefId)

Could not find MIR for a function.

ReadPointerAsBytes

Encountered a pointer where we needed raw bytes.

ReadBytesAsPointer

Encountered raw bytes where we needed a pointer.

ThreadLocalStatic(DefId)

Accessing thread local statics

ReadExternStatic(DefId)

Accessing an unsupported extern static.

Trait Implementations

`impl Display for UnsupportedOpInfo`[src]

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

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]

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

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

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

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

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

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

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

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

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

`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]

`impl<T, U> TryFrom 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>::Error>`[src]

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

`type Error = >::Error`

The type returned in the event of a conversion error.

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

Variants

Trait Implementations

`impl Display for UnsupportedOpInfo`[src]

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

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]

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

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

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

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

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

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

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

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

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

`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]

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

`type Error = Infallible`

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

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

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

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

`impl<T> WithConstness for T`[src]

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

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

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

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

Variants

Trait Implementations

impl Display for UnsupportedOpInfo[src]

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

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]

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

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

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

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

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

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

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

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

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

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]

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

type Error = Infallible

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

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

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

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

impl<T> WithConstness for T[src]

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

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

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

`impl Display for UnsupportedOpInfo`[src]

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

`impl RefUnwindSafe for UnsupportedOpInfo`

`impl Send for UnsupportedOpInfo`

`impl Sync for UnsupportedOpInfo`

`impl Unpin for UnsupportedOpInfo`

`impl UnwindSafe for UnsupportedOpInfo`

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

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

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

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

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

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

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

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

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

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

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

`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]

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

`type Error = Infallible`

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

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

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

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

`impl<T> WithConstness for T`[src]

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

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

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