pub enum ConstantByte<'tcx> {
Uninit,
Value(u8),
Provenance(ConstantByteProvenance<'tcx>, u64, u8),
}Expand description
A byte of an evaluated constant, in the MiniRust sense.
Variants§
Uninit
An uninitialized byte (e.g. padding, or the bytes of a union not covered by the active field).
Value(u8)
A concrete byte value.
Provenance(ConstantByteProvenance<'tcx>, u64, u8)
A byte that is part of a pointer with provenance, at the given offset into the pointee
allocation. The u8 is the index of this byte within the pointer.
Trait Implementations§
Source§impl<'tcx> Clone for ConstantByte<'tcx>
impl<'tcx> Clone for ConstantByte<'tcx>
Source§fn clone(&self) -> ConstantByte<'tcx>
fn clone(&self) -> ConstantByte<'tcx>
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl<'tcx> Debug for ConstantByte<'tcx>
impl<'tcx> Debug for ConstantByte<'tcx>
impl<'tcx> Eq for ConstantByte<'tcx>
Source§impl<'tcx> Hash for ConstantByte<'tcx>
impl<'tcx> Hash for ConstantByte<'tcx>
Source§impl<'tcx> PartialEq for ConstantByte<'tcx>
impl<'tcx> PartialEq for ConstantByte<'tcx>
impl<'tcx> StructuralPartialEq for ConstantByte<'tcx>
Auto Trait Implementations§
impl<'tcx> DynSend for ConstantByte<'tcx>
impl<'tcx> DynSync for ConstantByte<'tcx>
impl<'tcx> Freeze for ConstantByte<'tcx>
impl<'tcx> RefUnwindSafe for ConstantByte<'tcx>
impl<'tcx> Send for ConstantByte<'tcx>
impl<'tcx> Sync for ConstantByte<'tcx>
impl<'tcx> Unpin for ConstantByte<'tcx>
impl<'tcx> UnsafeUnpin for ConstantByte<'tcx>
impl<'tcx> UnwindSafe for ConstantByte<'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
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> Dedup for T
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Checks if this value is equivalent to the given key. Read more
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key and return true if they are equal.impl<T> HashConsable for T
§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more