Macro miri::concurrency::sync::declare_id

source ·
macro_rules! declare_id {
    ($name: ident) => { ... };
}
Expand description

We cannot use the newtype_index! macro because we have to use 0 as a sentinel value meaning that the identifier is not assigned. This is because the pthreads static initializers initialize memory with zeros (see the src/shims/sync.rs file).