coverage: Forbid multiple #[coverage(..)]
attributes · rust-lang/rust@b5dfeba (original) (raw)
Navigation Menu
- Explore
- Pricing
Provide feedback
Saved searches
Use saved searches to filter your results more quickly
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
- compiler/rustc_feature/src
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 |