miri
1.83.0-nightly
(2bd1e894e 2024-09-26)
SyncId
Required Methods
from_u32
to_u32
Object Safety
Implementors
In miri::
concurrency::
sync
miri
::
concurrency
::
sync
Trait
SyncId
Copy item path
source
pub trait SyncId { // Required methods fn
from_u32
(id:
u32
) -> Self;
fn
to_u32
(&self) ->
u32
; }
Required Methods
§
source
fn
from_u32
(id:
u32
) -> Self
source
fn
to_u32
(&self) ->
u32
Object Safety
§
This trait is
not
object safe
.
Implementors
§
source
§
impl
SyncId
for
InitOnceId
source
§
impl
SyncId
for
CondvarId
source
§
impl
SyncId
for
MutexId
source
§
impl
SyncId
for
RwLockId