diff options
| author | bors <bors@rust-lang.org> | 2023-08-05 07:46:12 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2023-08-05 07:46:12 +0000 |
| commit | d1174a974e97017de75a33e7b878e13acdd3d5d5 (patch) | |
| tree | bd69df7dcce8884b3909ac0ae3d2de47750a420a /tests/rustdoc-js-std/basic.js | |
| parent | 3d9e8f16b31586f1d4f9e9a0b9cd626d63454ed8 (diff) | |
| parent | 36716dc21c2a1a13736e99580bd546067a401b9c (diff) | |
| download | rust-d1174a974e97017de75a33e7b878e13acdd3d5d5.tar.gz rust-d1174a974e97017de75a33e7b878e13acdd3d5d5.zip | |
Auto merge of #3013 - RalfJung:tree-borrow-data-races, r=RalfJung
tree borrows: consider some retags as writes for the purpose of data races Turns out not all retags can be freely reordered. Those that cannot should be considered writes for the data race model, to aid with optimizations. Only the last commit is the actual change; the ones before that are some refactoring I couldn't stop myself from doing.
Diffstat (limited to 'tests/rustdoc-js-std/basic.js')
0 files changed, 0 insertions, 0 deletions