Treat StatementKind::Coverage as completely opaque for SMIR purposes#115093
Merged
bors merged 1 commit intorust-lang:masterfrom Zalathar:smir-coverageAug 25, 2023
+5-94
StatementKind::Coverage as completely opaque for SMIR purposes#115093