pub enum ValidationErrorKind<'tcx> {
Show 28 variants
PointerAsInt {
expected: ExpectedKind,
},
PartialPointer,
PtrToUninhabited {
ptr_kind: PointerKind,
ty: Ty<'tcx>,
},
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 {
vtable_dyn_type: &'tcx RawList<(), Binder<TyCtxt<'tcx>, ExistentialPredicate<TyCtxt<'tcx>>>>,
expected_dyn_type: &'tcx RawList<(), Binder<TyCtxt<'tcx>, ExistentialPredicate<TyCtxt<'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
ConstRefToMutable
ConstRefToExtern
MutableRefToImmutable
UnsafeCellInImmutable
NullFnPtr
NeverVal
NullablePtrOutOfRange
PtrOutOfRange
OutOfRange
UninhabitedVal
InvalidEnumTag
UninhabitedEnumVariant
Uninit
Fields
§
expected: ExpectedKind
InvalidVTablePtr
InvalidMetaWrongTrait
Fields
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