Properly check arguments of #[rustc_abi]

Author: JonathanBrouwer

compiler/rustc_attr_parsing/src/attributes/test_attrs.rs

@@ -157,7 +157,7 @@ impl<S: Stage> SingleAttributeParser<S> for RustcAbiParser {
         let mut fail_incorrect_argument =
             |span| cx.adcx().expected_specific_argument(span, &[sym::assert_eq, sym::debug]);
 
-        let Some(arg) = arg.meta_item() else {
+        let Some(arg) = arg.meta_item_no_args() else {
             fail_incorrect_argument(args.span);
             return None;
         };

tests/ui/attributes/args-checked.rs

@@ -19,6 +19,10 @@
 //~^ ERROR malformed
 #[coverage(off(x, y, z))]
 //~^ ERROR malformed
+#[rustc_abi(debug = 5)]
+//~^ ERROR malformed
+#[rustc_abi(debug(x, y, z))]
+//~^ ERROR malformed
 fn main() {
 
 }

tests/ui/attributes/args-checked.stderr

@@ -136,20 +136,54 @@ LL - #[coverage(off(x, y, z))]
 LL + #[coverage(on)]
    |
 
+error[E0539]: malformed `rustc_abi` attribute input
+  --> $DIR/args-checked.rs:22:1
+   |
+LL | #[rustc_abi(debug = 5)]
+   | ^^^^^^^^^^^-----------^
+   |            |
+   |            valid arguments are `assert_eq` or `debug`
+   |
+help: try changing it to one of the following valid forms of the attribute
+   |
+LL - #[rustc_abi(debug = 5)]
+LL + #[rustc_abi(assert_eq)]
+   |
+LL - #[rustc_abi(debug = 5)]
+LL + #[rustc_abi(debug)]
+   |
+
+error[E0539]: malformed `rustc_abi` attribute input
+  --> $DIR/args-checked.rs:24:1
+   |
+LL | #[rustc_abi(debug(x, y, z))]
+   | ^^^^^^^^^^^----------------^
+   |            |
+   |            valid arguments are `assert_eq` or `debug`
+   |
+help: try changing it to one of the following valid forms of the attribute
+   |
+LL - #[rustc_abi(debug(x, y, z))]
+LL + #[rustc_abi(assert_eq)]
+   |
+LL - #[rustc_abi(debug(x, y, z))]
+LL + #[rustc_abi(debug)]
+   |
+
 error: `rustc_allow_const_fn_unstable` expects feature names
-  --> $DIR/args-checked.rs:36:33
+  --> $DIR/args-checked.rs:40:33
    |
 LL | #[rustc_allow_const_fn_unstable(x = 5)]
    |                                 ^^^^^
 
 error: `rustc_allow_const_fn_unstable` expects feature names
-  --> $DIR/args-checked.rs:38:33
+  --> $DIR/args-checked.rs:42:33
    |
 LL | #[rustc_allow_const_fn_unstable(x(x, y, z))]
    |                                 ^^^^^^^^^^
 
 error[E0539]: malformed `used` attribute input
-  --> $DIR/args-checked.rs:42:1
+  --> $DIR/args-checked.rs:46:1
    |
 LL | #[used(always = 5)]
    | ^^^^^^^----------^^
@@ -169,7 +203,7 @@ LL + #[used]
    |
 
 error[E0539]: malformed `used` attribute input
-  --> $DIR/args-checked.rs:44:1
+  --> $DIR/args-checked.rs:48:1
    |
 LL | #[used(always(x, y, z))]
    | ^^^^^^^---------------^^
@@ -189,7 +223,7 @@ LL + #[used]
    |
 
 error[E0539]: malformed `rustc_must_implement_one_of` attribute input
-  --> $DIR/args-checked.rs:48:1
+  --> $DIR/args-checked.rs:52:1
    |
 LL | #[rustc_must_implement_one_of(eq = 5, neq)]
    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^------^^^^^^^
@@ -198,7 +232,7 @@ LL | #[rustc_must_implement_one_of(eq = 5, neq)]
    | help: must be of the form: `#[rustc_must_implement_one_of(function1, function2, ...)]`
 
 error[E0539]: malformed `rustc_must_implement_one_of` attribute input
-  --> $DIR/args-checked.rs:50:1
+  --> $DIR/args-checked.rs:54:1
    |
 LL | #[rustc_must_implement_one_of(eq(x, y, z), neq)]
    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^-----------^^^^^^^
@@ -207,23 +241,23 @@ LL | #[rustc_must_implement_one_of(eq(x, y, z), neq)]
    | help: must be of the form: `#[rustc_must_implement_one_of(function1, function2, ...)]`
 
 error[E0565]: malformed `rustc_dump_layout` attribute input
-  --> $DIR/args-checked.rs:56:1
+  --> $DIR/args-checked.rs:60:1
    |
 LL | #[rustc_dump_layout(debug = 5)]
    | ^^^^^^^^^^^^^^^^^^^^---------^^
    |                     |
    |                     didn't expect a literal here
 
 error[E0565]: malformed `rustc_dump_layout` attribute input
-  --> $DIR/args-checked.rs:58:1
+  --> $DIR/args-checked.rs:62:1
    |
 LL | #[rustc_dump_layout(debug(x, y, z))]
    | ^^^^^^^^^^^^^^^^^^^^--------------^^
    |                     |
    |                     didn't expect a literal here
 
 error: valid forms for the attribute are `#[macro_export(local_inner_macros)]` and `#[macro_export]`
-  --> $DIR/args-checked.rs:26:1
+  --> $DIR/args-checked.rs:30:1
    |
 LL | #[macro_export(local_inner_macros = 5)]
    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
@@ -233,21 +267,21 @@ LL | #[macro_export(local_inner_macros = 5)]
    = note: `#[deny(invalid_macro_export_arguments)]` (part of `#[deny(future_incompatible)]`) on by default
 
 error: valid forms for the attribute are `#[macro_export(local_inner_macros)]` and `#[macro_export]`
-  --> $DIR/args-checked.rs:29:1
+  --> $DIR/args-checked.rs:33:1
    |
 LL | #[macro_export(local_inner_macros(x, y, z))]
    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
    |
    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
    = note: for more information, see issue #57571 <https://github.com/rust-lang/rust/issues/57571>
 
-error: aborting due to 18 previous errors
+error: aborting due to 20 previous errors
 
 Some errors have detailed explanations: E0539, E0565.
 For more information about an error, try `rustc --explain E0539`.
 Future incompatibility report: Future breakage diagnostic:
 error: valid forms for the attribute are `#[macro_export(local_inner_macros)]` and `#[macro_export]`
-  --> $DIR/args-checked.rs:26:1
+  --> $DIR/args-checked.rs:30:1
    |
 LL | #[macro_export(local_inner_macros = 5)]
    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
@@ -258,7 +292,7 @@ LL | #[macro_export(local_inner_macros = 5)]
 
 Future breakage diagnostic:
 error: valid forms for the attribute are `#[macro_export(local_inner_macros)]` and `#[macro_export]`
-  --> $DIR/args-checked.rs:29:1
+  --> $DIR/args-checked.rs:33:1
    |
 LL | #[macro_export(local_inner_macros(x, y, z))]
    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^