diff options
| author | bors <bors@rust-lang.org> | 2023-12-03 09:49:42 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2023-12-03 09:49:42 +0000 |
| commit | 2a316c410d16854e4c05095243b50cd0531d1d60 (patch) | |
| tree | e87fd1943290a7bf1ec7b5c108ddac7e3b9206fe | |
| parent | 6318e9dd89c6719330b4237db1a70daaacb8c527 (diff) | |
| parent | 323ca94d921834bc02bb960dc0473aa8250fa49d (diff) | |
| download | rust-2a316c410d16854e4c05095243b50cd0531d1d60.tar.gz rust-2a316c410d16854e4c05095243b50cd0531d1d60.zip | |
Auto merge of #3203 - RalfJung:trophy, r=RalfJung
new trophy case entry Cc https://github.com/rust-lang/rust/pull/118460
| -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): |