diff options
| author | Zalathar <Zalathar@users.noreply.github.com> | 2024-06-19 17:02:19 +1000 |
|---|---|---|
| committer | Zalathar <Zalathar@users.noreply.github.com> | 2024-06-24 20:10:35 +1000 |
| commit | b5dfeba0e14c00c5cc91c935bad5633fa2df8461 (patch) | |
| tree | 087041847cc3224f309d9863c4d98ae9659b1bcd | |
| parent | 2c243d957008f5909f7a4af19e486ea8a3814be7 (diff) | |
| download | rust-b5dfeba0e14c00c5cc91c935bad5633fa2df8461.tar.gz rust-b5dfeba0e14c00c5cc91c935bad5633fa2df8461.zip | |
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.
| -rw-r--r-- | compiler/rustc_feature/src/builtin_attrs.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/rustc_feature/src/builtin_attrs.rs b/compiler/rustc_feature/src/builtin_attrs.rs index 5e83e0d27e1..7185240d245 100644 --- a/compiler/rustc_feature/src/builtin_attrs.rs +++ b/compiler/rustc_feature/src/builtin_attrs.rs @@ -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) ), |