diff options
| author | bors <bors@rust-lang.org> | 2023-09-14 01:05:18 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2023-09-14 01:05:18 +0000 |
| commit | c728bf3963433062b91bd84ffcb37d15416b800e (patch) | |
| tree | f016a2109e7038fa294ed5dcc97d8d905184ce2e /compiler/rustc_mir_transform/src/coverage/debug.rs | |
| parent | 8142a319ed5c1d1f96e5a1881a6546e463b77c8f (diff) | |
| parent | 0ca6c38cc22fe516ac5f25f87cff996cfd8932b7 (diff) | |
| download | rust-c728bf3963433062b91bd84ffcb37d15416b800e.tar.gz rust-c728bf3963433062b91bd84ffcb37d15416b800e.zip | |
Auto merge of #114656 - bossmc:rework-no-coverage-attr, r=oli-obk
Rework `no_coverage` to `coverage(off)` As discussed at the tail of https://github.com/rust-lang/rust/issues/84605 this replaces the `no_coverage` attribute with a `coverage` attribute that takes sub-parameters (currently `off` and `on`) to control the coverage instrumentation. Allows future-proofing for things like `coverage(off, reason="Tested live", issue="#12345")` or similar.
Diffstat (limited to 'compiler/rustc_mir_transform/src/coverage/debug.rs')
0 files changed, 0 insertions, 0 deletions