# 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