Skip to content

Avoid ICE in coverage builds with bad #[coverage(..)] attributes#131187

Merged
bors merged 1 commit intorust-lang:masterfrom Zalathar:bad-attr-iceOct 4, 2024

Commits

Commits on Oct 3, 2024