Closed
Description
See discussion on #32538
https://github.com/rust-lang/rust/blob/master/src/doc/book/concurrency.md#safe-shared-mutable-state provides a program that could have a data race, but doesn't -- each thread accesses an independent array member.
We should use a program that does in fact have a data race; perhaps something that iterates over the same array twice or accesses random keys.