From 3aaa3941fd62fb4aeea559eafe8a6aa6472eb87d Mon Sep 17 00:00:00 2001 From: Caio Date: Sun, 21 Apr 2024 15:43:43 -0300 Subject: Move some tests --- tests/ui/parser/issue-12187-1.rs | 8 ++++++++ tests/ui/parser/issue-12187-1.stderr | 14 ++++++++++++++ tests/ui/parser/issue-12187-2.rs | 8 ++++++++ tests/ui/parser/issue-12187-2.stderr | 14 ++++++++++++++ 4 files changed, 44 insertions(+) create mode 100644 tests/ui/parser/issue-12187-1.rs create mode 100644 tests/ui/parser/issue-12187-1.stderr create mode 100644 tests/ui/parser/issue-12187-2.rs create mode 100644 tests/ui/parser/issue-12187-2.stderr (limited to 'tests/ui/parser') 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() -> &'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`. -- cgit 1.4.1-3-g733a5