Enum miri::interpret::ValidationErrorKind
source · pub enum ValidationErrorKind<'tcx> {
Show 29 variants
PointerAsInt {
expected: ExpectedKind,
},
PartialPointer,
PtrToUninhabited {
ptr_kind: PointerKind,
ty: Ty<'tcx>,
},
PtrToStatic {
ptr_kind: PointerKind,
},
ConstRefToMutable,
ConstRefToExtern,
MutableRefToImmutable,
UnsafeCellInImmutable,
NullFnPtr,
NeverVal,
NullablePtrOutOfRange {
range: WrappingRange,
max_value: u128,
},
PtrOutOfRange {
range: WrappingRange,
max_value: u128,
},
OutOfRange {
value: String,
range: WrappingRange,
max_value: u128,
},
UninhabitedVal {
ty: Ty<'tcx>,
},
InvalidEnumTag {
value: String,
},
UninhabitedEnumVariant,
Uninit {
expected: ExpectedKind,
},
InvalidVTablePtr {
value: String,
},
InvalidMetaWrongTrait {
expected_trait: &'tcx RawList<(), Binder<'tcx, ExistentialPredicate<'tcx>>>,
vtable_trait: Option<Binder<'tcx, ExistentialTraitRef<'tcx>>>,
},
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
ConstRefToMutable
ConstRefToExtern
MutableRefToImmutable
UnsafeCellInImmutable
NullFnPtr
NeverVal
NullablePtrOutOfRange
PtrOutOfRange
OutOfRange
UninhabitedVal
InvalidEnumTag
UninhabitedEnumVariant
Uninit
Fields
§
expected: ExpectedKind
InvalidVTablePtr
InvalidMetaWrongTrait
Fields
§
expected_trait: &'tcx RawList<(), Binder<'tcx, ExistentialPredicate<'tcx>>>
§
vtable_trait: Option<Binder<'tcx, ExistentialTraitRef<'tcx>>>
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> Freeze for ValidationErrorKind<'tcx>
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
: 16 bytesPtrToStatic
: 1 byteConstRefToMutable
: 0 bytesConstRefToExtern
: 0 bytesMutableRefToImmutable
: 0 bytesUnsafeCellInImmutable
: 0 bytesNullFnPtr
: 0 bytesNeverVal
: 0 bytesNullablePtrOutOfRange
: 48 bytesPtrOutOfRange
: 48 bytesOutOfRange
: 80 bytesUninhabitedVal
: 8 bytesInvalidEnumTag
: 24 bytesUninhabitedEnumVariant
: 0 bytesUninit
: 1 byteInvalidVTablePtr
: 24 bytesInvalidMetaWrongTrait
: 32 bytesInvalidMetaSliceTooLarge
: 1 byteInvalidMetaTooLarge
: 1 byteUnalignedPtr
: 24 bytesNullPtr
: 1 byteDanglingPtrNoProvenance
: 32 bytesDanglingPtrOutOfBounds
: 1 byteDanglingPtrUseAfterFree
: 1 byteInvalidBool
: 24 bytesInvalidChar
: 24 bytesInvalidFnPtr
: 24 bytes