Avoid ICE in coverage builds with bad #[coverage(..)] attributes#131187
Merged
bors merged 1 commit intorust-lang:masterfrom Oct 4, 2024
Merged
Avoid ICE in coverage builds with bad `#[coverage(..)]` attributes#131187bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom
