Struct miri::InitOnceId
source · pub struct InitOnceId(NonZeroU32);
Expand description
0 is used to indicate that the id was not yet assigned and, therefore, is not a valid identifier.
Tuple Fields§
§0: NonZeroU32
Implementations§
source§impl InitOnceId
impl InitOnceId
pub fn to_u32_scalar(&self) -> Scalar<Provenance>
Trait Implementations§
source§impl Clone for InitOnceId
impl Clone for InitOnceId
source§fn clone(&self) -> InitOnceId
fn clone(&self) -> InitOnceId
Returns a copy of the value. Read more
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresource§impl Debug for InitOnceId
impl Debug for InitOnceId
source§impl Hash for InitOnceId
impl Hash for InitOnceId
source§impl Idx for InitOnceId
impl Idx for InitOnceId
source§impl Ord for InitOnceId
impl Ord for InitOnceId
source§fn cmp(&self, other: &InitOnceId) -> Ordering
fn cmp(&self, other: &InitOnceId) -> Ordering
1.21.0 · source§fn max(self, other: Self) -> Selfwhere
Self: Sized,
fn max(self, other: Self) -> Selfwhere Self: Sized,
Compares and returns the maximum of two values. Read more
source§impl PartialEq<InitOnceId> for InitOnceId
impl PartialEq<InitOnceId> for InitOnceId
source§fn eq(&self, other: &InitOnceId) -> bool
fn eq(&self, other: &InitOnceId) -> bool
This method tests for
self
and other
values to be equal, and is used
by ==
.source§impl PartialOrd<InitOnceId> for InitOnceId
impl PartialOrd<InitOnceId> for InitOnceId
source§fn partial_cmp(&self, other: &InitOnceId) -> Option<Ordering>
fn partial_cmp(&self, other: &InitOnceId) -> Option<Ordering>
1.0.0 · source§fn le(&self, other: &Rhs) -> bool
fn le(&self, other: &Rhs) -> bool
This method tests less than or equal to (for
self
and other
) and is used by the <=
operator. Read moreimpl Copy for InitOnceId
impl Eq for InitOnceId
impl StructuralEq for InitOnceId
impl StructuralPartialEq for InitOnceId
Auto Trait Implementations§
impl RefUnwindSafe for InitOnceId
impl Send for InitOnceId
impl Sync for InitOnceId
impl Unpin for InitOnceId
impl UnwindSafe for InitOnceId
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: 4 bytes