miri
1.77.2
(25ef9e3d8 2024-04-09)
SyncId
Required Methods
from_u32
to_u32
Object Safety
Implementors
In crate miri
?
Trait
miri
::
SyncId
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