Enum miri::ValidationErrorKind
source · 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
PtrToStatic
Fields
§
ptr_kind: PointerKind
PtrToMut
Fields
§
ptr_kind: PointerKind
MutableRefInConst
NullFnPtr
NeverVal
NullablePtrOutOfRange
PtrOutOfRange
OutOfRange
UnsafeCell
UninhabitedVal
InvalidEnumTag
UninhabitedEnumVariant
Uninit
Fields
§
expected: ExpectedKind
InvalidVTablePtr
InvalidMetaSliceTooLarge
Fields
§
ptr_kind: PointerKind
InvalidMetaTooLarge
Fields
§
ptr_kind: PointerKind
UnalignedPtr
NullPtr
Fields
§
ptr_kind: PointerKind
DanglingPtrNoProvenance
DanglingPtrOutOfBounds
Fields
§
ptr_kind: PointerKind
DanglingPtrUseAfterFree
Fields
§
ptr_kind: PointerKind
InvalidBool
InvalidChar
InvalidFnPtr
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§
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
Mutably borrows from an owned value. Read more
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: 80 bytes
Size for each variant:
PointerAsInt
: 1 bytePartialPointer
: 0 bytesPtrToUninhabited
: 15 bytesPtrToStatic
: 1 bytePtrToMut
: 1 byteMutableRefInConst
: 0 bytesNullFnPtr
: 0 bytesNeverVal
: 0 bytesNullablePtrOutOfRange
: 63 bytesPtrOutOfRange
: 63 bytesOutOfRange
: 79 bytesUnsafeCell
: 0 bytesUninhabitedVal
: 15 bytesInvalidEnumTag
: 31 bytesUninhabitedEnumVariant
: 0 bytesUninit
: 1 byteInvalidVTablePtr
: 31 bytesInvalidMetaSliceTooLarge
: 1 byteInvalidMetaTooLarge
: 1 byteUnalignedPtr
: 23 bytesNullPtr
: 1 byteDanglingPtrNoProvenance
: 31 bytesDanglingPtrOutOfBounds
: 1 byteDanglingPtrUseAfterFree
: 1 byteInvalidBool
: 31 bytesInvalidChar
: 31 bytesInvalidFnPtr
: 31 bytes