Merge #897

897: Miri: Fix thread leak in WaitGroup doctest r=taiki-e a=taiki-e

https://github.com/crossbeam-rs/crossbeam/runs/7849290051?check_suite_focus=true

Co-authored-by: Taiki Endo <[email protected]>

Author: bors[bot]

Cargo.toml

@@ -79,7 +79,3 @@ members = [
   "crossbeam-skiplist",
   "crossbeam-utils",
 ]
-
-[patch.crates-io]
-# https://github.com/matklad/once_cell/pull/185
-once_cell = { git = "https://github.com/taiki-e/once_cell.git", branch = "provenance" }

crossbeam-utils/src/sync/wait_group.rs

@@ -39,6 +39,7 @@ use std::fmt;
 ///
 /// // Block until all threads have finished their work.
 /// wg.wait();
+/// # std::thread::sleep(std::time::Duration::from_millis(500)); // wait for background threads closed: https://github.com/rust-lang/miri/issues/1371
 /// ```
 ///
 /// [`Barrier`]: std::sync::Barrier