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.
This commit is contained in:
Zalathar 2024-06-19 17:02:19 +10:00
parent 2c243d9570
commit b5dfeba0e1

View File

@ -479,7 +479,7 @@ pub const BUILTIN_ATTRIBUTES: &[BuiltinAttribute] = &[
),
gated!(
coverage, Normal, template!(Word, List: "on|off"),
WarnFollowing, EncodeCrossCrate::No,
ErrorPreceding, EncodeCrossCrate::No,
coverage_attribute, experimental!(coverage)
),