diff options
| author | 许杰友 Jieyou Xu (Joe) <39484203+jieyouxu@users.noreply.github.com> | 2024-05-29 03:25:09 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-05-29 03:25:09 +0100 |
| commit | 305137de1825ca44d6aece42fcaffa8bc5bfb3be (patch) | |
| tree | 38e302a5aaadd3df8994b5f8409fbfb1a40e333a /compiler/rustc_errors/src/snippet.rs | |
| parent | bc1a069ec54a71d57604dbcf4b5bf204cc068033 (diff) | |
| parent | 869306418d47f9755f81e1dec9749a167e98d155 (diff) | |
| download | rust-305137de1825ca44d6aece42fcaffa8bc5bfb3be.tar.gz rust-305137de1825ca44d6aece42fcaffa8bc5bfb3be.zip | |
Rollup merge of #125633 - RalfJung:miri-no-copy, r=saethlin
miri: avoid making a full copy of all new allocations Hopefully fixes https://github.com/rust-lang/miri/issues/3637 r? ``@saethlin``
Diffstat (limited to 'compiler/rustc_errors/src/snippet.rs')
0 files changed, 0 insertions, 0 deletions