diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-06-13 11:13:56 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2021-06-13 11:13:56 +0100 |
commit | e29a4c36c7135820929e741ed40192648556aca6 (patch) | |
tree | 020b9667f0f723b06ee7fb6948efaa9e6b135f68 /crates/hir/src/diagnostics_sink.rs | |
parent | adbee621a75f47e0da4f30d7205dfce009138865 (diff) | |
parent | 546be18e3a91e4844b0dacc76c9f055397b6d89e (diff) |
Merge #9243
9243: internal: check that coverage marks are always paired r=matklad a=matklad
bors r+
🤖
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'crates/hir/src/diagnostics_sink.rs')
0 files changed, 0 insertions, 0 deletions