bors c728bf3963 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.		2023-09-14 01:05:18 +00:00
..
ffi.rs	coverage: Consolidate FFI types into one module	2023-08-02 15:26:47 +10:00
map_data.rs	coverage: Consolidate FFI types into one module	2023-08-02 15:26:47 +10:00
mapgen.rs	Auto merge of #114656 - bossmc:rework-no-coverage-attr, r=oli-obk	2023-09-14 01:05:18 +00:00
mod.rs	Inline functions called from add_coverage	2023-08-22 10:59:19 +02:00