Move some tests

4 files changed, 44 insertions, 0 deletions

diff --git a/tests/ui/parser/issue-12187-1.rs b/tests/ui/parser/issue-12187-1.rs
new file mode 100644
index 00000000000..86128ed94bd
--- /dev/null
+++ b/tests/ui/parser/issue-12187-1.rs
@@ -0,0 +1,8 @@
+fn new<T>() -> &'static T {
+    panic!()
+}
+
+fn main() {
+    let &v = new();
+    //~^ ERROR type annotations needed
+}
diff --git a/tests/ui/parser/issue-12187-1.stderr b/tests/ui/parser/issue-12187-1.stderr
new file mode 100644
index 00000000000..704854fe585
--- /dev/null
+++ b/tests/ui/parser/issue-12187-1.stderr
@@ -0,0 +1,14 @@
+error[E0282]: type annotations needed for `&_`
+  --> $DIR/issue-12187-1.rs:6:9
+   |
+LL |     let &v = new();
+   |         ^^   ----- type must be known at this point
+   |
+help: consider giving this pattern a type, where the type for type parameter `T` is specified
+   |
+LL |     let &v: &T = new();
+   |           ++++
+
+error: aborting due to 1 previous error
+
+For more information about this error, try `rustc --explain E0282`.
diff --git a/tests/ui/parser/issue-12187-2.rs b/tests/ui/parser/issue-12187-2.rs
new file mode 100644
index 00000000000..080a6206be7
--- /dev/null
+++ b/tests/ui/parser/issue-12187-2.rs
@@ -0,0 +1,8 @@
+fn new<'r, T>() -> &'r T {
+    panic!()
+}
+
+fn main() {
+    let &v = new();
+    //~^ ERROR type annotations needed
+}
diff --git a/tests/ui/parser/issue-12187-2.stderr b/tests/ui/parser/issue-12187-2.stderr
new file mode 100644
index 00000000000..eeef63a1d0b
--- /dev/null
+++ b/tests/ui/parser/issue-12187-2.stderr
@@ -0,0 +1,14 @@
+error[E0282]: type annotations needed for `&_`
+  --> $DIR/issue-12187-2.rs:6:9
+   |
+LL |     let &v = new();
+   |         ^^   ----- type must be known at this point
+   |
+help: consider giving this pattern a type, where the type for type parameter `T` is specified
+   |
+LL |     let &v: &T = new();
+   |           ++++
+
+error: aborting due to 1 previous error
+
+For more information about this error, try `rustc --explain E0282`.