rust-bug-repo Rust bug repository for double-lock and use-after-free in PLDI'20 double lock bugs Switch to "double-lock" branch; open the directory "double-lock"