Merge remote-tracking branch 'origin/master'

87 files changed, 3862 insertions, 0 deletions

diff --git a/crates/syntax/test_data/parser/err/0000_struct_field_missing_comma.rast b/crates/syntax/test_data/parser/err/0000_struct_field_missing_comma.rast
new file mode 100644
index 000000000..bbbf496c8
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0000_struct_field_missing_comma.rast
@@ -0,0 +1,34 @@
+[email protected]
+  [email protected]
+    [email protected] "struct"
+    [email protected] " "
+    [email protected]
+      [email protected] "S"
+    [email protected] " "
+    [email protected]
+      [email protected] "{"
+      [email protected] "\n    "
+      [email protected]
+        [email protected]
+          [email protected] "a"
+        [email protected] ":"
+        [email protected] " "
+        [email protected]
+          [email protected]
+            [email protected]
+              [email protected]
+                [email protected] "u32"
+      [email protected] "\n    "
+      [email protected]
+        [email protected]
+          [email protected] "b"
+        [email protected] ":"
+        [email protected] " "
+        [email protected]
+          [email protected]
+            [email protected]
+              [email protected]
+                [email protected] "u32"
+      [email protected] "\n"
+      [email protected] "}"
+error 21..21: expected COMMA
diff --git a/crates/syntax/test_data/parser/err/0000_struct_field_missing_comma.rs b/crates/syntax/test_data/parser/err/0000_struct_field_missing_comma.rs
new file mode 100644
index 000000000..fe5030d89
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0000_struct_field_missing_comma.rs
@@ -0,0 +1,4 @@
+struct S {
+    a: u32
+    b: u32
+}
\ No newline at end of file
diff --git a/crates/syntax/test_data/parser/err/0001_item_recovery_in_file.rast b/crates/syntax/test_data/parser/err/0001_item_recovery_in_file.rast
new file mode 100644
index 000000000..6dc73bfdb
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0001_item_recovery_in_file.rast
@@ -0,0 +1,18 @@
+[email protected]
+  [email protected]
+    [email protected] "if"
+  [email protected] " "
+  [email protected]
+    [email protected] "match"
+  [email protected] "\n\n"
+  [email protected]
+    [email protected] "struct"
+    [email protected] " "
+    [email protected]
+      [email protected] "S"
+    [email protected] " "
+    [email protected]
+      [email protected] "{"
+      [email protected] "}"
+error 0..0: expected an item
+error 3..3: expected an item
diff --git a/crates/syntax/test_data/parser/err/0001_item_recovery_in_file.rs b/crates/syntax/test_data/parser/err/0001_item_recovery_in_file.rs
new file mode 100644
index 000000000..98f23de1f
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0001_item_recovery_in_file.rs
@@ -0,0 +1,3 @@
+if match
+
+struct S {}
\ No newline at end of file
diff --git a/crates/syntax/test_data/parser/err/0002_duplicate_shebang.rast b/crates/syntax/test_data/parser/err/0002_duplicate_shebang.rast
new file mode 100644
index 000000000..4cfd1bce4
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0002_duplicate_shebang.rast
@@ -0,0 +1,39 @@
+[email protected]
+  [email protected] "#!/use/bin/env rusti"
+  [email protected] "\n"
+  [email protected]
+    [email protected] "#"
+    [email protected] "!"
+  [email protected]
+    [email protected] "/"
+  [email protected]
+    [email protected] "use"
+    [email protected]
+      [email protected] "/"
+  [email protected]
+    [email protected]
+      [email protected]
+        [email protected]
+          [email protected] "bin"
+  [email protected]
+    [email protected] "/"
+  [email protected]
+    [email protected]
+      [email protected]
+        [email protected]
+          [email protected] "env"
+    [email protected] " "
+    [email protected]
+      [email protected] "rusti"
+  [email protected] "\n"
+error 23..23: expected `[`
+error 23..23: expected an item
+error 27..27: expected one of `*`, `::`, `{`, `self`, `super` or an identifier
+error 28..28: expected SEMICOLON
+error 31..31: expected BANG
+error 31..31: expected `{`, `[`, `(`
+error 31..31: expected SEMICOLON
+error 31..31: expected an item
+error 35..35: expected BANG
+error 41..41: expected `{`, `[`, `(`
+error 41..41: expected SEMICOLON
diff --git a/crates/syntax/test_data/parser/err/0002_duplicate_shebang.rs b/crates/syntax/test_data/parser/err/0002_duplicate_shebang.rs
new file mode 100644
index 000000000..48a3a3980
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0002_duplicate_shebang.rs
@@ -0,0 +1,2 @@
+#!/use/bin/env rusti
+#!/use/bin/env rusti
diff --git a/crates/syntax/test_data/parser/err/0003_C++_semicolon.rast b/crates/syntax/test_data/parser/err/0003_C++_semicolon.rast
new file mode 100644
index 000000000..7763fad84
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0003_C++_semicolon.rast
@@ -0,0 +1,39 @@
+[email protected]
+  [email protected]
+    [email protected] "struct"
+    [email protected] " "
+    [email protected]
+      [email protected] "S"
+    [email protected] " "
+    [email protected]
+      [email protected] "{"
+      [email protected] "\n    "
+      [email protected]
+        [email protected]
+          [email protected] "a"
+        [email protected] ":"
+        [email protected] " "
+        [email protected]
+          [email protected]
+            [email protected]
+              [email protected]
+                [email protected] "i32"
+      [email protected] ","
+      [email protected] "\n    "
+      [email protected]
+        [email protected]
+          [email protected] "b"
+        [email protected] ":"
+        [email protected] " "
+        [email protected]
+          [email protected]
+            [email protected]
+              [email protected]
+                [email protected] "String"
+      [email protected] ","
+      [email protected] "\n"
+      [email protected] "}"
+  [email protected]
+    [email protected] ";"
+error 39..39: expected item, found `;`
+consider removing this semicolon
diff --git a/crates/syntax/test_data/parser/err/0003_C++_semicolon.rs b/crates/syntax/test_data/parser/err/0003_C++_semicolon.rs
new file mode 100644
index 000000000..009312270
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0003_C++_semicolon.rs
@@ -0,0 +1,4 @@
+struct S {
+    a: i32,
+    b: String,
+};
\ No newline at end of file
diff --git a/crates/syntax/test_data/parser/err/0004_use_path_bad_segment.rast b/crates/syntax/test_data/parser/err/0004_use_path_bad_segment.rast
new file mode 100644
index 000000000..9a0f4665e
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0004_use_path_bad_segment.rast
@@ -0,0 +1,15 @@
+[email protected]
+  [email protected]
+    [email protected] "use"
+    [email protected] " "
+    [email protected]
+      [email protected]
+        [email protected]
+          [email protected]
+            [email protected]
+              [email protected] "foo"
+        [email protected] "::"
+        [email protected]
+          [email protected] "92"
+    [email protected] ";"
+error 9..9: expected identifier
diff --git a/crates/syntax/test_data/parser/err/0004_use_path_bad_segment.rs b/crates/syntax/test_data/parser/err/0004_use_path_bad_segment.rs
new file mode 100644
index 000000000..060e65d06
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0004_use_path_bad_segment.rs
@@ -0,0 +1 @@
+use foo::92;
\ No newline at end of file
diff --git a/crates/syntax/test_data/parser/err/0005_attribute_recover.rast b/crates/syntax/test_data/parser/err/0005_attribute_recover.rast
new file mode 100644
index 000000000..4845a6563
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0005_attribute_recover.rast
@@ -0,0 +1,59 @@
+[email protected]
+  [email protected]
+    [email protected]
+      [email protected] "#"
+      [email protected] "["
+      [email protected]
+        [email protected]
+          [email protected]
+            [email protected] "foo"
+      [email protected]
+        [email protected] "("
+        [email protected] "foo"
+        [email protected] ","
+        [email protected] " "
+        [email protected] "+"
+        [email protected] ","
+        [email protected] " "
+        [email protected] "92"
+        [email protected] ")"
+      [email protected] "]"
+    [email protected] "\n"
+    [email protected] "fn"
+    [email protected] " "
+    [email protected]
+      [email protected] "foo"
+    [email protected]
+      [email protected] "("
+      [email protected] ")"
+    [email protected] " "
+    [email protected]
+      [email protected] "{"
+      [email protected] "\n"
+      [email protected] "}"
+  [email protected] "\n\n\n"
+  [email protected]
+    [email protected] "#"
+    [email protected] "["
+    [email protected]
+      [email protected]
+        [email protected]
+          [email protected] "foo"
+    [email protected]
+      [email protected] "("
+      [email protected] "\n"
+      [email protected] "fn"
+      [email protected] " "
+      [email protected] "foo"
+      [email protected]
+        [email protected] "("
+        [email protected] ")"
+      [email protected] " "
+      [email protected]
+        [email protected] "{"
+        [email protected] "\n"
+        [email protected] "}"
+  [email protected] "\n"
+error 53..53: expected R_PAREN
+error 53..53: expected `]`
+error 53..53: expected an item
diff --git a/crates/syntax/test_data/parser/err/0005_attribute_recover.rs b/crates/syntax/test_data/parser/err/0005_attribute_recover.rs
new file mode 100644
index 000000000..de7f81628
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0005_attribute_recover.rs
@@ -0,0 +1,8 @@
+#[foo(foo, +, 92)]
+fn foo() {
+}
+
+
+#[foo(
+fn foo() {
+}
diff --git a/crates/syntax/test_data/parser/err/0006_named_field_recovery.rast b/crates/syntax/test_data/parser/err/0006_named_field_recovery.rast
new file mode 100644
index 000000000..5f85c3943
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0006_named_field_recovery.rast
@@ -0,0 +1,74 @@
+[email protected]
+  [email protected]
+    [email protected] "struct"
+    [email protected] " "
+    [email protected]
+      [email protected] "S"
+    [email protected] " "
+    [email protected]
+      [email protected] "{"
+      [email protected] "\n    "
+      [email protected]
+        [email protected]
+          [email protected] "f"
+        [email protected] ":"
+        [email protected] " "
+        [email protected]
+          [email protected]
+            [email protected]
+              [email protected]
+                [email protected] "u32"
+      [email protected] ","
+      [email protected] "\n    "
+      [email protected]
+        [email protected] "pub"
+      [email protected] " "
+      [email protected]
+        [email protected] "92"
+      [email protected] "\n    "
+      [email protected]
+        [email protected] "+"
+      [email protected] " "
+      [email protected]
+        [email protected] "-"
+      [email protected] " "
+      [email protected]
+        [email protected] "*"
+      [email protected] "\n    "
+      [email protected]
+        [email protected]
+          [email protected] "pub"
+        [email protected] " "
+        [email protected]
+          [email protected] "x"
+        [email protected] ":"
+        [email protected] " "
+        [email protected]
+          [email protected]
+            [email protected]
+              [email protected]
+                [email protected] "u32"
+      [email protected] ","
+      [email protected] "\n    "
+      [email protected]
+        [email protected]
+          [email protected] "z"
+        [email protected] ":"
+        [email protected] " "
+        [email protected]
+          [email protected]
+            [email protected]
+              [email protected]
+                [email protected] "f64"
+      [email protected] ","
+      [email protected] "\n"
+      [email protected] "}"
+  [email protected] "\n"
+error 31..31: expected field declaration
+error 33..33: expected COMMA
+error 38..38: expected field declaration
+error 39..39: expected COMMA
+error 40..40: expected field declaration
+error 41..41: expected COMMA
+error 42..42: expected field declaration
+error 43..43: expected COMMA
diff --git a/crates/syntax/test_data/parser/err/0006_named_field_recovery.rs b/crates/syntax/test_data/parser/err/0006_named_field_recovery.rs
new file mode 100644
index 000000000..8069c111b
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0006_named_field_recovery.rs
@@ -0,0 +1,7 @@
+struct S {
+    f: u32,
+    pub 92
+    + - *
+    pub x: u32,
+    z: f64,
+}
diff --git a/crates/syntax/test_data/parser/err/0007_stray_curly_in_file.rast b/crates/syntax/test_data/parser/err/0007_stray_curly_in_file.rast
new file mode 100644
index 000000000..560bfd751
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0007_stray_curly_in_file.rast
@@ -0,0 +1,32 @@
+[email protected]
+  [email protected]
+    [email protected] "}"
+  [email protected] "\n\n"
+  [email protected]
+    [email protected] "struct"
+    [email protected] " "
+    [email protected]
+      [email protected] "S"
+    [email protected] ";"
+  [email protected] "\n\n"
+  [email protected]
+    [email protected] "}"
+  [email protected] "\n\n"
+  [email protected]
+    [email protected] "fn"
+    [email protected] " "
+    [email protected]
+      [email protected] "foo"
+    [email protected]
+      [email protected] "("
+      [email protected] ")"
+    [email protected]
+      [email protected] "{"
+      [email protected] "}"
+  [email protected] "\n\n"
+  [email protected]
+    [email protected] "}"
+  [email protected] "\n"
+error 0..0: unmatched `}`
+error 14..14: unmatched `}`
+error 29..29: unmatched `}`
diff --git a/crates/syntax/test_data/parser/err/0007_stray_curly_in_file.rs b/crates/syntax/test_data/parser/err/0007_stray_curly_in_file.rs
new file mode 100644
index 000000000..dc869fb78
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0007_stray_curly_in_file.rs
@@ -0,0 +1,9 @@
+}
+
+struct S;
+
+}
+
+fn foo(){}
+
+}
diff --git a/crates/syntax/test_data/parser/err/0008_item_block_recovery.rast b/crates/syntax/test_data/parser/err/0008_item_block_recovery.rast
new file mode 100644
index 000000000..1e9637c26
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0008_item_block_recovery.rast
@@ -0,0 +1,77 @@
+[email protected]
+  [email protected]
+    [email protected] "fn"
+    [email protected] " "
+    [email protected]
+      [email protected] "foo"
+    [email protected]
+      [email protected] "("
+      [email protected] ")"
+    [email protected] " "
+    [email protected]
+      [email protected] "{"
+      [email protected] "\n"
+      [email protected] "}"
+  [email protected] "\n\n"
+  [email protected]
+    [email protected]
+      [email protected]
+        [email protected]
+          [email protected] "bar"
+    [email protected]
+      [email protected] "("
+      [email protected] ")"
+  [email protected] " "
+  [email protected]
+    [email protected] "{"
+    [email protected] "\n    "
+    [email protected]
+      [email protected] "if"
+      [email protected] " "
+      [email protected]
+        [email protected]
+          [email protected] "true"
+      [email protected] " "
+      [email protected]
+        [email protected] "{"
+        [email protected] "\n        "
+        [email protected]
+          [email protected] "1"
+        [email protected] "\n    "
+        [email protected] "}"
+      [email protected] " "
+      [email protected] "else"
+      [email protected] " "
+      [email protected]
+        [email protected] "{"
+        [email protected] "\n        "
+        [email protected]
+          [email protected]
+            [email protected] "2"
+          [email protected] " "
+          [email protected] "+"
+          [email protected] " "
+          [email protected]
+            [email protected] "3"
+        [email protected] "\n    "
+        [email protected] "}"
+    [email protected] "\n"
+    [email protected] "}"
+  [email protected] "\n\n"
+  [email protected]
+    [email protected] "fn"
+    [email protected] " "
+    [email protected]
+      [email protected] "baz"
+    [email protected]
+      [email protected] "("
+      [email protected] ")"
+    [email protected] " "
+    [email protected]
+      [email protected] "{"
+      [email protected] "\n"
+      [email protected] "}"
+  [email protected] "\n"
+error 17..17: expected BANG
+error 19..19: expected SEMICOLON
+error 20..20: expected an item
diff --git a/crates/syntax/test_data/parser/err/0008_item_block_recovery.rs b/crates/syntax/test_data/parser/err/0008_item_block_recovery.rs
new file mode 100644
index 000000000..9fcac19b5
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0008_item_block_recovery.rs
@@ -0,0 +1,13 @@
+fn foo() {
+}
+
+bar() {
+    if true {
+        1
+    } else {
+        2 + 3
+    }
+}
+
+fn baz() {
+}
diff --git a/crates/syntax/test_data/parser/err/0009_broken_struct_type_parameter.rast b/crates/syntax/test_data/parser/err/0009_broken_struct_type_parameter.rast
new file mode 100644
index 000000000..dacf71aa1
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0009_broken_struct_type_parameter.rast
@@ -0,0 +1,58 @@
+[email protected]
+  [email protected]
+    [email protected] "struct"
+    [email protected] " "
+    [email protected]
+      [email protected] "S"
+    [email protected]
+      [email protected] "<"
+      [email protected]
+        [email protected] "90"
+  [email protected] " "
+  [email protected]
+    [email protected] "+"
+  [email protected] " "
+  [email protected]
+    [email protected] "2"
+  [email protected]
+    [email protected] ">"
+  [email protected] " "
+  [email protected]
+    [email protected] "{"
+    [email protected] "\n    "
+    [email protected]
+      [email protected]
+        [email protected]
+          [email protected]
+            [email protected]
+              [email protected] "f"
+    [email protected]
+      [email protected]
+        [email protected] ":"
+    [email protected] " "
+    [email protected]
+      [email protected]
+        [email protected]
+          [email protected]
+            [email protected] "u32"
+    [email protected] "\n"
+    [email protected] "}"
+  [email protected] "\n\n"
+  [email protected]
+    [email protected] "struct"
+    [email protected] " "
+    [email protected]
+      [email protected] "T"
+    [email protected] ";"
+  [email protected] "\n"
+error 9..9: expected type parameter
+error 11..11: expected COMMA
+error 11..11: expected R_ANGLE
+error 11..11: expected `;`, `{`, or `(`
+error 12..12: expected an item
+error 14..14: expected an item
+error 15..15: expected an item
+error 17..17: expected an item
+error 24..24: expected SEMICOLON
+error 24..24: expected expression
+error 25..25: expected SEMICOLON
diff --git a/crates/syntax/test_data/parser/err/0009_broken_struct_type_parameter.rs b/crates/syntax/test_data/parser/err/0009_broken_struct_type_parameter.rs
new file mode 100644
index 000000000..0dd30d0bd
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0009_broken_struct_type_parameter.rs
@@ -0,0 +1,5 @@
+struct S<90 + 2> {
+    f: u32
+}
+
+struct T;
diff --git a/crates/syntax/test_data/parser/err/0010_unsafe_lambda_block.rast b/crates/syntax/test_data/parser/err/0010_unsafe_lambda_block.rast
new file mode 100644
index 000000000..e0f1d0c27
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0010_unsafe_lambda_block.rast
@@ -0,0 +1,44 @@
+[email protected]
+  [email protected]
+    [email protected] "fn"
+    [email protected] " "
+    [email protected]
+      [email protected] "main"
+    [email protected]
+      [email protected] "("
+      [email protected] ")"
+    [email protected] " "
+    [email protected]
+      [email protected] "{"
+      [email protected] "\n    "
+      [email protected]
+        [email protected]
+          [email protected]
+            [email protected] "|"
+            [email protected] "|"
+          [email protected] " "
+          [email protected]
+            [email protected] "->"
+            [email protected] " "
+            [email protected]
+              [email protected] "("
+              [email protected] ")"
+      [email protected] " "
+      [email protected]
+        [email protected]
+          [email protected] "unsafe"
+          [email protected] " "
+          [email protected]
+            [email protected] "{"
+            [email protected] " "
+            [email protected]
+              [email protected] "("
+              [email protected] ")"
+            [email protected] " "
+            [email protected] "}"
+        [email protected] ";"
+      [email protected] "\n"
+      [email protected] "}"
+  [email protected] "\n"
+error 24..24: expected a block
+error 24..24: expected SEMICOLON
diff --git a/crates/syntax/test_data/parser/err/0010_unsafe_lambda_block.rs b/crates/syntax/test_data/parser/err/0010_unsafe_lambda_block.rs
new file mode 100644
index 000000000..985775282
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0010_unsafe_lambda_block.rs
@@ -0,0 +1,3 @@
+fn main() {
+    || -> () unsafe { () };
+}
diff --git a/crates/syntax/test_data/parser/err/0011_extern_struct.rast b/crates/syntax/test_data/parser/err/0011_extern_struct.rast
new file mode 100644
index 000000000..b02d390af
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0011_extern_struct.rast
@@ -0,0 +1,13 @@
+[email protected]
+  [email protected]
+    [email protected]
+      [email protected] "extern"
+  [email protected] " "
+  [email protected]
+    [email protected] "struct"
+    [email protected] " "
+    [email protected]
+      [email protected] "Foo"
+    [email protected] ";"
+  [email protected] "\n"
+error 6..6: expected existential, fn, trait or impl
diff --git a/crates/syntax/test_data/parser/err/0011_extern_struct.rs b/crates/syntax/test_data/parser/err/0011_extern_struct.rs
new file mode 100644
index 000000000..c1bd0a2d1
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0011_extern_struct.rs
@@ -0,0 +1 @@
+extern struct Foo;
diff --git a/crates/syntax/test_data/parser/err/0012_broken_lambda.rast b/crates/syntax/test_data/parser/err/0012_broken_lambda.rast
new file mode 100644
index 000000000..f31c27633
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0012_broken_lambda.rast
@@ -0,0 +1,387 @@
+[email protected]
+  [email protected]
+    [email protected]
+      [email protected]
+      [email protected]
+      [email protected]
+      [email protected]
+    [email protected]
+    [email protected]
+    [email protected]
+    [email protected]
+      [email protected] "process"
+    [email protected]
+      [email protected]
+      [email protected]
+        [email protected] "'a"
+      [email protected]
+      [email protected]
+      [email protected]
+        [email protected]
+          [email protected] "S"
+        [email protected]
+        [email protected]
+        [email protected]
+          [email protected]
+            [email protected]
+              [email protected] "Sink"
+            [email protected]
+              [email protected]
+              [email protected]
+                [email protected] "'a"
+              [email protected]
+      [email protected]
+    [email protected]
+      [email protected]
+      [email protected]
+        [email protected]
+          [email protected]
+            [email protected] "builder"
+        [email protected]
+        [email protected]
+        [email protected]
+          [email protected]
+          [email protected]
+          [email protected]
+          [email protected]
+            [email protected]
+              [email protected]
+                [email protected]
+                  [email protected] "S"
+      [email protected]
+      [email protected]
+      [email protected]
+        [email protected]
+          [email protected]
+            [email protected] "tokens"
+        [email protected]
+        [email protected]
+        [email protected]
+          [email protected]
+          [email protected]
+            [email protected]
+            [email protected]
+              [email protected]
+                [email protected]
+                  [email protected]
+                    [email protected] "Token"
+            [email protected]
+      [email protected]
+      [email protected]
+      [email protected]
+        [email protected]
+          [email protected]
+            [email protected] "events"
+        [email protected]
+        [email protected]
+        [email protected]
+          [email protected]
+            [email protected]
+              [email protected]
+                [email protected] "Vec"
+              [email protected]
+                [email protected]
+                [email protected]
+                  [email protected]
+                    [email protected]
+                      [email protected]
+                        [email protected]
+                          [email protected] "Event"
+                [email protected]
+      [email protected]
+    [email protected]
+    [email protected]
+      [email protected]
+      [email protected]
+      [email protected]
+        [email protected]
+        [email protected]
+        [email protected]
+          [email protected]
+          [email protected]
+          [email protected]
+            [email protected] "next_tok_idx"
+        [email protected]
+        [email protected]
+        [email protected]
+        [email protected]
+          [email protected] "0"
+        [email protected]
+      [email protected]
+      [email protected]
+        [email protected]
+        [email protected]
+        [email protected]
+          [email protected]
+            [email protected] "eat_ws"
+        [email protected]
+        [email protected]
+        [email protected]
+        [email protected]
+          [email protected]
+            [email protected]
+            [email protected]
+              [email protected]
+                [email protected]
+                  [email protected] "idx"
+              [email protected]
+              [email protected]
+              [email protected]
+                [email protected]
+                [email protected]
+                [email protected]
+                [email protected]
+                  [email protected]
+                    [email protected]
+                      [email protected]
+                        [email protected] "usize"
+            [email protected]
+            [email protected]
+            [email protected]
+              [email protected]
+                [email protected]
+                [email protected]
+                [email protected]
+                err: `expected pattern`
+                [email protected]
+                  [email protected]
+                  err: `expected COMMA`
+            [email protected]
+            err: `expected pattern`
+            [email protected]
+              [email protected]
+                [email protected]
+                err: `expected COMMA`
+            [email protected]
+            err: `expected pattern`
+            [email protected]
+              [email protected]
+                [email protected]
+                err: `expected COMMA`
+            [email protected]
+            err: `expected pattern`
+            [email protected]
+              [email protected]
+                [email protected]
+                err: `expected COMMA`
+            [email protected]
+            [email protected]
+              [email protected]
+                [email protected]
+                  [email protected]
+                    [email protected]
+                      [email protected] "Some"
+                [email protected]
+                [email protected]
+                  [email protected]
+                    [email protected] "token"
+                [email protected]
+                err: `expected COMMA`
+            [email protected]
+            err: `expected pattern`
+            [email protected]
+              [email protected]
+                [email protected]
+                err: `expected COMMA`
+            [email protected]
+            [email protected]
+              [email protected]
+                [email protected]
+                  [email protected] "tokens"
+                  err: `expected COMMA`
+                  err: `expected pattern`
+            [email protected]
+              [email protected]
+                [email protected]
+                err: `expected COMMA`
+            [email protected]
+              [email protected]
+                [email protected]
+                  [email protected]
+                    [email protected]
+                      [email protected] "get"
+                [email protected]
+                err: `expected pattern`
+                [email protected]
+                  [email protected]
+                  err: `expected COMMA`
+                [email protected]
+                  [email protected]
+                    [email protected] "idx"
+                [email protected]
+                err: `expected COMMA`
+            [email protected]
+            err: `expected pattern`
+            [email protected]
+              [email protected]
+                [email protected]
+                err: `expected COMMA`
+            [email protected]
+            err: `expected pattern`
+            [email protected]
+              [email protected]
+                [email protected]
+                err: `expected COMMA`
+            [email protected]
+            err: `expected pattern`
+            [email protected]
+              [email protected]
+                [email protected]
+                err: `expected COMMA`
+            [email protected]
+              [email protected]
+                [email protected]
+                  [email protected] "token"
+                  err: `expected COMMA`
+                  err: `expected pattern`
+            [email protected]
+              [email protected]
+                [email protected]
+                err: `expected COMMA`
+            [email protected]
+              [email protected]
+                [email protected]
+                  [email protected] "kind"
+                  err: `expected COMMA`
+                  err: `expected pattern`
+            [email protected]
+              [email protected]
+                [email protected]
+                err: `expected COMMA`
+            [email protected]
+              [email protected]
+                [email protected]
+                  [email protected]
+                    [email protected]
+                      [email protected] "is_trivia"
+                [email protected]
+                [email protected]
+                err: `expected COMMA`
+            [email protected]
+            err: `expected pattern`
+            [email protected]
+              [email protected]
+                [email protected]
+                err: `expected COMMA`
+            [email protected]
+            [email protected]
+              [email protected]
+                [email protected]
+                  [email protected] "break"
+                  err: `expected COMMA`
+                  err: `expected pattern`
+            [email protected]
+              [email protected]
+                [email protected]
+                err: `expected COMMA`
+            [email protected]
+            err: `expected pattern`
+            [email protected]
+              [email protected]
+                [email protected]
+                err: `expected COMMA`
+            [email protected]
+            [email protected]
+              [email protected]
+                [email protected]
+                  [email protected] "builder"
+                  err: `expected COMMA`
+                  err: `expected pattern`
+            [email protected]
+              [email protected]
+                [email protected]
+                err: `expected COMMA`
+            [email protected]
+              [email protected]
+                [email protected]
+                  [email protected]
+                    [email protected]
+                      [email protected] "leaf"
+                [email protected]
+                [email protected]
+                  [email protected]
+                    [email protected] "token"
+                    err: `expected COMMA`
+                    err: `expected pattern`
+                [email protected]
+                  [email protected]
+                  err: `expected COMMA`
+                [email protected]
+                  [email protected]
+                    [email protected] "kind"
+                [email protected]
+                [email protected]
+                [email protected]
+                  [email protected]
+                    [email protected] "token"
+                    err: `expected COMMA`
+                    err: `expected pattern`
+                [email protected]
+                  [email protected]
+                  err: `expected COMMA`
+                [email protected]
+                  [email protected]
+                    [email protected] "len"
+                [email protected]
+                err: `expected COMMA`
+                err: `expected pattern`
+            [email protected]
+              [email protected]
+                [email protected]
+                err: `expected COMMA`
+            [email protected]
+            err: `expected pattern`
+            [email protected]
+              [email protected]
+                [email protected]
+                err: `expected COMMA`
+            [email protected]
+              [email protected]
+                [email protected]
+                  [email protected] "idx"
+                  err: `expected COMMA`
+            [email protected]
+            err: `expected pattern`
+            [email protected]
+              [email protected]
+                [email protected]
+                err: `expected COMMA`
+                err: `expected pattern`
+            [email protected]
+              [email protected]
+                [email protected]
+                err: `expected COMMA`
+            [email protected]
+            [email protected]
+              [email protected]
+                [email protected] "1"
+                err: `expected COMMA`
+            [email protected]
+            err: `expected pattern`
+            [email protected]
+              [email protected]
+                [email protected]
+                err: `expected COMMA`
+            [email protected]
+            err: `expected pattern`
+            [email protected]
+              [email protected]
+                [email protected]
+                err: `expected COMMA`
+                err: `expected pattern`
+            [email protected]
+              [email protected]
+                [email protected]
+                err: `expected COMMA`
+            [email protected]
+            err: `expected pattern`
+            [email protected]
+              [email protected]
+                [email protected]
+                err: `expected COMMA`
+                err: `expected PIPE`
+          [email protected]
+          err: `expected expression`
+          err: `expected SEMI`
+          err: `expected R_CURLY`
+          [email protected]
diff --git a/crates/syntax/test_data/parser/err/0013_invalid_type.rast b/crates/syntax/test_data/parser/err/0013_invalid_type.rast
new file mode 100644
index 000000000..f48ab6e71
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0013_invalid_type.rast
@@ -0,0 +1,89 @@
+[email protected]
+  [email protected]
+    [email protected]
+      [email protected] "pub"
+    [email protected] " "
+    [email protected] "struct"
+    [email protected] " "
+    [email protected]
+      [email protected] "Cache"
+    [email protected]
+      [email protected] "("
+      [email protected] "\n    "
+      [email protected]
+        [email protected]
+          [email protected]
+            [email protected]
+              [email protected]
+                [email protected] "RefCell"
+              [email protected]
+                [email protected] "<"
+                [email protected]
+                  [email protected]
+                    [email protected]
+                      [email protected]
+                        [email protected]
+                          [email protected] "HashMap"
+                        [email protected]
+                          [email protected] "<"
+                          [email protected] "\n        "
+                          [email protected]
+                            [email protected]
+                              [email protected]
+                                [email protected]
+                                  [email protected]
+                                    [email protected] "TypeId"
+                          [email protected] ","
+                          [email protected] "\n        "
+                          [email protected]
+                            [email protected]
+                              [email protected]
+                                [email protected]
+                                  [email protected]
+                                    [email protected] "Box"
+                                  [email protected]
+                                    [email protected] "<"
+                                    [email protected]
+                                      [email protected]
+                                        [email protected] "@"
+      [email protected] " "
+      [email protected]
+        [email protected]
+          [email protected]
+            [email protected]
+              [email protected]
+                [email protected] "Any"
+      [email protected]
+  [email protected]
+    [email protected] ">"
+  [email protected]
+    [email protected] ","
+  [email protected] "\n    "
+  [email protected]
+    [email protected] ">"
+  [email protected]
+    [email protected] ">"
+  [email protected] "\n"
+  [email protected]
+    [email protected] ")"
+  [email protected]
+    [email protected] ";"
+  [email protected] "\n\n"
+error 67..67: expected type
+error 68..68: expected COMMA
+error 68..68: expected R_ANGLE
+error 68..68: expected COMMA
+error 68..68: expected R_ANGLE
+error 68..68: expected COMMA
+error 68..68: expected R_ANGLE
+error 68..68: expected COMMA
+error 72..72: expected COMMA
+error 72..72: expected a type
+error 72..72: expected R_PAREN
+error 72..72: expected SEMICOLON
+error 72..72: expected an item
+error 73..73: expected an item
+error 79..79: expected an item
+error 80..80: expected an item
+error 82..82: expected an item
+error 83..83: expected an item
diff --git a/crates/syntax/test_data/parser/err/0013_invalid_type.rs b/crates/syntax/test_data/parser/err/0013_invalid_type.rs
new file mode 100644
index 000000000..20dde3bc3
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0013_invalid_type.rs
@@ -0,0 +1,7 @@
+pub struct Cache(
+    RefCell<HashMap<
+        TypeId,
+        Box<@ Any>,
+    >>
+);
+
diff --git a/crates/syntax/test_data/parser/err/0014_where_no_bounds.rast b/crates/syntax/test_data/parser/err/0014_where_no_bounds.rast
new file mode 100644
index 000000000..a1f39b22a
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0014_where_no_bounds.rast
@@ -0,0 +1,31 @@
+[email protected]
+  [email protected]
+    [email protected] "fn"
+    [email protected] " "
+    [email protected]
+      [email protected] "foo"
+    [email protected]
+      [email protected] "<"
+      [email protected]
+        [email protected]
+          [email protected] "T"
+      [email protected] ">"
+    [email protected]
+      [email protected] "("
+      [email protected] ")"
+    [email protected] " "
+    [email protected]
+      [email protected] "where"
+      [email protected] " "
+      [email protected]
+        [email protected]
+          [email protected]
+            [email protected]
+              [email protected]
+                [email protected] "T"
+    [email protected] " "
+    [email protected]
+      [email protected] "{"
+      [email protected] "}"
+  [email protected] "\n"
+error 19..19: expected colon
diff --git a/crates/syntax/test_data/parser/err/0014_where_no_bounds.rs b/crates/syntax/test_data/parser/err/0014_where_no_bounds.rs
new file mode 100644
index 000000000..75c1d2f98
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0014_where_no_bounds.rs
@@ -0,0 +1 @@
+fn foo<T>() where T {}
diff --git a/crates/syntax/test_data/parser/err/0015_curly_in_params.rast b/crates/syntax/test_data/parser/err/0015_curly_in_params.rast
new file mode 100644
index 000000000..a3c25b450
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0015_curly_in_params.rast
@@ -0,0 +1,24 @@
+[email protected]
+  [email protected]
+    [email protected] "fn"
+    [email protected] " "
+    [email protected]
+      [email protected] "foo"
+    [email protected]
+      [email protected] "("
+  [email protected]
+    [email protected] "}"
+  [email protected]
+    [email protected] ")"
+  [email protected] " "
+  [email protected]
+    [email protected] "{"
+    [email protected] "\n"
+    [email protected] "}"
+  [email protected] "\n"
+error 7..7: expected value parameter
+error 7..7: expected R_PAREN
+error 7..7: expected a block
+error 7..7: unmatched `}`
+error 8..8: expected an item
+error 10..10: expected an item
diff --git a/crates/syntax/test_data/parser/err/0015_curly_in_params.rs b/crates/syntax/test_data/parser/err/0015_curly_in_params.rs
new file mode 100644
index 000000000..156e70251
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0015_curly_in_params.rs
@@ -0,0 +1,2 @@
+fn foo(}) {
+}
diff --git a/crates/syntax/test_data/parser/err/0016_missing_semi.rast b/crates/syntax/test_data/parser/err/0016_missing_semi.rast
new file mode 100644
index 000000000..66157c3dc
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0016_missing_semi.rast
@@ -0,0 +1,43 @@
+[email protected]
+  [email protected]
+    [email protected] "fn"
+    [email protected] " "
+    [email protected]
+      [email protected] "foo"
+    [email protected]
+      [email protected] "("
+      [email protected] ")"
+    [email protected] " "
+    [email protected]
+      [email protected] "{"
+      [email protected] "\n    "
+      [email protected]
+        [email protected]
+          [email protected]
+            [email protected]
+              [email protected]
+                [email protected]
+                  [email protected] "foo"
+          [email protected]
+            [email protected] "("
+            [email protected] "\n        "
+            [email protected]
+              [email protected] "1"
+            [email protected] ","
+            [email protected] " "
+            [email protected]
+              [email protected] "2"
+            [email protected] "\n    "
+            [email protected] ")"
+      [email protected] "\n    "
+      [email protected]
+        [email protected]
+          [email protected] "return"
+          [email protected] " "
+          [email protected]
+            [email protected] "92"
+        [email protected] ";"
+      [email protected] "\n"
+      [email protected] "}"
+  [email protected] "\n"
+error 38..38: expected SEMICOLON
diff --git a/crates/syntax/test_data/parser/err/0016_missing_semi.rs b/crates/syntax/test_data/parser/err/0016_missing_semi.rs
new file mode 100644
index 000000000..9ae857686
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0016_missing_semi.rs
@@ -0,0 +1,6 @@
+fn foo() {
+    foo(
+        1, 2
+    )
+    return 92;
+}
diff --git a/crates/syntax/test_data/parser/err/0017_incomplete_binexpr.rast b/crates/syntax/test_data/parser/err/0017_incomplete_binexpr.rast
new file mode 100644
index 000000000..fe094f61c
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0017_incomplete_binexpr.rast
@@ -0,0 +1,46 @@
+[email protected]
+  [email protected]
+    [email protected] "fn"
+    [email protected] " "
+    [email protected]
+      [email protected] "foo"
+    [email protected]
+      [email protected] "("
+      [email protected]
+        [email protected]
+          [email protected]
+            [email protected] "foo"
+        [email protected] ":"
+        [email protected] " "
+        [email protected]
+          [email protected]
+            [email protected]
+              [email protected]
+                [email protected] "i32"
+      [email protected] ")"
+    [email protected] " "
+    [email protected]
+      [email protected] "{"
+      [email protected] "\n    "
+      [email protected]
+        [email protected] "let"
+        [email protected] " "
+        [email protected]
+          [email protected]
+            [email protected] "bar"
+        [email protected] " "
+        [email protected] "="
+        [email protected] " "
+        [email protected]
+          [email protected] "92"
+        [email protected] ";"
+      [email protected] "\n    "
+      [email protected]
+        [email protected]
+          [email protected] "1"
+        [email protected] " "
+        [email protected] "+"
+      [email protected] "\n"
+      [email protected] "}"
+  [email protected] "\n"
+error 44..44: expected expression
diff --git a/crates/syntax/test_data/parser/err/0017_incomplete_binexpr.rs b/crates/syntax/test_data/parser/err/0017_incomplete_binexpr.rs
new file mode 100644
index 000000000..17bd49777
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0017_incomplete_binexpr.rs
@@ -0,0 +1,4 @@
+fn foo(foo: i32) {
+    let bar = 92;
+    1 +
+}
diff --git a/crates/syntax/test_data/parser/err/0018_incomplete_fn.rast b/crates/syntax/test_data/parser/err/0018_incomplete_fn.rast
new file mode 100644
index 000000000..72939fc98
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0018_incomplete_fn.rast
@@ -0,0 +1,131 @@
+[email protected]
+  [email protected]
+    [email protected] "impl"
+    [email protected] " "
+    [email protected]
+      [email protected]
+        [email protected]
+          [email protected]
+            [email protected] "FnScopes"
+    [email protected] " "
+    [email protected]
+      [email protected] "{"
+      [email protected] "\n    "
+      [email protected]
+        [email protected] "fn"
+        [email protected] " "
+        [email protected]
+          [email protected] "new_scope"
+        [email protected]
+          [email protected] "("
+          [email protected]
+            [email protected]
+              [email protected] "&"
+          [email protected] ")"
+        [email protected] " "
+        [email protected]
+          [email protected] "->"
+          [email protected] " "
+          [email protected]
+            [email protected]
+              [email protected]
+                [email protected]
+                  [email protected] "ScopeId"
+        [email protected] " "
+        [email protected]
+          [email protected] "{"
+          [email protected] "\n        "
+          [email protected]
+            [email protected] "let"
+            [email protected] " "
+            [email protected]
+              [email protected]
+                [email protected] "res"
+            [email protected] " "
+            [email protected] "="
+            [email protected] " "
+            [email protected]
+              [email protected]
+                [email protected]
+                  [email protected]
+                    [email protected]
+                      [email protected] "self"
+                [email protected] "."
+                [email protected]
+                  [email protected] "scopes"
+              [email protected] "."
+              [email protected]
+                [email protected] "len"
+              [email protected]
+                [email protected] "("
+                [email protected] ")"
+            [email protected] ";"
+          [email protected] "\n        "
+          [email protected]
+            [email protected]
+              [email protected]
+                [email protected]
+                  [email protected]
+                    [email protected] "self"
+              [email protected] "."
+              [email protected]
+                [email protected] "scopes"
+            [email protected] "."
+            [email protected]
+              [email protected] "push"
+            [email protected]
+              [email protected] "("
+              [email protected]
+                [email protected]
+                  [email protected]
+                    [email protected]
+                      [email protected] "ScopeData"
+                [email protected] " "
+                [email protected]
+                  [email protected] "{"
+                  [email protected] " "
+                  [email protected]
+                    [email protected]
+                      [email protected] "parent"
+                    [email protected] ":"
+                    [email protected] " "
+                    [email protected]
+                      [email protected]
+                        [email protected]
+                          [email protected]
+                            [email protected] "None"
+                  [email protected] ","
+                  [email protected] " "
+                  [email protected]
+                    [email protected]
+                      [email protected] "entries"
+                    [email protected] ":"
+                    [email protected] " "
+                    [email protected]
+                      [email protected]
+                        [email protected]
+                          [email protected]
+                            [email protected] "vec"
+                      [email protected] "!"
+                      [email protected]
+                        [email protected] "["
+                        [email protected] "]"
+                  [email protected] " "
+                  [email protected] "}"
+              [email protected] ")"
+          [email protected] "\n    "
+          [email protected] "}"
+      [email protected] "\n\n    "
+      [email protected]
+        [email protected] "fn"
+        [email protected] " "
+        [email protected]
+          [email protected] "set_parent"
+      [email protected] "\n"
+      [email protected] "}"
+  [email protected] "\n"
+error 34..34: expected pattern
+error 34..34: expected COLON
+error 34..34: expected type
+error 180..180: expected function arguments
+error 180..180: expected a block
diff --git a/crates/syntax/test_data/parser/err/0018_incomplete_fn.rs b/crates/syntax/test_data/parser/err/0018_incomplete_fn.rs
new file mode 100644
index 000000000..fe604006c
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0018_incomplete_fn.rs
@@ -0,0 +1,8 @@
+impl FnScopes {
+    fn new_scope(&) -> ScopeId {
+        let res = self.scopes.len();
+        self.scopes.push(ScopeData { parent: None, entries: vec![] })
+    }
+
+    fn set_parent
+}
diff --git a/crates/syntax/test_data/parser/err/0019_let_recover.rast b/crates/syntax/test_data/parser/err/0019_let_recover.rast
new file mode 100644
index 000000000..72c05bd96
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0019_let_recover.rast
@@ -0,0 +1,103 @@
+[email protected]
+  [email protected]
+    [email protected] "fn"
+    [email protected] " "
+    [email protected]
+      [email protected] "foo"
+    [email protected]
+      [email protected] "("
+      [email protected] ")"
+    [email protected] " "
+    [email protected]
+      [email protected] "{"
+      [email protected] "\n    "
+      [email protected]
+        [email protected] "let"
+        [email protected] " "
+        [email protected]
+          [email protected]
+            [email protected] "foo"
+        [email protected] " "
+        [email protected] "="
+      [email protected] "\n    "
+      [email protected]
+        [email protected] "let"
+        [email protected] " "
+        [email protected]
+          [email protected]
+            [email protected] "bar"
+        [email protected] " "
+        [email protected] "="
+        [email protected] " "
+        [email protected]
+          [email protected] "1"
+        [email protected] ";"
+      [email protected] "\n    "
+      [email protected]
+        [email protected] "let"
+      [email protected] "\n    "
+      [email protected]
+        [email protected] "let"
+        [email protected] " "
+        [email protected]
+          [email protected]
+            [email protected] "baz"
+        [email protected] " "
+        [email protected] "="
+        [email protected] " "
+        [email protected]
+          [email protected] "92"
+        [email protected] ";"
+      [email protected] "\n    "
+      [email protected]
+        [email protected] "let"
+      [email protected] "\n    "
+      [email protected]
+        [email protected]
+          [email protected] "if"
+          [email protected] " "
+          [email protected]
+            [email protected]
+              [email protected] "true"
+          [email protected] " "
+          [email protected]
+            [email protected] "{"
+            [email protected] "}"
+      [email protected] "\n    "
+      [email protected]
+        [email protected] "let"
+      [email protected] "\n    "
+      [email protected]
+        [email protected]
+          [email protected] "while"
+          [email protected] " "
+          [email protected]
+            [email protected]
+              [email protected] "true"
+          [email protected] " "
+          [email protected]
+            [email protected] "{"
+            [email protected] "}"
+      [email protected] "\n    "
+      [email protected]
+        [email protected] "let"
+      [email protected] "\n    "
+      [email protected]
+        [email protected] "loop"
+        [email protected] " "
+        [email protected]
+          [email protected] "{"
+          [email protected] "}"
+      [email protected] "\n"
+      [email protected] "}"
+  [email protected] "\n"
+error 24..24: expected expression
+error 24..24: expected SEMICOLON
+error 49..49: expected pattern
+error 49..49: expected SEMICOLON
+error 75..75: expected pattern
+error 75..75: expected SEMICOLON
+error 98..98: expected pattern
+error 98..98: expected SEMICOLON
+error 124..124: expected pattern
+error 124..124: expected SEMICOLON
diff --git a/crates/syntax/test_data/parser/err/0019_let_recover.rs b/crates/syntax/test_data/parser/err/0019_let_recover.rs
new file mode 100644
index 000000000..48bf3d68b
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0019_let_recover.rs
@@ -0,0 +1,12 @@
+fn foo() {
+    let foo =
+    let bar = 1;
+    let
+    let baz = 92;
+    let
+    if true {}
+    let
+    while true {}
+    let
+    loop {}
+}
diff --git a/crates/syntax/test_data/parser/err/0020_fn_recover.rast b/crates/syntax/test_data/parser/err/0020_fn_recover.rast
new file mode 100644
index 000000000..6f6feba5a
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0020_fn_recover.rast
@@ -0,0 +1,20 @@
+[email protected]
+  [email protected]
+    [email protected] "fn"
+  [email protected] "\n\n"
+  [email protected]
+    [email protected] "fn"
+    [email protected] " "
+    [email protected]
+      [email protected] "foo"
+    [email protected]
+      [email protected] "("
+      [email protected] ")"
+    [email protected] " "
+    [email protected]
+      [email protected] "{"
+      [email protected] "}"
+  [email protected] "\n"
+error 2..2: expected a name
+error 2..2: expected function arguments
+error 2..2: expected a block
diff --git a/crates/syntax/test_data/parser/err/0020_fn_recover.rs b/crates/syntax/test_data/parser/err/0020_fn_recover.rs
new file mode 100644
index 000000000..3393b668b
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0020_fn_recover.rs
@@ -0,0 +1,3 @@
+fn
+
+fn foo() {}
diff --git a/crates/syntax/test_data/parser/err/0021_incomplete_param.rast b/crates/syntax/test_data/parser/err/0021_incomplete_param.rast
new file mode 100644
index 000000000..b32845537
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0021_incomplete_param.rast
@@ -0,0 +1,34 @@
+[email protected]
+  [email protected]
+    [email protected] "fn"
+    [email protected] " "
+    [email protected]
+      [email protected] "foo"
+    [email protected]
+      [email protected] "("
+      [email protected]
+        [email protected]
+          [email protected]
+            [email protected] "x"
+        [email protected] ":"
+        [email protected] " "
+        [email protected]
+          [email protected]
+            [email protected]
+              [email protected]
+                [email protected] "i32"
+      [email protected] ","
+      [email protected] " "
+      [email protected]
+        [email protected]
+          [email protected]
+            [email protected] "y"
+      [email protected] ")"
+    [email protected] " "
+    [email protected]
+      [email protected] "{"
+      [email protected] "\n"
+      [email protected] "}"
+  [email protected] "\n"
+error 16..16: expected COLON
+error 16..16: expected type
diff --git a/crates/syntax/test_data/parser/err/0021_incomplete_param.rs b/crates/syntax/test_data/parser/err/0021_incomplete_param.rs
new file mode 100644
index 000000000..7a6c264f6
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0021_incomplete_param.rs
@@ -0,0 +1,2 @@
+fn foo(x: i32, y) {
+}
diff --git a/crates/syntax/test_data/parser/err/0022_bad_exprs.rast b/crates/syntax/test_data/parser/err/0022_bad_exprs.rast
new file mode 100644
index 000000000..71fb19783
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0022_bad_exprs.rast
@@ -0,0 +1,180 @@
+[email protected]
+  [email protected]
+    [email protected] "fn"
+    [email protected] " "
+    [email protected]
+      [email protected] "a"
+    [email protected]
+      [email protected] "("
+      [email protected] ")"
+    [email protected] " "
+    [email protected]
+      [email protected] "{"
+      [email protected] " "
+      [email protected]
+        [email protected]
+          [email protected] "["
+          [email protected]
+            [email protected] "1"
+          [email protected] ","
+          [email protected] " "
+          [email protected]
+            [email protected] "2"
+          [email protected] ","
+          [email protected] " "
+          [email protected]
+            [email protected] "@"
+      [email protected]
+        [email protected]
+          [email protected] ","
+      [email protected] " "
+      [email protected]
+        [email protected] "struct"
+        [email protected]
+          [email protected] ","
+      [email protected] " "
+      [email protected]
+        [email protected] "let"
+        [email protected]
+          [email protected] "]"
+      [email protected] " "
+      [email protected] "}"
+  [email protected] "\n"
+  [email protected]
+    [email protected] "fn"
+    [email protected] " "
+    [email protected]
+      [email protected] "b"
+    [email protected]
+      [email protected] "("
+      [email protected] ")"
+    [email protected] " "
+    [email protected]
+      [email protected] "{"
+      [email protected] " "
+      [email protected]
+        [email protected]
+          [email protected]
+            [email protected]
+              [email protected]
+                [email protected]
+                  [email protected] "foo"
+          [email protected]
+            [email protected] "("
+            [email protected]
+              [email protected] "1"
+            [email protected] ","
+            [email protected] " "
+            [email protected]
+              [email protected] "2"
+            [email protected] ","
+            [email protected] " "
+            [email protected]
+              [email protected] "@"
+      [email protected]
+        [email protected]
+          [email protected] ","
+      [email protected] " "
+      [email protected]
+        [email protected] "impl"
+      [email protected]
+        [email protected]
+          [email protected] ","
+      [email protected] " "
+      [email protected]
+        [email protected] "let"
+      [email protected]
+        [email protected] ")"
+      [email protected] " "
+      [email protected] "}"
+  [email protected] "\n"
+  [email protected]
+    [email protected] "fn"
+    [email protected] " "
+    [email protected]
+      [email protected] "c"
+    [email protected]
+      [email protected] "("
+      [email protected] ")"
+    [email protected] " "
+    [email protected]
+      [email protected] "{"
+      [email protected] " "
+      [email protected]
+        [email protected]
+          [email protected]
+            [email protected]
+              [email protected]
+                [email protected]
+                  [email protected] "foo"
+          [email protected] "."
+          [email protected]
+            [email protected] "bar"
+          [email protected]
+            [email protected] "("
+            [email protected]
+              [email protected] "1"
+            [email protected] ","
+            [email protected] " "
+            [email protected]
+              [email protected] "2"
+            [email protected] ","
+            [email protected] " "
+            [email protected]
+              [email protected] "@"
+      [email protected]
+        [email protected]
+          [email protected] ","
+      [email protected] " "
+      [email protected]
+        [email protected]
+          [email protected] "]"
+      [email protected]
+        [email protected]
+          [email protected] ","
+      [email protected] " "
+      [email protected]
+        [email protected] "trait"
+        [email protected]
+          [email protected] ","
+      [email protected] " "
+      [email protected]
+        [email protected] "let"
+      [email protected]
+        [email protected] ")"
+      [email protected] " "
+      [email protected] "}"
+  [email protected] "\n"
+error 16..16: expected expression
+error 17..17: expected R_BRACK
+error 17..17: expected SEMICOLON
+error 17..17: expected expression
+error 18..18: expected SEMICOLON
+error 25..25: expected a name
+error 26..26: expected `;`, `{`, or `(`
+error 30..30: expected pattern
+error 31..31: expected SEMICOLON
+error 53..53: expected expression
+error 54..54: expected SEMICOLON
+error 54..54: expected expression
+error 55..55: expected SEMICOLON
+error 60..60: expected type
+error 60..60: expected `{`
+error 60..60: expected expression
+error 61..61: expected SEMICOLON
+error 65..65: expected pattern
+error 65..65: expected SEMICOLON
+error 65..65: expected expression
+error 92..92: expected expression
+error 93..93: expected SEMICOLON
+error 93..93: expected expression
+error 94..94: expected SEMICOLON
+error 95..95: expected expression
+error 96..96: expected SEMICOLON
+error 96..96: expected expression
+error 97..97: expected SEMICOLON
+error 103..103: expected a name
+error 104..104: expected `{`
+error 108..108: expected pattern
+error 108..108: expected SEMICOLON
+error 108..108: expected expression
diff --git a/crates/syntax/test_data/parser/err/0022_bad_exprs.rs b/crates/syntax/test_data/parser/err/0022_bad_exprs.rs
new file mode 100644
index 000000000..cd2d493a1
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0022_bad_exprs.rs
@@ -0,0 +1,3 @@
+fn a() { [1, 2, @, struct, let] }
+fn b() { foo(1, 2, @, impl, let) }
+fn c() { foo.bar(1, 2, @, ], trait, let) }
diff --git a/crates/syntax/test_data/parser/err/0023_mismatched_paren.rast b/crates/syntax/test_data/parser/err/0023_mismatched_paren.rast
new file mode 100644
index 000000000..5ffefd742
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0023_mismatched_paren.rast
@@ -0,0 +1,43 @@
+[email protected]
+  [email protected]
+    [email protected] "fn"
+    [email protected] " "
+    [email protected]
+      [email protected] "main"
+    [email protected]
+      [email protected] "("
+      [email protected] ")"
+    [email protected] " "
+    [email protected]
+      [email protected] "{"
+      [email protected] "\n    "
+      [email protected]
+        [email protected]
+          [email protected]
+            [email protected]
+              [email protected] "foo"
+        [email protected] "!"
+        [email protected] " "
+        [email protected]
+          [email protected] "("
+          [email protected] "\n        "
+          [email protected] "bar"
+          [email protected] ","
+          [email protected] " "
+          [email protected] "\"baz\""
+          [email protected] ","
+          [email protected] " "
+          [email protected] "1"
+          [email protected] ","
+          [email protected] " "
+          [email protected] "2.0"
+      [email protected] "\n    "
+      [email protected] "}"
+  [email protected] " "
+  [email protected] "//~ ERROR incorrect c ..."
+  [email protected] "\n"
+  [email protected]
+    [email protected] "}"
+  [email protected] "\n"
+error 49..49: unmatched `}`
+error 92..92: unmatched `}`
diff --git a/crates/syntax/test_data/parser/err/0023_mismatched_paren.rs b/crates/syntax/test_data/parser/err/0023_mismatched_paren.rs
new file mode 100644
index 000000000..0206d563e
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0023_mismatched_paren.rs
@@ -0,0 +1,5 @@
+fn main() {
+    foo! (
+        bar, "baz", 1, 2.0
+    } //~ ERROR incorrect close delimiter
+}
diff --git a/crates/syntax/test_data/parser/err/0024_many_type_parens.rast b/crates/syntax/test_data/parser/err/0024_many_type_parens.rast
new file mode 100644
index 000000000..e3be6b22e
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0024_many_type_parens.rast
@@ -0,0 +1,319 @@
+[email protected]
+  [email protected]
+    [email protected] "fn"
+    [email protected] " "
+    [email protected]
+      [email protected] "f"
+    [email protected]
+      [email protected] "<"
+      [email protected]
+        [email protected]
+          [email protected] "T"
+        [email protected] ":"
+        [email protected] " "
+        [email protected]
+          [email protected]
+            [email protected] "("
+            [email protected]
+              [email protected]
+                [email protected]
+                  [email protected]
+                    [email protected] "Copy"
+            [email protected] ")"
+          [email protected] " "
+          [email protected] "+"
+          [email protected] " "
+          [email protected]
+            [email protected] "("
+            [email protected] "?"
+            [email protected]
+              [email protected]
+                [email protected]
+                  [email protected]
+                    [email protected] "Sized"
+            [email protected] ")"
+          [email protected] " "
+          [email protected] "+"
+          [email protected] " "
+          [email protected]
+            [email protected] "("
+            [email protected]
+              [email protected] "for"
+              [email protected]
+                [email protected] "<"
+                [email protected]
+                  [email protected] "\'a"
+                [email protected] ">"
+              [email protected] " "
+              [email protected]
+                [email protected]
+                  [email protected]
+                    [email protected]
+                      [email protected] "Trait"
+                    [email protected]
+                      [email protected] "<"
+                      [email protected]
+                        [email protected] "\'a"
+                      [email protected] ">"
+            [email protected] ")"
+      [email protected] ">"
+    [email protected]
+      [email protected] "("
+      [email protected] ")"
+    [email protected] " "
+    [email protected]
+      [email protected] "{"
+      [email protected] "}"
+  [email protected] "\n\n"
+  [email protected]
+    [email protected] "fn"
+    [email protected] " "
+    [email protected]
+      [email protected] "main"
+    [email protected]
+      [email protected] "("
+      [email protected] ")"
+    [email protected] " "
+    [email protected]
+      [email protected] "{"
+      [email protected] "\n    "
+      [email protected]
+        [email protected] "let"
+        [email protected] " "
+        [email protected]
+          [email protected] "_"
+        [email protected] ":"
+        [email protected] " "
+        [email protected]
+          [email protected]
+            [email protected]
+              [email protected]
+                [email protected]
+                  [email protected]
+                    [email protected]
+                      [email protected] "Box"
+                    [email protected]
+                      [email protected] "<"
+                      [email protected]
+                        [email protected]
+                          [email protected] "("
+                          [email protected]
+                            [email protected]
+                              [email protected]
+                                [email protected]
+                                  [email protected] "Copy"
+                          [email protected] ")"
+            [email protected] " "
+            [email protected] "+"
+            [email protected] " "
+            [email protected]
+              [email protected] "("
+              [email protected] "?"
+              [email protected]
+                [email protected]
+                  [email protected]
+                    [email protected]
+                      [email protected] "Sized"
+              [email protected] ")"
+            [email protected] " "
+            [email protected] "+"
+            [email protected] " "
+            [email protected]
+              [email protected] "("
+              [email protected]
+                [email protected] "for"
+                [email protected]
+                  [email protected] "<"
+                  [email protected]
+                    [email protected] "\'a"
+                  [email protected] ">"
+                [email protected] " "
+                [email protected]
+                  [email protected]
+                    [email protected]
+                      [email protected]
+                        [email protected] "Trait"
+                      [email protected]
+                        [email protected] "<"
+                        [email protected]
+                          [email protected] "\'a"
+                        [email protected] ">"
+              [email protected] ")"
+      [email protected]
+        [email protected]
+          [email protected] ">"
+        [email protected] ";"
+      [email protected] "\n    "
+      [email protected]
+        [email protected] "let"
+        [email protected] " "
+        [email protected]
+          [email protected] "_"
+        [email protected] ":"
+        [email protected] " "
+        [email protected]
+          [email protected]
+            [email protected]
+              [email protected]
+                [email protected] "Box"
+              [email protected]
+                [email protected] "<"
+                [email protected]
+                  [email protected]
+                    [email protected] "("
+                    [email protected]
+                      [email protected] "?"
+      [email protected]
+        [email protected]
+          [email protected]
+            [email protected]
+              [email protected]
+                [email protected] "Sized"
+      [email protected]
+        [email protected]
+          [email protected] ")"
+      [email protected] " "
+      [email protected]
+        [email protected]
+          [email protected] "+"
+      [email protected] " "
+      [email protected]
+        [email protected]
+          [email protected] "("
+          [email protected]
+            [email protected] "for"
+            [email protected]
+              [email protected]
+                [email protected]
+                  [email protected] "<"
+                  [email protected]
+                    [email protected] "\'a"
+                  [email protected] ">"
+            [email protected] " "
+            [email protected]
+              [email protected]
+                [email protected]
+                  [email protected]
+                    [email protected]
+                      [email protected]
+                        [email protected]
+                          [email protected]
+                            [email protected] "Trait"
+                    [email protected] "<"
+                    [email protected]
+                      [email protected] "\'a"
+                  [email protected] ">"
+                  [email protected]
+                    [email protected] ")"
+                [email protected] " "
+                [email protected] "+"
+                [email protected] " "
+                [email protected]
+                  [email protected] "("
+                  [email protected]
+                    [email protected]
+                      [email protected]
+                        [email protected]
+                          [email protected] "Copy"
+                  [email protected] ")"
+              [email protected] ">"
+              [email protected]
+                [email protected] ";"
+      [email protected] "\n    "
+      [email protected]
+        [email protected] "let"
+        [email protected] " "
+        [email protected]
+          [email protected] "_"
+        [email protected] ":"
+        [email protected] " "
+        [email protected]
+          [email protected]
+            [email protected]
+              [email protected]
+                [email protected]
+                  [email protected]
+                    [email protected]
+                      [email protected] "Box"
+                    [email protected]
+                      [email protected] "<"
+                      [email protected]
+                        [email protected]
+                          [email protected] "("
+                          [email protected]
+                            [email protected] "for"
+                            [email protected]
+                              [email protected] "<"
+                              [email protected]
+                                [email protected] "\'a"
+                              [email protected] ">"
+                            [email protected] " "
+                            [email protected]
+                              [email protected]
+                                [email protected]
+                                  [email protected]
+                                    [email protected] "Trait"
+                                  [email protected]
+                                    [email protected] "<"
+                                    [email protected]
+                                      [email protected] "\'a"
+                                    [email protected] ">"
+                          [email protected] ")"
+            [email protected] " "
+            [email protected] "+"
+            [email protected] " "
+            [email protected]
+              [email protected] "("
+              [email protected]
+                [email protected]
+                  [email protected]
+                    [email protected]
+                      [email protected] "Copy"
+              [email protected] ")"
+            [email protected] " "
+            [email protected] "+"
+            [email protected] " "
+            [email protected]
+              [email protected] "("
+              [email protected] "?"
+              [email protected]
+                [email protected]
+                  [email protected]
+                    [email protected]
+                      [email protected] "Sized"
+              [email protected] ")"
+      [email protected]
+        [email protected]
+          [email protected] ">"
+        [email protected] ";"
+      [email protected] "\n"
+      [email protected] "}"
+  [email protected] "\n"
+error 88..88: expected COMMA
+error 88..88: expected R_ANGLE
+error 121..121: expected SEMICOLON
+error 121..121: expected expression
+error 140..140: expected type
+error 141..141: expected R_PAREN
+error 141..141: expected COMMA
+error 141..141: expected R_ANGLE
+error 141..141: expected SEMICOLON
+error 146..146: expected SEMICOLON
+error 146..146: expected expression
+error 147..147: expected SEMICOLON
+error 148..148: expected expression
+error 149..149: expected SEMICOLON
+error 155..155: expected type
+error 158..158: expected IN_KW
+error 165..165: expected expression
+error 168..168: expected expression
+error 179..179: expected expression
+error 180..180: expected a block
+error 180..180: expected COMMA
+error 180..180: expected expression
+error 180..180: expected R_PAREN
+error 180..180: expected SEMICOLON
+error 215..215: expected COMMA
+error 215..215: expected R_ANGLE
+error 235..235: expected SEMICOLON
+error 235..235: expected expression
diff --git a/crates/syntax/test_data/parser/err/0024_many_type_parens.rs b/crates/syntax/test_data/parser/err/0024_many_type_parens.rs
new file mode 100644
index 000000000..6c2e95c02
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0024_many_type_parens.rs
@@ -0,0 +1,7 @@
+fn f<T: (Copy) + (?Sized) + (for<'a> Trait<'a>)>() {}
+
+fn main() {
+    let _: Box<(Copy) + (?Sized) + (for<'a> Trait<'a>)>;
+    let _: Box<(?Sized) + (for<'a> Trait<'a>) + (Copy)>;
+    let _: Box<(for<'a> Trait<'a>) + (Copy) + (?Sized)>;
+}
diff --git a/crates/syntax/test_data/parser/err/0025_nope.rast b/crates/syntax/test_data/parser/err/0025_nope.rast
new file mode 100644
index 000000000..83fc9fe77
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0025_nope.rast
@@ -0,0 +1,202 @@
+[email protected]
+  [email protected]
+    [email protected] "fn"
+    [email protected] " "
+    [email protected]
+      [email protected] "main"
+    [email protected]
+      [email protected] "("
+      [email protected] ")"
+    [email protected] " "
+    [email protected]
+      [email protected] "{"
+      [email protected] "\n    "
+      [email protected]
+        [email protected] "enum"
+        [email protected] " "
+        [email protected]
+          [email protected] "Test"
+        [email protected] " "
+        [email protected]
+          [email protected] "{"
+          [email protected] "\n        "
+          [email protected]
+            [email protected]
+              [email protected] "Var1"
+          [email protected] ","
+          [email protected] "\n        "
+          [email protected]
+            [email protected]
+              [email protected] "Var2"
+            [email protected]
+              [email protected] "("
+              [email protected]
+                [email protected]
+                  [email protected]
+                    [email protected]
+                      [email protected]
+                        [email protected] "String"
+              [email protected] ")"
+          [email protected] ","
+          [email protected] "\n        "
+          [email protected]
+            [email protected]
+              [email protected] "Var3"
+            [email protected] " "
+            [email protected]
+              [email protected] "{"
+              [email protected] "\n            "
+              [email protected]
+                [email protected]
+                  [email protected] "abc"
+                [email protected] ":"
+              [email protected] " "
+              [email protected]
+                [email protected] "{"
+                [email protected] "}"
+              [email protected]
+                [email protected] ","
+              [email protected] " "
+              [email protected] "//~ ERROR: expected t ..."
+              [email protected] "\n        "
+              [email protected] "}"
+          [email protected] ","
+          [email protected] "\n    "
+          [email protected] "}"
+      [email protected] "\n\n    "
+      [email protected] "// recover..."
+      [email protected] "\n    "
+      [email protected]
+        [email protected] "let"
+        [email protected] " "
+        [email protected]
+          [email protected]
+            [email protected] "a"
+        [email protected] " "
+        [email protected] "="
+        [email protected] " "
+        [email protected]
+          [email protected] "1"
+        [email protected] ";"
+      [email protected] "\n    "
+      [email protected]
+        [email protected] "enum"
+        [email protected] " "
+        [email protected]
+          [email protected] "Test2"
+        [email protected] " "
+        [email protected]
+          [email protected] "{"
+          [email protected] "\n        "
+          [email protected]
+            [email protected]
+              [email protected] "Fine"
+          [email protected] ","
+          [email protected] "\n    "
+          [email protected] "}"
+      [email protected] "\n\n    "
+      [email protected]
+        [email protected] "enum"
+        [email protected] " "
+        [email protected]
+          [email protected] "Test3"
+        [email protected] " "
+        [email protected]
+          [email protected] "{"
+          [email protected] "\n        "
+          [email protected]
+            [email protected]
+              [email protected] "StillFine"
+            [email protected] " "
+            [email protected]
+              [email protected] "{"
+              [email protected] "\n            "
+              [email protected]
+                [email protected]
+                  [email protected] "def"
+                [email protected] ":"
+                [email protected] " "
+                [email protected]
+                  [email protected]
+                    [email protected]
+                      [email protected]
+                        [email protected] "i32"
+              [email protected] ","
+              [email protected] "\n        "
+              [email protected] "}"
+          [email protected] ","
+          [email protected] "\n    "
+          [email protected] "}"
+      [email protected] "\n\n    "
+      [email protected]
+        [email protected]
+          [email protected] "{"
+          [email protected] "\n        "
+          [email protected]
+            [email protected] "// fail again"
+            [email protected] "\n        "
+            [email protected] "enum"
+            [email protected] " "
+            [email protected]
+              [email protected] "Test4"
+            [email protected] " "
+            [email protected]
+              [email protected] "{"
+              [email protected] "\n            "
+              [email protected]
+                [email protected]
+                  [email protected] "Nope"
+                [email protected]
+                  [email protected] "("
+                  [email protected]
+                    [email protected]
+                      [email protected]
+                        [email protected]
+                          [email protected]
+                            [email protected] "i32"
+                  [email protected] " "
+                  [email protected]
+              [email protected]
+                [email protected] "{"
+                [email protected] "}"
+              [email protected]
+                [email protected] ")"
+              [email protected] " "
+              [email protected] "//~ ERROR: found `{`"
+              [email protected] "\n                     ..."
+              [email protected] "//~^ ERROR: found `{`"
+              [email protected] "\n        "
+              [email protected] "}"
+          [email protected] "\n    "
+          [email protected] "}"
+      [email protected] "\n    "
+      [email protected] "// still recover later"
+      [email protected] "\n    "
+      [email protected]
+        [email protected] "let"
+        [email protected] " "
+        [email protected]
+          [email protected]
+            [email protected] "bad_syntax"
+        [email protected] " "
+        [email protected] "="
+        [email protected] " "
+        [email protected]
+          [email protected] "_"
+        [email protected] ";"
+      [email protected] " "
+      [email protected] "//~ ERROR: expected e ..."
+      [email protected] "\n"
+      [email protected] "}"
+  [email protected] "\n"
+error 95..95: expected type
+error 95..95: expected COMMA
+error 96..96: expected field
+error 98..98: expected field declaration
+error 371..371: expected COMMA
+error 372..372: expected a type
+error 372..372: expected R_PAREN
+error 372..372: expected COMMA
+error 372..372: expected enum variant
+error 374..374: expected enum variant
+error 508..508: expected expression
diff --git a/crates/syntax/test_data/parser/err/0025_nope.rs b/crates/syntax/test_data/parser/err/0025_nope.rs
new file mode 100644
index 000000000..28726ed51
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0025_nope.rs
@@ -0,0 +1,31 @@
+fn main() {
+    enum Test {
+        Var1,
+        Var2(String),
+        Var3 {
+            abc: {}, //~ ERROR: expected type, found `{`
+        },
+    }
+
+    // recover...
+    let a = 1;
+    enum Test2 {
+        Fine,
+    }
+
+    enum Test3 {
+        StillFine {
+            def: i32,
+        },
+    }
+
+    {
+        // fail again
+        enum Test4 {
+            Nope(i32 {}) //~ ERROR: found `{`
+                         //~^ ERROR: found `{`
+        }
+    }
+    // still recover later
+    let bad_syntax = _; //~ ERROR: expected expression, found reserved identifier `_`
+}
diff --git a/crates/syntax/test_data/parser/err/0026_imp_recovery.rast b/crates/syntax/test_data/parser/err/0026_imp_recovery.rast
new file mode 100644
index 000000000..1b08c834e
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0026_imp_recovery.rast
@@ -0,0 +1,49 @@
+[email protected]
+  [email protected]
+    [email protected] "impl"
+    [email protected]
+      [email protected] "<"
+      [email protected]
+        [email protected]
+          [email protected] "T"
+        [email protected] ":"
+        [email protected] " "
+        [email protected]
+          [email protected]
+            [email protected]
+              [email protected]
+                [email protected]
+                  [email protected]
+                    [email protected] "Clone"
+      [email protected] ">"
+  [email protected] "\n"
+  [email protected]
+    [email protected] "impl"
+    [email protected]
+      [email protected] "<"
+      [email protected]
+        [email protected]
+          [email protected] "T"
+      [email protected] ">"
+    [email protected] " "
+    [email protected]
+      [email protected]
+        [email protected]
+          [email protected]
+            [email protected] "OnceCell"
+          [email protected]
+            [email protected] "<"
+            [email protected]
+              [email protected]
+                [email protected]
+                  [email protected]
+                    [email protected]
+                      [email protected] "T"
+            [email protected] ">"
+    [email protected] " "
+    [email protected]
+      [email protected] "{"
+      [email protected] "}"
+  [email protected] "\n"
+error 14..14: expected trait or type
+error 14..14: expected `{`
diff --git a/crates/syntax/test_data/parser/err/0026_imp_recovery.rs b/crates/syntax/test_data/parser/err/0026_imp_recovery.rs
new file mode 100644
index 000000000..829ca1c4b
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0026_imp_recovery.rs
@@ -0,0 +1,2 @@
+impl<T: Clone>
+impl<T> OnceCell<T> {}
diff --git a/crates/syntax/test_data/parser/err/0027_incomplere_where_for.rast b/crates/syntax/test_data/parser/err/0027_incomplere_where_for.rast
new file mode 100644
index 000000000..a8e42e6ea
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0027_incomplere_where_for.rast
@@ -0,0 +1,27 @@
+[email protected]
+  [email protected]
+    [email protected] "fn"
+    [email protected] " "
+    [email protected]
+      [email protected] "foo"
+    [email protected]
+      [email protected] "("
+      [email protected] ")"
+    [email protected] "\n    "
+    [email protected]
+      [email protected] "where"
+      [email protected] " "
+      [email protected]
+        [email protected] "for"
+        [email protected]
+          [email protected] "<"
+          [email protected]
+            [email protected] "\'a"
+          [email protected] ">"
+    [email protected] "\n"
+    [email protected]
+      [email protected] "{"
+      [email protected] "}"
+  [email protected] "\n"
+error 26..26: expected type
+error 26..26: expected colon
diff --git a/crates/syntax/test_data/parser/err/0027_incomplere_where_for.rs b/crates/syntax/test_data/parser/err/0027_incomplere_where_for.rs
new file mode 100644
index 000000000..2792c2084
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0027_incomplere_where_for.rs
@@ -0,0 +1,3 @@
+fn foo()
+    where for<'a>
+{}
diff --git a/crates/syntax/test_data/parser/err/0029_field_completion.rast b/crates/syntax/test_data/parser/err/0029_field_completion.rast
new file mode 100644
index 000000000..c6402cdd8
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0029_field_completion.rast
@@ -0,0 +1,35 @@
+[email protected]
+  [email protected]
+    [email protected] "fn"
+    [email protected] " "
+    [email protected]
+      [email protected] "foo"
+    [email protected]
+      [email protected] "("
+      [email protected]
+        [email protected]
+          [email protected]
+            [email protected] "a"
+        [email protected] ":"
+        [email protected] " "
+        [email protected]
+          [email protected]
+            [email protected]
+              [email protected]
+                [email protected] "A"
+      [email protected] ")"
+    [email protected] " "
+    [email protected]
+      [email protected] "{"
+      [email protected] "\n    "
+      [email protected]
+        [email protected]
+          [email protected]
+            [email protected]
+              [email protected]
+                [email protected] "a"
+        [email protected] "."
+      [email protected] "\n"
+      [email protected] "}"
+  [email protected] "\n"
+error 21..21: expected field name or number
diff --git a/crates/syntax/test_data/parser/err/0029_field_completion.rs b/crates/syntax/test_data/parser/err/0029_field_completion.rs
new file mode 100644
index 000000000..a7cdc17bb
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0029_field_completion.rs
@@ -0,0 +1,3 @@
+fn foo(a: A) {
+    a.
+}
diff --git a/crates/syntax/test_data/parser/err/0031_block_inner_attrs.rast b/crates/syntax/test_data/parser/err/0031_block_inner_attrs.rast
new file mode 100644
index 000000000..a443b37db
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0031_block_inner_attrs.rast
@@ -0,0 +1,121 @@
+[email protected]
+  [email protected]
+    [email protected] "fn"
+    [email protected] " "
+    [email protected]
+      [email protected] "block"
+    [email protected]
+      [email protected] "("
+      [email protected] ")"
+    [email protected] " "
+    [email protected]
+      [email protected] "{"
+      [email protected] "\n    "
+      [email protected]
+        [email protected] "let"
+        [email protected] " "
+        [email protected]
+          [email protected]
+            [email protected] "inner"
+        [email protected] " "
+        [email protected] "="
+        [email protected] " "
+        [email protected]
+          [email protected] "{"
+          [email protected] "\n        "
+          [email protected]
+            [email protected] "#"
+            [email protected] "!"
+            [email protected] "["
+            [email protected]
+              [email protected]
+                [email protected]
+                  [email protected] "doc"
+            [email protected]
+              [email protected] "("
+              [email protected] "\"Inner attributes not ..."
+              [email protected] ")"
+            [email protected] "]"
+          [email protected] "\n        "
+          [email protected] "//! Nor are ModuleDoc ..."
+          [email protected] "\n    "
+          [email protected] "}"
+        [email protected] ";"
+      [email protected] "\n    "
+      [email protected]
+        [email protected]
+          [email protected] "if"
+          [email protected] " "
+          [email protected]
+            [email protected]
+              [email protected] "true"
+          [email protected] " "
+          [email protected]
+            [email protected] "{"
+            [email protected] "\n        "
+            [email protected]
+              [email protected] "#"
+              [email protected] "!"
+              [email protected] "["
+              [email protected]
+                [email protected]
+                  [email protected]
+                    [email protected] "doc"
+              [email protected]
+                [email protected] "("
+                [email protected] "\"Nor here\""
+                [email protected] ")"
+              [email protected] "]"
+            [email protected] "\n        "
+            [email protected]
+              [email protected] "#"
+              [email protected] "!"
+              [email protected] "["
+              [email protected]
+                [email protected]
+                  [email protected]
+                    [email protected] "doc"
+              [email protected]
+                [email protected] "("
+                [email protected] "\"We error on each attr\""
+                [email protected] ")"
+              [email protected] "]"
+            [email protected] "\n        "
+            [email protected] "//! Nor are ModuleDoc ..."
+            [email protected] "\n    "
+            [email protected] "}"
+      [email protected] "\n    "
+      [email protected]
+        [email protected] "while"
+        [email protected] " "
+        [email protected]
+          [email protected]
+            [email protected] "true"
+        [email protected] " "
+        [email protected]
+          [email protected] "{"
+          [email protected] "\n        "
+          [email protected]
+            [email protected] "#"
+            [email protected] "!"
+            [email protected] "["
+            [email protected]
+              [email protected]
+                [email protected]
+                  [email protected] "doc"
+            [email protected]
+              [email protected] "("
+              [email protected] "\"Nor here\""
+              [email protected] ")"
+            [email protected] "]"
+          [email protected] "\n        "
+          [email protected] "//! Nor are ModuleDoc ..."
+          [email protected] "\n    "
+          [email protected] "}"
+      [email protected] "\n"
+      [email protected] "}"
+  [email protected] "\n"
+error 39..83: A block in this position cannot accept inner attributes
+error 152..171: A block in this position cannot accept inner attributes
+error 180..212: A block in this position cannot accept inner attributes
+error 283..302: A block in this position cannot accept inner attributes
diff --git a/crates/syntax/test_data/parser/err/0031_block_inner_attrs.rs b/crates/syntax/test_data/parser/err/0031_block_inner_attrs.rs
new file mode 100644
index 000000000..6a04f2d0a
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0031_block_inner_attrs.rs
@@ -0,0 +1,15 @@
+fn block() {
+    let inner = {
+        #![doc("Inner attributes not allowed here")]
+        //! Nor are ModuleDoc comments
+    };
+    if true {
+        #![doc("Nor here")]
+        #![doc("We error on each attr")]
+        //! Nor are ModuleDoc comments
+    }
+    while true {
+        #![doc("Nor here")]
+        //! Nor are ModuleDoc comments
+    }
+}
diff --git a/crates/syntax/test_data/parser/err/0032_match_arms_inner_attrs.rast b/crates/syntax/test_data/parser/err/0032_match_arms_inner_attrs.rast
new file mode 100644
index 000000000..672dd054a
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0032_match_arms_inner_attrs.rast
@@ -0,0 +1,203 @@
+[email protected]
+  [email protected]
+    [email protected] "fn"
+    [email protected] " "
+    [email protected]
+      [email protected] "foo"
+    [email protected]
+      [email protected] "("
+      [email protected] ")"
+    [email protected] " "
+    [email protected]
+      [email protected] "{"
+      [email protected] "\n    "
+      [email protected]
+        [email protected]
+          [email protected] "match"
+          [email protected] " "
+          [email protected]
+            [email protected] "("
+            [email protected] ")"
+          [email protected] " "
+          [email protected]
+            [email protected] "{"
+            [email protected] "\n        "
+            [email protected]
+              [email protected]
+                [email protected] "_"
+              [email protected] " "
+              [email protected] "=>"
+              [email protected] " "
+              [email protected]
+                [email protected] "("
+                [email protected] ")"
+            [email protected] ","
+            [email protected] "\n        "
+            [email protected]
+              [email protected]
+                [email protected] "#"
+              [email protected]
+                [email protected] "!"
+              [email protected]
+                [email protected] "["
+                [email protected]
+                  [email protected]
+                    [email protected]
+                      [email protected]
+                        [email protected]
+                          [email protected] "doc"
+                  [email protected]
+                    [email protected] "("
+                    [email protected]
+                      [email protected] "\"Not allowed here\""
+                    [email protected] ")"
+                [email protected] "]"
+            [email protected] "\n        "
+            [email protected]
+              [email protected]
+                [email protected] "_"
+              [email protected] " "
+              [email protected] "=>"
+              [email protected] " "
+              [email protected]
+                [email protected] "("
+                [email protected] ")"
+            [email protected] ","
+            [email protected] "\n    "
+            [email protected] "}"
+      [email protected] "\n\n    "
+      [email protected]
+        [email protected]
+          [email protected] "match"
+          [email protected] " "
+          [email protected]
+            [email protected] "("
+            [email protected] ")"
+          [email protected] " "
+          [email protected]
+            [email protected] "{"
+            [email protected] "\n        "
+            [email protected]
+              [email protected]
+                [email protected] "_"
+              [email protected] " "
+              [email protected] "=>"
+              [email protected] " "
+              [email protected]
+                [email protected] "("
+                [email protected] ")"
+            [email protected] ","
+            [email protected] "\n        "
+            [email protected]
+              [email protected]
+                [email protected] "_"
+              [email protected] " "
+              [email protected] "=>"
+              [email protected] " "
+              [email protected]
+                [email protected] "("
+                [email protected] ")"
+            [email protected] ","
+            [email protected] "\n        "
+            [email protected]
+              [email protected]
+                [email protected] "#"
+              [email protected]
+                [email protected] "!"
+              [email protected]
+                [email protected] "["
+                [email protected]
+                  [email protected]
+                    [email protected]
+                      [email protected]
+                        [email protected]
+                          [email protected] "doc"
+                  [email protected]
+                    [email protected] "("
+                    [email protected]
+                      [email protected] "\"Nor here\""
+                    [email protected] ")"
+                [email protected] "]"
+            [email protected] "\n    "
+            [email protected] "}"
+      [email protected] "\n\n    "
+      [email protected]
+        [email protected] "match"
+        [email protected] " "
+        [email protected]
+          [email protected] "("
+          [email protected] ")"
+        [email protected] " "
+        [email protected]
+          [email protected] "{"
+          [email protected] "\n        "
+          [email protected]
+            [email protected]
+              [email protected] "#"
+              [email protected] "["
+              [email protected]
+                [email protected]
+                  [email protected]
+                    [email protected] "cfg"
+              [email protected]
+                [email protected] "("
+                [email protected] "test"
+                [email protected] ")"
+              [email protected] "]"
+            [email protected] "\n        "
+            [email protected]
+              [email protected] "#"
+            [email protected]
+              [email protected] "!"
+            [email protected]
+              [email protected] "["
+              [email protected]
+                [email protected]
+                  [email protected]
+                    [email protected]
+                      [email protected]
+                        [email protected] "doc"
+                [email protected]
+                  [email protected] "("
+                  [email protected]
+                    [email protected] "\"Nor here\""
+                  [email protected] ")"
+              [email protected] "]"
+          [email protected] "\n        "
+          [email protected]
+            [email protected]
+              [email protected] "_"
+            [email protected] " "
+            [email protected] "=>"
+            [email protected] " "
+            [email protected]
+              [email protected] "("
+              [email protected] ")"
+          [email protected] ","
+          [email protected] "\n        "
+          [email protected]
+            [email protected]
+              [email protected] "_"
+            [email protected] " "
+            [email protected] "=>"
+            [email protected] " "
+            [email protected]
+              [email protected] "("
+              [email protected] ")"
+          [email protected] ","
+          [email protected] "\n    "
+          [email protected] "}"
+      [email protected] "\n"
+      [email protected] "}"
+  [email protected] "\n"
+error 52..52: expected `[`
+error 52..52: expected pattern
+error 53..53: expected FAT_ARROW
+error 78..78: expected COMMA
+error 161..161: expected `[`
+error 161..161: expected pattern
+error 162..162: expected FAT_ARROW
+error 232..232: expected `[`
+error 232..232: expected pattern
+error 233..233: expected FAT_ARROW
+error 250..250: expected COMMA
diff --git a/crates/syntax/test_data/parser/err/0032_match_arms_inner_attrs.rs b/crates/syntax/test_data/parser/err/0032_match_arms_inner_attrs.rs
new file mode 100644
index 000000000..06aa47770
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0032_match_arms_inner_attrs.rs
@@ -0,0 +1,20 @@
+fn foo() {
+    match () {
+        _ => (),
+        #![doc("Not allowed here")]
+        _ => (),
+    }
+
+    match () {
+        _ => (),
+        _ => (),
+        #![doc("Nor here")]
+    }
+
+    match () {
+        #[cfg(test)]
+        #![doc("Nor here")]
+        _ => (),
+        _ => (),
+    }
+}
diff --git a/crates/syntax/test_data/parser/err/0033_match_arms_outer_attrs.rast b/crates/syntax/test_data/parser/err/0033_match_arms_outer_attrs.rast
new file mode 100644
index 000000000..33bb085e9
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0033_match_arms_outer_attrs.rast
@@ -0,0 +1,66 @@
+[email protected]
+  [email protected]
+    [email protected] "fn"
+    [email protected] " "
+    [email protected]
+      [email protected] "foo"
+    [email protected]
+      [email protected] "("
+      [email protected] ")"
+    [email protected] " "
+    [email protected]
+      [email protected] "{"
+      [email protected] "\n    "
+      [email protected]
+        [email protected] "match"
+        [email protected] " "
+        [email protected]
+          [email protected] "("
+          [email protected] ")"
+        [email protected] " "
+        [email protected]
+          [email protected] "{"
+          [email protected] "\n        "
+          [email protected]
+            [email protected]
+              [email protected] "_"
+            [email protected] " "
+            [email protected] "=>"
+            [email protected] " "
+            [email protected]
+              [email protected] "("
+              [email protected] ")"
+          [email protected] ","
+          [email protected] "\n        "
+          [email protected]
+            [email protected]
+              [email protected] "_"
+            [email protected] " "
+            [email protected] "=>"
+            [email protected] " "
+            [email protected]
+              [email protected] "("
+              [email protected] ")"
+          [email protected] ","
+          [email protected] "\n        "
+          [email protected]
+            [email protected]
+              [email protected] "#"
+              [email protected] "["
+              [email protected]
+                [email protected]
+                  [email protected]
+                    [email protected] "cfg"
+              [email protected]
+                [email protected] "("
+                [email protected] "test"
+                [email protected] ")"
+              [email protected] "]"
+          [email protected] "\n    "
+          [email protected] "}"
+      [email protected] "\n"
+      [email protected] "}"
+  [email protected] "\n"
+error 80..80: expected pattern
+error 80..80: expected FAT_ARROW
+error 80..80: expected expression
diff --git a/crates/syntax/test_data/parser/err/0033_match_arms_outer_attrs.rs b/crates/syntax/test_data/parser/err/0033_match_arms_outer_attrs.rs
new file mode 100644
index 000000000..4635222da
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0033_match_arms_outer_attrs.rs
@@ -0,0 +1,7 @@
+fn foo() {
+    match () {
+        _ => (),
+        _ => (),
+        #[cfg(test)]
+    }
+}
diff --git a/crates/syntax/test_data/parser/err/0034_bad_box_pattern.rast b/crates/syntax/test_data/parser/err/0034_bad_box_pattern.rast
new file mode 100644
index 000000000..d9d49bfb5
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0034_bad_box_pattern.rast
@@ -0,0 +1,95 @@
+[email protected]
+  [email protected]
+    [email protected] "fn"
+    [email protected] " "
+    [email protected]
+      [email protected] "main"
+    [email protected]
+      [email protected] "("
+      [email protected] ")"
+    [email protected] " "
+    [email protected]
+      [email protected] "{"
+      [email protected] "\n    "
+      [email protected]
+        [email protected] "let"
+        [email protected] " "
+        [email protected]
+          [email protected] "ref"
+          [email protected] " "
+          [email protected]
+            [email protected] "box"
+      [email protected] " "
+      [email protected]
+        [email protected]
+          [email protected]
+            [email protected]
+              [email protected]
+                [email protected]
+                  [email protected] "i"
+          [email protected] " "
+          [email protected] "="
+          [email protected] " "
+          [email protected]
+            [email protected] "("
+            [email protected] ")"
+        [email protected] ";"
+      [email protected] "\n    "
+      [email protected]
+        [email protected] "let"
+        [email protected] " "
+        [email protected]
+          [email protected] "mut"
+          [email protected] " "
+          [email protected]
+            [email protected] "box"
+      [email protected] " "
+      [email protected]
+        [email protected]
+          [email protected]
+            [email protected]
+              [email protected]
+                [email protected]
+                  [email protected] "i"
+          [email protected] " "
+          [email protected] "="
+          [email protected] " "
+          [email protected]
+            [email protected] "("
+            [email protected] ")"
+        [email protected] ";"
+      [email protected] "\n    "
+      [email protected]
+        [email protected] "let"
+        [email protected] " "
+        [email protected]
+          [email protected] "ref"
+          [email protected] " "
+          [email protected] "mut"
+          [email protected] " "
+          [email protected]
+            [email protected] "box"
+      [email protected] " "
+      [email protected]
+        [email protected]
+          [email protected]
+            [email protected]
+              [email protected]
+                [email protected]
+                  [email protected] "i"
+          [email protected] " "
+          [email protected] "="
+          [email protected] " "
+          [email protected]
+            [email protected] "("
+            [email protected] ")"
+        [email protected] ";"
+      [email protected] "\n"
+      [email protected] "}"
+  [email protected] "\n\n"
+error 24..24: expected a name
+error 27..27: expected SEMICOLON
+error 48..48: expected a name
+error 51..51: expected SEMICOLON
+error 76..76: expected a name
+error 79..79: expected SEMICOLON
diff --git a/crates/syntax/test_data/parser/err/0034_bad_box_pattern.rs b/crates/syntax/test_data/parser/err/0034_bad_box_pattern.rs
new file mode 100644
index 000000000..d3fa2e468
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0034_bad_box_pattern.rs
@@ -0,0 +1,6 @@
+fn main() {
+    let ref box i = ();
+    let mut box i = ();
+    let ref mut box i = ();
+}
+
diff --git a/crates/syntax/test_data/parser/err/0035_use_recover.rast b/crates/syntax/test_data/parser/err/0035_use_recover.rast
new file mode 100644
index 000000000..2f03709eb
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0035_use_recover.rast
@@ -0,0 +1,53 @@
+[email protected]
+  [email protected]
+    [email protected] "use"
+    [email protected] " "
+    [email protected]
+      [email protected]
+        [email protected]
+          [email protected]
+            [email protected]
+              [email protected] "foo"
+        [email protected] "::"
+        [email protected]
+          [email protected]
+            [email protected] "bar"
+    [email protected] ";"
+  [email protected] "\n"
+  [email protected]
+    [email protected] "use"
+  [email protected] "\n"
+  [email protected]
+    [email protected] "use"
+    [email protected] " "
+    [email protected]
+      [email protected]
+        [email protected]
+          [email protected]
+            [email protected] "crate"
+        [email protected] "::"
+        [email protected]
+          [email protected]
+            [email protected] "baz"
+    [email protected] ";"
+  [email protected] "\n"
+  [email protected]
+    [email protected] "use"
+  [email protected] "\n"
+  [email protected]
+    [email protected] "fn"
+    [email protected] " "
+    [email protected]
+      [email protected] "f"
+    [email protected]
+      [email protected] "("
+      [email protected] ")"
+    [email protected] " "
+    [email protected]
+      [email protected] "{"
+      [email protected] "}"
+  [email protected] "\n"
+error 17..17: expected one of `*`, `::`, `{`, `self`, `super` or an identifier
+error 17..17: expected SEMICOLON
+error 37..37: expected one of `*`, `::`, `{`, `self`, `super` or an identifier
+error 37..37: expected SEMICOLON
diff --git a/crates/syntax/test_data/parser/err/0035_use_recover.rs b/crates/syntax/test_data/parser/err/0035_use_recover.rs
new file mode 100644
index 000000000..4a2668126
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0035_use_recover.rs
@@ -0,0 +1,5 @@
+use foo::bar;
+use
+use crate::baz;
+use
+fn f() {}
diff --git a/crates/syntax/test_data/parser/err/0036_partial_use.rast b/crates/syntax/test_data/parser/err/0036_partial_use.rast
new file mode 100644
index 000000000..ef6172f8a
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0036_partial_use.rast
@@ -0,0 +1,51 @@
+[email protected]
+  [email protected]
+    [email protected] "use"
+    [email protected] " "
+    [email protected]
+      [email protected]
+        [email protected]
+          [email protected]
+            [email protected] "std"
+      [email protected] "::"
+      [email protected]
+        [email protected] "{"
+        [email protected]
+          [email protected]
+            [email protected]
+              [email protected]
+                [email protected]
+                  [email protected] "error"
+            [email protected] "::"
+            [email protected]
+              [email protected]
+                [email protected] "Error"
+        [email protected]
+          [email protected] ";"
+        [email protected] "\n"
+        [email protected]
+          [email protected] "use"
+        [email protected] " "
+        [email protected]
+          [email protected]
+            [email protected]
+              [email protected]
+                [email protected]
+                  [email protected] "std"
+            [email protected] "::"
+            [email protected]
+              [email protected]
+                [email protected] "io"
+        [email protected]
+          [email protected] ";"
+  [email protected] "\n"
+error 22..22: expected COMMA
+error 22..22: expected one of `*`, `::`, `{`, `self`, `super` or an identifier
+error 23..23: expected COMMA
+error 24..24: expected one of `*`, `::`, `{`, `self`, `super` or an identifier
+error 27..27: expected COMMA
+error 35..35: expected COMMA
+error 35..35: expected one of `*`, `::`, `{`, `self`, `super` or an identifier
+error 36..36: expected COMMA
+error 36..36: expected R_CURLY
+error 36..36: expected SEMICOLON
diff --git a/crates/syntax/test_data/parser/err/0036_partial_use.rs b/crates/syntax/test_data/parser/err/0036_partial_use.rs
new file mode 100644
index 000000000..d521a5bb2
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0036_partial_use.rs
@@ -0,0 +1,2 @@
+use std::{error::Error;
+use std::io;
diff --git a/crates/syntax/test_data/parser/err/0037_visibility_in_traits.rast b/crates/syntax/test_data/parser/err/0037_visibility_in_traits.rast
new file mode 100644
index 000000000..faf87d6e5
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0037_visibility_in_traits.rast
@@ -0,0 +1,97 @@
+[email protected]
+  [email protected]
+    [email protected] "impl"
+    [email protected] " "
+    [email protected]
+      [email protected]
+        [email protected]
+          [email protected]
+            [email protected] "T"
+    [email protected] " "
+    [email protected] "for"
+    [email protected] " "
+    [email protected]
+      [email protected] "("
+      [email protected] ")"
+    [email protected] " "
+    [email protected]
+      [email protected] "{"
+      [email protected] "\n    "
+      [email protected]
+        [email protected] "fn"
+        [email protected] " "
+        [email protected]
+          [email protected] "foo"
+        [email protected]
+          [email protected] "("
+          [email protected] ")"
+        [email protected] " "
+        [email protected]
+          [email protected] "{"
+          [email protected] "}"
+      [email protected] "\n    "
+      [email protected]
+        [email protected]
+          [email protected] "pub"
+        [email protected] " "
+        [email protected] "fn"
+        [email protected] " "
+        [email protected]
+          [email protected] "bar"
+        [email protected]
+          [email protected] "("
+          [email protected] ")"
+        [email protected] " "
+        [email protected]
+          [email protected] "{"
+          [email protected] "}"
+      [email protected] "\n    "
+      [email protected]
+        [email protected]
+          [email protected] "pub"
+          [email protected] "("
+          [email protected] "crate"
+          [email protected] ")"
+        [email protected] " "
+        [email protected] "type"
+        [email protected] " "
+        [email protected]
+          [email protected] "Baz"
+        [email protected] " "
+        [email protected] "="
+        [email protected] " "
+        [email protected]
+          [email protected] "("
+          [email protected] ")"
+        [email protected] ";"
+      [email protected] "\n    "
+      [email protected]
+        [email protected]
+          [email protected] "pub"
+          [email protected] "("
+          [email protected] "crate"
+          [email protected] ")"
+        [email protected] " "
+        [email protected] "const"
+        [email protected] " "
+        [email protected]
+          [email protected] "C"
+        [email protected] ":"
+        [email protected] " "
+        [email protected]
+          [email protected]
+            [email protected]
+              [email protected]
+                [email protected] "i32"
+        [email protected] " "
+        [email protected] "="
+        [email protected] " "
+        [email protected]
+          [email protected] "92"
+        [email protected] ";"
+      [email protected] "\n"
+      [email protected] "}"
+  [email protected] "\n"
+error 36..39: Unnecessary visibility qualifier
+error 56..66: Unnecessary visibility qualifier
+error 86..96: Unnecessary visibility qualifier
diff --git a/crates/syntax/test_data/parser/err/0037_visibility_in_traits.rs b/crates/syntax/test_data/parser/err/0037_visibility_in_traits.rs
new file mode 100644
index 000000000..a43e7ef10
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0037_visibility_in_traits.rs
@@ -0,0 +1,6 @@
+impl T for () {
+    fn foo() {}
+    pub fn bar() {}
+    pub(crate) type Baz = ();
+    pub(crate) const C: i32 = 92;
+}
diff --git a/crates/syntax/test_data/parser/err/0038_endless_inclusive_range.rast b/crates/syntax/test_data/parser/err/0038_endless_inclusive_range.rast
new file mode 100644
index 000000000..bed7ad6c3
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0038_endless_inclusive_range.rast
@@ -0,0 +1,29 @@
+[email protected]
+  [email protected]
+    [email protected] "fn"
+    [email protected] " "
+    [email protected]
+      [email protected] "main"
+    [email protected]
+      [email protected] "("
+      [email protected] ")"
+    [email protected] " "
+    [email protected]
+      [email protected] "{"
+      [email protected] "\n    "
+      [email protected]
+        [email protected]
+          [email protected]
+            [email protected] "0"
+          [email protected] "..="
+        [email protected] ";"
+      [email protected] "\n    "
+      [email protected]
+        [email protected]
+          [email protected] "..="
+        [email protected] ";"
+      [email protected] "\n"
+      [email protected] "}"
+  [email protected] "\n"
+error 16..20: An inclusive range must have an end expression
+error 26..29: An inclusive range must have an end expression
diff --git a/crates/syntax/test_data/parser/err/0038_endless_inclusive_range.rs b/crates/syntax/test_data/parser/err/0038_endless_inclusive_range.rs
new file mode 100644
index 000000000..0b4ed7a2b
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0038_endless_inclusive_range.rs
@@ -0,0 +1,4 @@
+fn main() {
+    0..=;
+    ..=;
+}
diff --git a/crates/syntax/test_data/parser/err/0039_lambda_recovery.rast b/crates/syntax/test_data/parser/err/0039_lambda_recovery.rast
new file mode 100644
index 000000000..a9c5b70fd
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0039_lambda_recovery.rast
@@ -0,0 +1,82 @@
+[email protected]
+  [email protected]
+    [email protected] "fn"
+    [email protected] " "
+    [email protected]
+      [email protected] "foo"
+    [email protected]
+      [email protected] "("
+      [email protected] ")"
+    [email protected] " "
+    [email protected]
+      [email protected] "->"
+      [email protected] " "
+      [email protected]
+        [email protected]
+          [email protected]
+            [email protected]
+              [email protected] "i32"
+    [email protected] " "
+    [email protected]
+      [email protected] "{"
+      [email protected] "\n    "
+      [email protected]
+        [email protected]
+          [email protected]
+            [email protected]
+              [email protected]
+                [email protected] "["
+                [email protected]
+                  [email protected] "1"
+                [email protected] ","
+                [email protected] " "
+                [email protected]
+                  [email protected] "2"
+                [email protected] ","
+                [email protected] " "
+                [email protected]
+                  [email protected] "3"
+                [email protected] "]"
+              [email protected] "."
+              [email protected]
+                [email protected] "iter"
+              [email protected]
+                [email protected] "("
+                [email protected] ")"
+            [email protected] "\n        "
+            [email protected] "."
+            [email protected]
+              [email protected] "map"
+            [email protected]
+              [email protected] "("
+              [email protected]
+                [email protected]
+                  [email protected] "|"
+                  [email protected]
+                    [email protected]
+                      [email protected]
+                        [email protected] "it"
+                  [email protected] "|"
+              [email protected] ")"
+          [email protected] "\n        "
+          [email protected] "."
+          [email protected]
+            [email protected] "max"
+          [email protected]
+            [email protected] "::"
+            [email protected] "<"
+            [email protected]
+              [email protected]
+                [email protected]
+                  [email protected]
+                    [email protected]
+                      [email protected] "i32"
+            [email protected] ">"
+          [email protected]
+            [email protected] "("
+            [email protected] ")"
+        [email protected] ";"
+      [email protected] "\n"
+      [email protected] "}"
+  [email protected] "\n"
+error 56..56: expected expression
diff --git a/crates/syntax/test_data/parser/err/0039_lambda_recovery.rs b/crates/syntax/test_data/parser/err/0039_lambda_recovery.rs
new file mode 100644
index 000000000..a2f74bd87
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0039_lambda_recovery.rs
@@ -0,0 +1,5 @@
+fn foo() -> i32 {
+    [1, 2, 3].iter()
+        .map(|it|)
+        .max::<i32>();
+}
diff --git a/crates/syntax/test_data/parser/err/0040_illegal_crate_kw_location.rast b/crates/syntax/test_data/parser/err/0040_illegal_crate_kw_location.rast
new file mode 100644
index 000000000..284c8715b
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0040_illegal_crate_kw_location.rast
@@ -0,0 +1,91 @@
+[email protected]
+  [email protected]
+    [email protected] "use"
+    [email protected] " "
+    [email protected]
+      [email protected]
+        [email protected]
+          [email protected] "::"
+          [email protected] "crate"
+    [email protected] ";"
+  [email protected] "\n"
+  [email protected]
+    [email protected] "use"
+    [email protected] " "
+    [email protected]
+      [email protected]
+        [email protected] "{"
+        [email protected]
+          [email protected]
+            [email protected]
+              [email protected] "crate"
+        [email protected] ","
+        [email protected] " "
+        [email protected]
+          [email protected]
+            [email protected]
+              [email protected]
+                [email protected] "foo"
+          [email protected] "::"
+          [email protected]
+            [email protected] "{"
+            [email protected]
+              [email protected]
+                [email protected]
+                  [email protected]
+                    [email protected]
+                      [email protected]
+                        [email protected] "crate"
+                    [email protected] "::"
+                    [email protected]
+                      [email protected]
+                        [email protected] "foo"
+                  [email protected] "::"
+                  [email protected]
+                    [email protected]
+                      [email protected] "bar"
+                [email protected] "::"
+                [email protected]
+                  [email protected]
+                    [email protected] "baz"
+            [email protected] "}"
+        [email protected] "}"
+    [email protected] ";"
+  [email protected] "\n"
+  [email protected]
+    [email protected] "use"
+    [email protected] " "
+    [email protected]
+      [email protected]
+        [email protected]
+          [email protected]
+            [email protected]
+              [email protected] "hello"
+        [email protected] "::"
+        [email protected]
+          [email protected] "crate"
+    [email protected] ";"
+  [email protected] "\n"
+  [email protected]
+    [email protected] "use"
+    [email protected] " "
+    [email protected]
+      [email protected]
+        [email protected]
+          [email protected]
+            [email protected]
+              [email protected]
+                [email protected] "hello"
+          [email protected] "::"
+          [email protected]
+            [email protected] "crate"
+        [email protected] "::"
+        [email protected]
+          [email protected]
+            [email protected] "there"
+    [email protected] ";"
+  [email protected] "\n"
+error 6..11: The `crate` keyword is only allowed as the first segment of a path
+error 31..36: The `crate` keyword is only allowed as the first segment of a path
+error 66..71: The `crate` keyword is only allowed as the first segment of a path
+error 84..89: The `crate` keyword is only allowed as the first segment of a path
diff --git a/crates/syntax/test_data/parser/err/0040_illegal_crate_kw_location.rs b/crates/syntax/test_data/parser/err/0040_illegal_crate_kw_location.rs
new file mode 100644
index 000000000..508def2c7
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0040_illegal_crate_kw_location.rs
@@ -0,0 +1,4 @@
+use ::crate;
+use {crate, foo::{crate::foo::bar::baz}};
+use hello::crate;
+use hello::crate::there;
diff --git a/crates/syntax/test_data/parser/err/0041_illegal_super_keyword_location.rast b/crates/syntax/test_data/parser/err/0041_illegal_super_keyword_location.rast
new file mode 100644
index 000000000..2049a9d72
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0041_illegal_super_keyword_location.rast
@@ -0,0 +1,70 @@
+[email protected]
+  [email protected]
+    [email protected] "use"
+    [email protected] " "
+    [email protected]
+      [email protected]
+        [email protected]
+          [email protected] "::"
+          [email protected] "super"
+    [email protected] ";"
+  [email protected] "\n"
+  [email protected]
+    [email protected] "use"
+    [email protected] " "
+    [email protected]
+      [email protected]
+        [email protected]
+          [email protected]
+            [email protected]
+              [email protected] "a"
+        [email protected] "::"
+        [email protected]
+          [email protected] "super"
+    [email protected] ";"
+  [email protected] "\n"
+  [email protected]
+    [email protected] "use"
+    [email protected] " "
+    [email protected]
+      [email protected]
+        [email protected]
+          [email protected]
+            [email protected]
+              [email protected] "super"
+          [email protected] "::"
+          [email protected]
+            [email protected]
+              [email protected] "a"
+        [email protected] "::"
+        [email protected]
+          [email protected] "super"
+    [email protected] ";"
+  [email protected] "\n"
+  [email protected]
+    [email protected] "use"
+    [email protected] " "
+    [email protected]
+      [email protected]
+        [email protected]
+          [email protected]
+            [email protected] "a"
+      [email protected] "::"
+      [email protected]
+        [email protected] "{"
+        [email protected]
+          [email protected]
+            [email protected]
+              [email protected]
+                [email protected] "super"
+            [email protected] "::"
+            [email protected]
+              [email protected]
+                [email protected] "b"
+        [email protected] "}"
+    [email protected] ";"
+  [email protected] "\n"
+error 6..11: The `super` keyword may only be preceded by other `super`s
+error 20..25: The `super` keyword may only be preceded by other `super`s
+error 41..46: The `super` keyword may only be preceded by other `super`s
+error 56..61: The `super` keyword may only be preceded by other `super`s
diff --git a/crates/syntax/test_data/parser/err/0041_illegal_super_keyword_location.rs b/crates/syntax/test_data/parser/err/0041_illegal_super_keyword_location.rs
new file mode 100644
index 000000000..bd4d58042
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0041_illegal_super_keyword_location.rs
@@ -0,0 +1,4 @@
+use ::super;
+use a::super;
+use super::a::super;
+use a::{super::b};
diff --git a/crates/syntax/test_data/parser/err/0042_illegal_self_keyword_location.rast b/crates/syntax/test_data/parser/err/0042_illegal_self_keyword_location.rast
new file mode 100644
index 000000000..deadf56b4
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0042_illegal_self_keyword_location.rast
@@ -0,0 +1,27 @@
+[email protected]
+  [email protected]
+    [email protected] "use"
+    [email protected] " "
+    [email protected]
+      [email protected]
+        [email protected]
+          [email protected] "::"
+          [email protected] "self"
+    [email protected] ";"
+  [email protected] "\n"
+  [email protected]
+    [email protected] "use"
+    [email protected] " "
+    [email protected]
+      [email protected]
+        [email protected]
+          [email protected]
+            [email protected]
+              [email protected] "a"
+        [email protected] "::"
+        [email protected]
+          [email protected] "self"
+    [email protected] ";"
+  [email protected] "\n"
+error 6..10: The `self` keyword is only allowed as the first segment of a path
+error 19..23: The `self` keyword is only allowed as the first segment of a path
diff --git a/crates/syntax/test_data/parser/err/0042_illegal_self_keyword_location.rs b/crates/syntax/test_data/parser/err/0042_illegal_self_keyword_location.rs
new file mode 100644
index 000000000..b9e1d7d8b
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0042_illegal_self_keyword_location.rs
@@ -0,0 +1,2 @@
+use ::self;
+use a::self;
diff --git a/crates/syntax/test_data/parser/err/0043_weird_blocks.rast b/crates/syntax/test_data/parser/err/0043_weird_blocks.rast
new file mode 100644
index 000000000..df29017e7
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0043_weird_blocks.rast
@@ -0,0 +1,71 @@
+[email protected]
+  [email protected]
+    [email protected] "fn"
+    [email protected] " "
+    [email protected]
+      [email protected] "main"
+    [email protected]
+      [email protected] "("
+      [email protected] ")"
+    [email protected] " "
+    [email protected]
+      [email protected] "{"
+      [email protected] "\n    "
+      [email protected]
+        [email protected]
+          [email protected] "{"
+          [email protected] " "
+          [email protected]
+            [email protected] "unsafe"
+          [email protected] " "
+          [email protected]
+            [email protected] "92"
+          [email protected] " "
+          [email protected] "}"
+      [email protected] "\n    "
+      [email protected]
+        [email protected]
+          [email protected] "{"
+          [email protected] " "
+          [email protected]
+            [email protected] "async"
+          [email protected] " "
+          [email protected]
+            [email protected] "92"
+          [email protected] " "
+          [email protected] "}"
+      [email protected] "\n    "
+      [email protected]
+        [email protected]
+          [email protected] "{"
+          [email protected] " "
+          [email protected]
+            [email protected]
+              [email protected] "try"
+          [email protected] " "
+          [email protected]
+            [email protected] "92"
+          [email protected] " "
+          [email protected] "}"
+      [email protected] "\n    "
+      [email protected]
+        [email protected] "{"
+        [email protected] " "
+        [email protected]
+          [email protected]
+            [email protected]
+              [email protected] "\'label"
+              [email protected] ":"
+        [email protected] " "
+        [email protected]
+          [email protected] "92"
+        [email protected] " "
+        [email protected] "}"
+      [email protected] "\n"
+      [email protected] "}"
+  [email protected] "\n"
+error 24..24: expected existential, fn, trait or impl
+error 41..41: expected existential, fn, trait or impl
+error 56..56: expected a block
+error 75..75: expected a loop
+error 75..75: expected SEMICOLON
diff --git a/crates/syntax/test_data/parser/err/0043_weird_blocks.rs b/crates/syntax/test_data/parser/err/0043_weird_blocks.rs
new file mode 100644
index 000000000..8fa324c1a
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0043_weird_blocks.rs
@@ -0,0 +1,6 @@
+fn main() {
+    { unsafe 92 }
+    { async 92 }
+    { try 92 }
+    { 'label: 92 }
+}
diff --git a/crates/syntax/test_data/parser/err/0044_unexpected_for_type.rast b/crates/syntax/test_data/parser/err/0044_unexpected_for_type.rast
new file mode 100644
index 000000000..71aa86494
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0044_unexpected_for_type.rast
@@ -0,0 +1,240 @@
+[email protected]
+  [email protected]
+    [email protected] "type"
+    [email protected] " "
+    [email protected]
+      [email protected] "ForRef"
+    [email protected] " "
+    [email protected] "="
+    [email protected] " "
+    [email protected]
+      [email protected] "for"
+      [email protected]
+        [email protected] "<"
+        [email protected]
+          [email protected] "\'a"
+        [email protected] ">"
+      [email protected] " "
+      [email protected]
+        [email protected] "&"
+        [email protected] "\'a"
+        [email protected] " "
+        [email protected]
+          [email protected]
+            [email protected]
+              [email protected]
+                [email protected] "u32"
+    [email protected] ";"
+  [email protected] "\n"
+  [email protected]
+    [email protected] "type"
+    [email protected] " "
+    [email protected]
+      [email protected] "ForTup"
+    [email protected] " "
+    [email protected] "="
+    [email protected] " "
+    [email protected]
+      [email protected] "for"
+      [email protected]
+        [email protected] "<"
+        [email protected]
+          [email protected] "\'a"
+        [email protected] ">"
+      [email protected] " "
+      [email protected]
+        [email protected] "("
+        [email protected]
+          [email protected] "&"
+          [email protected] "\'a"
+          [email protected] " "
+          [email protected]
+            [email protected]
+              [email protected]
+                [email protected]
+                  [email protected] "u32"
+        [email protected] ","
+        [email protected] ")"
+    [email protected] ";"
+  [email protected] "\n"
+  [email protected]
+    [email protected] "type"
+    [email protected] " "
+    [email protected]
+      [email protected] "ForSlice"
+    [email protected] " "
+    [email protected] "="
+    [email protected] " "
+    [email protected]
+      [email protected] "for"
+      [email protected]
+        [email protected] "<"
+        [email protected]
+          [email protected] "\'a"
+        [email protected] ">"
+      [email protected] " "
+      [email protected]
+        [email protected] "["
+        [email protected]
+          [email protected]
+            [email protected]
+              [email protected]
+                [email protected] "u32"
+        [email protected] "]"
+    [email protected] ";"
+  [email protected] "\n"
+  [email protected]
+    [email protected] "type"
+    [email protected] " "
+    [email protected]
+      [email protected] "ForForFn"
+    [email protected] " "
+    [email protected] "="
+    [email protected] " "
+    [email protected]
+      [email protected] "for"
+      [email protected]
+        [email protected] "<"
+        [email protected]
+          [email protected] "\'a"
+        [email protected] ">"
+      [email protected] " "
+      [email protected]
+        [email protected] "for"
+        [email protected]
+          [email protected] "<"
+          [email protected]
+            [email protected] "\'b"
+          [email protected] ">"
+        [email protected] " "
+        [email protected]
+          [email protected] "fn"
+          [email protected]
+            [email protected] "("
+            [email protected]
+              [email protected]
+                [email protected] "&"
+                [email protected] "\'a"
+                [email protected] " "
+                [email protected]
+                  [email protected]
+                    [email protected]
+                      [email protected]
+                        [email protected] "i32"
+            [email protected] ","
+            [email protected] " "
+            [email protected]
+              [email protected]
+                [email protected] "&"
+                [email protected] "\'b"
+                [email protected] " "
+                [email protected]
+                  [email protected]
+                    [email protected]
+                      [email protected]
+                        [email protected] "i32"
+            [email protected] ")"
+    [email protected] ";"
+  [email protected] "\n"
+  [email protected]
+    [email protected] "fn"
+    [email protected] " "
+    [email protected]
+      [email protected] "for_for_for"
+    [email protected]
+      [email protected] "<"
+      [email protected]
+        [email protected]
+          [email protected] "T"
+      [email protected] ">"
+    [email protected]
+      [email protected] "("
+      [email protected] ")"
+    [email protected] "\n"
+    [email protected]
+      [email protected] "where"
+      [email protected] "\n    "
+      [email protected]
+        [email protected] "for"
+        [email protected]
+          [email protected] "<"
+          [email protected]
+            [email protected] "\'a"
+          [email protected] ">"
+        [email protected] " "
+        [email protected]
+          [email protected] "for"
+          [email protected]
+            [email protected] "<"
+            [email protected]
+              [email protected] "\'b"
+            [email protected] ">"
+          [email protected] " "
+          [email protected]
+            [email protected] "for"
+            [email protected]
+              [email protected] "<"
+              [email protected]
+                [email protected] "\'c"
+              [email protected] ">"
+            [email protected] " "
+            [email protected]
+              [email protected] "fn"
+              [email protected]
+                [email protected] "("
+                [email protected]
+                  [email protected]
+                    [email protected] "&"
+                    [email protected] "\'a"
+                    [email protected] " "
+                    [email protected]
+                      [email protected]
+                        [email protected]
+                          [email protected]
+                            [email protected] "T"
+                [email protected] ","
+                [email protected] " "
+                [email protected]
+                  [email protected]
+                    [email protected] "&"
+                    [email protected] "\'b"
+                    [email protected] " "
+                    [email protected]
+                      [email protected]
+                        [email protected]
+                          [email protected]
+                            [email protected] "T"
+                [email protected] ","
+                [email protected] " "
+                [email protected]
+                  [email protected]
+                    [email protected] "&"
+                    [email protected] "\'c"
+                    [email protected] " "
+                    [email protected]
+                      [email protected]
+                        [email protected]
+                          [email protected]
+                            [email protected] "T"
+                [email protected] ")"
+        [email protected] ":"
+        [email protected] " "
+        [email protected]
+          [email protected]
+            [email protected]
+              [email protected]
+                [email protected]
+                  [email protected]
+                    [email protected] "Copy"
+      [email protected] ","
+    [email protected] "\n"
+    [email protected]
+      [email protected] "{"
+      [email protected] "\n"
+      [email protected] "}"
+  [email protected] "\n"
+error 21..21: expected a function pointer or path
+error 52..52: expected a function pointer or path
+error 88..88: expected a function pointer or path
+error 119..119: expected a function pointer or path
+error 195..195: expected a function pointer or path
diff --git a/crates/syntax/test_data/parser/err/0044_unexpected_for_type.rs b/crates/syntax/test_data/parser/err/0044_unexpected_for_type.rs
new file mode 100644
index 000000000..0e9f8ccb4
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0044_unexpected_for_type.rs
@@ -0,0 +1,9 @@
+type ForRef = for<'a> &'a u32;
+type ForTup = for<'a> (&'a u32,);
+type ForSlice = for<'a> [u32];
+type ForForFn = for<'a> for<'b> fn(&'a i32, &'b i32);
+fn for_for_for<T>()
+where
+    for<'a> for<'b> for<'c> fn(&'a T, &'b T, &'c T): Copy,
+{
+}
diff --git a/crates/syntax/test_data/parser/err/0045_item_modifiers.rast b/crates/syntax/test_data/parser/err/0045_item_modifiers.rast
new file mode 100644
index 000000000..a6e6552a9
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0045_item_modifiers.rast
@@ -0,0 +1,45 @@
+[email protected]
+  [email protected]
+    [email protected] "unsafe"
+  [email protected] " "
+  [email protected]
+    [email protected] "async"
+    [email protected] " "
+    [email protected] "fn"
+    [email protected] " "
+    [email protected]
+      [email protected] "foo"
+    [email protected]
+      [email protected] "("
+      [email protected] ")"
+    [email protected] " "
+    [email protected]
+      [email protected] "{"
+      [email protected] "}"
+  [email protected] "\n"
+  [email protected]
+    [email protected] "unsafe"
+    [email protected] " "
+    [email protected] "const"
+    [email protected] " "
+    [email protected]
+      [email protected] "fn"
+    [email protected] " "
+    [email protected]
+      [email protected]
+        [email protected]
+          [email protected]
+            [email protected] "bar"
+          [email protected]
+            [email protected] "("
+            [email protected] ")"
+  [email protected] " "
+  [email protected]
+    [email protected] "{"
+    [email protected] "}"
+  [email protected] "\n"
+error 6..6: expected existential, fn, trait or impl
+error 38..38: expected a name
+error 40..40: expected COLON
+error 46..46: expected SEMICOLON
+error 47..47: expected an item
diff --git a/crates/syntax/test_data/parser/err/0045_item_modifiers.rs b/crates/syntax/test_data/parser/err/0045_item_modifiers.rs
new file mode 100644
index 000000000..731e58013
--- /dev/null
+++ b/crates/syntax/test_data/parser/err/0045_item_modifiers.rs
@@ -0,0 +1,2 @@
+unsafe async fn foo() {}
+unsafe const fn bar() {}