coverage: Treat #[automatically_derived] as #[coverage(off)]#144560
Merged
bors merged 3 commits intorust-lang:masterfrom Jul 29, 2025
Merged
coverage: Treat `#[automatically_derived]` as `#[coverage(off)]`#144560bors merged 3 commits intorust-lang:masterfrom
bors merged 3 commits intorust-lang:masterfrom