diff options
| author | Matthias Krüger <476013+matthiaskrgr@users.noreply.github.com> | 2025-04-18 05:16:29 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-04-18 05:16:29 +0200 |
| commit | ed892e72dd05c6dbbd425343f84d1c1d348a898d (patch) | |
| tree | 1104c9ffee0578528a05a2c812945639688a6aa7 /compiler/rustc_mir_transform/src/coverage/counters.rs | |
| parent | 66dd1729616ddf527f3571104a964dfd56d64bc1 (diff) | |
| parent | 097c9c75423db9b11f16300566118dc28d0d9e2e (diff) | |
| download | rust-ed892e72dd05c6dbbd425343f84d1c1d348a898d.tar.gz rust-ed892e72dd05c6dbbd425343f84d1c1d348a898d.zip | |
Rollup merge of #139615 - nnethercote:rm-name_or_empty, r=jdonszelmann
Remove `name_or_empty` Another step towards #137978. r? ``@jdonszelmann``
Diffstat (limited to 'compiler/rustc_mir_transform/src/coverage/counters.rs')
0 files changed, 0 insertions, 0 deletions