diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2022-12-22 01:01:15 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-12-22 01:01:15 +0100 |
| commit | d0d0ccdca2a32e850b8611f3738e00e11d13123e (patch) | |
| tree | a34e1632e45e079dba7b47203103bd0b30b86431 /compiler/rustc_mir_transform/src/coverage/mod.rs | |
| parent | f340e689077d98a84ca6b147f91d79ad02b73da8 (diff) | |
| parent | 7c4c62047504aff1e17d4b2686116fb4de04797c (diff) | |
| download | rust-d0d0ccdca2a32e850b8611f3738e00e11d13123e.tar.gz rust-d0d0ccdca2a32e850b8611f3738e00e11d13123e.zip | |
Rollup merge of #106012 - JakobDegen:retag-raw, r=RalfJung
Clarify that raw retags are not permitted in Mir Not sure when this changed, but documentation and the validator needed to be updated. This also removes raw retags from custom mir. cc rust-lang/miri#2735 r? `@RalfJung`
Diffstat (limited to 'compiler/rustc_mir_transform/src/coverage/mod.rs')
0 files changed, 0 insertions, 0 deletions