Merging upstream version 1.68.2+dfsg1.

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>

1 files changed, 33 insertions, 0 deletions

diff --git a/tests/ui/pattern/bindings-after-at/nested-type-ascription-syntactically-invalid.rs b/tests/ui/pattern/bindings-after-at/nested-type-ascription-syntactically-invalid.rs
new file mode 100644
index 000000000..a709e34b5
--- /dev/null
+++ b/tests/ui/pattern/bindings-after-at/nested-type-ascription-syntactically-invalid.rs
@@ -0,0 +1,33 @@
+// Here we check that type ascription is syntactically invalid when
+// not in the top position of an ascribing `let` binding or function parameter.
+
+
+// This has no effect.
+// We include it to demonstrate that this is the case:
+#![feature(type_ascription)]
+
+fn main() {}
+
+fn _ok() {
+    let _a @ _b: u8 = 0; // OK.
+    fn _f(_a @ _b: u8) {} // OK.
+}
+
+#[cfg(FALSE)]
+fn case_1() {
+    let a: u8 @ b = 0;
+    //~^ ERROR expected one of `!`
+}
+
+#[cfg(FALSE)]
+fn case_2() {
+    let a @ (b: u8);
+    //~^ ERROR expected one of `!`
+    //~| ERROR expected one of `)`
+}
+
+#[cfg(FALSE)]
+fn case_3() {
+    let a: T1 @ Outer(b: T2);
+    //~^ ERROR expected one of `!`
+}