1 files changed, 38 insertions, 0 deletions
diff --git a/src/test/ui/span/issue-39018.rs b/src/test/ui/span/issue-39018.rs
new file mode 100644
index 000000000..b6db4008d
--- /dev/null
+++ b/src/test/ui/span/issue-39018.rs
@@ -0,0 +1,38 @@
+pub fn main() {
+    let x = "Hello " + "World!";
+    //~^ ERROR cannot add
+
+    // Make sure that the span outputs a warning
+    // for not having an implementation for std::ops::Add
+    // that won't output for the above string concatenation
+    let y = World::Hello + World::Goodbye;
+    //~^ ERROR cannot add
+
+    let x = "Hello " + "World!".to_owned();
+    //~^ ERROR cannot add
+}
+
+enum World {
+    Hello,
+    Goodbye,
+}
+
+fn foo() {
+    let a = String::new();
+    let b = String::new();
+    let c = "";
+    let d = "";
+    let e = &a;
+    let _ = &a + &b; //~ ERROR cannot add
+    let _ = &a + b; //~ ERROR cannot add
+    let _ = a + &b; // ok
+    let _ = a + b; //~ ERROR mismatched types
+    let _ = e + b; //~ ERROR cannot add
+    let _ = e + &b; //~ ERROR cannot add
+    let _ = e + d; //~ ERROR cannot add
+    let _ = e + &d; //~ ERROR cannot add
+    let _ = &c + &d; //~ ERROR cannot add
+    let _ = &c + d; //~ ERROR cannot add
+    let _ = c + &d; //~ ERROR cannot add
+    let _ = c + d; //~ ERROR cannot add
+}