diff options
| author | Ralf Jung <post@ralfj.de> | 2023-12-03 10:45:10 +0100 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2023-12-03 10:47:59 +0100 |
| commit | 323ca94d921834bc02bb960dc0473aa8250fa49d (patch) | |
| tree | e87fd1943290a7bf1ec7b5c108ddac7e3b9206fe /src | |
| parent | 6318e9dd89c6719330b4237db1a70daaacb8c527 (diff) | |
| download | rust-323ca94d921834bc02bb960dc0473aa8250fa49d.tar.gz rust-323ca94d921834bc02bb960dc0473aa8250fa49d.zip | |
new trophy case entry
Diffstat (limited to 'src')
| -rw-r--r-- | src/tools/miri/README.md | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/tools/miri/README.md b/src/tools/miri/README.md index aa0b791bd05..3dee742fa0d 100644 --- a/src/tools/miri/README.md +++ b/src/tools/miri/README.md @@ -589,6 +589,7 @@ Definite bugs found: * [`regex` incorrectly handling unaligned `Vec<u8>` buffers](https://www.reddit.com/r/rust/comments/vq3mmu/comment/ienc7t0?context=3) * [Incorrect use of `compare_exchange_weak` in `once_cell`](https://github.com/matklad/once_cell/issues/186) * [Dropping with unaligned pointers in `vec::IntoIter`](https://github.com/rust-lang/rust/pull/106084) +* [Deallocating with the wrong layout in new specializations for in-place `Iterator::collect`](https://github.com/rust-lang/rust/pull/118460) Violations of [Stacked Borrows] found that are likely bugs (but Stacked Borrows is currently just an experiment): |