view types: add parsing tests

Author: scrabsha

tests/ui/README.md

@@ -1550,6 +1550,11 @@ Tests on `enum` variants.
 
 **FIXME**: Should be rehomed with `tests/ui/enum/`.
 
+
+## `tests/ui/view-types`
+
+Anything related to view types.
+
 ## `tests/ui/wasm/`
 
 These tests target the `wasm32` architecture specifically. They are usually regression tests for WASM-specific bugs which were observed in the past.

tests/ui/view-types/syntax-errors.rs

@@ -0,0 +1,26 @@
+#![feature(view_types)]
+#![allow(unused)]
+
+struct Foo {
+    bar: usize,
+    baz: usize,
+}
+
+impl Foo {
+    fn not_a_field(&mut self.{ _ }, _: &mut Foo.{ _ }) {}
+    //~^ ERROR expected parameter name
+    //~| ERROR expected one of
+    //~| ERROR expected identifier
+
+    fn keyword(&mut self.{ where }, _: &mut Foo.{ for }) {}
+    //~^ ERROR expected parameter name
+    //~| ERROR expected one of
+    //~| ERROR expected identifier
+
+    fn no_comma(&mut self.{ bar baz }, _: &mut Foo.{ bar baz }) {}
+    //~^ ERROR expected parameter name
+    //~| ERROR expected one of
+    //~| ERROR expected one of
+}
+
+fn main() {}

tests/ui/view-types/syntax-errors.stderr

@@ -0,0 +1,72 @@
+error: expected parameter name, found `{`
+  --> $DIR/syntax-errors.rs:10:30
+   |
+LL |     fn not_a_field(&mut self.{ _ }, _: &mut Foo.{ _ }) {}
+   |                              ^ expected parameter name
+
+error: expected one of `)` or `,`, found `.`
+  --> $DIR/syntax-errors.rs:10:29
+   |
+LL |     fn not_a_field(&mut self.{ _ }, _: &mut Foo.{ _ }) {}
+   |                             ^
+   |                             |
+   |                             expected one of `)` or `,`
+   |                             help: missing `,`
+
+error: expected identifier, found reserved identifier `_`
+  --> $DIR/syntax-errors.rs:10:51
+   |
+LL |     fn not_a_field(&mut self.{ _ }, _: &mut Foo.{ _ }) {}
+   |                                                   ^ expected identifier, found reserved identifier
+
+error: expected parameter name, found `{`
+  --> $DIR/syntax-errors.rs:15:26
+   |
+LL |     fn keyword(&mut self.{ where }, _: &mut Foo.{ for }) {}
+   |                          ^ expected parameter name
+
+error: expected one of `)` or `,`, found `.`
+  --> $DIR/syntax-errors.rs:15:25
+   |
+LL |     fn keyword(&mut self.{ where }, _: &mut Foo.{ for }) {}
+   |                         ^
+   |                         |
+   |                         expected one of `)` or `,`
+   |                         help: missing `,`
+
+error: expected identifier, found keyword `for`
+  --> $DIR/syntax-errors.rs:15:51
+   |
+LL |     fn keyword(&mut self.{ where }, _: &mut Foo.{ for }) {}
+   |                                                   ^^^ expected identifier, found keyword
+   |
+help: escape `for` to use it as an identifier
+   |
+LL |     fn keyword(&mut self.{ where }, _: &mut Foo.{ r#for }) {}
+   |                                                   ++
+
+error: expected parameter name, found `{`
+  --> $DIR/syntax-errors.rs:20:27
+   |
+LL |     fn no_comma(&mut self.{ bar baz }, _: &mut Foo.{ bar baz }) {}
+   |                           ^ expected parameter name
+
+error: expected one of `)` or `,`, found `.`
+  --> $DIR/syntax-errors.rs:20:26
+   |
+LL |     fn no_comma(&mut self.{ bar baz }, _: &mut Foo.{ bar baz }) {}
+   |                          ^
+   |                          |
+   |                          expected one of `)` or `,`
+   |                          help: missing `,`
+
+error: expected one of `,` or `}`, found `baz`
+  --> $DIR/syntax-errors.rs:20:58
+   |
+LL |     fn no_comma(&mut self.{ bar baz }, _: &mut Foo.{ bar baz }) {}
+   |                                                         -^^^ expected one of `,` or `}`
+   |                                                         |
+   |                                                         help: missing `,`
+
+error: aborting due to 9 previous errors
+