diff --git a/crates/hir_def/src/nameres/tests/macros.rs b/crates/hir_def/src/nameres/tests/macros.rs index f9bf5bc7253..e5e9e8ca16d 100644 --- a/crates/hir_def/src/nameres/tests/macros.rs +++ b/crates/hir_def/src/nameres/tests/macros.rs @@ -677,7 +677,7 @@ fn macro_expansion_overflow() { r#" macro_rules! a { ($e:expr; $($t:tt)*) => { - b!($($t)*); + b!(static = (); $($t)*); }; () => {}; } @@ -689,7 +689,7 @@ macro_rules! b { () => {}; } -b! { static = #[] (); } +b! { static = #[] ();} "#, expect![[r#" crate diff --git a/crates/mbe/src/tests.rs b/crates/mbe/src/tests.rs index 9958a33a08d..1d9afb4fb8a 100644 --- a/crates/mbe/src/tests.rs +++ b/crates/mbe/src/tests.rs @@ -760,6 +760,18 @@ macro_rules! vec { ); } +#[test] +fn test_expr_with_attr() { + parse_macro( + r#" +macro_rules! m { + ($a:expr) => {0} +} +"#, + ) + .assert_expand_items("m!(#[allow(a)]())", "0"); +} + #[test] fn test_ty() { parse_macro( diff --git a/crates/parser/src/grammar.rs b/crates/parser/src/grammar.rs index f08c8bab741..63cc900272c 100644 --- a/crates/parser/src/grammar.rs +++ b/crates/parser/src/grammar.rs @@ -59,7 +59,7 @@ pub(crate) mod fragments { }; pub(crate) fn expr(p: &mut Parser) { - let _ = expressions::expr(p); + let _ = expressions::expr_with_attrs(p); } pub(crate) fn stmt(p: &mut Parser) {