coverage: Forbid multiple #[coverage(..)] attributes · rust-lang/rust@b5dfeba (original) (raw)

Skip to content

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Sign up

Appearance settings

Commit b5dfeba

coverage: Forbid multiple #[coverage(..)] attributes

It might make sense to allow this in the future, if we add values that aren't mutually exclusive, but for now having multiple coverage attributes on one item is useless.

File tree

1 file changed

lines changed

1 file changed

lines changed

Original file line number Diff line number Diff line change
@@ -479,7 +479,7 @@ pub const BUILTIN_ATTRIBUTES: &[BuiltinAttribute] = &[
479 479 ),
480 480 gated!(
481 481 coverage, Normal, template!(Word, List: "on|off"),
482 -WarnFollowing, EncodeCrossCrate::No,
482 +ErrorPreceding, EncodeCrossCrate::No,
483 483 coverage_attribute, experimental!(coverage)
484 484 ),
485 485