Enum paralegal_spdg::rustc::mir::interpret::ValidationErrorKind

pub enum ValidationErrorKind<'tcx> {
Show 27 variants    PointerAsInt {
        expected: ExpectedKind,
    },
    PartialPointer,
    PtrToUninhabited {
        ptr_kind: PointerKind,
        ty: Ty<'tcx>,
    },
    PtrToStatic {
        ptr_kind: PointerKind,
    },
    PtrToMut {
        ptr_kind: PointerKind,
    },
    MutableRefInConst,
    NullFnPtr,
    NeverVal,
    NullablePtrOutOfRange {
        range: WrappingRange,
        max_value: u128,
    },
    PtrOutOfRange {
        range: WrappingRange,
        max_value: u128,
    },
    OutOfRange {
        value: String,
        range: WrappingRange,
        max_value: u128,
    },
    UnsafeCell,
    UninhabitedVal {
        ty: Ty<'tcx>,
    },
    InvalidEnumTag {
        value: String,
    },
    UninhabitedEnumVariant,
    Uninit {
        expected: ExpectedKind,
    },
    InvalidVTablePtr {
        value: String,
    },
    InvalidMetaSliceTooLarge {
        ptr_kind: PointerKind,
    },
    InvalidMetaTooLarge {
        ptr_kind: PointerKind,
    },
    UnalignedPtr {
        ptr_kind: PointerKind,
        required_bytes: u64,
        found_bytes: u64,
    },
    NullPtr {
        ptr_kind: PointerKind,
    },
    DanglingPtrNoProvenance {
        ptr_kind: PointerKind,
        pointer: String,
    },
    DanglingPtrOutOfBounds {
        ptr_kind: PointerKind,
    },
    DanglingPtrUseAfterFree {
        ptr_kind: PointerKind,
    },
    InvalidBool {
        value: String,
    },
    InvalidChar {
        value: String,
    },
    InvalidFnPtr {
        value: String,
    },
}

Variants§

PointerAsInt

Fields

§expected: ExpectedKind

PartialPointer

PtrToUninhabited

Fields

§ptr_kind: PointerKind

§ty: Ty<'tcx>

PtrToStatic

Fields

§ptr_kind: PointerKind

PtrToMut

Fields

§ptr_kind: PointerKind

MutableRefInConst

NullFnPtr

NeverVal

NullablePtrOutOfRange

Fields

§range: WrappingRange

§max_value: u128

PtrOutOfRange

Fields

§range: WrappingRange

§max_value: u128

OutOfRange

Fields

§value: String

§range: WrappingRange

§max_value: u128

UnsafeCell

UninhabitedVal

Fields

§ty: Ty<'tcx>

InvalidEnumTag

Fields

§value: String

UninhabitedEnumVariant

Uninit

Fields

§expected: ExpectedKind

InvalidVTablePtr

Fields

§value: String

InvalidMetaSliceTooLarge

Fields

§ptr_kind: PointerKind

InvalidMetaTooLarge

Fields

§ptr_kind: PointerKind

UnalignedPtr

Fields

§ptr_kind: PointerKind

§required_bytes: u64

§found_bytes: u64

NullPtr

Fields

§ptr_kind: PointerKind

DanglingPtrNoProvenance

Fields

§ptr_kind: PointerKind

§pointer: String

DanglingPtrOutOfBounds

Fields

§ptr_kind: PointerKind

DanglingPtrUseAfterFree

Fields

§ptr_kind: PointerKind

InvalidBool

Fields

§value: String

InvalidChar

Fields

§value: String

InvalidFnPtr

Fields

§value: String

Auto Trait Implementations§

impl<'tcx> !RefUnwindSafe for ValidationErrorKind<'tcx>

impl<'tcx> !Send for ValidationErrorKind<'tcx>

impl<'tcx> !Sync for ValidationErrorKind<'tcx>

impl<'tcx> Unpin for ValidationErrorKind<'tcx>

impl<'tcx> !UnwindSafe for ValidationErrorKind<'tcx>

Blanket Implementations§

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

impl<T, U> Into<U> for Twhere U: From<T>,

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

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

Performs the conversion.

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

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

The type returned in the event of a conversion error.

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

Performs the conversion.