A data race that doesn't compile (in Rust) (opens in new tab)

How I taught Rust’s type system to refuse my own parallel-Redux data races, with one false start and one mind-shift.