Skip to content

Fix soundness issue in scoped threads.#94644

Merged
bors merged 4 commits into
rust-lang:masterfrom
m-ou-se:scoped-threads-drop-soundness
Mar 10, 2022
Merged

Fix soundness issue in scoped threads.#94644
bors merged 4 commits into
rust-lang:masterfrom
m-ou-se:scoped-threads-drop-soundness

Add soundness test for dropping scoped thread results before joining.

b97d875
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs