Merge #6699

6699: Test macro diagnostics in body lowering r=jonas-schievink a=jonas-schievink

bors r+

Co-authored-by: Jonas Schievink <[email protected]>

1 files changed, 41 insertions, 0 deletions

diff --git a/crates/hir_def/src/body/tests.rs b/crates/hir_def/src/body/tests.rs
index f07df5cee..baf1179f1 100644
--- a/crates/hir_def/src/body/tests.rs
+++ b/crates/hir_def/src/body/tests.rs
@@ -73,3 +73,44 @@ fn f() {
     ",
     );
 }
+
+#[test]
+fn macro_diag_builtin() {
+    check_diagnostics(
+        r#"
+fn f() {
+    // Test a handful of built-in (eager) macros:
+
+    include!(invalid);
+  //^^^^^^^^^^^^^^^^^ failed to parse or resolve macro invocation
+    include!("does not exist");
+  //^^^^^^^^^^^^^^^^^^^^^^^^^^ failed to parse or resolve macro invocation
+
+    env!(invalid);
+  //^^^^^^^^^^^^^ failed to parse or resolve macro invocation
+
+    // Lazy:
+
+    format_args!();
+  //^^^^^^^^^^^^^^ failed to parse or resolve macro invocation
+}
+        "#,
+    );
+}
+
+#[test]
+fn macro_rules_diag() {
+    check_diagnostics(
+        r#"
+macro_rules! m {
+    () => {};
+}
+fn f() {
+    m!();
+
+    m!(hi);
+  //^^^^^^ leftover tokens
+}
+      "#,
+    );
+}