Auto merge of #52175 - fpoli:testsuite-callsite-span, r=petrochenkov

bors · bors · commit 6a1c0637ce44 · 2018-07-23T21:44:37.000Z
Match errors using the callsite of macro expansions Fix for issue #51848
diff --git a/src/test/ui/codemap_tests/bad-format-args.rs b/src/test/ui/codemap_tests/bad-format-args.rs
@@ -9,7 +9,7 @@
 // except according to those terms.
 
 fn main() {
-    format!();
-    format!("" 1);
-    format!("", 1 1);
+    format!(); //~ ERROR requires at least a format string argument
+    format!("" 1); //~ ERROR expected token: `,`
+    format!("", 1 1); //~ ERROR expected token: `,`
 }
diff --git a/src/test/ui/codemap_tests/bad-format-args.stderr b/src/test/ui/codemap_tests/bad-format-args.stderr
@@ -1,23 +1,23 @@
 error: requires at least a format string argument
   --> $DIR/bad-format-args.rs:12:5
    |
-LL |     format!();
+LL |     format!(); //~ ERROR requires at least a format string argument
    |     ^^^^^^^^^^
    |
    = note: this error originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
 
 error: expected token: `,`
   --> $DIR/bad-format-args.rs:13:5
    |
-LL |     format!("" 1);
+LL |     format!("" 1); //~ ERROR expected token: `,`
    |     ^^^^^^^^^^^^^^
    |
    = note: this error originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
 
 error: expected token: `,`
   --> $DIR/bad-format-args.rs:14:5
    |
-LL |     format!("", 1 1);
+LL |     format!("", 1 1); //~ ERROR expected token: `,`
    |     ^^^^^^^^^^^^^^^^^
    |
    = note: this error originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
diff --git a/src/test/ui/cross-crate-macro-backtrace/main.rs b/src/test/ui/cross-crate-macro-backtrace/main.rs
@@ -8,12 +8,11 @@
 // option. This file may not be copied, modified, or distributed
 // except according to those terms.
 
-// error-pattern: in format string
-
 // aux-build:extern_macro_crate.rs
 #[macro_use(myprintln, myprint)]
 extern crate extern_macro_crate;
 
 fn main() {
     myprintln!("{}");
+    //~^ ERROR in format string
 }
diff --git a/src/test/ui/cross-crate-macro-backtrace/main.stderr b/src/test/ui/cross-crate-macro-backtrace/main.stderr
@@ -1,5 +1,5 @@
 error: 1 positional argument in format string, but no arguments were given
-  --> $DIR/main.rs:18:5
+  --> $DIR/main.rs:16:5
    |
 LL |     myprintln!("{}");
    |     ^^^^^^^^^^^^^^^^^
diff --git a/src/test/ui/cross-file-errors/main.rs b/src/test/ui/cross-file-errors/main.rs
@@ -13,4 +13,5 @@ mod underscore;
 
 fn main() {
     underscore!();
+    //~^ ERROR expected expression, found reserved identifier `_`
 }
diff --git a/src/test/ui/edition-keywords-2015-2018-expansion.rs b/src/test/ui/edition-keywords-2015-2018-expansion.rs
@@ -17,7 +17,7 @@
 extern crate edition_kw_macro_2018;
 
 mod one_async {
-    produces_async! {} // ERROR expected identifier, found reserved keyword
+    produces_async! {} //~ ERROR expected identifier, found reserved keyword
 }
 mod two_async {
     produces_async_raw! {} // OK
diff --git a/src/test/ui/edition-keywords-2015-2018-expansion.stderr b/src/test/ui/edition-keywords-2015-2018-expansion.stderr
@@ -1,7 +1,7 @@
 error: expected identifier, found reserved keyword `async`
   --> $DIR/edition-keywords-2015-2018-expansion.rs:20:5
    |
-LL |     produces_async! {} // ERROR expected identifier, found reserved keyword
+LL |     produces_async! {} //~ ERROR expected identifier, found reserved keyword
    |     ^^^^^^^^^^^^^^^^^^ expected identifier, found reserved keyword
    |
    = note: this error originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
diff --git a/src/test/ui/edition-keywords-2018-2018-expansion.rs b/src/test/ui/edition-keywords-2018-2018-expansion.rs
@@ -17,7 +17,7 @@
 extern crate edition_kw_macro_2018;
 
 mod one_async {
-    produces_async! {} // ERROR expected identifier, found reserved keyword `async`
+    produces_async! {} //~ ERROR expected identifier, found reserved keyword `async`
 }
 mod two_async {
     produces_async_raw! {} // OK
diff --git a/src/test/ui/edition-keywords-2018-2018-expansion.stderr b/src/test/ui/edition-keywords-2018-2018-expansion.stderr
@@ -1,7 +1,7 @@
 error: expected identifier, found reserved keyword `async`
   --> $DIR/edition-keywords-2018-2018-expansion.rs:20:5
    |
-LL |     produces_async! {} // ERROR expected identifier, found reserved keyword `async`
+LL |     produces_async! {} //~ ERROR expected identifier, found reserved keyword `async`
    |     ^^^^^^^^^^^^^^^^^^ expected identifier, found reserved keyword
    |
    = note: this error originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
diff --git a/src/test/ui/hygiene/intercrate.rs b/src/test/ui/hygiene/intercrate.rs
@@ -12,12 +12,11 @@
 
 // aux-build:intercrate.rs
 
-// error-pattern:type `fn() -> u32 {intercrate::foo::bar::f}` is private
-
 #![feature(decl_macro)]
 
 extern crate intercrate;
 
 fn main() {
     assert_eq!(intercrate::foo::m!(), 1);
+    //~^ ERROR type `fn() -> u32 {intercrate::foo::bar::f}` is private
 }
diff --git a/src/test/ui/hygiene/intercrate.stderr b/src/test/ui/hygiene/intercrate.stderr
@@ -1,5 +1,5 @@
 error: type `fn() -> u32 {intercrate::foo::bar::f}` is private
-  --> $DIR/intercrate.rs:22:16
+  --> $DIR/intercrate.rs:20:16
    |
 LL |     assert_eq!(intercrate::foo::m!(), 1);
    |                ^^^^^^^^^^^^^^^^^^^^^
diff --git a/src/test/ui/hygiene/local_inner_macros_disabled.rs b/src/test/ui/hygiene/local_inner_macros_disabled.rs
@@ -11,11 +11,10 @@
 // `local_inner_macros` has no effect if `feature(use_extern_macros)` is not enabled
 
 // aux-build:local_inner_macros.rs
-// error-pattern: cannot find macro `helper2!` in this scope
 
 #[macro_use(public_macro)]
 extern crate local_inner_macros;
 
-public_macro!();
+public_macro!(); //~ ERROR cannot find macro `helper2!` in this scope
 
 fn main() {}
diff --git a/src/test/ui/hygiene/local_inner_macros_disabled.stderr b/src/test/ui/hygiene/local_inner_macros_disabled.stderr
@@ -1,7 +1,7 @@
 error: cannot find macro `helper2!` in this scope
-  --> $DIR/local_inner_macros_disabled.rs:19:1
+  --> $DIR/local_inner_macros_disabled.rs:18:1
    |
-LL | public_macro!();
+LL | public_macro!(); //~ ERROR cannot find macro `helper2!` in this scope
    | ^^^^^^^^^^^^^^^^
    |
    = note: this error originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
diff --git a/src/test/ui/issue-13446.rs b/src/test/ui/issue-13446.rs
@@ -11,8 +11,7 @@
 
 // Used to cause ICE
 
-// error-pattern: mismatched types
-
 static VEC: [u32; 256] = vec![];
+//~^ ERROR mismatched types
 
 fn main() {}
diff --git a/src/test/ui/issue-13446.stderr b/src/test/ui/issue-13446.stderr
@@ -1,5 +1,5 @@
 error[E0308]: mismatched types
-  --> $DIR/issue-13446.rs:16:26
+  --> $DIR/issue-13446.rs:14:26
    |
 LL | static VEC: [u32; 256] = vec![];
    |                          ^^^^^^ expected array of 256 elements, found struct `std::vec::Vec`
diff --git a/src/test/ui/issue-16966.rs b/src/test/ui/issue-16966.rs
@@ -8,9 +8,7 @@
 // option. This file may not be copied, modified, or distributed
 // except according to those terms.
 
-// error-pattern:type annotations needed
 fn main() {
-    panic!(
-        std::default::Default::default()
-    );
+    panic!(std::default::Default::default());
+    //~^ ERROR type annotations needed
 }
diff --git a/src/test/ui/issue-16966.stderr b/src/test/ui/issue-16966.stderr
@@ -1,10 +1,8 @@
 error[E0282]: type annotations needed
-  --> $DIR/issue-16966.rs:13:5
+  --> $DIR/issue-16966.rs:12:5
    |
-LL | /     panic!(
-LL | |         std::default::Default::default()
-LL | |     );
-   | |______^ cannot infer type for `M`
+LL |     panic!(std::default::Default::default());
+   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ cannot infer type for `M`
    |
    = note: this error originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
 
diff --git a/src/test/ui/issue-32829.rs b/src/test/ui/issue-32829.rs
@@ -8,9 +8,8 @@
 // option. This file may not be copied, modified, or distributed
 // except according to those terms.
 
-// error-pattern: calls in statics are limited
-
 static S : u64 = { { panic!("foo"); 0 } };
+//~^ ERROR calls in statics are limited
 
 fn main() {
     println!("{:?}", S);
diff --git a/src/test/ui/issue-32829.stderr b/src/test/ui/issue-32829.stderr
@@ -1,5 +1,5 @@
 error[E0015]: calls in statics are limited to constant functions, tuple structs and tuple variants
-  --> $DIR/issue-32829.rs:13:22
+  --> $DIR/issue-32829.rs:11:22
    |
 LL | static S : u64 = { { panic!("foo"); 0 } };
    |                      ^^^^^^^^^^^^^^
diff --git a/src/test/ui/issue-50577.rs b/src/test/ui/issue-50577.rs
@@ -11,5 +11,6 @@
 fn main() {
     enum Foo {
         Drop = assert_eq!(1, 1)
+        //~^ ERROR if may be missing an else clause
     }
 }
diff --git a/src/test/ui/issue-51848.rs b/src/test/ui/issue-51848.rs
@@ -0,0 +1,30 @@
+// Copyright 2014 The Rust Project Developers. See the COPYRIGHT
+// file at the top-level directory of this distribution and at
+// http://rust-lang.org/COPYRIGHT.
+//
+// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
+// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
+// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
+// option. This file may not be copied, modified, or distributed
+// except according to those terms.
+
+// In case of macro expansion, the errors should be matched using the deepest callsite in the
+// macro call stack whose span is in the current file
+
+macro_rules! macro_with_error {
+    ( ) => {
+        println!("{"); //~ ERROR invalid
+    };
+}
+
+fn foo() {
+
+}
+
+fn main() {
+    macro_with_error!();
+    //^ In case of a local macro we want the error to be matched in the macro definition, not here
+
+    println!("}"); //~ ERROR invalid
+    //^ In case of an external macro we want the error to be matched here
+}
diff --git a/src/test/ui/issue-51848.stderr b/src/test/ui/issue-51848.stderr
@@ -0,0 +1,21 @@
+error: invalid format string: expected `'}'` but string was terminated
+  --> $DIR/issue-51848.rs:16:20
+   |
+LL |         println!("{"); //~ ERROR invalid
+   |                    ^ expected `'}'` in format string
+...
+LL |     macro_with_error!();
+   |     -------------------- in this macro invocation
+   |
+   = note: if you intended to print `{`, you can escape it using `{{`
+
+error: invalid format string: unmatched `}` found
+  --> $DIR/issue-51848.rs:28:15
+   |
+LL |     println!("}"); //~ ERROR invalid
+   |               ^ unmatched `}` in format string
+   |
+   = note: if you intended to print `}`, you can escape it using `}}`
+
+error: aborting due to 2 previous errors
+
diff --git a/src/test/ui/lifetimes/borrowck-let-suggestion.nll.stderr b/src/test/ui/lifetimes/borrowck-let-suggestion.nll.stderr
@@ -5,6 +5,7 @@ LL |     let mut x = vec![1].iter();
    |                 ^^^^^^^       - temporary value only lives until here
    |                 |
    |                 temporary value does not live long enough
+LL |     //~^ ERROR borrowed value does not live long enough
 LL |     x.use_mut();
    |     - borrow later used here
    |
diff --git a/src/test/ui/lifetimes/borrowck-let-suggestion.rs b/src/test/ui/lifetimes/borrowck-let-suggestion.rs
@@ -10,6 +10,7 @@
 
 fn f() {
     let mut x = vec![1].iter();
+    //~^ ERROR borrowed value does not live long enough
     x.use_mut();
 }
 
diff --git a/src/test/ui/lifetimes/borrowck-let-suggestion.stderr b/src/test/ui/lifetimes/borrowck-let-suggestion.stderr
@@ -5,7 +5,7 @@ LL |     let mut x = vec![1].iter();
    |                 ^^^^^^^       - temporary value dropped here while still borrowed
    |                 |
    |                 temporary value does not live long enough
-LL |     x.use_mut();
+...
 LL | }
    | - temporary value needs to live until here
    |
diff --git a/src/test/ui/reachable/expr_again.rs b/src/test/ui/reachable/expr_again.rs
@@ -16,5 +16,6 @@ fn main() {
     let x = loop {
         continue;
         println!("hi");
+        //~^ ERROR unreachable statement
     };
 }
diff --git a/src/test/ui/reachable/expr_block.rs b/src/test/ui/reachable/expr_block.rs
@@ -33,6 +33,7 @@ fn c() {
     let x = {
         return;
         println!("foo");
+        //~^ ERROR unreachable statement
         22
     };
 }
diff --git a/src/test/ui/reachable/expr_if.rs b/src/test/ui/reachable/expr_if.rs
@@ -35,6 +35,7 @@ fn baz() {
     // As the next action to be taken after the if arms, we should
     // report the `println!` as unreachable:
     println!("But I am.");
+    //~^ ERROR unreachable statement
 }
 
 fn main() { }
diff --git a/src/test/ui/reachable/expr_loop.rs b/src/test/ui/reachable/expr_loop.rs
@@ -16,6 +16,7 @@
 fn a() {
     loop { return; }
     println!("I am dead.");
+    //~^ ERROR unreachable statement
 }
 
 fn b() {
@@ -28,6 +29,7 @@ fn b() {
 fn c() {
     loop { return; }
     println!("I am dead.");
+    //~^ ERROR unreachable statement
 }
 
 fn d() {
@@ -38,6 +40,7 @@ fn d() {
 fn e() {
     loop { 'middle: loop { loop { break 'middle; } } }
     println!("I am dead.");
+    //~^ ERROR unreachable statement
 }
 
 fn main() { }
diff --git a/src/test/ui/reachable/expr_loop.stderr b/src/test/ui/reachable/expr_loop.stderr
@@ -12,15 +12,15 @@ LL | #![deny(unreachable_code)]
    = note: this error originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
 
 error: unreachable statement
-  --> $DIR/expr_loop.rs:30:5
+  --> $DIR/expr_loop.rs:31:5
    |
 LL |     println!("I am dead.");
    |     ^^^^^^^^^^^^^^^^^^^^^^^
    |
    = note: this error originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
 
 error: unreachable statement
-  --> $DIR/expr_loop.rs:40:5
+  --> $DIR/expr_loop.rs:42:5
    |
 LL |     println!("I am dead.");
    |     ^^^^^^^^^^^^^^^^^^^^^^^
diff --git a/src/test/ui/reachable/expr_match.rs b/src/test/ui/reachable/expr_match.rs
@@ -22,6 +22,7 @@ fn a() {
 fn b() {
     match () { () => return }
     println!("I am dead");
+    //~^ ERROR unreachable statement
 }
 
 fn c() {
@@ -32,6 +33,7 @@ fn c() {
 fn d() {
     match () { () if false => return, () => return }
     println!("I am dead");
+    //~^ ERROR unreachable statement
 }
 
 fn e() {
diff --git a/src/test/ui/reachable/expr_match.stderr b/src/test/ui/reachable/expr_match.stderr
@@ -19,7 +19,7 @@ LL |     println!("I am dead");
    = note: this error originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
 
 error: unreachable statement
-  --> $DIR/expr_match.rs:34:5
+  --> $DIR/expr_match.rs:35:5
    |
 LL |     println!("I am dead");
    |     ^^^^^^^^^^^^^^^^^^^^^^
diff --git a/src/test/ui/reachable/expr_while.rs b/src/test/ui/reachable/expr_while.rs
@@ -16,6 +16,7 @@
 fn foo() {
     while {return} {
         println!("Hello, world!");
+        //~^ ERROR unreachable
     }
 }
 
@@ -30,8 +31,10 @@ fn baz() {
     // Here, we cite the `while` loop as dead.
     while {return} {
         println!("I am dead.");
+        //~^ ERROR unreachable
     }
     println!("I am, too.");
+    //~^ ERROR unreachable
 }
 
 fn main() { }
diff --git a/src/test/ui/reachable/expr_while.stderr b/src/test/ui/reachable/expr_while.stderr
diff --git a/src/test/ui/span/coerce-suggestions.rs b/src/test/ui/span/coerce-suggestions.rs
diff --git a/src/test/ui/span/issue-33884.rs b/src/test/ui/span/issue-33884.rs
diff --git a/src/test/ui/span/slice-borrow.nll.stderr b/src/test/ui/span/slice-borrow.nll.stderr
diff --git a/src/test/ui/span/slice-borrow.rs b/src/test/ui/span/slice-borrow.rs
diff --git a/src/test/ui/span/slice-borrow.stderr b/src/test/ui/span/slice-borrow.stderr
diff --git a/src/test/ui/type-check/cannot_infer_local_or_vec.rs b/src/test/ui/type-check/cannot_infer_local_or_vec.rs
diff --git a/src/test/ui/type-check/cannot_infer_local_or_vec_in_tuples.rs b/src/test/ui/type-check/cannot_infer_local_or_vec_in_tuples.rs
diff --git a/src/tools/compiletest/src/json.rs b/src/tools/compiletest/src/json.rs
diff --git a/src/tools/compiletest/src/runtest.rs b/src/tools/compiletest/src/runtest.rs

Original file line number	Diff line number	Diff line change
`@@ -1,23 +1,23 @@`
`1`	`1`	`error: requires at least a format string argument`
`2`	`2`	`--> $DIR/bad-format-args.rs:12:5`
`3`	`3`	`\|`
`4`		`-LL \| format!();`
	`4`	`+LL \| format!(); //~ ERROR requires at least a format string argument`
`5`	`5`	`\| ^^^^^^^^^^`
`6`	`6`	`\|`
`7`	`7`	`= note: this error originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)`
`8`	`8`
`9`	`9`	error: expected token: `,`
`10`	`10`	`--> $DIR/bad-format-args.rs:13:5`
`11`	`11`	`\|`
`12`		`-LL \| format!("" 1);`
	`12`	+LL \| format!("" 1); //~ ERROR expected token: `,`
`13`	`13`	`\| ^^^^^^^^^^^^^^`
`14`	`14`	`\|`
`15`	`15`	`= note: this error originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)`
`16`	`16`
`17`	`17`	error: expected token: `,`
`18`	`18`	`--> $DIR/bad-format-args.rs:14:5`
`19`	`19`	`\|`
`20`		`-LL \| format!("", 1 1);`
	`20`	+LL \| format!("", 1 1); //~ ERROR expected token: `,`
`21`	`21`	`\| ^^^^^^^^^^^^^^^^^`
`22`	`22`	`\|`
`23`	`23`	`= note: this error originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)`
Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,5 @@`
`1`	`1`	`error: 1 positional argument in format string, but no arguments were given`
`2`		`- --> $DIR/main.rs:18:5`
	`2`	`+ --> $DIR/main.rs:16:5`
`3`	`3`	`\|`
`4`	`4`	`LL \| myprintln!("{}");`
`5`	`5`	`\| ^^^^^^^^^^^^^^^^^`
Original file line number	Diff line number	Diff line change
`@@ -13,4 +13,5 @@ mod underscore;`
`13`	`13`
`14`	`14`	`fn main() {`
`15`	`15`	`underscore!();`
	`16`	+ //~^ ERROR expected expression, found reserved identifier `_`
`16`	`17`	`}`
Original file line number	Diff line number	Diff line change
`@@ -17,7 +17,7 @@`
`17`	`17`	`extern crate edition_kw_macro_2018;`
`18`	`18`
`19`	`19`	`mod one_async {`
`20`		`- produces_async! {} // ERROR expected identifier, found reserved keyword`
	`20`	`+ produces_async! {} //~ ERROR expected identifier, found reserved keyword`
`21`	`21`	`}`
`22`	`22`	`mod two_async {`
`23`	`23`	`produces_async_raw! {} // OK`
Original file line number	Diff line number	Diff line change
`@@ -1,7 +1,7 @@`
`1`	`1`	error: expected identifier, found reserved keyword `async`
`2`	`2`	`--> $DIR/edition-keywords-2015-2018-expansion.rs:20:5`
`3`	`3`	`\|`
`4`		`-LL \| produces_async! {} // ERROR expected identifier, found reserved keyword`
	`4`	`+LL \| produces_async! {} //~ ERROR expected identifier, found reserved keyword`
`5`	`5`	`\| ^^^^^^^^^^^^^^^^^^ expected identifier, found reserved keyword`
`6`	`6`	`\|`
`7`	`7`	`= note: this error originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)`
Original file line number	Diff line number	Diff line change
`@@ -1,7 +1,7 @@`
`1`	`1`	error: expected identifier, found reserved keyword `async`
`2`	`2`	`--> $DIR/edition-keywords-2018-2018-expansion.rs:20:5`
`3`	`3`	`\|`
`4`		-LL \| produces_async! {} // ERROR expected identifier, found reserved keyword `async`
	`4`	+LL \| produces_async! {} //~ ERROR expected identifier, found reserved keyword `async`
`5`	`5`	`\| ^^^^^^^^^^^^^^^^^^ expected identifier, found reserved keyword`
`6`	`6`	`\|`
`7`	`7`	`= note: this error originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)`