Auto merge of #115093 - Zalathar:smir-coverage, r=cjgillot,oli-obk

Treat `StatementKind::Coverage` as completely opaque for SMIR purposes

Coverage statements in MIR are heavily tied to internal details of the coverage implementation that are likely to change, and are unlikely to be useful to third-party tools for the foreseeable future.
This commit is contained in:
bors 2023-08-25 11:43:05 +00:00
commit 00d11cd586

Diff content is not available