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).