diff options
| author | Neven Villani <vanille@crans.org> | 2023-08-31 20:14:33 +0200 |
|---|---|---|
| committer | Neven Villani <vanille@crans.org> | 2023-09-19 17:31:53 +0200 |
| commit | 3ca6c4916e44377647fa2191d8763990d5523d1c (patch) | |
| tree | 509ab1797530748ae7f243289898b1e54203563f /tests/rustdoc-js-std/parser-errors.js | |
| parent | 6e4fd87002c7ebf24a8c97dfad0f0df2701cfb4c (diff) | |
| download | rust-3ca6c4916e44377647fa2191d8763990d5523d1c.tar.gz rust-3ca6c4916e44377647fa2191d8763990d5523d1c.zip | |
Issue of the current model: spurious reads are not possible
This occurs because in some interleavings, inserting a spurious read turns a Reserved into Frozen. We show here an exhaustive test (including arbitrary unknown code in two different threads) that makes this issue observable.
Diffstat (limited to 'tests/rustdoc-js-std/parser-errors.js')
0 files changed, 0 insertions, 0 deletions