Port `#[coverage]` to the new attribute system r? ``````@jdonszelmann``````
const trait Trait
#[coverage]