Treat StatementKind::Coverage
as completely opaque for SMIR purposes#115093
Merged
bors merged 1 commit intorust-lang:masterfrom Aug 25, 2023
StatementKind::Coverage
as completely opaque for SMIR purposes#115093