From 507b67f45745194e151e373325e7ec2154589484 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Esteban=20K=C3=BCber?= <esteban@kuber.com.ar>
Date: Sat, 8 Nov 2025 22:26:43 +0000
Subject: [PATCH] Add test for incorrect macro span replacement

---
 .../ui/span/macro-span-caller-replacement.rs  | 16 ++++++++++
 .../span/macro-span-caller-replacement.stderr | 29 +++++++++++++++++++
 2 files changed, 45 insertions(+)
 create mode 100644 tests/ui/span/macro-span-caller-replacement.rs
 create mode 100644 tests/ui/span/macro-span-caller-replacement.stderr

diff --git a/tests/ui/span/macro-span-caller-replacement.rs b/tests/ui/span/macro-span-caller-replacement.rs
new file mode 100644
index 000000000000..45af729beb1a
--- /dev/null
+++ b/tests/ui/span/macro-span-caller-replacement.rs
@@ -0,0 +1,16 @@
+macro_rules! macro_with_format { () => {
+    fn check_5(arg : usize) -> String {
+        let s : &str;
+        if arg < 5 {
+            s = format!("{arg}");
+        } else {
+            s = String::new(); //~ ERROR mismatched types
+        }
+        String::from(s)
+    }
+}}
+
+fn main() {
+    macro_with_format!(); //~ ERROR mismatched types
+    println!( "{}", check_5(6) ); 
+}
diff --git a/tests/ui/span/macro-span-caller-replacement.stderr b/tests/ui/span/macro-span-caller-replacement.stderr
new file mode 100644
index 000000000000..1c831f96ec0c
--- /dev/null
+++ b/tests/ui/span/macro-span-caller-replacement.stderr
@@ -0,0 +1,29 @@
+error[E0308]: mismatched types
+  --> $DIR/macro-span-caller-replacement.rs:5:17
+   |
+LL |     macro_with_format!();
+   |     ^^^^^^^^^^^^^^^^^^^^ expected `&str`, found `String`
+   |
+   = note: this error originates in the macro `format` which comes from the expansion of the macro `macro_with_format` (in Nightly builds, run with -Z macro-backtrace for more info)
+
+error[E0308]: mismatched types
+  --> $DIR/macro-span-caller-replacement.rs:7:17
+   |
+LL |         let s : &str;
+   |                 ---- expected due to this type
+...
+LL |             s = String::new();
+   |                 ^^^^^^^^^^^^^ expected `&str`, found `String`
+...
+LL |     macro_with_format!();
+   |     -------------------- in this macro invocation
+   |
+   = note: this error originates in the macro `macro_with_format` (in Nightly builds, run with -Z macro-backtrace for more info)
+help: consider borrowing here
+   |
+LL |             s = &String::new();
+   |                 +
+
+error: aborting due to 2 previous errors
+
+For more information about this error, try `rustc --explain E0308`.