miri
1.79.0-nightly
(e3181b091 2024-04-18)
SyncId
Required Methods
from_u32
to_u32
Object Safety
Implementors
In crate miri
?
Settings
Trait
miri
::
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