mirror of
https://github.com/rust-lang/rust.git
synced 2026-04-27 18:57:42 +03:00
9b82a4fffe
ThreadId generation fallback path: avoid spurious yields Fixes https://github.com/rust-lang/miri/issues/4737 Alternative to https://github.com/rust-lang/rust/pull/149476 Cc `@orlp` `@joboet`