diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2023-05-27 13:38:31 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-05-27 13:38:31 +0200 |
| commit | ddb5424569b1d598adf9010cece8d49968c357e6 (patch) | |
| tree | 4efdcfc21f8555404bad0293057723e21e8c0412 /compiler/rustc_mir_transform/src/coverage/counters.rs | |
| parent | 859068c628cb14622c58aa5d05959530b05ffee1 (diff) | |
| parent | 844c1cc5fec38f691a2ffb53ef3366f25cf7b02b (diff) | |
| download | rust-ddb5424569b1d598adf9010cece8d49968c357e6.tar.gz rust-ddb5424569b1d598adf9010cece8d49968c357e6.zip | |
Rollup merge of #111952 - cjgillot:drop-replace, r=WaffleLapkin
Remove DesugaringKind::Replace. A simple boolean flag is enough.
Diffstat (limited to 'compiler/rustc_mir_transform/src/coverage/counters.rs')
0 files changed, 0 insertions, 0 deletions