341 files changed, 12175 insertions, 0 deletions
diff --git a/crates/ra_syntax/tests/data/parser/err/0000_struct_field_missing_comma.rs b/crates/ra_syntax/tests/data/parser/err/0000_struct_field_missing_comma.rs
new file mode 100644
index 000000000..fe5030d89
--- /dev/null
+++ b/crates/ra_syntax/tests/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/ra_syntax/tests/data/parser/err/0000_struct_field_missing_comma.txt b/crates/ra_syntax/tests/data/parser/err/0000_struct_field_missing_comma.txt
new file mode 100644
index 000000000..aa375fe8a
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/err/0000_struct_field_missing_comma.txt
@@ -0,0 +1,34 @@
+ROOT@[0; 34)
+  STRUCT_DEF@[0; 34)
+    STRUCT_KW@[0; 6)
+    WHITESPACE@[6; 7)
+    NAME@[7; 8)
+      IDENT@[7; 8) "S"
+    WHITESPACE@[8; 9)
+    NAMED_FIELD_DEF_LIST@[9; 34)
+      L_CURLY@[9; 10)
+      WHITESPACE@[10; 15)
+      NAMED_FIELD_DEF@[15; 21)
+        NAME@[15; 16)
+          IDENT@[15; 16) "a"
+        COLON@[16; 17)
+        WHITESPACE@[17; 18)
+        PATH_TYPE@[18; 21)
+          PATH@[18; 21)
+            PATH_SEGMENT@[18; 21)
+              NAME_REF@[18; 21)
+                IDENT@[18; 21) "u32"
+                err: `expected COMMA`
+      WHITESPACE@[21; 26)
+      NAMED_FIELD_DEF@[26; 32)
+        NAME@[26; 27)
+          IDENT@[26; 27) "b"
+        COLON@[27; 28)
+        WHITESPACE@[28; 29)
+        PATH_TYPE@[29; 32)
+          PATH@[29; 32)
+            PATH_SEGMENT@[29; 32)
+              NAME_REF@[29; 32)
+                IDENT@[29; 32) "u32"
+      WHITESPACE@[32; 33)
+      R_CURLY@[33; 34)
diff --git a/crates/ra_syntax/tests/data/parser/err/0001_item_recovery_in_file.rs b/crates/ra_syntax/tests/data/parser/err/0001_item_recovery_in_file.rs
new file mode 100644
index 000000000..98f23de1f
--- /dev/null
+++ b/crates/ra_syntax/tests/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/ra_syntax/tests/data/parser/err/0001_item_recovery_in_file.txt b/crates/ra_syntax/tests/data/parser/err/0001_item_recovery_in_file.txt
new file mode 100644
index 000000000..771d6e1ef
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/err/0001_item_recovery_in_file.txt
@@ -0,0 +1,18 @@
+ROOT@[0; 21)
+  ERROR@[0; 2)
+    IF_KW@[0; 2)
+    err: `expected an item`
+  WHITESPACE@[2; 3)
+  err: `expected an item`
+  ERROR@[3; 8)
+    MATCH_KW@[3; 8)
+  WHITESPACE@[8; 10)
+  STRUCT_DEF@[10; 21)
+    STRUCT_KW@[10; 16)
+    WHITESPACE@[16; 17)
+    NAME@[17; 18)
+      IDENT@[17; 18) "S"
+    WHITESPACE@[18; 19)
+    NAMED_FIELD_DEF_LIST@[19; 21)
+      L_CURLY@[19; 20)
+      R_CURLY@[20; 21)
diff --git a/crates/ra_syntax/tests/data/parser/err/0002_duplicate_shebang.rs b/crates/ra_syntax/tests/data/parser/err/0002_duplicate_shebang.rs
new file mode 100644
index 000000000..48a3a3980
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/err/0002_duplicate_shebang.rs
@@ -0,0 +1,2 @@
+#!/use/bin/env rusti
+#!/use/bin/env rusti
diff --git a/crates/ra_syntax/tests/data/parser/err/0002_duplicate_shebang.txt b/crates/ra_syntax/tests/data/parser/err/0002_duplicate_shebang.txt
new file mode 100644
index 000000000..57fb48420
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/err/0002_duplicate_shebang.txt
@@ -0,0 +1,7 @@
+ROOT@[0; 42)
+  SHEBANG@[0; 20)
+  WHITESPACE@[20; 21)
+  err: `expected an item`
+  ERROR@[21; 41)
+    SHEBANG@[21; 41)
+  WHITESPACE@[41; 42)
diff --git a/crates/ra_syntax/tests/data/parser/err/0003_C++_semicolon.rs b/crates/ra_syntax/tests/data/parser/err/0003_C++_semicolon.rs
new file mode 100644
index 000000000..009312270
--- /dev/null
+++ b/crates/ra_syntax/tests/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/ra_syntax/tests/data/parser/err/0003_C++_semicolon.txt b/crates/ra_syntax/tests/data/parser/err/0003_C++_semicolon.txt
new file mode 100644
index 000000000..b51c0573a
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/err/0003_C++_semicolon.txt
@@ -0,0 +1,39 @@
+ROOT@[0; 40)
+  STRUCT_DEF@[0; 40)
+    STRUCT_KW@[0; 6)
+    WHITESPACE@[6; 7)
+    NAME@[7; 8)
+      IDENT@[7; 8) "S"
+    WHITESPACE@[8; 9)
+    NAMED_FIELD_DEF_LIST@[9; 39)
+      L_CURLY@[9; 10)
+      WHITESPACE@[10; 15)
+      NAMED_FIELD_DEF@[15; 21)
+        NAME@[15; 16)
+          IDENT@[15; 16) "a"
+        COLON@[16; 17)
+        WHITESPACE@[17; 18)
+        PATH_TYPE@[18; 21)
+          PATH@[18; 21)
+            PATH_SEGMENT@[18; 21)
+              NAME_REF@[18; 21)
+                IDENT@[18; 21) "i32"
+      COMMA@[21; 22)
+      WHITESPACE@[22; 27)
+      NAMED_FIELD_DEF@[27; 36)
+        NAME@[27; 28)
+          IDENT@[27; 28) "b"
+        COLON@[28; 29)
+        WHITESPACE@[29; 30)
+        PATH_TYPE@[30; 36)
+          PATH@[30; 36)
+            PATH_SEGMENT@[30; 36)
+              NAME_REF@[30; 36)
+                IDENT@[30; 36) "String"
+      COMMA@[36; 37)
+      WHITESPACE@[37; 38)
+      R_CURLY@[38; 39)
+      err: `expected item, found `;`
+consider removing this semicolon`
+    ERROR@[39; 40)
+      SEMI@[39; 40)
diff --git a/crates/ra_syntax/tests/data/parser/err/0004_use_path_bad_segment.rs b/crates/ra_syntax/tests/data/parser/err/0004_use_path_bad_segment.rs
new file mode 100644
index 000000000..060e65d06
--- /dev/null
+++ b/crates/ra_syntax/tests/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/ra_syntax/tests/data/parser/err/0004_use_path_bad_segment.txt b/crates/ra_syntax/tests/data/parser/err/0004_use_path_bad_segment.txt
new file mode 100644
index 000000000..646c84534
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/err/0004_use_path_bad_segment.txt
@@ -0,0 +1,16 @@
+ROOT@[0; 12)
+  USE_ITEM@[0; 12)
+    USE_KW@[0; 3)
+    WHITESPACE@[3; 4)
+    USE_TREE@[4; 11)
+      PATH@[4; 11)
+        PATH@[4; 7)
+          PATH_SEGMENT@[4; 7)
+            NAME_REF@[4; 7)
+              IDENT@[4; 7) "foo"
+        COLONCOLON@[7; 9)
+        err: `expected identifier`
+        PATH_SEGMENT@[9; 11)
+          ERROR@[9; 11)
+            INT_NUMBER@[9; 11) "92"
+    SEMI@[11; 12)
diff --git a/crates/ra_syntax/tests/data/parser/err/0005_attribute_recover.rs b/crates/ra_syntax/tests/data/parser/err/0005_attribute_recover.rs
new file mode 100644
index 000000000..de7f81628
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/err/0005_attribute_recover.rs
@@ -0,0 +1,8 @@
+#[foo(foo, +, 92)]
+fn foo() {
+}
+#[foo(
+fn foo() {
+}
diff --git a/crates/ra_syntax/tests/data/parser/err/0005_attribute_recover.txt b/crates/ra_syntax/tests/data/parser/err/0005_attribute_recover.txt
new file mode 100644
index 000000000..b3cf9b889
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/err/0005_attribute_recover.txt
@@ -0,0 +1,55 @@
+ROOT@[0; 54)
+  FN_DEF@[0; 31)
+    ATTR@[0; 18)
+      POUND@[0; 1)
+      TOKEN_TREE@[1; 18)
+        L_BRACK@[1; 2)
+        IDENT@[2; 5) "foo"
+        TOKEN_TREE@[5; 17)
+          L_PAREN@[5; 6)
+          IDENT@[6; 9) "foo"
+          COMMA@[9; 10)
+          WHITESPACE@[10; 11)
+          PLUS@[11; 12)
+          COMMA@[12; 13)
+          WHITESPACE@[13; 14)
+          INT_NUMBER@[14; 16) "92"
+          R_PAREN@[16; 17)
+        R_BRACK@[17; 18)
+    WHITESPACE@[18; 19)
+    FN_KW@[19; 21)
+    WHITESPACE@[21; 22)
+    NAME@[22; 25)
+      IDENT@[22; 25) "foo"
+    PARAM_LIST@[25; 27)
+      L_PAREN@[25; 26)
+      R_PAREN@[26; 27)
+    WHITESPACE@[27; 28)
+    BLOCK@[28; 31)
+      L_CURLY@[28; 29)
+      WHITESPACE@[29; 30)
+      R_CURLY@[30; 31)
+  WHITESPACE@[31; 34)
+  ATTR@[34; 53)
+    POUND@[34; 35)
+    TOKEN_TREE@[35; 53)
+      L_BRACK@[35; 36)
+      IDENT@[36; 39) "foo"
+      TOKEN_TREE@[39; 53)
+        L_PAREN@[39; 40)
+        WHITESPACE@[40; 41)
+        FN_KW@[41; 43)
+        WHITESPACE@[43; 44)
+        IDENT@[44; 47) "foo"
+        TOKEN_TREE@[47; 49)
+          L_PAREN@[47; 48)
+          R_PAREN@[48; 49)
+        WHITESPACE@[49; 50)
+        TOKEN_TREE@[50; 53)
+          L_CURLY@[50; 51)
+          WHITESPACE@[51; 52)
+          R_CURLY@[52; 53)
+          err: `expected R_PAREN`
+          err: `expected R_BRACK`
+          err: `expected an item`
+  WHITESPACE@[53; 54)
diff --git a/crates/ra_syntax/tests/data/parser/err/0006_named_field_recovery.rs b/crates/ra_syntax/tests/data/parser/err/0006_named_field_recovery.rs
new file mode 100644
index 000000000..8069c111b
--- /dev/null
+++ b/crates/ra_syntax/tests/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/ra_syntax/tests/data/parser/err/0006_named_field_recovery.txt b/crates/ra_syntax/tests/data/parser/err/0006_named_field_recovery.txt
new file mode 100644
index 000000000..9abda7099
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/err/0006_named_field_recovery.txt
@@ -0,0 +1,74 @@
+ROOT@[0; 74)
+  STRUCT_DEF@[0; 73)
+    STRUCT_KW@[0; 6)
+    WHITESPACE@[6; 7)
+    NAME@[7; 8)
+      IDENT@[7; 8) "S"
+    WHITESPACE@[8; 9)
+    NAMED_FIELD_DEF_LIST@[9; 73)
+      L_CURLY@[9; 10)
+      WHITESPACE@[10; 15)
+      NAMED_FIELD_DEF@[15; 21)
+        NAME@[15; 16)
+          IDENT@[15; 16) "f"
+        COLON@[16; 17)
+        WHITESPACE@[17; 18)
+        PATH_TYPE@[18; 21)
+          PATH@[18; 21)
+            PATH_SEGMENT@[18; 21)
+              NAME_REF@[18; 21)
+                IDENT@[18; 21) "u32"
+      COMMA@[21; 22)
+      WHITESPACE@[22; 27)
+      VISIBILITY@[27; 30)
+        PUB_KW@[27; 30)
+      WHITESPACE@[30; 31)
+      err: `expected field declaration`
+      ERROR@[31; 33)
+        INT_NUMBER@[31; 33) "92"
+        err: `expected COMMA`
+      WHITESPACE@[33; 38)
+      err: `expected field declaration`
+      ERROR@[38; 39)
+        PLUS@[38; 39)
+        err: `expected COMMA`
+      WHITESPACE@[39; 40)
+      err: `expected field declaration`
+      ERROR@[40; 41)
+        MINUS@[40; 41)
+        err: `expected COMMA`
+      WHITESPACE@[41; 42)
+      err: `expected field declaration`
+      ERROR@[42; 43)
+        STAR@[42; 43)
+        err: `expected COMMA`
+      WHITESPACE@[43; 48)
+      NAMED_FIELD_DEF@[48; 58)
+        VISIBILITY@[48; 51)
+          PUB_KW@[48; 51)
+        WHITESPACE@[51; 52)
+        NAME@[52; 53)
+          IDENT@[52; 53) "x"
+        COLON@[53; 54)
+        WHITESPACE@[54; 55)
+        PATH_TYPE@[55; 58)
+          PATH@[55; 58)
+            PATH_SEGMENT@[55; 58)
+              NAME_REF@[55; 58)
+                IDENT@[55; 58) "u32"
+      COMMA@[58; 59)
+      WHITESPACE@[59; 64)
+      NAMED_FIELD_DEF@[64; 70)
+        NAME@[64; 65)
+          IDENT@[64; 65) "z"
+        COLON@[65; 66)
+        WHITESPACE@[66; 67)
+        PATH_TYPE@[67; 70)
+          PATH@[67; 70)
+            PATH_SEGMENT@[67; 70)
+              NAME_REF@[67; 70)
+                IDENT@[67; 70) "f64"
+      COMMA@[70; 71)
+      WHITESPACE@[71; 72)
+      R_CURLY@[72; 73)
+  WHITESPACE@[73; 74)
diff --git a/crates/ra_syntax/tests/data/parser/err/0007_stray_curly_in_file.rs b/crates/ra_syntax/tests/data/parser/err/0007_stray_curly_in_file.rs
new file mode 100644
index 000000000..dc869fb78
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/err/0007_stray_curly_in_file.rs
@@ -0,0 +1,9 @@
+}
+struct S;
+}
+fn foo(){}
+}
diff --git a/crates/ra_syntax/tests/data/parser/err/0007_stray_curly_in_file.txt b/crates/ra_syntax/tests/data/parser/err/0007_stray_curly_in_file.txt
new file mode 100644
index 000000000..802c69b31
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/err/0007_stray_curly_in_file.txt
@@ -0,0 +1,32 @@
+ROOT@[0; 31)
+  ERROR@[0; 1)
+    R_CURLY@[0; 1)
+    err: `unmatched `}``
+  WHITESPACE@[1; 3)
+  STRUCT_DEF@[3; 12)
+    STRUCT_KW@[3; 9)
+    WHITESPACE@[9; 10)
+    NAME@[10; 11)
+      IDENT@[10; 11) "S"
+    SEMI@[11; 12)
+  WHITESPACE@[12; 14)
+  err: `unmatched `}``
+  ERROR@[14; 15)
+    R_CURLY@[14; 15)
+  WHITESPACE@[15; 17)
+  FN_DEF@[17; 27)
+    FN_KW@[17; 19)
+    WHITESPACE@[19; 20)
+    NAME@[20; 23)
+      IDENT@[20; 23) "foo"
+    PARAM_LIST@[23; 25)
+      L_PAREN@[23; 24)
+      R_PAREN@[24; 25)
+    BLOCK@[25; 27)
+      L_CURLY@[25; 26)
+      R_CURLY@[26; 27)
+  WHITESPACE@[27; 29)
+  err: `unmatched `}``
+  ERROR@[29; 30)
+    R_CURLY@[29; 30)
+  WHITESPACE@[30; 31)
diff --git a/crates/ra_syntax/tests/data/parser/err/0008_item_block_recovery.rs b/crates/ra_syntax/tests/data/parser/err/0008_item_block_recovery.rs
new file mode 100644
index 000000000..9fcac19b5
--- /dev/null
+++ b/crates/ra_syntax/tests/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/ra_syntax/tests/data/parser/err/0008_item_block_recovery.txt b/crates/ra_syntax/tests/data/parser/err/0008_item_block_recovery.txt
new file mode 100644
index 000000000..95a34333b
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/err/0008_item_block_recovery.txt
@@ -0,0 +1,70 @@
+ROOT@[0; 95)
+  FN_DEF@[0; 12)
+    FN_KW@[0; 2)
+    WHITESPACE@[2; 3)
+    NAME@[3; 6)
+      IDENT@[3; 6) "foo"
+    PARAM_LIST@[6; 8)
+      L_PAREN@[6; 7)
+      R_PAREN@[7; 8)
+    WHITESPACE@[8; 9)
+    BLOCK@[9; 12)
+      L_CURLY@[9; 10)
+      WHITESPACE@[10; 11)
+      R_CURLY@[11; 12)
+  WHITESPACE@[12; 14)
+  MACRO_CALL@[14; 19)
+    PATH@[14; 17)
+      PATH_SEGMENT@[14; 17)
+        NAME_REF@[14; 17)
+          IDENT@[14; 17) "bar"
+          err: `expected EXCL`
+    TOKEN_TREE@[17; 19)
+      L_PAREN@[17; 18)
+      R_PAREN@[18; 19)
+      err: `expected SEMI`
+  WHITESPACE@[19; 20)
+  err: `expected an item`
+  ERROR@[20; 80)
+    L_CURLY@[20; 21)
+    WHITESPACE@[21; 26)
+    IF_KW@[26; 28)
+    WHITESPACE@[28; 29)
+    TRUE_KW@[29; 33)
+    WHITESPACE@[33; 34)
+    ERROR@[34; 51)
+      L_CURLY@[34; 35)
+      WHITESPACE@[35; 44)
+      INT_NUMBER@[44; 45) "1"
+      WHITESPACE@[45; 50)
+      R_CURLY@[50; 51)
+    WHITESPACE@[51; 52)
+    ELSE_KW@[52; 56)
+    WHITESPACE@[56; 57)
+    ERROR@[57; 78)
+      L_CURLY@[57; 58)
+      WHITESPACE@[58; 67)
+      INT_NUMBER@[67; 68) "2"
+      WHITESPACE@[68; 69)
+      PLUS@[69; 70)
+      WHITESPACE@[70; 71)
+      INT_NUMBER@[71; 72) "3"
+      WHITESPACE@[72; 77)
+      R_CURLY@[77; 78)
+    WHITESPACE@[78; 79)
+    R_CURLY@[79; 80)
+  WHITESPACE@[80; 82)
+  FN_DEF@[82; 94)
+    FN_KW@[82; 84)
+    WHITESPACE@[84; 85)
+    NAME@[85; 88)
+      IDENT@[85; 88) "baz"
+    PARAM_LIST@[88; 90)
+      L_PAREN@[88; 89)
+      R_PAREN@[89; 90)
+    WHITESPACE@[90; 91)
+    BLOCK@[91; 94)
+      L_CURLY@[91; 92)
+      WHITESPACE@[92; 93)
+      R_CURLY@[93; 94)
+  WHITESPACE@[94; 95)
diff --git a/crates/ra_syntax/tests/data/parser/err/0009_broken_struct_type_parameter.rs b/crates/ra_syntax/tests/data/parser/err/0009_broken_struct_type_parameter.rs
new file mode 100644
index 000000000..0dd30d0bd
--- /dev/null
+++ b/crates/ra_syntax/tests/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/ra_syntax/tests/data/parser/err/0009_broken_struct_type_parameter.txt b/crates/ra_syntax/tests/data/parser/err/0009_broken_struct_type_parameter.txt
new file mode 100644
index 000000000..fa8adf881
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/err/0009_broken_struct_type_parameter.txt
@@ -0,0 +1,44 @@
+ROOT@[0; 43)
+  STRUCT_DEF@[0; 11)
+    STRUCT_KW@[0; 6)
+    WHITESPACE@[6; 7)
+    NAME@[7; 8)
+      IDENT@[7; 8) "S"
+    TYPE_PARAM_LIST@[8; 11)
+      L_ANGLE@[8; 9)
+      err: `expected type parameter`
+      ERROR@[9; 11)
+        INT_NUMBER@[9; 11) "90"
+        err: `expected COMMA`
+        err: `expected R_ANGLE`
+        err: `expected `;`, `{`, or `(``
+  WHITESPACE@[11; 12)
+  err: `expected an item`
+  ERROR@[12; 13)
+    PLUS@[12; 13)
+  WHITESPACE@[13; 14)
+  err: `expected an item`
+  ERROR@[14; 15)
+    INT_NUMBER@[14; 15) "2"
+    err: `expected an item`
+  ERROR@[15; 16)
+    R_ANGLE@[15; 16)
+  WHITESPACE@[16; 17)
+  err: `expected an item`
+  ERROR@[17; 31)
+    L_CURLY@[17; 18)
+    WHITESPACE@[18; 23)
+    IDENT@[23; 24) "f"
+    COLON@[24; 25)
+    WHITESPACE@[25; 26)
+    IDENT@[26; 29) "u32"
+    WHITESPACE@[29; 30)
+    R_CURLY@[30; 31)
+  WHITESPACE@[31; 33)
+  STRUCT_DEF@[33; 42)
+    STRUCT_KW@[33; 39)
+    WHITESPACE@[39; 40)
+    NAME@[40; 41)
+      IDENT@[40; 41) "T"
+    SEMI@[41; 42)
+  WHITESPACE@[42; 43)
diff --git a/crates/ra_syntax/tests/data/parser/err/0010_unsafe_lambda_block.rs b/crates/ra_syntax/tests/data/parser/err/0010_unsafe_lambda_block.rs
new file mode 100644
index 000000000..985775282
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/err/0010_unsafe_lambda_block.rs
@@ -0,0 +1,3 @@
+fn main() {
+    || -> () unsafe { () };
+}
diff --git a/crates/ra_syntax/tests/data/parser/err/0010_unsafe_lambda_block.txt b/crates/ra_syntax/tests/data/parser/err/0010_unsafe_lambda_block.txt
new file mode 100644
index 000000000..38667e030
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/err/0010_unsafe_lambda_block.txt
@@ -0,0 +1,42 @@
+ROOT@[0; 42)
+  FN_DEF@[0; 41)
+    FN_KW@[0; 2)
+    WHITESPACE@[2; 3)
+    NAME@[3; 7)
+      IDENT@[3; 7) "main"
+    PARAM_LIST@[7; 9)
+      L_PAREN@[7; 8)
+      R_PAREN@[8; 9)
+    WHITESPACE@[9; 10)
+    BLOCK@[10; 41)
+      L_CURLY@[10; 11)
+      WHITESPACE@[11; 16)
+      EXPR_STMT@[16; 39)
+        LAMBDA_EXPR@[16; 38)
+          PARAM_LIST@[16; 18)
+            PIPE@[16; 17)
+            PIPE@[17; 18)
+          WHITESPACE@[18; 19)
+          RET_TYPE@[19; 24)
+            THIN_ARROW@[19; 21)
+            WHITESPACE@[21; 22)
+            TUPLE_TYPE@[22; 24)
+              L_PAREN@[22; 23)
+              R_PAREN@[23; 24)
+              err: `expected `{``
+          WHITESPACE@[24; 25)
+          BLOCK_EXPR@[25; 38)
+            UNSAFE_KW@[25; 31)
+            WHITESPACE@[31; 32)
+            BLOCK@[32; 38)
+              L_CURLY@[32; 33)
+              WHITESPACE@[33; 34)
+              TUPLE_EXPR@[34; 36)
+                L_PAREN@[34; 35)
+                R_PAREN@[35; 36)
+              WHITESPACE@[36; 37)
+              R_CURLY@[37; 38)
+        SEMI@[38; 39)
+      WHITESPACE@[39; 40)
+      R_CURLY@[40; 41)
+  WHITESPACE@[41; 42)
diff --git a/crates/ra_syntax/tests/data/parser/err/0011_extern_struct.rs b/crates/ra_syntax/tests/data/parser/err/0011_extern_struct.rs
new file mode 100644
index 000000000..c1bd0a2d1
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/err/0011_extern_struct.rs
@@ -0,0 +1 @@
+extern struct Foo;
diff --git a/crates/ra_syntax/tests/data/parser/err/0011_extern_struct.txt b/crates/ra_syntax/tests/data/parser/err/0011_extern_struct.txt
new file mode 100644
index 000000000..0cb7447c4
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/err/0011_extern_struct.txt
@@ -0,0 +1,13 @@
+ROOT@[0; 19)
+  ERROR@[0; 6)
+    ABI@[0; 6)
+      EXTERN_KW@[0; 6)
+      err: `expected fn, trait or impl`
+  WHITESPACE@[6; 7)
+  STRUCT_DEF@[7; 18)
+    STRUCT_KW@[7; 13)
+    WHITESPACE@[13; 14)
+    NAME@[14; 17)
+      IDENT@[14; 17) "Foo"
+    SEMI@[17; 18)
+  WHITESPACE@[18; 19)
diff --git a/crates/ra_syntax/tests/data/parser/err/0012_broken_lambda.txt b/crates/ra_syntax/tests/data/parser/err/0012_broken_lambda.txt
new file mode 100644
index 000000000..a03aa05e3
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/err/0012_broken_lambda.txt
@@ -0,0 +1,387 @@
+ROOT@[0; 389)
+  FN_DEF@[0; 389)
+    VISIBILITY@[0; 10)
+      PUB_KW@[0; 3)
+      L_PAREN@[3; 4)
+      SUPER_KW@[4; 9)
+      R_PAREN@[9; 10)
+    WHITESPACE@[10; 11)
+    FN_KW@[11; 13)
+    WHITESPACE@[13; 14)
+    NAME@[14; 21)
+      IDENT@[14; 21) "process"
+    TYPE_PARAM_LIST@[21; 38)
+      L_ANGLE@[21; 22)
+      LIFETIME_PARAM@[22; 24)
+        LIFETIME@[22; 24) "'a"
+      COMMA@[24; 25)
+      WHITESPACE@[25; 26)
+      TYPE_PARAM@[26; 37)
+        NAME@[26; 27)
+          IDENT@[26; 27) "S"
+        COLON@[27; 28)
+        WHITESPACE@[28; 29)
+        PATH@[29; 37)
+          PATH_SEGMENT@[29; 37)
+            NAME_REF@[29; 33)
+              IDENT@[29; 33) "Sink"
+            TYPE_ARG_LIST@[33; 37)
+              L_ANGLE@[33; 34)
+              LIFETIME_ARG@[34; 36)
+                LIFETIME@[34; 36) "'a"
+              R_ANGLE@[36; 37)
+      R_ANGLE@[37; 38)
+    PARAM_LIST@[38; 93)
+      L_PAREN@[38; 39)
+      PARAM@[39; 54)
+        BIND_PAT@[39; 46)
+          NAME@[39; 46)
+            IDENT@[39; 46) "builder"
+        COLON@[46; 47)
+        WHITESPACE@[47; 48)
+        REFERENCE_TYPE@[48; 54)
+          AMP@[48; 49)
+          MUT_KW@[49; 52)
+          WHITESPACE@[52; 53)
+          PATH_TYPE@[53; 54)
+            PATH@[53; 54)
+              PATH_SEGMENT@[53; 54)
+                NAME_REF@[53; 54)
+                  IDENT@[53; 54) "S"
+      COMMA@[54; 55)
+      WHITESPACE@[55; 56)
+      PARAM@[56; 72)
+        BIND_PAT@[56; 62)
+          NAME@[56; 62)
+            IDENT@[56; 62) "tokens"
+        COLON@[62; 63)
+        WHITESPACE@[63; 64)
+        REFERENCE_TYPE@[64; 72)
+          AMP@[64; 65)
+          SLICE_TYPE@[65; 72)
+            L_BRACK@[65; 66)
+            PATH_TYPE@[66; 71)
+              PATH@[66; 71)
+                PATH_SEGMENT@[66; 71)
+                  NAME_REF@[66; 71)
+                    IDENT@[66; 71) "Token"
+            R_BRACK@[71; 72)
+      COMMA@[72; 73)
+      WHITESPACE@[73; 74)
+      PARAM@[74; 92)
+        BIND_PAT@[74; 80)
+          NAME@[74; 80)
+            IDENT@[74; 80) "events"
+        COLON@[80; 81)
+        WHITESPACE@[81; 82)
+        PATH_TYPE@[82; 92)
+          PATH@[82; 92)
+            PATH_SEGMENT@[82; 92)
+              NAME_REF@[82; 85)
+                IDENT@[82; 85) "Vec"
+              TYPE_ARG_LIST@[85; 92)
+                L_ANGLE@[85; 86)
+                TYPE_ARG@[86; 91)
+                  PATH_TYPE@[86; 91)
+                    PATH@[86; 91)
+                      PATH_SEGMENT@[86; 91)
+                        NAME_REF@[86; 91)
+                          IDENT@[86; 91) "Event"
+                R_ANGLE@[91; 92)
+      R_PAREN@[92; 93)
+    WHITESPACE@[93; 94)
+    BLOCK_EXPR@[94; 389)
+      L_CURLY@[94; 95)
+      WHITESPACE@[95; 100)
+      LET_STMT@[100; 125)
+        LET_KW@[100; 103)
+        WHITESPACE@[103; 104)
+        BIND_PAT@[104; 120)
+          MUT_KW@[104; 107)
+          WHITESPACE@[107; 108)
+          NAME@[108; 120)
+            IDENT@[108; 120) "next_tok_idx"
+        WHITESPACE@[120; 121)
+        EQ@[121; 122)
+        WHITESPACE@[122; 123)
+        LITERAL@[123; 124)
+          INT_NUMBER@[123; 124) "0"
+        SEMI@[124; 125)
+      WHITESPACE@[125; 130)
+      LET_STMT@[130; 389)
+        LET_KW@[130; 133)
+        WHITESPACE@[133; 134)
+        BIND_PAT@[134; 140)
+          NAME@[134; 140)
+            IDENT@[134; 140) "eat_ws"
+        WHITESPACE@[140; 141)
+        EQ@[141; 142)
+        WHITESPACE@[142; 143)
+        LAMBDA_EXPR@[143; 389)
+          PARAM_LIST@[143; 388)
+            PIPE@[143; 144)
+            PARAM@[144; 159)
+              BIND_PAT@[144; 147)
+                NAME@[144; 147)
+                  IDENT@[144; 147) "idx"
+              COLON@[147; 148)
+              WHITESPACE@[148; 149)
+              REFERENCE_TYPE@[149; 159)
+                AMP@[149; 150)
+                MUT_KW@[150; 153)
+                WHITESPACE@[153; 154)
+                PATH_TYPE@[154; 159)
+                  PATH@[154; 159)
+                    PATH_SEGMENT@[154; 159)
+                      NAME_REF@[154; 159)
+                        IDENT@[154; 159) "usize"
+            COMMA@[159; 160)
+            WHITESPACE@[160; 161)
+            PARAM@[161; 167)
+              REF_PAT@[161; 167)
+                AMP@[161; 162)
+                MUT_KW@[162; 165)
+                WHITESPACE@[165; 166)
+                err: `expected pattern`
+                ERROR@[166; 167)
+                  PIPE@[166; 167)
+                  err: `expected COMMA`
+            WHITESPACE@[167; 168)
+            err: `expected pattern`
+            PARAM@[168; 169)
+              ERROR@[168; 169)
+                L_CURLY@[168; 169)
+                err: `expected COMMA`
+            WHITESPACE@[169; 178)
+            err: `expected pattern`
+            PARAM@[178; 183)
+              ERROR@[178; 183)
+                WHILE_KW@[178; 183)
+                err: `expected COMMA`
+            WHITESPACE@[183; 184)
+            err: `expected pattern`
+            PARAM@[184; 187)
+              ERROR@[184; 187)
+                LET_KW@[184; 187)
+                err: `expected COMMA`
+            WHITESPACE@[187; 188)
+            PARAM@[188; 199)
+              TUPLE_STRUCT_PAT@[188; 199)
+                PATH@[188; 192)
+                  PATH_SEGMENT@[188; 192)
+                    NAME_REF@[188; 192)
+                      IDENT@[188; 192) "Some"
+                L_PAREN@[192; 193)
+                BIND_PAT@[193; 198)
+                  NAME@[193; 198)
+                    IDENT@[193; 198) "token"
+                R_PAREN@[198; 199)
+                err: `expected COMMA`
+            WHITESPACE@[199; 200)
+            err: `expected pattern`
+            PARAM@[200; 201)
+              ERROR@[200; 201)
+                EQ@[200; 201)
+                err: `expected COMMA`
+            WHITESPACE@[201; 202)
+            PARAM@[202; 208)
+              BIND_PAT@[202; 208)
+                NAME@[202; 208)
+                  IDENT@[202; 208) "tokens"
+                  err: `expected COMMA`
+                  err: `expected pattern`
+            PARAM@[208; 209)
+              ERROR@[208; 209)
+                DOT@[208; 209)
+                err: `expected COMMA`
+            PARAM@[209; 218)
+              TUPLE_STRUCT_PAT@[209; 218)
+                PATH@[209; 212)
+                  PATH_SEGMENT@[209; 212)
+                    NAME_REF@[209; 212)
+                      IDENT@[209; 212) "get"
+                L_PAREN@[212; 213)
+                err: `expected pattern`
+                ERROR@[213; 214)
+                  STAR@[213; 214)
+                  err: `expected COMMA`
+                BIND_PAT@[214; 217)
+                  NAME@[214; 217)
+                    IDENT@[214; 217) "idx"
+                R_PAREN@[217; 218)
+                err: `expected COMMA`
+            WHITESPACE@[218; 219)
+            err: `expected pattern`
+            PARAM@[219; 220)
+              ERROR@[219; 220)
+                L_CURLY@[219; 220)
+                err: `expected COMMA`
+            WHITESPACE@[220; 233)
+            err: `expected pattern`
+            PARAM@[233; 235)
+              ERROR@[233; 235)
+                IF_KW@[233; 235)
+                err: `expected COMMA`
+            WHITESPACE@[235; 236)
+            err: `expected pattern`
+            PARAM@[236; 237)
+              ERROR@[236; 237)
+                EXCL@[236; 237)
+                err: `expected COMMA`
+            PARAM@[237; 242)
+              BIND_PAT@[237; 242)
+                NAME@[237; 242)
+                  IDENT@[237; 242) "token"
+                  err: `expected COMMA`
+                  err: `expected pattern`
+            PARAM@[242; 243)
+              ERROR@[242; 243)
+                DOT@[242; 243)
+                err: `expected COMMA`
+            PARAM@[243; 247)
+              BIND_PAT@[243; 247)
+                NAME@[243; 247)
+                  IDENT@[243; 247) "kind"
+                  err: `expected COMMA`
+                  err: `expected pattern`
+            PARAM@[247; 248)
+              ERROR@[247; 248)
+                DOT@[247; 248)
+                err: `expected COMMA`
+            PARAM@[248; 259)
+              TUPLE_STRUCT_PAT@[248; 259)
+                PATH@[248; 257)
+                  PATH_SEGMENT@[248; 257)
+                    NAME_REF@[248; 257)
+                      IDENT@[248; 257) "is_trivia"
+                L_PAREN@[257; 258)
+                R_PAREN@[258; 259)
+                err: `expected COMMA`
+            WHITESPACE@[259; 260)
+            err: `expected pattern`
+            PARAM@[260; 261)
+              ERROR@[260; 261)
+                L_CURLY@[260; 261)
+                err: `expected COMMA`
+            WHITESPACE@[261; 278)
+            PARAM@[278; 283)
+              BIND_PAT@[278; 283)
+                NAME@[278; 283)
+                  IDENT@[278; 283) "break"
+                  err: `expected COMMA`
+                  err: `expected pattern`
+            PARAM@[283; 284)
+              ERROR@[283; 284)
+                SEMI@[283; 284)
+                err: `expected COMMA`
+            WHITESPACE@[284; 297)
+            err: `expected pattern`
+            PARAM@[297; 298)
+              ERROR@[297; 298)
+                R_CURLY@[297; 298)
+                err: `expected COMMA`
+            WHITESPACE@[298; 311)
+            PARAM@[311; 318)
+              BIND_PAT@[311; 318)
+                NAME@[311; 318)
+                  IDENT@[311; 318) "builder"
+                  err: `expected COMMA`
+                  err: `expected pattern`
+            PARAM@[318; 319)
+              ERROR@[318; 319)
+                DOT@[318; 319)
+                err: `expected COMMA`
+            PARAM@[319; 346)
+              TUPLE_STRUCT_PAT@[319; 346)
+                PATH@[319; 323)
+                  PATH_SEGMENT@[319; 323)
+                    NAME_REF@[319; 323)
+                      IDENT@[319; 323) "leaf"
+                L_PAREN@[323; 324)
+                BIND_PAT@[324; 329)
+                  NAME@[324; 329)
+                    IDENT@[324; 329) "token"
+                    err: `expected COMMA`
+                    err: `expected pattern`
+                ERROR@[329; 330)
+                  DOT@[329; 330)
+                  err: `expected COMMA`
+                BIND_PAT@[330; 334)
+                  NAME@[330; 334)
+                    IDENT@[330; 334) "kind"
+                COMMA@[334; 335)
+                WHITESPACE@[335; 336)
+                BIND_PAT@[336; 341)
+                  NAME@[336; 341)
+                    IDENT@[336; 341) "token"
+                    err: `expected COMMA`
+                    err: `expected pattern`
+                ERROR@[341; 342)
+                  DOT@[341; 342)
+                  err: `expected COMMA`
+                BIND_PAT@[342; 345)
+                  NAME@[342; 345)
+                    IDENT@[342; 345) "len"
+                R_PAREN@[345; 346)
+                err: `expected COMMA`
+                err: `expected pattern`
+            PARAM@[346; 347)
+              ERROR@[346; 347)
+                SEMI@[346; 347)
+                err: `expected COMMA`
+            WHITESPACE@[347; 360)
+            err: `expected pattern`
+            PARAM@[360; 361)
+              ERROR@[360; 361)
+                STAR@[360; 361)
+                err: `expected COMMA`
+            PARAM@[361; 364)
+              BIND_PAT@[361; 364)
+                NAME@[361; 364)
+                  IDENT@[361; 364) "idx"
+                  err: `expected COMMA`
+            WHITESPACE@[364; 365)
+            err: `expected pattern`
+            PARAM@[365; 366)
+              ERROR@[365; 366)
+                PLUS@[365; 366)
+                err: `expected COMMA`
+                err: `expected pattern`
+            PARAM@[366; 367)
+              ERROR@[366; 367)
+                EQ@[366; 367)
+                err: `expected COMMA`
+            WHITESPACE@[367; 368)
+            PARAM@[368; 369)
+              LITERAL@[368; 369)
+                INT_NUMBER@[368; 369) "1"
+                err: `expected COMMA`
+            WHITESPACE@[369; 378)
+            err: `expected pattern`
+            PARAM@[378; 379)
+              ERROR@[378; 379)
+                R_CURLY@[378; 379)
+                err: `expected COMMA`
+            WHITESPACE@[379; 384)
+            err: `expected pattern`
+            PARAM@[384; 385)
+              ERROR@[384; 385)
+                R_CURLY@[384; 385)
+                err: `expected COMMA`
+                err: `expected pattern`
+            PARAM@[385; 386)
+              ERROR@[385; 386)
+                SEMI@[385; 386)
+                err: `expected COMMA`
+            WHITESPACE@[386; 387)
+            err: `expected pattern`
+            PARAM@[387; 388)
+              ERROR@[387; 388)
+                R_CURLY@[387; 388)
+                err: `expected COMMA`
+                err: `expected PIPE`
+          WHITESPACE@[388; 389)
+          err: `expected expression`
+          err: `expected SEMI`
+          err: `expected R_CURLY`
+          ERROR@[389; 389)
diff --git a/crates/ra_syntax/tests/data/parser/err/0013_invalid_type.rs b/crates/ra_syntax/tests/data/parser/err/0013_invalid_type.rs
new file mode 100644
index 000000000..20dde3bc3
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/err/0013_invalid_type.rs
@@ -0,0 +1,7 @@
+pub struct Cache(
+    RefCell<HashMap<
+        TypeId,
+        Box<@ Any>,
+    >>
+);
diff --git a/crates/ra_syntax/tests/data/parser/err/0013_invalid_type.txt b/crates/ra_syntax/tests/data/parser/err/0013_invalid_type.txt
new file mode 100644
index 000000000..e1a6b6432
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/err/0013_invalid_type.txt
@@ -0,0 +1,89 @@
+ROOT@[0; 86)
+  STRUCT_DEF@[0; 72)
+    VISIBILITY@[0; 3)
+      PUB_KW@[0; 3)
+    WHITESPACE@[3; 4)
+    STRUCT_KW@[4; 10)
+    WHITESPACE@[10; 11)
+    NAME@[11; 16)
+      IDENT@[11; 16) "Cache"
+    POS_FIELD_LIST@[16; 72)
+      L_PAREN@[16; 17)
+      WHITESPACE@[17; 22)
+      POS_FIELD@[22; 68)
+        PATH_TYPE@[22; 68)
+          PATH@[22; 68)
+            PATH_SEGMENT@[22; 68)
+              NAME_REF@[22; 29)
+                IDENT@[22; 29) "RefCell"
+              TYPE_ARG_LIST@[29; 68)
+                L_ANGLE@[29; 30)
+                TYPE_ARG@[30; 68)
+                  PATH_TYPE@[30; 68)
+                    PATH@[30; 68)
+                      PATH_SEGMENT@[30; 68)
+                        NAME_REF@[30; 37)
+                          IDENT@[30; 37) "HashMap"
+                        TYPE_ARG_LIST@[37; 68)
+                          L_ANGLE@[37; 38)
+                          WHITESPACE@[38; 47)
+                          TYPE_ARG@[47; 53)
+                            PATH_TYPE@[47; 53)
+                              PATH@[47; 53)
+                                PATH_SEGMENT@[47; 53)
+                                  NAME_REF@[47; 53)
+                                    IDENT@[47; 53) "TypeId"
+                          COMMA@[53; 54)
+                          WHITESPACE@[54; 63)
+                          TYPE_ARG@[63; 68)
+                            PATH_TYPE@[63; 68)
+                              PATH@[63; 68)
+                                PATH_SEGMENT@[63; 68)
+                                  NAME_REF@[63; 66)
+                                    IDENT@[63; 66) "Box"
+                                  TYPE_ARG_LIST@[66; 68)
+                                    L_ANGLE@[66; 67)
+                                    err: `expected type`
+                                    TYPE_ARG@[67; 68)
+                                      ERROR@[67; 68)
+                                        AT@[67; 68)
+                                        err: `expected COMMA`
+                                        err: `expected R_ANGLE`
+                                        err: `expected COMMA`
+                                        err: `expected R_ANGLE`
+                                        err: `expected COMMA`
+                                        err: `expected R_ANGLE`
+                                        err: `expected COMMA`
+      WHITESPACE@[68; 69)
+      POS_FIELD@[69; 72)
+        PATH_TYPE@[69; 72)
+          PATH@[69; 72)
+            PATH_SEGMENT@[69; 72)
+              NAME_REF@[69; 72)
+                IDENT@[69; 72) "Any"
+                err: `expected COMMA`
+                err: `expected a type`
+                err: `expected R_PAREN`
+                err: `expected SEMI`
+                err: `expected an item`
+      ERROR@[72; 72)
+  ERROR@[72; 73)
+    R_ANGLE@[72; 73)
+    err: `expected an item`
+  ERROR@[73; 74)
+    COMMA@[73; 74)
+  WHITESPACE@[74; 79)
+  err: `expected an item`
+  ERROR@[79; 80)
+    R_ANGLE@[79; 80)
+    err: `expected an item`
+  ERROR@[80; 81)
+    R_ANGLE@[80; 81)
+  WHITESPACE@[81; 82)
+  err: `expected an item`
+  ERROR@[82; 83)
+    R_PAREN@[82; 83)
+    err: `expected an item`
+  ERROR@[83; 84)
+    SEMI@[83; 84)
+  WHITESPACE@[84; 86)
diff --git a/crates/ra_syntax/tests/data/parser/err/0014_where_no_bounds.rs b/crates/ra_syntax/tests/data/parser/err/0014_where_no_bounds.rs
new file mode 100644
index 000000000..75c1d2f98
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/err/0014_where_no_bounds.rs
@@ -0,0 +1 @@
+fn foo<T>() where T {}
diff --git a/crates/ra_syntax/tests/data/parser/err/0014_where_no_bounds.txt b/crates/ra_syntax/tests/data/parser/err/0014_where_no_bounds.txt
new file mode 100644
index 000000000..37826ce86
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/err/0014_where_no_bounds.txt
@@ -0,0 +1,31 @@
+ROOT@[0; 23)
+  FN_DEF@[0; 22)
+    FN_KW@[0; 2)
+    WHITESPACE@[2; 3)
+    NAME@[3; 6)
+      IDENT@[3; 6) "foo"
+    TYPE_PARAM_LIST@[6; 9)
+      L_ANGLE@[6; 7)
+      TYPE_PARAM@[7; 8)
+        NAME@[7; 8)
+          IDENT@[7; 8) "T"
+      R_ANGLE@[8; 9)
+    PARAM_LIST@[9; 11)
+      L_PAREN@[9; 10)
+      R_PAREN@[10; 11)
+    WHITESPACE@[11; 12)
+    WHERE_CLAUSE@[12; 19)
+      WHERE_KW@[12; 17)
+      WHITESPACE@[17; 18)
+      WHERE_PRED@[18; 19)
+        PATH_TYPE@[18; 19)
+          PATH@[18; 19)
+            PATH_SEGMENT@[18; 19)
+              NAME_REF@[18; 19)
+                IDENT@[18; 19) "T"
+                err: `expected colon`
+    WHITESPACE@[19; 20)
+    BLOCK@[20; 22)
+      L_CURLY@[20; 21)
+      R_CURLY@[21; 22)
+  WHITESPACE@[22; 23)
diff --git a/crates/ra_syntax/tests/data/parser/err/0015_curly_in_params.rs b/crates/ra_syntax/tests/data/parser/err/0015_curly_in_params.rs
new file mode 100644
index 000000000..156e70251
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/err/0015_curly_in_params.rs
@@ -0,0 +1,2 @@
+fn foo(}) {
+}
diff --git a/crates/ra_syntax/tests/data/parser/err/0015_curly_in_params.txt b/crates/ra_syntax/tests/data/parser/err/0015_curly_in_params.txt
new file mode 100644
index 000000000..5f736a978
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/err/0015_curly_in_params.txt
@@ -0,0 +1,24 @@
+ROOT@[0; 14)
+  FN_DEF@[0; 7)
+    FN_KW@[0; 2)
+    WHITESPACE@[2; 3)
+    NAME@[3; 6)
+      IDENT@[3; 6) "foo"
+    PARAM_LIST@[6; 7)
+      L_PAREN@[6; 7)
+      err: `expected value parameter`
+      err: `expected R_PAREN`
+      err: `expected a block`
+      err: `unmatched `}``
+  ERROR@[7; 8)
+    R_CURLY@[7; 8)
+    err: `expected an item`
+  ERROR@[8; 9)
+    R_PAREN@[8; 9)
+  WHITESPACE@[9; 10)
+  err: `expected an item`
+  ERROR@[10; 13)
+    L_CURLY@[10; 11)
+    WHITESPACE@[11; 12)
+    R_CURLY@[12; 13)
+  WHITESPACE@[13; 14)
diff --git a/crates/ra_syntax/tests/data/parser/err/0016_missing_semi.rs b/crates/ra_syntax/tests/data/parser/err/0016_missing_semi.rs
new file mode 100644
index 000000000..9ae857686
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/err/0016_missing_semi.rs
@@ -0,0 +1,6 @@
+fn foo() {
+    foo(
+        1, 2
+    )
+    return 92;
+}
diff --git a/crates/ra_syntax/tests/data/parser/err/0016_missing_semi.txt b/crates/ra_syntax/tests/data/parser/err/0016_missing_semi.txt
new file mode 100644
index 000000000..a3163adcb
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/err/0016_missing_semi.txt
@@ -0,0 +1,43 @@
+ROOT@[0; 56)
+  FN_DEF@[0; 55)
+    FN_KW@[0; 2)
+    WHITESPACE@[2; 3)
+    NAME@[3; 6)
+      IDENT@[3; 6) "foo"
+    PARAM_LIST@[6; 8)
+      L_PAREN@[6; 7)
+      R_PAREN@[7; 8)
+    WHITESPACE@[8; 9)
+    BLOCK@[9; 55)
+      L_CURLY@[9; 10)
+      WHITESPACE@[10; 15)
+      EXPR_STMT@[15; 38)
+        CALL_EXPR@[15; 38)
+          PATH_EXPR@[15; 18)
+            PATH@[15; 18)
+              PATH_SEGMENT@[15; 18)
+                NAME_REF@[15; 18)
+                  IDENT@[15; 18) "foo"
+          ARG_LIST@[18; 38)
+            L_PAREN@[18; 19)
+            WHITESPACE@[19; 28)
+            LITERAL@[28; 29)
+              INT_NUMBER@[28; 29) "1"
+            COMMA@[29; 30)
+            WHITESPACE@[30; 31)
+            LITERAL@[31; 32)
+              INT_NUMBER@[31; 32) "2"
+            WHITESPACE@[32; 37)
+            R_PAREN@[37; 38)
+            err: `expected SEMI`
+      WHITESPACE@[38; 43)
+      EXPR_STMT@[43; 53)
+        RETURN_EXPR@[43; 52)
+          RETURN_KW@[43; 49)
+          WHITESPACE@[49; 50)
+          LITERAL@[50; 52)
+            INT_NUMBER@[50; 52) "92"
+        SEMI@[52; 53)
+      WHITESPACE@[53; 54)
+      R_CURLY@[54; 55)
+  WHITESPACE@[55; 56)
diff --git a/crates/ra_syntax/tests/data/parser/err/0017_incomplete_binexpr.rs b/crates/ra_syntax/tests/data/parser/err/0017_incomplete_binexpr.rs
new file mode 100644
index 000000000..17bd49777
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/err/0017_incomplete_binexpr.rs
@@ -0,0 +1,4 @@
+fn foo(foo: i32) {
+    let bar = 92;
+    1 +
+}
diff --git a/crates/ra_syntax/tests/data/parser/err/0017_incomplete_binexpr.txt b/crates/ra_syntax/tests/data/parser/err/0017_incomplete_binexpr.txt
new file mode 100644
index 000000000..f0be287ad
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/err/0017_incomplete_binexpr.txt
@@ -0,0 +1,46 @@
+ROOT@[0; 47)
+  FN_DEF@[0; 46)
+    FN_KW@[0; 2)
+    WHITESPACE@[2; 3)
+    NAME@[3; 6)
+      IDENT@[3; 6) "foo"
+    PARAM_LIST@[6; 16)
+      L_PAREN@[6; 7)
+      PARAM@[7; 15)
+        BIND_PAT@[7; 10)
+          NAME@[7; 10)
+            IDENT@[7; 10) "foo"
+        COLON@[10; 11)
+        WHITESPACE@[11; 12)
+        PATH_TYPE@[12; 15)
+          PATH@[12; 15)
+            PATH_SEGMENT@[12; 15)
+              NAME_REF@[12; 15)
+                IDENT@[12; 15) "i32"
+      R_PAREN@[15; 16)
+    WHITESPACE@[16; 17)
+    BLOCK@[17; 46)
+      L_CURLY@[17; 18)
+      WHITESPACE@[18; 23)
+      LET_STMT@[23; 36)
+        LET_KW@[23; 26)
+        WHITESPACE@[26; 27)
+        BIND_PAT@[27; 30)
+          NAME@[27; 30)
+            IDENT@[27; 30) "bar"
+        WHITESPACE@[30; 31)
+        EQ@[31; 32)
+        WHITESPACE@[32; 33)
+        LITERAL@[33; 35)
+          INT_NUMBER@[33; 35) "92"
+        SEMI@[35; 36)
+      WHITESPACE@[36; 41)
+      BIN_EXPR@[41; 44)
+        LITERAL@[41; 42)
+          INT_NUMBER@[41; 42) "1"
+        WHITESPACE@[42; 43)
+        PLUS@[43; 44)
+        err: `expected expression`
+      WHITESPACE@[44; 45)
+      R_CURLY@[45; 46)
+  WHITESPACE@[46; 47)
diff --git a/crates/ra_syntax/tests/data/parser/err/0018_incomplete_fn.rs b/crates/ra_syntax/tests/data/parser/err/0018_incomplete_fn.rs
new file mode 100644
index 000000000..fe604006c
--- /dev/null
+++ b/crates/ra_syntax/tests/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/ra_syntax/tests/data/parser/err/0018_incomplete_fn.txt b/crates/ra_syntax/tests/data/parser/err/0018_incomplete_fn.txt
new file mode 100644
index 000000000..c4d9f5e7e
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/err/0018_incomplete_fn.txt
@@ -0,0 +1,131 @@
+ROOT@[0; 183)
+  IMPL_ITEM@[0; 182)
+    IMPL_KW@[0; 4)
+    WHITESPACE@[4; 5)
+    PATH_TYPE@[5; 13)
+      PATH@[5; 13)
+        PATH_SEGMENT@[5; 13)
+          NAME_REF@[5; 13)
+            IDENT@[5; 13) "FnScopes"
+    WHITESPACE@[13; 14)
+    ITEM_LIST@[14; 182)
+      L_CURLY@[14; 15)
+      WHITESPACE@[15; 20)
+      FN_DEF@[20; 161)
+        FN_KW@[20; 22)
+        WHITESPACE@[22; 23)
+        NAME@[23; 32)
+          IDENT@[23; 32) "new_scope"
+        PARAM_LIST@[32; 35)
+          L_PAREN@[32; 33)
+          PARAM@[33; 34)
+            REF_PAT@[33; 34)
+              AMP@[33; 34)
+              err: `expected pattern`
+              err: `expected COLON`
+              err: `expected type`
+          R_PAREN@[34; 35)
+        WHITESPACE@[35; 36)
+        RET_TYPE@[36; 46)
+          THIN_ARROW@[36; 38)
+          WHITESPACE@[38; 39)
+          PATH_TYPE@[39; 46)
+            PATH@[39; 46)
+              PATH_SEGMENT@[39; 46)
+                NAME_REF@[39; 46)
+                  IDENT@[39; 46) "ScopeId"
+        WHITESPACE@[46; 47)
+        BLOCK@[47; 161)
+          L_CURLY@[47; 48)
+          WHITESPACE@[48; 57)
+          LET_STMT@[57; 85)
+            LET_KW@[57; 60)
+            WHITESPACE@[60; 61)
+            BIND_PAT@[61; 64)
+              NAME@[61; 64)
+                IDENT@[61; 64) "res"
+            WHITESPACE@[64; 65)
+            EQ@[65; 66)
+            WHITESPACE@[66; 67)
+            METHOD_CALL_EXPR@[67; 84)
+              FIELD_EXPR@[67; 78)
+                PATH_EXPR@[67; 71)
+                  PATH@[67; 71)
+                    PATH_SEGMENT@[67; 71)
+                      SELF_KW@[67; 71)
+                DOT@[71; 72)
+                NAME_REF@[72; 78)
+                  IDENT@[72; 78) "scopes"
+              DOT@[78; 79)
+              NAME_REF@[79; 82)
+                IDENT@[79; 82) "len"
+              ARG_LIST@[82; 84)
+                L_PAREN@[82; 83)
+                R_PAREN@[83; 84)
+            SEMI@[84; 85)
+          WHITESPACE@[85; 94)
+          METHOD_CALL_EXPR@[94; 155)
+            FIELD_EXPR@[94; 105)
+              PATH_EXPR@[94; 98)
+                PATH@[94; 98)
+                  PATH_SEGMENT@[94; 98)
+                    SELF_KW@[94; 98)
+              DOT@[98; 99)
+              NAME_REF@[99; 105)
+                IDENT@[99; 105) "scopes"
+            DOT@[105; 106)
+            NAME_REF@[106; 110)
+              IDENT@[106; 110) "push"
+            ARG_LIST@[110; 155)
+              L_PAREN@[110; 111)
+              STRUCT_LIT@[111; 154)
+                PATH@[111; 120)
+                  PATH_SEGMENT@[111; 120)
+                    NAME_REF@[111; 120)
+                      IDENT@[111; 120) "ScopeData"
+                WHITESPACE@[120; 121)
+                NAMED_FIELD_LIST@[121; 154)
+                  L_CURLY@[121; 122)
+                  WHITESPACE@[122; 123)
+                  NAMED_FIELD@[123; 135)
+                    NAME_REF@[123; 129)
+                      IDENT@[123; 129) "parent"
+                    COLON@[129; 130)
+                    WHITESPACE@[130; 131)
+                    PATH_EXPR@[131; 135)
+                      PATH@[131; 135)
+                        PATH_SEGMENT@[131; 135)
+                          NAME_REF@[131; 135)
+                            IDENT@[131; 135) "None"
+                  COMMA@[135; 136)
+                  WHITESPACE@[136; 137)
+                  NAMED_FIELD@[137; 152)
+                    NAME_REF@[137; 144)
+                      IDENT@[137; 144) "entries"
+                    COLON@[144; 145)
+                    WHITESPACE@[145; 146)
+                    MACRO_CALL@[146; 152)
+                      PATH@[146; 149)
+                        PATH_SEGMENT@[146; 149)
+                          NAME_REF@[146; 149)
+                            IDENT@[146; 149) "vec"
+                      EXCL@[149; 150)
+                      TOKEN_TREE@[150; 152)
+                        L_BRACK@[150; 151)
+                        R_BRACK@[151; 152)
+                  WHITESPACE@[152; 153)
+                  R_CURLY@[153; 154)
+              R_PAREN@[154; 155)
+          WHITESPACE@[155; 160)
+          R_CURLY@[160; 161)
+      WHITESPACE@[161; 167)
+      FN_DEF@[167; 180)
+        FN_KW@[167; 169)
+        WHITESPACE@[169; 170)
+        NAME@[170; 180)
+          IDENT@[170; 180) "set_parent"
+          err: `expected function arguments`
+          err: `expected a block`
+      WHITESPACE@[180; 181)
+      R_CURLY@[181; 182)
+  WHITESPACE@[182; 183)
diff --git a/crates/ra_syntax/tests/data/parser/err/0019_let_recover.rs b/crates/ra_syntax/tests/data/parser/err/0019_let_recover.rs
new file mode 100644
index 000000000..48bf3d68b
--- /dev/null
+++ b/crates/ra_syntax/tests/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/ra_syntax/tests/data/parser/err/0019_let_recover.txt b/crates/ra_syntax/tests/data/parser/err/0019_let_recover.txt
new file mode 100644
index 000000000..6e74771f1
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/err/0019_let_recover.txt
@@ -0,0 +1,103 @@
+ROOT@[0; 139)
+  FN_DEF@[0; 138)
+    FN_KW@[0; 2)
+    WHITESPACE@[2; 3)
+    NAME@[3; 6)
+      IDENT@[3; 6) "foo"
+    PARAM_LIST@[6; 8)
+      L_PAREN@[6; 7)
+      R_PAREN@[7; 8)
+    WHITESPACE@[8; 9)
+    BLOCK@[9; 138)
+      L_CURLY@[9; 10)
+      WHITESPACE@[10; 15)
+      LET_STMT@[15; 24)
+        LET_KW@[15; 18)
+        WHITESPACE@[18; 19)
+        BIND_PAT@[19; 22)
+          NAME@[19; 22)
+            IDENT@[19; 22) "foo"
+        WHITESPACE@[22; 23)
+        EQ@[23; 24)
+        err: `expected expression`
+        err: `expected SEMI`
+      WHITESPACE@[24; 29)
+      LET_STMT@[29; 41)
+        LET_KW@[29; 32)
+        WHITESPACE@[32; 33)
+        BIND_PAT@[33; 36)
+          NAME@[33; 36)
+            IDENT@[33; 36) "bar"
+        WHITESPACE@[36; 37)
+        EQ@[37; 38)
+        WHITESPACE@[38; 39)
+        LITERAL@[39; 40)
+          INT_NUMBER@[39; 40) "1"
+        SEMI@[40; 41)
+      WHITESPACE@[41; 46)
+      LET_STMT@[46; 49)
+        LET_KW@[46; 49)
+        err: `expected pattern`
+        err: `expected SEMI`
+      WHITESPACE@[49; 54)
+      LET_STMT@[54; 67)
+        LET_KW@[54; 57)
+        WHITESPACE@[57; 58)
+        BIND_PAT@[58; 61)
+          NAME@[58; 61)
+            IDENT@[58; 61) "baz"
+        WHITESPACE@[61; 62)
+        EQ@[62; 63)
+        WHITESPACE@[63; 64)
+        LITERAL@[64; 66)
+          INT_NUMBER@[64; 66) "92"
+        SEMI@[66; 67)
+      WHITESPACE@[67; 72)
+      LET_STMT@[72; 75)
+        LET_KW@[72; 75)
+        err: `expected pattern`
+        err: `expected SEMI`
+      WHITESPACE@[75; 80)
+      EXPR_STMT@[80; 90)
+        IF_EXPR@[80; 90)
+          IF_KW@[80; 82)
+          WHITESPACE@[82; 83)
+          CONDITION@[83; 87)
+            LITERAL@[83; 87)
+              TRUE_KW@[83; 87)
+          WHITESPACE@[87; 88)
+          BLOCK@[88; 90)
+            L_CURLY@[88; 89)
+            R_CURLY@[89; 90)
+      WHITESPACE@[90; 95)
+      LET_STMT@[95; 98)
+        LET_KW@[95; 98)
+        err: `expected pattern`
+        err: `expected SEMI`
+      WHITESPACE@[98; 103)
+      EXPR_STMT@[103; 116)
+        WHILE_EXPR@[103; 116)
+          WHILE_KW@[103; 108)
+          WHITESPACE@[108; 109)
+          CONDITION@[109; 113)
+            LITERAL@[109; 113)
+              TRUE_KW@[109; 113)
+          WHITESPACE@[113; 114)
+          BLOCK@[114; 116)
+            L_CURLY@[114; 115)
+            R_CURLY@[115; 116)
+      WHITESPACE@[116; 121)
+      LET_STMT@[121; 124)
+        LET_KW@[121; 124)
+        err: `expected pattern`
+        err: `expected SEMI`
+      WHITESPACE@[124; 129)
+      LOOP_EXPR@[129; 136)
+        LOOP_KW@[129; 133)
+        WHITESPACE@[133; 134)
+        BLOCK@[134; 136)
+          L_CURLY@[134; 135)
+          R_CURLY@[135; 136)
+      WHITESPACE@[136; 137)
+      R_CURLY@[137; 138)
+  WHITESPACE@[138; 139)
diff --git a/crates/ra_syntax/tests/data/parser/err/0020_fn_recover.rs b/crates/ra_syntax/tests/data/parser/err/0020_fn_recover.rs
new file mode 100644
index 000000000..3393b668b
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/err/0020_fn_recover.rs
@@ -0,0 +1,3 @@
+fn
+fn foo() {}
diff --git a/crates/ra_syntax/tests/data/parser/err/0020_fn_recover.txt b/crates/ra_syntax/tests/data/parser/err/0020_fn_recover.txt
new file mode 100644
index 000000000..b5218b0fa
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/err/0020_fn_recover.txt
@@ -0,0 +1,20 @@
+ROOT@[0; 16)
+  FN_DEF@[0; 2)
+    FN_KW@[0; 2)
+    err: `expected a name`
+    err: `expected function arguments`
+    err: `expected a block`
+  WHITESPACE@[2; 4)
+  FN_DEF@[4; 15)
+    FN_KW@[4; 6)
+    WHITESPACE@[6; 7)
+    NAME@[7; 10)
+      IDENT@[7; 10) "foo"
+    PARAM_LIST@[10; 12)
+      L_PAREN@[10; 11)
+      R_PAREN@[11; 12)
+    WHITESPACE@[12; 13)
+    BLOCK@[13; 15)
+      L_CURLY@[13; 14)
+      R_CURLY@[14; 15)
+  WHITESPACE@[15; 16)
diff --git a/crates/ra_syntax/tests/data/parser/err/0021_incomplete_param.rs b/crates/ra_syntax/tests/data/parser/err/0021_incomplete_param.rs
new file mode 100644
index 000000000..7a6c264f6
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/err/0021_incomplete_param.rs
@@ -0,0 +1,2 @@
+fn foo(x: i32, y) {
+}
diff --git a/crates/ra_syntax/tests/data/parser/err/0021_incomplete_param.txt b/crates/ra_syntax/tests/data/parser/err/0021_incomplete_param.txt
new file mode 100644
index 000000000..8dcb58ae2
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/err/0021_incomplete_param.txt
@@ -0,0 +1,34 @@
+ROOT@[0; 22)
+  FN_DEF@[0; 21)
+    FN_KW@[0; 2)
+    WHITESPACE@[2; 3)
+    NAME@[3; 6)
+      IDENT@[3; 6) "foo"
+    PARAM_LIST@[6; 17)
+      L_PAREN@[6; 7)
+      PARAM@[7; 13)
+        BIND_PAT@[7; 8)
+          NAME@[7; 8)
+            IDENT@[7; 8) "x"
+        COLON@[8; 9)
+        WHITESPACE@[9; 10)
+        PATH_TYPE@[10; 13)
+          PATH@[10; 13)
+            PATH_SEGMENT@[10; 13)
+              NAME_REF@[10; 13)
+                IDENT@[10; 13) "i32"
+      COMMA@[13; 14)
+      WHITESPACE@[14; 15)
+      PARAM@[15; 16)
+        BIND_PAT@[15; 16)
+          NAME@[15; 16)
+            IDENT@[15; 16) "y"
+            err: `expected COLON`
+            err: `expected type`
+      R_PAREN@[16; 17)
+    WHITESPACE@[17; 18)
+    BLOCK@[18; 21)
+      L_CURLY@[18; 19)
+      WHITESPACE@[19; 20)
+      R_CURLY@[20; 21)
+  WHITESPACE@[21; 22)
diff --git a/crates/ra_syntax/tests/data/parser/err/0022_bad_exprs.rs b/crates/ra_syntax/tests/data/parser/err/0022_bad_exprs.rs
new file mode 100644
index 000000000..cd2d493a1
--- /dev/null
+++ b/crates/ra_syntax/tests/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/ra_syntax/tests/data/parser/err/0022_bad_exprs.txt b/crates/ra_syntax/tests/data/parser/err/0022_bad_exprs.txt
new file mode 100644
index 000000000..287e56ac4
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/err/0022_bad_exprs.txt
@@ -0,0 +1,189 @@
+ROOT@[0; 112)
+  FN_DEF@[0; 33)
+    FN_KW@[0; 2)
+    WHITESPACE@[2; 3)
+    NAME@[3; 4)
+      IDENT@[3; 4) "a"
+    PARAM_LIST@[4; 6)
+      L_PAREN@[4; 5)
+      R_PAREN@[5; 6)
+    WHITESPACE@[6; 7)
+    BLOCK@[7; 33)
+      L_CURLY@[7; 8)
+      WHITESPACE@[8; 9)
+      EXPR_STMT@[9; 15)
+        ARRAY_EXPR@[9; 15)
+          L_BRACK@[9; 10)
+          LITERAL@[10; 11)
+            INT_NUMBER@[10; 11) "1"
+          COMMA@[11; 12)
+          WHITESPACE@[12; 13)
+          LITERAL@[13; 14)
+            INT_NUMBER@[13; 14) "2"
+          COMMA@[14; 15)
+          err: `expected expression`
+          err: `expected R_BRACK`
+          err: `expected SEMI`
+      WHITESPACE@[15; 16)
+      err: `expected expression`
+      EXPR_STMT@[16; 17)
+        ERROR@[16; 17)
+          AT@[16; 17)
+          err: `expected SEMI`
+          err: `expected expression`
+      EXPR_STMT@[17; 18)
+        ERROR@[17; 18)
+          COMMA@[17; 18)
+          err: `expected SEMI`
+      WHITESPACE@[18; 19)
+      STRUCT_DEF@[19; 26)
+        STRUCT_KW@[19; 25)
+        err: `expected a name`
+        ERROR@[25; 26)
+          COMMA@[25; 26)
+          err: `expected `;`, `{`, or `(``
+      WHITESPACE@[26; 27)
+      LET_STMT@[27; 31)
+        LET_KW@[27; 30)
+        err: `expected pattern`
+        ERROR@[30; 31)
+          R_BRACK@[30; 31)
+          err: `expected SEMI`
+      WHITESPACE@[31; 32)
+      R_CURLY@[32; 33)
+  WHITESPACE@[33; 34)
+  FN_DEF@[34; 68)
+    FN_KW@[34; 36)
+    WHITESPACE@[36; 37)
+    NAME@[37; 38)
+      IDENT@[37; 38) "b"
+    PARAM_LIST@[38; 40)
+      L_PAREN@[38; 39)
+      R_PAREN@[39; 40)
+    WHITESPACE@[40; 41)
+    BLOCK@[41; 68)
+      L_CURLY@[41; 42)
+      WHITESPACE@[42; 43)
+      EXPR_STMT@[43; 52)
+        CALL_EXPR@[43; 52)
+          PATH_EXPR@[43; 46)
+            PATH@[43; 46)
+              PATH_SEGMENT@[43; 46)
+                NAME_REF@[43; 46)
+                  IDENT@[43; 46) "foo"
+          ARG_LIST@[46; 52)
+            L_PAREN@[46; 47)
+            LITERAL@[47; 48)
+              INT_NUMBER@[47; 48) "1"
+            COMMA@[48; 49)
+            WHITESPACE@[49; 50)
+            LITERAL@[50; 51)
+              INT_NUMBER@[50; 51) "2"
+            COMMA@[51; 52)
+            err: `expected expression`
+            err: `expected SEMI`
+      WHITESPACE@[52; 53)
+      err: `expected expression`
+      EXPR_STMT@[53; 54)
+        ERROR@[53; 54)
+          AT@[53; 54)
+          err: `expected SEMI`
+          err: `expected expression`
+      EXPR_STMT@[54; 55)
+        ERROR@[54; 55)
+          COMMA@[54; 55)
+          err: `expected SEMI`
+      WHITESPACE@[55; 56)
+      IMPL_ITEM@[56; 60)
+        IMPL_KW@[56; 60)
+        err: `expected type`
+        err: `expected `{``
+        err: `expected expression`
+      EXPR_STMT@[60; 61)
+        ERROR@[60; 61)
+          COMMA@[60; 61)
+          err: `expected SEMI`
+      WHITESPACE@[61; 62)
+      LET_STMT@[62; 65)
+        LET_KW@[62; 65)
+        err: `expected pattern`
+        err: `expected SEMI`
+        err: `expected expression`
+      ERROR@[65; 66)
+        R_PAREN@[65; 66)
+      WHITESPACE@[66; 67)
+      R_CURLY@[67; 68)
+  WHITESPACE@[68; 69)
+  FN_DEF@[69; 111)
+    FN_KW@[69; 71)
+    WHITESPACE@[71; 72)
+    NAME@[72; 73)
+      IDENT@[72; 73) "c"
+    PARAM_LIST@[73; 75)
+      L_PAREN@[73; 74)
+      R_PAREN@[74; 75)
+    WHITESPACE@[75; 76)
+    BLOCK@[76; 111)
+      L_CURLY@[76; 77)
+      WHITESPACE@[77; 78)
+      EXPR_STMT@[78; 91)
+        METHOD_CALL_EXPR@[78; 91)
+          PATH_EXPR@[78; 81)
+            PATH@[78; 81)
+              PATH_SEGMENT@[78; 81)
+                NAME_REF@[78; 81)
+                  IDENT@[78; 81) "foo"
+          DOT@[81; 82)
+          NAME_REF@[82; 85)
+            IDENT@[82; 85) "bar"
+          ARG_LIST@[85; 91)
+            L_PAREN@[85; 86)
+            LITERAL@[86; 87)
+              INT_NUMBER@[86; 87) "1"
+            COMMA@[87; 88)
+            WHITESPACE@[88; 89)
+            LITERAL@[89; 90)
+              INT_NUMBER@[89; 90) "2"
+            COMMA@[90; 91)
+            err: `expected expression`
+            err: `expected SEMI`
+      WHITESPACE@[91; 92)
+      err: `expected expression`
+      EXPR_STMT@[92; 93)
+        ERROR@[92; 93)
+          AT@[92; 93)
+          err: `expected SEMI`
+          err: `expected expression`
+      EXPR_STMT@[93; 94)
+        ERROR@[93; 94)
+          COMMA@[93; 94)
+          err: `expected SEMI`
+      WHITESPACE@[94; 95)
+      err: `expected expression`
+      EXPR_STMT@[95; 96)
+        ERROR@[95; 96)
+          R_BRACK@[95; 96)
+          err: `expected SEMI`
+          err: `expected expression`
+      EXPR_STMT@[96; 97)
+        ERROR@[96; 97)
+          COMMA@[96; 97)
+          err: `expected SEMI`
+      WHITESPACE@[97; 98)
+      TRAIT_DEF@[98; 104)
+        TRAIT_KW@[98; 103)
+        err: `expected a name`
+        ERROR@[103; 104)
+          COMMA@[103; 104)
+          err: `expected `{``
+      WHITESPACE@[104; 105)
+      LET_STMT@[105; 108)
+        LET_KW@[105; 108)
+        err: `expected pattern`
+        err: `expected SEMI`
+        err: `expected expression`
+      ERROR@[108; 109)
+        R_PAREN@[108; 109)
+      WHITESPACE@[109; 110)
+      R_CURLY@[110; 111)
+  WHITESPACE@[111; 112)
diff --git a/crates/ra_syntax/tests/data/parser/err/0023_mismatched_paren.rs b/crates/ra_syntax/tests/data/parser/err/0023_mismatched_paren.rs
new file mode 100644
index 000000000..0206d563e
--- /dev/null
+++ b/crates/ra_syntax/tests/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/ra_syntax/tests/data/parser/err/0023_mismatched_paren.txt b/crates/ra_syntax/tests/data/parser/err/0023_mismatched_paren.txt
new file mode 100644
index 000000000..2df81b12b
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/err/0023_mismatched_paren.txt
@@ -0,0 +1,43 @@
+ROOT@[0; 94)
+  FN_DEF@[0; 55)
+    FN_KW@[0; 2)
+    WHITESPACE@[2; 3)
+    NAME@[3; 7)
+      IDENT@[3; 7) "main"
+    PARAM_LIST@[7; 9)
+      L_PAREN@[7; 8)
+      R_PAREN@[8; 9)
+    WHITESPACE@[9; 10)
+    BLOCK@[10; 55)
+      L_CURLY@[10; 11)
+      WHITESPACE@[11; 16)
+      MACRO_CALL@[16; 49)
+        PATH@[16; 19)
+          PATH_SEGMENT@[16; 19)
+            NAME_REF@[16; 19)
+              IDENT@[16; 19) "foo"
+        EXCL@[19; 20)
+        WHITESPACE@[20; 21)
+        TOKEN_TREE@[21; 49)
+          L_PAREN@[21; 22)
+          WHITESPACE@[22; 31)
+          IDENT@[31; 34) "bar"
+          COMMA@[34; 35)
+          WHITESPACE@[35; 36)
+          STRING@[36; 41)
+          COMMA@[41; 42)
+          WHITESPACE@[42; 43)
+          INT_NUMBER@[43; 44) "1"
+          COMMA@[44; 45)
+          WHITESPACE@[45; 46)
+          FLOAT_NUMBER@[46; 49) "2.0"
+          err: `unmatched `}``
+      WHITESPACE@[49; 54)
+      R_CURLY@[54; 55)
+  WHITESPACE@[55; 56)
+  COMMENT@[56; 91)
+  WHITESPACE@[91; 92)
+  err: `unmatched `}``
+  ERROR@[92; 93)
+    R_CURLY@[92; 93)
+  WHITESPACE@[93; 94)
diff --git a/crates/ra_syntax/tests/data/parser/err/0024_many_type_parens.rs b/crates/ra_syntax/tests/data/parser/err/0024_many_type_parens.rs
new file mode 100644
index 000000000..6c2e95c02
--- /dev/null
+++ b/crates/ra_syntax/tests/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/ra_syntax/tests/data/parser/err/0024_many_type_parens.txt b/crates/ra_syntax/tests/data/parser/err/0024_many_type_parens.txt
new file mode 100644
index 000000000..195c12e08
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/err/0024_many_type_parens.txt
@@ -0,0 +1,310 @@
+ROOT@[0; 240)
+  FN_DEF@[0; 53)
+    FN_KW@[0; 2)
+    WHITESPACE@[2; 3)
+    NAME@[3; 4)
+      IDENT@[3; 4) "f"
+    TYPE_PARAM_LIST@[4; 48)
+      L_ANGLE@[4; 5)
+      TYPE_PARAM@[5; 47)
+        NAME@[5; 6)
+          IDENT@[5; 6) "T"
+        COLON@[6; 7)
+        WHITESPACE@[7; 8)
+        L_PAREN@[8; 9)
+        PATH_TYPE@[9; 13)
+          PATH@[9; 13)
+            PATH_SEGMENT@[9; 13)
+              NAME_REF@[9; 13)
+                IDENT@[9; 13) "Copy"
+        R_PAREN@[13; 14)
+        WHITESPACE@[14; 15)
+        PLUS@[15; 16)
+        WHITESPACE@[16; 17)
+        L_PAREN@[17; 18)
+        QUESTION@[18; 19)
+        PATH_TYPE@[19; 24)
+          PATH@[19; 24)
+            PATH_SEGMENT@[19; 24)
+              NAME_REF@[19; 24)
+                IDENT@[19; 24) "Sized"
+        R_PAREN@[24; 25)
+        WHITESPACE@[25; 26)
+        PLUS@[26; 27)
+        WHITESPACE@[27; 28)
+        L_PAREN@[28; 29)
+        FOR_TYPE@[29; 46)
+          FOR_KW@[29; 32)
+          TYPE_PARAM_LIST@[32; 36)
+            L_ANGLE@[32; 33)
+            LIFETIME_PARAM@[33; 35)
+              LIFETIME@[33; 35) "'a"
+            R_ANGLE@[35; 36)
+          WHITESPACE@[36; 37)
+          PATH_TYPE@[37; 46)
+            PATH@[37; 46)
+              PATH_SEGMENT@[37; 46)
+                NAME_REF@[37; 42)
+                  IDENT@[37; 42) "Trait"
+                TYPE_ARG_LIST@[42; 46)
+                  L_ANGLE@[42; 43)
+                  LIFETIME_ARG@[43; 45)
+                    LIFETIME@[43; 45) "'a"
+                  R_ANGLE@[45; 46)
+        R_PAREN@[46; 47)
+      R_ANGLE@[47; 48)
+    PARAM_LIST@[48; 50)
+      L_PAREN@[48; 49)
+      R_PAREN@[49; 50)
+    WHITESPACE@[50; 51)
+    BLOCK@[51; 53)
+      L_CURLY@[51; 52)
+      R_CURLY@[52; 53)
+  WHITESPACE@[53; 55)
+  FN_DEF@[55; 239)
+    FN_KW@[55; 57)
+    WHITESPACE@[57; 58)
+    NAME@[58; 62)
+      IDENT@[58; 62) "main"
+    PARAM_LIST@[62; 64)
+      L_PAREN@[62; 63)
+      R_PAREN@[63; 64)
+    WHITESPACE@[64; 65)
+    BLOCK@[65; 239)
+      L_CURLY@[65; 66)
+      WHITESPACE@[66; 71)
+      LET_STMT@[71; 121)
+        LET_KW@[71; 74)
+        WHITESPACE@[74; 75)
+        PLACEHOLDER_PAT@[75; 76)
+          UNDERSCORE@[75; 76)
+        COLON@[76; 77)
+        WHITESPACE@[77; 78)
+        PATH_TYPE@[78; 121)
+          PATH@[78; 88)
+            PATH_SEGMENT@[78; 88)
+              NAME_REF@[78; 81)
+                IDENT@[78; 81) "Box"
+              TYPE_ARG_LIST@[81; 88)
+                L_ANGLE@[81; 82)
+                TYPE_ARG@[82; 88)
+                  PAREN_TYPE@[82; 88)
+                    L_PAREN@[82; 83)
+                    PATH_TYPE@[83; 87)
+                      PATH@[83; 87)
+                        PATH_SEGMENT@[83; 87)
+                          NAME_REF@[83; 87)
+                            IDENT@[83; 87) "Copy"
+                    R_PAREN@[87; 88)
+                    err: `expected COMMA`
+                    err: `expected R_ANGLE`
+          WHITESPACE@[88; 89)
+          PLUS@[89; 90)
+          WHITESPACE@[90; 91)
+          L_PAREN@[91; 92)
+          QUESTION@[92; 93)
+          PATH_TYPE@[93; 98)
+            PATH@[93; 98)
+              PATH_SEGMENT@[93; 98)
+                NAME_REF@[93; 98)
+                  IDENT@[93; 98) "Sized"
+          R_PAREN@[98; 99)
+          WHITESPACE@[99; 100)
+          PLUS@[100; 101)
+          WHITESPACE@[101; 102)
+          L_PAREN@[102; 103)
+          FOR_TYPE@[103; 120)
+            FOR_KW@[103; 106)
+            TYPE_PARAM_LIST@[106; 110)
+              L_ANGLE@[106; 107)
+              LIFETIME_PARAM@[107; 109)
+                LIFETIME@[107; 109) "'a"
+              R_ANGLE@[109; 110)
+            WHITESPACE@[110; 111)
+            PATH_TYPE@[111; 120)
+              PATH@[111; 120)
+                PATH_SEGMENT@[111; 120)
+                  NAME_REF@[111; 116)
+                    IDENT@[111; 116) "Trait"
+                  TYPE_ARG_LIST@[116; 120)
+                    L_ANGLE@[116; 117)
+                    LIFETIME_ARG@[117; 119)
+                      LIFETIME@[117; 119) "'a"
+                    R_ANGLE@[119; 120)
+          R_PAREN@[120; 121)
+          err: `expected SEMI`
+          err: `expected expression`
+      EXPR_STMT@[121; 123)
+        ERROR@[121; 122)
+          R_ANGLE@[121; 122)
+        SEMI@[122; 123)
+      WHITESPACE@[123; 128)
+      LET_STMT@[128; 141)
+        LET_KW@[128; 131)
+        WHITESPACE@[131; 132)
+        PLACEHOLDER_PAT@[132; 133)
+          UNDERSCORE@[132; 133)
+        COLON@[133; 134)
+        WHITESPACE@[134; 135)
+        PATH_TYPE@[135; 141)
+          PATH@[135; 141)
+            PATH_SEGMENT@[135; 141)
+              NAME_REF@[135; 138)
+                IDENT@[135; 138) "Box"
+              TYPE_ARG_LIST@[138; 141)
+                L_ANGLE@[138; 139)
+                TYPE_ARG@[139; 141)
+                  PAREN_TYPE@[139; 141)
+                    L_PAREN@[139; 140)
+                    err: `expected type`
+                    ERROR@[140; 141)
+                      QUESTION@[140; 141)
+                      err: `expected R_PAREN`
+                      err: `expected COMMA`
+                      err: `expected R_ANGLE`
+                      err: `expected SEMI`
+      EXPR_STMT@[141; 146)
+        PATH_EXPR@[141; 146)
+          PATH@[141; 146)
+            PATH_SEGMENT@[141; 146)
+              NAME_REF@[141; 146)
+                IDENT@[141; 146) "Sized"
+                err: `expected SEMI`
+                err: `expected expression`
+      EXPR_STMT@[146; 147)
+        ERROR@[146; 147)
+          R_PAREN@[146; 147)
+          err: `expected SEMI`
+      WHITESPACE@[147; 148)
+      err: `expected expression`
+      EXPR_STMT@[148; 149)
+        ERROR@[148; 149)
+          PLUS@[148; 149)
+          err: `expected SEMI`
+      WHITESPACE@[149; 150)
+      EXPR_STMT@[150; 151)
+        PAREN_EXPR@[150; 151)
+          L_PAREN@[150; 151)
+          err: `expected expression`
+          err: `expected R_PAREN`
+          err: `expected SEMI`
+      EXPR_STMT@[151; 157)
+        FOR_EXPR@[151; 157)
+          FOR_KW@[151; 154)
+          err: `expected pattern`
+          ERROR@[154; 155)
+            L_ANGLE@[154; 155)
+            err: `expected IN_KW`
+            err: `expected expression`
+          ERROR@[155; 157)
+            LIFETIME@[155; 157) "'a"
+            err: `expected a block`
+            err: `expected expression`
+      EXPR_STMT@[157; 158)
+        ERROR@[157; 158)
+          R_ANGLE@[157; 158)
+          err: `expected SEMI`
+      WHITESPACE@[158; 159)
+      EXPR_STMT@[159; 180)
+        BIN_EXPR@[159; 180)
+          BIN_EXPR@[159; 178)
+            BIN_EXPR@[159; 169)
+              BIN_EXPR@[159; 167)
+                PATH_EXPR@[159; 164)
+                  PATH@[159; 164)
+                    PATH_SEGMENT@[159; 164)
+                      NAME_REF@[159; 164)
+                        IDENT@[159; 164) "Trait"
+                L_ANGLE@[164; 165)
+                err: `expected expression`
+                ERROR@[165; 167)
+                  LIFETIME@[165; 167) "'a"
+              R_ANGLE@[167; 168)
+              err: `expected expression`
+              ERROR@[168; 169)
+                R_PAREN@[168; 169)
+            WHITESPACE@[169; 170)
+            PLUS@[170; 171)
+            WHITESPACE@[171; 172)
+            PAREN_EXPR@[172; 178)
+              L_PAREN@[172; 173)
+              PATH_EXPR@[173; 177)
+                PATH@[173; 177)
+                  PATH_SEGMENT@[173; 177)
+                    NAME_REF@[173; 177)
+                      IDENT@[173; 177) "Copy"
+              R_PAREN@[177; 178)
+          R_ANGLE@[178; 179)
+          err: `expected expression`
+          ERROR@[179; 180)
+            SEMI@[179; 180)
+            err: `expected SEMI`
+      WHITESPACE@[180; 185)
+      LET_STMT@[185; 235)
+        LET_KW@[185; 188)
+        WHITESPACE@[188; 189)
+        PLACEHOLDER_PAT@[189; 190)
+          UNDERSCORE@[189; 190)
+        COLON@[190; 191)
+        WHITESPACE@[191; 192)
+        PATH_TYPE@[192; 235)
+          PATH@[192; 215)
+            PATH_SEGMENT@[192; 215)
+              NAME_REF@[192; 195)
+                IDENT@[192; 195) "Box"
+              TYPE_ARG_LIST@[195; 215)
+                L_ANGLE@[195; 196)
+                TYPE_ARG@[196; 215)
+                  PAREN_TYPE@[196; 215)
+                    L_PAREN@[196; 197)
+                    FOR_TYPE@[197; 214)
+                      FOR_KW@[197; 200)
+                      TYPE_PARAM_LIST@[200; 204)
+                        L_ANGLE@[200; 201)
+                        LIFETIME_PARAM@[201; 203)
+                          LIFETIME@[201; 203) "'a"
+                        R_ANGLE@[203; 204)
+                      WHITESPACE@[204; 205)
+                      PATH_TYPE@[205; 214)
+                        PATH@[205; 214)
+                          PATH_SEGMENT@[205; 214)
+                            NAME_REF@[205; 210)
+                              IDENT@[205; 210) "Trait"
+                            TYPE_ARG_LIST@[210; 214)
+                              L_ANGLE@[210; 211)
+                              LIFETIME_ARG@[211; 213)
+                                LIFETIME@[211; 213) "'a"
+                              R_ANGLE@[213; 214)
+                    R_PAREN@[214; 215)
+                    err: `expected COMMA`
+                    err: `expected R_ANGLE`
+          WHITESPACE@[215; 216)
+          PLUS@[216; 217)
+          WHITESPACE@[217; 218)
+          L_PAREN@[218; 219)
+          PATH_TYPE@[219; 223)
+            PATH@[219; 223)
+              PATH_SEGMENT@[219; 223)
+                NAME_REF@[219; 223)
+                  IDENT@[219; 223) "Copy"
+          R_PAREN@[223; 224)
+          WHITESPACE@[224; 225)
+          PLUS@[225; 226)
+          WHITESPACE@[226; 227)
+          L_PAREN@[227; 228)
+          QUESTION@[228; 229)
+          PATH_TYPE@[229; 234)
+            PATH@[229; 234)
+              PATH_SEGMENT@[229; 234)
+                NAME_REF@[229; 234)
+                  IDENT@[229; 234) "Sized"
+          R_PAREN@[234; 235)
+          err: `expected SEMI`
+          err: `expected expression`
+      EXPR_STMT@[235; 237)
+        ERROR@[235; 236)
+          R_ANGLE@[235; 236)
+        SEMI@[236; 237)
+      WHITESPACE@[237; 238)
+      R_CURLY@[238; 239)
+  WHITESPACE@[239; 240)
diff --git a/crates/ra_syntax/tests/data/parser/err/0025_nope.rs b/crates/ra_syntax/tests/data/parser/err/0025_nope.rs
new file mode 100644
index 000000000..28726ed51
--- /dev/null
+++ b/crates/ra_syntax/tests/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/ra_syntax/tests/data/parser/err/0025_nope.txt b/crates/ra_syntax/tests/data/parser/err/0025_nope.txt
new file mode 100644
index 000000000..c30b8585f
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/err/0025_nope.txt
@@ -0,0 +1,203 @@
+ROOT@[0; 575)
+  FN_DEF@[0; 574)
+    FN_KW@[0; 2)
+    WHITESPACE@[2; 3)
+    NAME@[3; 7)
+      IDENT@[3; 7) "main"
+    PARAM_LIST@[7; 9)
+      L_PAREN@[7; 8)
+      R_PAREN@[8; 9)
+    WHITESPACE@[9; 10)
+    BLOCK@[10; 574)
+      L_CURLY@[10; 11)
+      WHITESPACE@[11; 16)
+      ENUM_DEF@[16; 152)
+        ENUM_KW@[16; 20)
+        WHITESPACE@[20; 21)
+        NAME@[21; 25)
+          IDENT@[21; 25) "Test"
+        WHITESPACE@[25; 26)
+        ENUM_VARIANT_LIST@[26; 152)
+          L_CURLY@[26; 27)
+          WHITESPACE@[27; 36)
+          ENUM_VARIANT@[36; 40)
+            NAME@[36; 40)
+              IDENT@[36; 40) "Var1"
+          COMMA@[40; 41)
+          WHITESPACE@[41; 50)
+          ENUM_VARIANT@[50; 62)
+            NAME@[50; 54)
+              IDENT@[50; 54) "Var2"
+            POS_FIELD_LIST@[54; 62)
+              L_PAREN@[54; 55)
+              POS_FIELD@[55; 61)
+                PATH_TYPE@[55; 61)
+                  PATH@[55; 61)
+                    PATH_SEGMENT@[55; 61)
+                      NAME_REF@[55; 61)
+                        IDENT@[55; 61) "String"
+              R_PAREN@[61; 62)
+          COMMA@[62; 63)
+          WHITESPACE@[63; 72)
+          ENUM_VARIANT@[72; 145)
+            NAME@[72; 76)
+              IDENT@[72; 76) "Var3"
+            WHITESPACE@[76; 77)
+            NAMED_FIELD_DEF_LIST@[77; 145)
+              L_CURLY@[77; 78)
+              WHITESPACE@[78; 91)
+              NAMED_FIELD_DEF@[91; 95)
+                NAME@[91; 94)
+                  IDENT@[91; 94) "abc"
+                COLON@[94; 95)
+                err: `expected type`
+                err: `expected COMMA`
+              WHITESPACE@[95; 96)
+              err: `expected field`
+              ERROR@[96; 98)
+                L_CURLY@[96; 97)
+                R_CURLY@[97; 98)
+                err: `expected field declaration`
+              ERROR@[98; 99)
+                COMMA@[98; 99)
+              WHITESPACE@[99; 100)
+              COMMENT@[100; 135)
+              WHITESPACE@[135; 144)
+              R_CURLY@[144; 145)
+          COMMA@[145; 146)
+          WHITESPACE@[146; 151)
+          R_CURLY@[151; 152)
+      WHITESPACE@[152; 158)
+      COMMENT@[158; 171)
+      WHITESPACE@[171; 176)
+      LET_STMT@[176; 186)
+        LET_KW@[176; 179)
+        WHITESPACE@[179; 180)
+        BIND_PAT@[180; 181)
+          NAME@[180; 181)
+            IDENT@[180; 181) "a"
+        WHITESPACE@[181; 182)
+        EQ@[182; 183)
+        WHITESPACE@[183; 184)
+        LITERAL@[184; 185)
+          INT_NUMBER@[184; 185) "1"
+        SEMI@[185; 186)
+      WHITESPACE@[186; 191)
+      ENUM_DEF@[191; 223)
+        ENUM_KW@[191; 195)
+        WHITESPACE@[195; 196)
+        NAME@[196; 201)
+          IDENT@[196; 201) "Test2"
+        WHITESPACE@[201; 202)
+        ENUM_VARIANT_LIST@[202; 223)
+          L_CURLY@[202; 203)
+          WHITESPACE@[203; 212)
+          ENUM_VARIANT@[212; 216)
+            NAME@[212; 216)
+              IDENT@[212; 216) "Fine"
+          COMMA@[216; 217)
+          WHITESPACE@[217; 222)
+          R_CURLY@[222; 223)
+      WHITESPACE@[223; 229)
+      ENUM_DEF@[229; 300)
+        ENUM_KW@[229; 233)
+        WHITESPACE@[233; 234)
+        NAME@[234; 239)
+          IDENT@[234; 239) "Test3"
+        WHITESPACE@[239; 240)
+        ENUM_VARIANT_LIST@[240; 300)
+          L_CURLY@[240; 241)
+          WHITESPACE@[241; 250)
+          ENUM_VARIANT@[250; 293)
+            NAME@[250; 259)
+              IDENT@[250; 259) "StillFine"
+            WHITESPACE@[259; 260)
+            NAMED_FIELD_DEF_LIST@[260; 293)
+              L_CURLY@[260; 261)
+              WHITESPACE@[261; 274)
+              NAMED_FIELD_DEF@[274; 282)
+                NAME@[274; 277)
+                  IDENT@[274; 277) "def"
+                COLON@[277; 278)
+                WHITESPACE@[278; 279)
+                PATH_TYPE@[279; 282)
+                  PATH@[279; 282)
+                    PATH_SEGMENT@[279; 282)
+                      NAME_REF@[279; 282)
+                        IDENT@[279; 282) "i32"
+              COMMA@[282; 283)
+              WHITESPACE@[283; 292)
+              R_CURLY@[292; 293)
+          COMMA@[293; 294)
+          WHITESPACE@[294; 299)
+          R_CURLY@[299; 300)
+      WHITESPACE@[300; 306)
+      EXPR_STMT@[306; 459)
+        BLOCK_EXPR@[306; 459)
+          BLOCK@[306; 459)
+            L_CURLY@[306; 307)
+            WHITESPACE@[307; 316)
+            COMMENT@[316; 329)
+            WHITESPACE@[329; 338)
+            ENUM_DEF@[338; 453)
+              ENUM_KW@[338; 342)
+              WHITESPACE@[342; 343)
+              NAME@[343; 348)
+                IDENT@[343; 348) "Test4"
+              WHITESPACE@[348; 349)
+              ENUM_VARIANT_LIST@[349; 453)
+                L_CURLY@[349; 350)
+                WHITESPACE@[350; 363)
+                ENUM_VARIANT@[363; 372)
+                  NAME@[363; 367)
+                    IDENT@[363; 367) "Nope"
+                  POS_FIELD_LIST@[367; 372)
+                    L_PAREN@[367; 368)
+                    POS_FIELD@[368; 371)
+                      PATH_TYPE@[368; 371)
+                        PATH@[368; 371)
+                          PATH_SEGMENT@[368; 371)
+                            NAME_REF@[368; 371)
+                              IDENT@[368; 371) "i32"
+                              err: `expected COMMA`
+                    WHITESPACE@[371; 372)
+                    err: `expected a type`
+                    err: `expected R_PAREN`
+                    err: `expected COMMA`
+                    err: `expected enum variant`
+                    ERROR@[372; 372)
+                ERROR@[372; 374)
+                  L_CURLY@[372; 373)
+                  R_CURLY@[373; 374)
+                  err: `expected enum variant`
+                ERROR@[374; 375)
+                  R_PAREN@[374; 375)
+                WHITESPACE@[375; 376)
+                COMMENT@[376; 396)
+                WHITESPACE@[396; 422)
+                COMMENT@[422; 443)
+                WHITESPACE@[443; 452)
+                R_CURLY@[452; 453)
+            WHITESPACE@[453; 458)
+            R_CURLY@[458; 459)
+      WHITESPACE@[459; 464)
+      COMMENT@[464; 486)
+      WHITESPACE@[486; 491)
+      LET_STMT@[491; 510)
+        LET_KW@[491; 494)
+        WHITESPACE@[494; 495)
+        BIND_PAT@[495; 505)
+          NAME@[495; 505)
+            IDENT@[495; 505) "bad_syntax"
+        WHITESPACE@[505; 506)
+        EQ@[506; 507)
+        WHITESPACE@[507; 508)
+        err: `expected expression`
+        ERROR@[508; 509)
+          UNDERSCORE@[508; 509)
+        SEMI@[509; 510)
+      WHITESPACE@[510; 511)
+      COMMENT@[511; 572)
+      WHITESPACE@[572; 573)
+      R_CURLY@[573; 574)
+  WHITESPACE@[574; 575)
diff --git a/crates/ra_syntax/tests/data/parser/fuzz-failures/0000.rs b/crates/ra_syntax/tests/data/parser/fuzz-failures/0000.rs
new file mode 100644
index 000000000..53c93d9e9
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/fuzz-failures/0000.rs
@@ -0,0 +1,199 @@
+//! An experimental implementation of [Rust RFC#2256 lrs);
+        let root = SyntaxNode::new_owned(root);
+        validate_block_structure(root.borrowed());
+        File { root }
+    }
+    pub fn parse(text: &str) -> File {
+        let tokens = tokenize(&text);
+        let (green, errors) = parser_impl::parse_with::<yellow::GreenBuilder>(
+            text, &tokens, grammar::root,
+        );
+        File::new(green, errors)
+    }
+    pub fn reparse(&self, edit: &AtomEdit) -> File {
+        self.incremental_reparse(edit).unwrap_or_else(|| self.full_reparse(edit))
+    }
+    pub fn incremental_reparse(&self, edit: &AtomEdit) -> Option<File> {
+        let (node, reparser) = find_reparsable_node(self.syntax(), edit.delete)?;
+        let text = replace_range(
+            node.text().to_string(),
+            edit.delete - node.range().start(),
+            &edit.insert,
+        );
+        let tokens = tokenize(&text);
+        if !is_balanced(&tokens) {
+            return None;
+        }
+        let (green, new_errors) = parser_impl::parse_with::<yellow::GreenBuilder>(
+            &te2t, &tokens, reparser,
+        );
+        let green_root = node.replace_with(green);
+        let errors = merge_errors(self.errors(), new_errors, node, edit);
+        Some(File::new(green_root, errors))
+    }
+    fn full_reparse(&self, edit: &AtomEdit) -> File {
+        let text = replace_range(self.syntax().text().to_string(), edit.delete, &edit.insert);
+        File::parse(&text)
+    }
+    pub fn ast(&self) -> ast::Root {
+        ast::Root::cast(self.syntax()).unwrap()
+    }
+    pub fn syntax(&self) -> SyntaxNodeRef {
+        self.root.brroowed()
+    }
+    mp_tree(root),
+                    );
+                    assert!(
+                        node.next_sibling().is_none() && pair.prev_sibling().is_none(),
+                        "\nfloating curlys at {:?}\nfile:\n{}\nerror:\n{}\n",
+                        node,
+                        root.text(),
+                        node.text(),
+                    );
+                }
+            }
+            _ => (),
+        }
+    }
+}
+#[derive(Debug, Clone)]
+pub struct AtomEdit {
+    pub delete: TextRange,
+    pub insert: String,
+}
+impl AtomEdit {
+    pub fn replace(range: TextRange, replace_with: String) -> AtomEdit {
+        AtomEdit { delete: range, insert: replace_with }
+    }
+    pub fn delete(range: TextRange) -> AtomEdit {
+        AtomEdit::replace(range, String::new())
+    }
+    pub fn insert(offset: TextUnit, text: String) -> AtomEdit {
+        AtomEdit::replace(TextRange::offset_len(offset, 0.into()), text)
+    }
+}
+fn find_reparsable_node(node: SyntaxNodeRef, range: TextRange) -> Option<(SyntaxNodeRef, fn(&mut Parser))> {
+    let node = algo::find_covering_node(node, range);
+    return algo::ancestors(node)
+        .filter_map(|node| reparser(node).map(|r| (node, r)))
+        .next();
+    fn reparser(node: SyntaxNodeRef) -> Option<fn(&mut Parser)> {
+        let res = match node.kind() {
+            BLOCK => grammar::block,
+            NAMED_FIELD_DEF_LIST => grammar::named_field_def_list,
+            _ => return None,
+        };
+        Some(res)
+    }
+}
+pub /*(meh)*/ fn replace_range(mut text: String, range: TextRange, replace_with: &str) -> String {
+    let start = u32::from(range.start()) as usize;
+    let end = u32::from(range.end()) as usize;
+    text.replace_range(start..end, replace_with);
+    text
+}
+fn is_balanced(tokens: &[Token]) -> bool {
+    if tokens.len() == 0
+       || tokens.first().unwrap().kind != L_CURLY
+       || tokens.last().unwrap().kind != R_CURLY {
+        return false
+    }
+    let mut balance = 0usize;
+    for t in tokens.iter() {
+        match t.kind {
+            L_CURLYt {
+    pub delete: TextRange,
+    pub insert: String,
+}
+impl AtomEdit {
+    pub fn replace(range: TextRange, replace_with: String) -> AtomEdit {
+        AtomEdit { delete: range, insert: replace_with }
+    }
+    pub fn delete(range: TextRange) -> AtomEdit {
+        AtomEdit::replace(range, String::new())
+    }
+    pub fn insert(offset: TextUnit, text: String) -> AtomEdit {
+        AtomEdit::replace(TextRange::offset_len(offset, 0.into()), text)
+    }
+}
+fn find_reparsable_node(node: SyntaxNodeRef, range: TextRange) -> Option<(SyntaxNodeRef, fn(&mut Parser))> {
+    let node = algo::find_covering_node(node, range);
+    return algo::ancestors(node)
+        .filter_map(|node| reparser(node).map(|r| (node, r)))
+        .next();
+    fn reparser(node: SyntaxNodeRef) -> Option<fn(&mut Parser)> {
+        let res = match node.kind() {
+     ;
+    let end = u32::from(range.end()) as usize;
+    text.replaT => grammar::named_field_def_list,
+            _ => return None,
+        };
+        Some(res)
+    }
+}
+pub /*(meh)*/ fn replace_range(mut text: String, range: TextRange, replace_with: &str) -> String {
+    let start = u32::from(range.start()) as usize;
+    let end = u32::from(range.end()) as usize;
+    text.replace_range(start..end, replace_with);
+    text
+}
+fn is_balanced(tokens: &[Token]) -> bool {
+    if tokens.len() == 0
+       || tokens.first().unwrap().kind != L_CURLY
+       || tokens.last().unwrap().kind != R_CURLY {
+        return false
+    }
+    let mut balance = 0usize;
+    for t in tokens.iter() {
+        match t.kind {
+            L_CURLY => balance += 1,
+            R_CURLY => balance = match balance.checked_sub(1) {
+                Some(b) => b,
+                None => return false,
+            },
+            _ => (),
+        }
+    }
+    balance == 0
+}
+fn merge_errors(
+    old_errors: Vec<SyntaxError>,
+    new_errors: Vec<SyntaxError>,
+    old_node: SyntaxNodeRef,
+    edit: &AtomEdit,
+) -> Vec<SyntaxError> {
+    let mut res = Vec::new();
+    for e in old_errors {
+        if e.offset < old_node.range().start() {
+            res.push(e)
+        } else if e.offset > old_node.range().end() {
+            res.push(SyntaxError {
+                msg: e.msg,
+                offset: e.offset + TextUnit::of_str(&edit.insert) - edit.delete.len(),
+            })
+        }
+    }
+    for e in new_errors {
+        res.push(SyntaxError {
+            msg: e.msg,
+            offset: e.offset + old_node.range().start(),
+        })
+    }
+    res
+}
diff --git a/crates/ra_syntax/tests/data/parser/fuzz-failures/0001.rs b/crates/ra_syntax/tests/data/parser/fuzz-failures/0001.rs
new file mode 100644
index 000000000..099cc5f84
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/fuzz-failures/0001.rs
@@ -0,0 +1,106 @@
+use ra_syntax::{
+    File, TextRange, SyntaxNodeRef, TextUnit,
+    SyntaxKind::*,
+    algo::{find_leaf_at_offset, LeafAtOffset, find_covering_node, ancestors, Direction, siblings},
+};
+pub fn extend_selection(file: &File, range: TextRange) -> Option<TextRange> {
+    let syntax = file.syntax();
+    extend(syntax.borrowed(), range)
+}
+pub(crate) fn extend(root: SyntaxNodeRef, range: TextRange) -> Option<TextRange> {
+    if range.is_empty() {
+        let offset = range.start();
+        let mut leaves = find_leaf_at_offset(root, offset);
+        if leaves.clone().all(|it| it.kind() == WHITESPACE) {
+            return Some(extend_ws(root, leaves.next()?, offset));
+        }
+        let leaf = match leaves {
+            LeafAtOffset::None => return None,
+            LeafAtOffset::Single(l) => l,
+            LeafAtOffset::Between(l, r) => pick_best(l, r),
+        };
+        return Some(leaf.range());
+    };
+    let node = find_covering_node(root, range);
+    if node.kind() == COMMENT && range == node.range() {
+        if let Some(range) = extend_comments(node) {
+            return Some(range);
+        }
+    }
+    match ancestors(node).skip_while(|n| n.range() == range).next() {
+        None => None,
+        Some(parent) => Some(parent.range()),
+    }
+}
+fn extend_ws(root: SyntaxNodeRef, ws: SyntaxNodeRef, offset: TextUnit) -> TextRange {
+    let ws_text = ws.leaf_text().unwrap();
+    let suffix = TextRange::from_to(offset, ws.range().end()) - ws.range().start();
+    let prefix = TextRange::from_to(ws.range().start(), offset) - ws.range().start();
+    let ws_suffix = &ws_text.as_str()[suffix];
+    let ws_prefix = &ws_text.as_str()[prefix];
+    if ws_text.contains("\n") && !ws_suffix.contains("\n") {
+        if let Some(node) = ws.next_sibling() {
+            let start = match ws_prefix.rfind('\n') {
+                Some(idx) => ws.range().start() + TextUnit::from((idx + 1) as u32),
+                None => node.range().start()
+            };
+            let end = if root.text().char_at(node.range().end()) == Some('\n') {
+                node.range().end() + TextUnit::of_char('\n')
+            } else {
+                node.range().end()
+            };
+            return TextRange::from_to(start, end);
+        }
+    }
+    ws.range()
+}
+fn pick_best<'a>(l: SyntaxNodeRef<'a>, r: Syntd[axNodeRef<'a>) -> SyntaxNodeRef<'a> {
+    return if priority(r) > priority(l) { r } else { l };
+    fn priority(n: SyntaxNodeRef) -> usize {
+        match n.kind() {
+            WHITESPACE => 0,
+            IDENT | SELF_KW | SUPER_KW | CRATE_KW => 2,
+            _ => 1,
+        }
+    }
+}
+fn extend_comments(node: SyntaxNodeRef) -> Option<TextRange> {
+    let left = adj_com[ments(node, Direction::Backward);
+    let right = adj_comments(node, Direction::Forward);
+    if left != right {
+        Some(TextRange::from_to(
+            left.range().start(),
+            right.range().end(),
+        ))
+    } else {
+        None
+    }
+}
+fn adj_comments(node: SyntaxNodeRef, dir: Direction) -> SyntaxNodeRef {
+    let mut res = node;
+    for node in siblings(node, dir) {
+        match node.kind() {
+            COMMENT => res = node,
+            WHITESPACE if !node.leaf_text().unwrap().as_str().contains("\n\n") => (),
+            _ => break
+        }
+    }
+    res
+}
+#[cfg(test)]
+mod tests {
+    use super::*;
+    use test_utils::extract_offset;
+    fn do_check(before: &str, afters: &[&str]) {
+        let (cursor, before) = extract_offset(before);
+        let file = File::parse(&before);
+        let mut range = TextRange::of
diff --git a/crates/ra_syntax/tests/data/parser/inline/0001_const_unsafe_fn.rs b/crates/ra_syntax/tests/data/parser/inline/0001_const_unsafe_fn.rs
new file mode 100644
index 000000000..31a1e435f
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/0001_const_unsafe_fn.rs
@@ -0,0 +1 @@
+const unsafe fn foo() {}
diff --git a/crates/ra_syntax/tests/data/parser/inline/0001_const_unsafe_fn.txt b/crates/ra_syntax/tests/data/parser/inline/0001_const_unsafe_fn.txt
new file mode 100644
index 000000000..956532981
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/0001_const_unsafe_fn.txt
@@ -0,0 +1,18 @@
+ROOT@[0; 25)
+  FN_DEF@[0; 24)
+    CONST_KW@[0; 5)
+    WHITESPACE@[5; 6)
+    UNSAFE_KW@[6; 12)
+    WHITESPACE@[12; 13)
+    FN_KW@[13; 15)
+    WHITESPACE@[15; 16)
+    NAME@[16; 19)
+      IDENT@[16; 19) "foo"
+    PARAM_LIST@[19; 21)
+      L_PAREN@[19; 20)
+      R_PAREN@[20; 21)
+    WHITESPACE@[21; 22)
+    BLOCK@[22; 24)
+      L_CURLY@[22; 23)
+      R_CURLY@[23; 24)
+  WHITESPACE@[24; 25)
diff --git a/crates/ra_syntax/tests/data/parser/inline/0002_const_fn.rs b/crates/ra_syntax/tests/data/parser/inline/0002_const_fn.rs
new file mode 100644
index 000000000..8c84d9cd7
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/0002_const_fn.rs
@@ -0,0 +1 @@
+const fn foo() {}
diff --git a/crates/ra_syntax/tests/data/parser/inline/0002_const_fn.txt b/crates/ra_syntax/tests/data/parser/inline/0002_const_fn.txt
new file mode 100644
index 000000000..bda875fc5
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/0002_const_fn.txt
@@ -0,0 +1,16 @@
+ROOT@[0; 18)
+  FN_DEF@[0; 17)
+    CONST_KW@[0; 5)
+    WHITESPACE@[5; 6)
+    FN_KW@[6; 8)
+    WHITESPACE@[8; 9)
+    NAME@[9; 12)
+      IDENT@[9; 12) "foo"
+    PARAM_LIST@[12; 14)
+      L_PAREN@[12; 13)
+      R_PAREN@[13; 14)
+    WHITESPACE@[14; 15)
+    BLOCK@[15; 17)
+      L_CURLY@[15; 16)
+      R_CURLY@[16; 17)
+  WHITESPACE@[17; 18)
diff --git a/crates/ra_syntax/tests/data/parser/inline/0003_extern_block.rs b/crates/ra_syntax/tests/data/parser/inline/0003_extern_block.rs
new file mode 100644
index 000000000..26a9ccd1e
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/0003_extern_block.rs
@@ -0,0 +1 @@
+extern {}
diff --git a/crates/ra_syntax/tests/data/parser/inline/0003_extern_block.txt b/crates/ra_syntax/tests/data/parser/inline/0003_extern_block.txt
new file mode 100644
index 000000000..2c2bbd035
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/0003_extern_block.txt
@@ -0,0 +1,9 @@
+ROOT@[0; 10)
+  EXTERN_BLOCK@[0; 9)
+    ABI@[0; 6)
+      EXTERN_KW@[0; 6)
+    WHITESPACE@[6; 7)
+    EXTERN_ITEM_LIST@[7; 9)
+      L_CURLY@[7; 8)
+      R_CURLY@[8; 9)
+  WHITESPACE@[9; 10)
diff --git a/crates/ra_syntax/tests/data/parser/inline/0004_extern_fn.rs b/crates/ra_syntax/tests/data/parser/inline/0004_extern_fn.rs
new file mode 100644
index 000000000..394a049f0
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/0004_extern_fn.rs
@@ -0,0 +1 @@
+extern fn foo() {}
diff --git a/crates/ra_syntax/tests/data/parser/inline/0004_extern_fn.txt b/crates/ra_syntax/tests/data/parser/inline/0004_extern_fn.txt
new file mode 100644
index 000000000..f6e769475
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/0004_extern_fn.txt
@@ -0,0 +1,17 @@
+ROOT@[0; 19)
+  FN_DEF@[0; 18)
+    ABI@[0; 6)
+      EXTERN_KW@[0; 6)
+    WHITESPACE@[6; 7)
+    FN_KW@[7; 9)
+    WHITESPACE@[9; 10)
+    NAME@[10; 13)
+      IDENT@[10; 13) "foo"
+    PARAM_LIST@[13; 15)
+      L_PAREN@[13; 14)
+      R_PAREN@[14; 15)
+    WHITESPACE@[15; 16)
+    BLOCK@[16; 18)
+      L_CURLY@[16; 17)
+      R_CURLY@[17; 18)
+  WHITESPACE@[18; 19)
diff --git a/crates/ra_syntax/tests/data/parser/inline/0005_extern_crate.rs b/crates/ra_syntax/tests/data/parser/inline/0005_extern_crate.rs
new file mode 100644
index 000000000..49af74e1b
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/0005_extern_crate.rs
@@ -0,0 +1 @@
+extern crate foo;
diff --git a/crates/ra_syntax/tests/data/parser/inline/0005_extern_crate.txt b/crates/ra_syntax/tests/data/parser/inline/0005_extern_crate.txt
new file mode 100644
index 000000000..fc025b0f3
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/0005_extern_crate.txt
@@ -0,0 +1,10 @@
+ROOT@[0; 18)
+  EXTERN_CRATE_ITEM@[0; 17)
+    EXTERN_KW@[0; 6)
+    WHITESPACE@[6; 7)
+    CRATE_KW@[7; 12)
+    WHITESPACE@[12; 13)
+    NAME@[13; 16)
+      IDENT@[13; 16) "foo"
+    SEMI@[16; 17)
+  WHITESPACE@[17; 18)
diff --git a/crates/ra_syntax/tests/data/parser/inline/0007_unsafe_trait.rs b/crates/ra_syntax/tests/data/parser/inline/0007_unsafe_trait.rs
new file mode 100644
index 000000000..04e021550
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/0007_unsafe_trait.rs
@@ -0,0 +1 @@
+unsafe trait T {}
diff --git a/crates/ra_syntax/tests/data/parser/inline/0007_unsafe_trait.txt b/crates/ra_syntax/tests/data/parser/inline/0007_unsafe_trait.txt
new file mode 100644
index 000000000..fb97cc042
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/0007_unsafe_trait.txt
@@ -0,0 +1,13 @@
+ROOT@[0; 18)
+  TRAIT_DEF@[0; 17)
+    UNSAFE_KW@[0; 6)
+    WHITESPACE@[6; 7)
+    TRAIT_KW@[7; 12)
+    WHITESPACE@[12; 13)
+    NAME@[13; 14)
+      IDENT@[13; 14) "T"
+    WHITESPACE@[14; 15)
+    ITEM_LIST@[15; 17)
+      L_CURLY@[15; 16)
+      R_CURLY@[16; 17)
+  WHITESPACE@[17; 18)
diff --git a/crates/ra_syntax/tests/data/parser/inline/0008_unsafe_impl.rs b/crates/ra_syntax/tests/data/parser/inline/0008_unsafe_impl.rs
new file mode 100644
index 000000000..41055f41d
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/0008_unsafe_impl.rs
@@ -0,0 +1 @@
+unsafe impl Foo {}
diff --git a/crates/ra_syntax/tests/data/parser/inline/0008_unsafe_impl.txt b/crates/ra_syntax/tests/data/parser/inline/0008_unsafe_impl.txt
new file mode 100644
index 000000000..fa596394f
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/0008_unsafe_impl.txt
@@ -0,0 +1,16 @@
+ROOT@[0; 19)
+  IMPL_ITEM@[0; 18)
+    UNSAFE_KW@[0; 6)
+    WHITESPACE@[6; 7)
+    IMPL_KW@[7; 11)
+    WHITESPACE@[11; 12)
+    PATH_TYPE@[12; 15)
+      PATH@[12; 15)
+        PATH_SEGMENT@[12; 15)
+          NAME_REF@[12; 15)
+            IDENT@[12; 15) "Foo"
+    WHITESPACE@[15; 16)
+    ITEM_LIST@[16; 18)
+      L_CURLY@[16; 17)
+      R_CURLY@[17; 18)
+  WHITESPACE@[18; 19)
diff --git a/crates/ra_syntax/tests/data/parser/inline/0009_unsafe_auto_trait.rs b/crates/ra_syntax/tests/data/parser/inline/0009_unsafe_auto_trait.rs
new file mode 100644
index 000000000..03d29f324
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/0009_unsafe_auto_trait.rs
@@ -0,0 +1 @@
+unsafe auto trait T {}
diff --git a/crates/ra_syntax/tests/data/parser/inline/0009_unsafe_auto_trait.txt b/crates/ra_syntax/tests/data/parser/inline/0009_unsafe_auto_trait.txt
new file mode 100644
index 000000000..e642bbf80
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/0009_unsafe_auto_trait.txt
@@ -0,0 +1,15 @@
+ROOT@[0; 23)
+  TRAIT_DEF@[0; 22)
+    UNSAFE_KW@[0; 6)
+    WHITESPACE@[6; 7)
+    AUTO_KW@[7; 11)
+    WHITESPACE@[11; 12)
+    TRAIT_KW@[12; 17)
+    WHITESPACE@[17; 18)
+    NAME@[18; 19)
+      IDENT@[18; 19) "T"
+    WHITESPACE@[19; 20)
+    ITEM_LIST@[20; 22)
+      L_CURLY@[20; 21)
+      R_CURLY@[21; 22)
+  WHITESPACE@[22; 23)
diff --git a/crates/ra_syntax/tests/data/parser/inline/0010_unsafe_default_impl.rs b/crates/ra_syntax/tests/data/parser/inline/0010_unsafe_default_impl.rs
new file mode 100644
index 000000000..9cd6c57bd
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/0010_unsafe_default_impl.rs
@@ -0,0 +1 @@
+unsafe default impl Foo {}
diff --git a/crates/ra_syntax/tests/data/parser/inline/0010_unsafe_default_impl.txt b/crates/ra_syntax/tests/data/parser/inline/0010_unsafe_default_impl.txt
new file mode 100644
index 000000000..99d33a902
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/0010_unsafe_default_impl.txt
@@ -0,0 +1,18 @@
+ROOT@[0; 27)
+  IMPL_ITEM@[0; 26)
+    UNSAFE_KW@[0; 6)
+    WHITESPACE@[6; 7)
+    DEFAULT_KW@[7; 14)
+    WHITESPACE@[14; 15)
+    IMPL_KW@[15; 19)
+    WHITESPACE@[19; 20)
+    PATH_TYPE@[20; 23)
+      PATH@[20; 23)
+        PATH_SEGMENT@[20; 23)
+          NAME_REF@[20; 23)
+            IDENT@[20; 23) "Foo"
+    WHITESPACE@[23; 24)
+    ITEM_LIST@[24; 26)
+      L_CURLY@[24; 25)
+      R_CURLY@[25; 26)
+  WHITESPACE@[26; 27)
diff --git a/crates/ra_syntax/tests/data/parser/inline/0011_unsafe_fn.rs b/crates/ra_syntax/tests/data/parser/inline/0011_unsafe_fn.rs
new file mode 100644
index 000000000..33cfc4cd7
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/0011_unsafe_fn.rs
@@ -0,0 +1 @@
+unsafe fn foo() {}
diff --git a/crates/ra_syntax/tests/data/parser/inline/0011_unsafe_fn.txt b/crates/ra_syntax/tests/data/parser/inline/0011_unsafe_fn.txt
new file mode 100644
index 000000000..39ec53b26
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/0011_unsafe_fn.txt
@@ -0,0 +1,16 @@
+ROOT@[0; 19)
+  FN_DEF@[0; 18)
+    UNSAFE_KW@[0; 6)
+    WHITESPACE@[6; 7)
+    FN_KW@[7; 9)
+    WHITESPACE@[9; 10)
+    NAME@[10; 13)
+      IDENT@[10; 13) "foo"
+    PARAM_LIST@[13; 15)
+      L_PAREN@[13; 14)
+      R_PAREN@[14; 15)
+    WHITESPACE@[15; 16)
+    BLOCK@[16; 18)
+      L_CURLY@[16; 17)
+      R_CURLY@[17; 18)
+  WHITESPACE@[18; 19)
diff --git a/crates/ra_syntax/tests/data/parser/inline/0012_unsafe_extern_fn.rs b/crates/ra_syntax/tests/data/parser/inline/0012_unsafe_extern_fn.rs
new file mode 100644
index 000000000..1295c2cd2
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/0012_unsafe_extern_fn.rs
@@ -0,0 +1 @@
+unsafe extern "C" fn foo() {}
diff --git a/crates/ra_syntax/tests/data/parser/inline/0012_unsafe_extern_fn.txt b/crates/ra_syntax/tests/data/parser/inline/0012_unsafe_extern_fn.txt
new file mode 100644
index 000000000..54e296ed6
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/0012_unsafe_extern_fn.txt
@@ -0,0 +1,21 @@
+ROOT@[0; 30)
+  FN_DEF@[0; 29)
+    UNSAFE_KW@[0; 6)
+    WHITESPACE@[6; 7)
+    ABI@[7; 17)
+      EXTERN_KW@[7; 13)
+      WHITESPACE@[13; 14)
+      STRING@[14; 17)
+    WHITESPACE@[17; 18)
+    FN_KW@[18; 20)
+    WHITESPACE@[20; 21)
+    NAME@[21; 24)
+      IDENT@[21; 24) "foo"
+    PARAM_LIST@[24; 26)
+      L_PAREN@[24; 25)
+      R_PAREN@[25; 26)
+    WHITESPACE@[26; 27)
+    BLOCK@[27; 29)
+      L_CURLY@[27; 28)
+      R_CURLY@[28; 29)
+  WHITESPACE@[29; 30)
diff --git a/crates/ra_syntax/tests/data/parser/inline/0013_unsafe_block_in_mod.rs b/crates/ra_syntax/tests/data/parser/inline/0013_unsafe_block_in_mod.rs
new file mode 100644
index 000000000..26141e904
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/0013_unsafe_block_in_mod.rs
@@ -0,0 +1 @@
+fn foo(){} unsafe { } fn bar(){}
diff --git a/crates/ra_syntax/tests/data/parser/inline/0013_unsafe_block_in_mod.txt b/crates/ra_syntax/tests/data/parser/inline/0013_unsafe_block_in_mod.txt
new file mode 100644
index 000000000..9825e5ace
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/0013_unsafe_block_in_mod.txt
@@ -0,0 +1,35 @@
+ROOT@[0; 33)
+  FN_DEF@[0; 10)
+    FN_KW@[0; 2)
+    WHITESPACE@[2; 3)
+    NAME@[3; 6)
+      IDENT@[3; 6) "foo"
+    PARAM_LIST@[6; 8)
+      L_PAREN@[6; 7)
+      R_PAREN@[7; 8)
+    BLOCK@[8; 10)
+      L_CURLY@[8; 9)
+      R_CURLY@[9; 10)
+  WHITESPACE@[10; 11)
+  err: `expected an item`
+  ERROR@[11; 17)
+    UNSAFE_KW@[11; 17)
+  WHITESPACE@[17; 18)
+  err: `expected an item`
+  ERROR@[18; 21)
+    L_CURLY@[18; 19)
+    WHITESPACE@[19; 20)
+    R_CURLY@[20; 21)
+  WHITESPACE@[21; 22)
+  FN_DEF@[22; 32)
+    FN_KW@[22; 24)
+    WHITESPACE@[24; 25)
+    NAME@[25; 28)
+      IDENT@[25; 28) "bar"
+    PARAM_LIST@[28; 30)
+      L_PAREN@[28; 29)
+      R_PAREN@[29; 30)
+    BLOCK@[30; 32)
+      L_CURLY@[30; 31)
+      R_CURLY@[31; 32)
+  WHITESPACE@[32; 33)
diff --git a/crates/ra_syntax/tests/data/parser/inline/0014_type_item_type_params.rs b/crates/ra_syntax/tests/data/parser/inline/0014_type_item_type_params.rs
new file mode 100644
index 000000000..defd110c4
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/0014_type_item_type_params.rs
@@ -0,0 +1 @@
+type Result<T> = ();
diff --git a/crates/ra_syntax/tests/data/parser/inline/0014_type_item_type_params.txt b/crates/ra_syntax/tests/data/parser/inline/0014_type_item_type_params.txt
new file mode 100644
index 000000000..bf65e8a37
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/0014_type_item_type_params.txt
@@ -0,0 +1,20 @@
+ROOT@[0; 21)
+  TYPE_DEF@[0; 20)
+    TYPE_KW@[0; 4)
+    WHITESPACE@[4; 5)
+    NAME@[5; 11)
+      IDENT@[5; 11) "Result"
+    TYPE_PARAM_LIST@[11; 14)
+      L_ANGLE@[11; 12)
+      TYPE_PARAM@[12; 13)
+        NAME@[12; 13)
+          IDENT@[12; 13) "T"
+      R_ANGLE@[13; 14)
+    WHITESPACE@[14; 15)
+    EQ@[15; 16)
+    WHITESPACE@[16; 17)
+    TUPLE_TYPE@[17; 19)
+      L_PAREN@[17; 18)
+      R_PAREN@[18; 19)
+    SEMI@[19; 20)
+  WHITESPACE@[20; 21)
diff --git a/crates/ra_syntax/tests/data/parser/inline/0015_type_item.rs b/crates/ra_syntax/tests/data/parser/inline/0015_type_item.rs
new file mode 100644
index 000000000..04c0344fa
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/0015_type_item.rs
@@ -0,0 +1 @@
+type Foo = Bar;
diff --git a/crates/ra_syntax/tests/data/parser/inline/0015_type_item.txt b/crates/ra_syntax/tests/data/parser/inline/0015_type_item.txt
new file mode 100644
index 000000000..71048bcc5
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/0015_type_item.txt
@@ -0,0 +1,16 @@
+ROOT@[0; 16)
+  TYPE_DEF@[0; 15)
+    TYPE_KW@[0; 4)
+    WHITESPACE@[4; 5)
+    NAME@[5; 8)
+      IDENT@[5; 8) "Foo"
+    WHITESPACE@[8; 9)
+    EQ@[9; 10)
+    WHITESPACE@[10; 11)
+    PATH_TYPE@[11; 14)
+      PATH@[11; 14)
+        PATH_SEGMENT@[11; 14)
+          NAME_REF@[11; 14)
+            IDENT@[11; 14) "Bar"
+    SEMI@[14; 15)
+  WHITESPACE@[15; 16)
diff --git a/crates/ra_syntax/tests/data/parser/inline/0016_type_item_where_clause.rs b/crates/ra_syntax/tests/data/parser/inline/0016_type_item_where_clause.rs
new file mode 100644
index 000000000..a602d07f0
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/0016_type_item_where_clause.rs
@@ -0,0 +1 @@
+type Foo where Foo: Copy = ();
diff --git a/crates/ra_syntax/tests/data/parser/inline/0016_type_item_where_clause.txt b/crates/ra_syntax/tests/data/parser/inline/0016_type_item_where_clause.txt
new file mode 100644
index 000000000..c3fca013e
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/0016_type_item_where_clause.txt
@@ -0,0 +1,32 @@
+ROOT@[0; 31)
+  TYPE_DEF@[0; 30)
+    TYPE_KW@[0; 4)
+    WHITESPACE@[4; 5)
+    NAME@[5; 8)
+      IDENT@[5; 8) "Foo"
+    WHITESPACE@[8; 9)
+    WHERE_CLAUSE@[9; 24)
+      WHERE_KW@[9; 14)
+      WHITESPACE@[14; 15)
+      WHERE_PRED@[15; 24)
+        PATH_TYPE@[15; 18)
+          PATH@[15; 18)
+            PATH_SEGMENT@[15; 18)
+              NAME_REF@[15; 18)
+                IDENT@[15; 18) "Foo"
+        COLON@[18; 19)
+        WHITESPACE@[19; 20)
+        PATH_TYPE@[20; 24)
+          PATH@[20; 24)
+            PATH_SEGMENT@[20; 24)
+              NAME_REF@[20; 24)
+                IDENT@[20; 24) "Copy"
+                err: `expected COMMA`
+    WHITESPACE@[24; 25)
+    EQ@[25; 26)
+    WHITESPACE@[26; 27)
+    TUPLE_TYPE@[27; 29)
+      L_PAREN@[27; 28)
+      R_PAREN@[28; 29)
+    SEMI@[29; 30)
+  WHITESPACE@[30; 31)
diff --git a/crates/ra_syntax/tests/data/parser/inline/0017_paren_type.rs b/crates/ra_syntax/tests/data/parser/inline/0017_paren_type.rs
new file mode 100644
index 000000000..6e1b25101
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/0017_paren_type.rs
@@ -0,0 +1 @@
+type T = (i32);
diff --git a/crates/ra_syntax/tests/data/parser/inline/0017_paren_type.txt b/crates/ra_syntax/tests/data/parser/inline/0017_paren_type.txt
new file mode 100644
index 000000000..97e73fea1
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/0017_paren_type.txt
@@ -0,0 +1,19 @@
+ROOT@[0; 16)
+  TYPE_DEF@[0; 15)
+    TYPE_KW@[0; 4)
+    WHITESPACE@[4; 5)
+    NAME@[5; 6)
+      IDENT@[5; 6) "T"
+    WHITESPACE@[6; 7)
+    EQ@[7; 8)
+    WHITESPACE@[8; 9)
+    PAREN_TYPE@[9; 14)
+      L_PAREN@[9; 10)
+      PATH_TYPE@[10; 13)
+        PATH@[10; 13)
+          PATH_SEGMENT@[10; 13)
+            NAME_REF@[10; 13)
+              IDENT@[10; 13) "i32"
+      R_PAREN@[13; 14)
+    SEMI@[14; 15)
+  WHITESPACE@[15; 16)
diff --git a/crates/ra_syntax/tests/data/parser/inline/0018_unit_type.rs b/crates/ra_syntax/tests/data/parser/inline/0018_unit_type.rs
new file mode 100644
index 000000000..c039cf7d3
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/0018_unit_type.rs
@@ -0,0 +1 @@
+type T = ();
diff --git a/crates/ra_syntax/tests/data/parser/inline/0018_unit_type.txt b/crates/ra_syntax/tests/data/parser/inline/0018_unit_type.txt
new file mode 100644
index 000000000..5d04d42fc
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/0018_unit_type.txt
@@ -0,0 +1,14 @@
+ROOT@[0; 13)
+  TYPE_DEF@[0; 12)
+    TYPE_KW@[0; 4)
+    WHITESPACE@[4; 5)
+    NAME@[5; 6)
+      IDENT@[5; 6) "T"
+    WHITESPACE@[6; 7)
+    EQ@[7; 8)
+    WHITESPACE@[8; 9)
+    TUPLE_TYPE@[9; 11)
+      L_PAREN@[9; 10)
+      R_PAREN@[10; 11)
+    SEMI@[11; 12)
+  WHITESPACE@[12; 13)
diff --git a/crates/ra_syntax/tests/data/parser/inline/0019_singleton_tuple_type.rs b/crates/ra_syntax/tests/data/parser/inline/0019_singleton_tuple_type.rs
new file mode 100644
index 000000000..cb66bad24
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/0019_singleton_tuple_type.rs
@@ -0,0 +1 @@
+type T = (i32,);
diff --git a/crates/ra_syntax/tests/data/parser/inline/0019_singleton_tuple_type.txt b/crates/ra_syntax/tests/data/parser/inline/0019_singleton_tuple_type.txt
new file mode 100644
index 000000000..2cd8be9ab
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/0019_singleton_tuple_type.txt
@@ -0,0 +1,20 @@
+ROOT@[0; 17)
+  TYPE_DEF@[0; 16)
+    TYPE_KW@[0; 4)
+    WHITESPACE@[4; 5)
+    NAME@[5; 6)
+      IDENT@[5; 6) "T"
+    WHITESPACE@[6; 7)
+    EQ@[7; 8)
+    WHITESPACE@[8; 9)
+    TUPLE_TYPE@[9; 15)
+      L_PAREN@[9; 10)
+      PATH_TYPE@[10; 13)
+        PATH@[10; 13)
+          PATH_SEGMENT@[10; 13)
+            NAME_REF@[10; 13)
+              IDENT@[10; 13) "i32"
+      COMMA@[13; 14)
+      R_PAREN@[14; 15)
+    SEMI@[15; 16)
+  WHITESPACE@[16; 17)
diff --git a/crates/ra_syntax/tests/data/parser/inline/0020_never_type.rs b/crates/ra_syntax/tests/data/parser/inline/0020_never_type.rs
new file mode 100644
index 000000000..de399fcf4
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/0020_never_type.rs
@@ -0,0 +1 @@
+type Never = !;
diff --git a/crates/ra_syntax/tests/data/parser/inline/0020_never_type.txt b/crates/ra_syntax/tests/data/parser/inline/0020_never_type.txt
new file mode 100644
index 000000000..6205d9669
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/0020_never_type.txt
@@ -0,0 +1,13 @@
+ROOT@[0; 16)
+  TYPE_DEF@[0; 15)
+    TYPE_KW@[0; 4)
+    WHITESPACE@[4; 5)
+    NAME@[5; 10)
+      IDENT@[5; 10) "Never"
+    WHITESPACE@[10; 11)
+    EQ@[11; 12)
+    WHITESPACE@[12; 13)
+    NEVER_TYPE@[13; 14)
+      EXCL@[13; 14)
+    SEMI@[14; 15)
+  WHITESPACE@[15; 16)
diff --git a/crates/ra_syntax/tests/data/parser/inline/0021_pointer_type_no_mutability.rs b/crates/ra_syntax/tests/data/parser/inline/0021_pointer_type_no_mutability.rs
new file mode 100644
index 000000000..fae705131
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/0021_pointer_type_no_mutability.rs
@@ -0,0 +1 @@
+type T = *();
diff --git a/crates/ra_syntax/tests/data/parser/inline/0021_pointer_type_no_mutability.txt b/crates/ra_syntax/tests/data/parser/inline/0021_pointer_type_no_mutability.txt
new file mode 100644
index 000000000..23e68557a
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/0021_pointer_type_no_mutability.txt
@@ -0,0 +1,17 @@
+ROOT@[0; 14)
+  TYPE_DEF@[0; 13)
+    TYPE_KW@[0; 4)
+    WHITESPACE@[4; 5)
+    NAME@[5; 6)
+      IDENT@[5; 6) "T"
+    WHITESPACE@[6; 7)
+    EQ@[7; 8)
+    WHITESPACE@[8; 9)
+    POINTER_TYPE@[9; 12)
+      STAR@[9; 10)
+      err: `expected mut or const in raw pointer type (use `*mut T` or `*const T` as appropriate)`
+      TUPLE_TYPE@[10; 12)
+        L_PAREN@[10; 11)
+        R_PAREN@[11; 12)
+    SEMI@[12; 13)
+  WHITESPACE@[13; 14)
diff --git a/crates/ra_syntax/tests/data/parser/inline/0022_pointer_type_mut.rs b/crates/ra_syntax/tests/data/parser/inline/0022_pointer_type_mut.rs
new file mode 100644
index 000000000..04b2bb9ba
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/0022_pointer_type_mut.rs
@@ -0,0 +1,2 @@
+type M = *mut ();
+type C = *mut ();
diff --git a/crates/ra_syntax/tests/data/parser/inline/0022_pointer_type_mut.txt b/crates/ra_syntax/tests/data/parser/inline/0022_pointer_type_mut.txt
new file mode 100644
index 000000000..33f5ad8b4
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/0022_pointer_type_mut.txt
@@ -0,0 +1,35 @@
+ROOT@[0; 36)
+  TYPE_DEF@[0; 17)
+    TYPE_KW@[0; 4)
+    WHITESPACE@[4; 5)
+    NAME@[5; 6)
+      IDENT@[5; 6) "M"
+    WHITESPACE@[6; 7)
+    EQ@[7; 8)
+    WHITESPACE@[8; 9)
+    POINTER_TYPE@[9; 16)
+      STAR@[9; 10)
+      MUT_KW@[10; 13)
+      WHITESPACE@[13; 14)
+      TUPLE_TYPE@[14; 16)
+        L_PAREN@[14; 15)
+        R_PAREN@[15; 16)
+    SEMI@[16; 17)
+  WHITESPACE@[17; 18)
+  TYPE_DEF@[18; 35)
+    TYPE_KW@[18; 22)
+    WHITESPACE@[22; 23)
+    NAME@[23; 24)
+      IDENT@[23; 24) "C"
+    WHITESPACE@[24; 25)
+    EQ@[25; 26)
+    WHITESPACE@[26; 27)
+    POINTER_TYPE@[27; 34)
+      STAR@[27; 28)
+      MUT_KW@[28; 31)
+      WHITESPACE@[31; 32)
+      TUPLE_TYPE@[32; 34)
+        L_PAREN@[32; 33)
+        R_PAREN@[33; 34)
+    SEMI@[34; 35)
+  WHITESPACE@[35; 36)
diff --git a/crates/ra_syntax/tests/data/parser/inline/0023_array_type_missing_semi.rs b/crates/ra_syntax/tests/data/parser/inline/0023_array_type_missing_semi.rs
new file mode 100644
index 000000000..a94851443
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/0023_array_type_missing_semi.rs
@@ -0,0 +1 @@
+type T = [() 92];
diff --git a/crates/ra_syntax/tests/data/parser/inline/0023_array_type_missing_semi.txt b/crates/ra_syntax/tests/data/parser/inline/0023_array_type_missing_semi.txt
new file mode 100644
index 000000000..90bdc5d2e
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/0023_array_type_missing_semi.txt
@@ -0,0 +1,27 @@
+ROOT@[0; 18)
+  TYPE_DEF@[0; 12)
+    TYPE_KW@[0; 4)
+    WHITESPACE@[4; 5)
+    NAME@[5; 6)
+      IDENT@[5; 6) "T"
+    WHITESPACE@[6; 7)
+    EQ@[7; 8)
+    WHITESPACE@[8; 9)
+    SLICE_TYPE@[9; 12)
+      L_BRACK@[9; 10)
+      TUPLE_TYPE@[10; 12)
+        L_PAREN@[10; 11)
+        R_PAREN@[11; 12)
+        err: `expected `;` or `]``
+        err: `expected SEMI`
+  WHITESPACE@[12; 13)
+  err: `expected an item`
+  ERROR@[13; 15)
+    INT_NUMBER@[13; 15) "92"
+    err: `expected an item`
+  ERROR@[15; 16)
+    R_BRACK@[15; 16)
+    err: `expected an item`
+  ERROR@[16; 17)
+    SEMI@[16; 17)
+  WHITESPACE@[17; 18)
diff --git a/crates/ra_syntax/tests/data/parser/inline/0024_array_type.rs b/crates/ra_syntax/tests/data/parser/inline/0024_array_type.rs
new file mode 100644
index 000000000..27eb22f22
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/0024_array_type.rs
@@ -0,0 +1 @@
+type T = [(); 92];
diff --git a/crates/ra_syntax/tests/data/parser/inline/0024_array_type.txt b/crates/ra_syntax/tests/data/parser/inline/0024_array_type.txt
new file mode 100644
index 000000000..809c86974
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/0024_array_type.txt
@@ -0,0 +1,21 @@
+ROOT@[0; 19)
+  TYPE_DEF@[0; 18)
+    TYPE_KW@[0; 4)
+    WHITESPACE@[4; 5)
+    NAME@[5; 6)
+      IDENT@[5; 6) "T"
+    WHITESPACE@[6; 7)
+    EQ@[7; 8)
+    WHITESPACE@[8; 9)
+    ARRAY_TYPE@[9; 17)
+      L_BRACK@[9; 10)
+      TUPLE_TYPE@[10; 12)
+        L_PAREN@[10; 11)
+        R_PAREN@[11; 12)
+      SEMI@[12; 13)
+      WHITESPACE@[13; 14)
+      LITERAL@[14; 16)
+        INT_NUMBER@[14; 16) "92"
+      R_BRACK@[16; 17)
+    SEMI@[17; 18)
+  WHITESPACE@[18; 19)
diff --git a/crates/ra_syntax/tests/data/parser/inline/0025_slice_type.rs b/crates/ra_syntax/tests/data/parser/inline/0025_slice_type.rs
new file mode 100644
index 000000000..4da1af827
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/0025_slice_type.rs
@@ -0,0 +1 @@
+type T = [()];
diff --git a/crates/ra_syntax/tests/data/parser/inline/0025_slice_type.txt b/crates/ra_syntax/tests/data/parser/inline/0025_slice_type.txt
new file mode 100644
index 000000000..978530a6a
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/0025_slice_type.txt
@@ -0,0 +1,17 @@
+ROOT@[0; 15)
+  TYPE_DEF@[0; 14)
+    TYPE_KW@[0; 4)
+    WHITESPACE@[4; 5)
+    NAME@[5; 6)
+      IDENT@[5; 6) "T"
+    WHITESPACE@[6; 7)
+    EQ@[7; 8)
+    WHITESPACE@[8; 9)
+    SLICE_TYPE@[9; 13)
+      L_BRACK@[9; 10)
+      TUPLE_TYPE@[10; 12)
+        L_PAREN@[10; 11)
+        R_PAREN@[11; 12)
+      R_BRACK@[12; 13)
+    SEMI@[13; 14)
+  WHITESPACE@[14; 15)
diff --git a/crates/ra_syntax/tests/data/parser/inline/0026_reference_type;.rs b/crates/ra_syntax/tests/data/parser/inline/0026_reference_type;.rs
new file mode 100644
index 000000000..3ac0badab
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/0026_reference_type;.rs
@@ -0,0 +1,3 @@
+type A = &();
+type B = &'static ();
+type C = &mut ();
diff --git a/crates/ra_syntax/tests/data/parser/inline/0026_reference_type;.txt b/crates/ra_syntax/tests/data/parser/inline/0026_reference_type;.txt
new file mode 100644
index 000000000..ff27ce5dd
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/0026_reference_type;.txt
@@ -0,0 +1,50 @@
+ROOT@[0; 54)
+  TYPE_DEF@[0; 13)
+    TYPE_KW@[0; 4)
+    WHITESPACE@[4; 5)
+    NAME@[5; 6)
+      IDENT@[5; 6) "A"
+    WHITESPACE@[6; 7)
+    EQ@[7; 8)
+    WHITESPACE@[8; 9)
+    REFERENCE_TYPE@[9; 12)
+      AMP@[9; 10)
+      TUPLE_TYPE@[10; 12)
+        L_PAREN@[10; 11)
+        R_PAREN@[11; 12)
+    SEMI@[12; 13)
+  WHITESPACE@[13; 14)
+  TYPE_DEF@[14; 35)
+    TYPE_KW@[14; 18)
+    WHITESPACE@[18; 19)
+    NAME@[19; 20)
+      IDENT@[19; 20) "B"
+    WHITESPACE@[20; 21)
+    EQ@[21; 22)
+    WHITESPACE@[22; 23)
+    REFERENCE_TYPE@[23; 34)
+      AMP@[23; 24)
+      LIFETIME@[24; 31) "'static"
+      WHITESPACE@[31; 32)
+      TUPLE_TYPE@[32; 34)
+        L_PAREN@[32; 33)
+        R_PAREN@[33; 34)
+    SEMI@[34; 35)
+  WHITESPACE@[35; 36)
+  TYPE_DEF@[36; 53)
+    TYPE_KW@[36; 40)
+    WHITESPACE@[40; 41)
+    NAME@[41; 42)
+      IDENT@[41; 42) "C"
+    WHITESPACE@[42; 43)
+    EQ@[43; 44)
+    WHITESPACE@[44; 45)
+    REFERENCE_TYPE@[45; 52)
+      AMP@[45; 46)
+      MUT_KW@[46; 49)
+      WHITESPACE@[49; 50)
+      TUPLE_TYPE@[50; 52)
+        L_PAREN@[50; 51)
+        R_PAREN@[51; 52)
+    SEMI@[52; 53)
+  WHITESPACE@[53; 54)
diff --git a/crates/ra_syntax/tests/data/parser/inline/0027_placeholder_type.rs b/crates/ra_syntax/tests/data/parser/inline/0027_placeholder_type.rs
new file mode 100644
index 000000000..7952dbd57
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/0027_placeholder_type.rs
@@ -0,0 +1 @@
+type Placeholder = _;
diff --git a/crates/ra_syntax/tests/data/parser/inline/0027_placeholder_type.txt b/crates/ra_syntax/tests/data/parser/inline/0027_placeholder_type.txt
new file mode 100644
index 000000000..538e4e69c
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/0027_placeholder_type.txt
@@ -0,0 +1,13 @@
+ROOT@[0; 22)
+  TYPE_DEF@[0; 21)
+    TYPE_KW@[0; 4)
+    WHITESPACE@[4; 5)
+    NAME@[5; 16)
+      IDENT@[5; 16) "Placeholder"
+    WHITESPACE@[16; 17)
+    EQ@[17; 18)
+    WHITESPACE@[18; 19)
+    PLACEHOLDER_TYPE@[19; 20)
+      UNDERSCORE@[19; 20)
+    SEMI@[20; 21)
+  WHITESPACE@[21; 22)
diff --git a/crates/ra_syntax/tests/data/parser/inline/0028_fn_pointer_type.rs b/crates/ra_syntax/tests/data/parser/inline/0028_fn_pointer_type.rs
new file mode 100644
index 000000000..c9bf3bdb4
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/0028_fn_pointer_type.rs
@@ -0,0 +1,3 @@
+type A = fn();
+type B = unsafe fn();
+type C = unsafe extern "C" fn();
diff --git a/crates/ra_syntax/tests/data/parser/inline/0028_fn_pointer_type.txt b/crates/ra_syntax/tests/data/parser/inline/0028_fn_pointer_type.txt
new file mode 100644
index 000000000..4dba83eb5
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/0028_fn_pointer_type.txt
@@ -0,0 +1,55 @@
+ROOT@[0; 70)
+  TYPE_DEF@[0; 14)
+    TYPE_KW@[0; 4)
+    WHITESPACE@[4; 5)
+    NAME@[5; 6)
+      IDENT@[5; 6) "A"
+    WHITESPACE@[6; 7)
+    EQ@[7; 8)
+    WHITESPACE@[8; 9)
+    FN_POINTER_TYPE@[9; 13)
+      FN_KW@[9; 11)
+      PARAM_LIST@[11; 13)
+        L_PAREN@[11; 12)
+        R_PAREN@[12; 13)
+    SEMI@[13; 14)
+  WHITESPACE@[14; 15)
+  TYPE_DEF@[15; 36)
+    TYPE_KW@[15; 19)
+    WHITESPACE@[19; 20)
+    NAME@[20; 21)
+      IDENT@[20; 21) "B"
+    WHITESPACE@[21; 22)
+    EQ@[22; 23)
+    WHITESPACE@[23; 24)
+    FN_POINTER_TYPE@[24; 35)
+      UNSAFE_KW@[24; 30)
+      WHITESPACE@[30; 31)
+      FN_KW@[31; 33)
+      PARAM_LIST@[33; 35)
+        L_PAREN@[33; 34)
+        R_PAREN@[34; 35)
+    SEMI@[35; 36)
+  WHITESPACE@[36; 37)
+  TYPE_DEF@[37; 69)
+    TYPE_KW@[37; 41)
+    WHITESPACE@[41; 42)
+    NAME@[42; 43)
+      IDENT@[42; 43) "C"
+    WHITESPACE@[43; 44)
+    EQ@[44; 45)
+    WHITESPACE@[45; 46)
+    FN_POINTER_TYPE@[46; 68)
+      UNSAFE_KW@[46; 52)
+      WHITESPACE@[52; 53)
+      ABI@[53; 63)
+        EXTERN_KW@[53; 59)
+        WHITESPACE@[59; 60)
+        STRING@[60; 63)
+      WHITESPACE@[63; 64)
+      FN_KW@[64; 66)
+      PARAM_LIST@[66; 68)
+        L_PAREN@[66; 67)
+        R_PAREN@[67; 68)
+    SEMI@[68; 69)
+  WHITESPACE@[69; 70)
diff --git a/crates/ra_syntax/tests/data/parser/inline/0029_fn_pointer_type_missing_fn.rs b/crates/ra_syntax/tests/data/parser/inline/0029_fn_pointer_type_missing_fn.rs
new file mode 100644
index 000000000..f014914ff
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/0029_fn_pointer_type_missing_fn.rs
@@ -0,0 +1 @@
+type F = unsafe ();
diff --git a/crates/ra_syntax/tests/data/parser/inline/0029_fn_pointer_type_missing_fn.txt b/crates/ra_syntax/tests/data/parser/inline/0029_fn_pointer_type_missing_fn.txt
new file mode 100644
index 000000000..fa0771ab1
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/0029_fn_pointer_type_missing_fn.txt
@@ -0,0 +1,23 @@
+ROOT@[0; 20)
+  TYPE_DEF@[0; 15)
+    TYPE_KW@[0; 4)
+    WHITESPACE@[4; 5)
+    NAME@[5; 6)
+      IDENT@[5; 6) "F"
+    WHITESPACE@[6; 7)
+    EQ@[7; 8)
+    WHITESPACE@[8; 9)
+    UNSAFE_KW@[9; 15)
+    err: `expected `fn``
+    err: `expected SEMI`
+  WHITESPACE@[15; 16)
+  err: `expected an item`
+  ERROR@[16; 17)
+    L_PAREN@[16; 17)
+    err: `expected an item`
+  ERROR@[17; 18)
+    R_PAREN@[17; 18)
+    err: `expected an item`
+  ERROR@[18; 19)
+    SEMI@[18; 19)
+  WHITESPACE@[19; 20)
diff --git a/crates/ra_syntax/tests/data/parser/inline/0030_fn_pointer_type_with_ret.rs b/crates/ra_syntax/tests/data/parser/inline/0030_fn_pointer_type_with_ret.rs
new file mode 100644
index 000000000..e3ba5e87f
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/0030_fn_pointer_type_with_ret.rs
@@ -0,0 +1 @@
+type F = fn() -> ();
diff --git a/crates/ra_syntax/tests/data/parser/inline/0030_fn_pointer_type_with_ret.txt b/crates/ra_syntax/tests/data/parser/inline/0030_fn_pointer_type_with_ret.txt
new file mode 100644
index 000000000..203839636
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/0030_fn_pointer_type_with_ret.txt
@@ -0,0 +1,23 @@
+ROOT@[0; 21)
+  TYPE_DEF@[0; 20)
+    TYPE_KW@[0; 4)
+    WHITESPACE@[4; 5)
+    NAME@[5; 6)
+      IDENT@[5; 6) "F"
+    WHITESPACE@[6; 7)
+    EQ@[7; 8)
+    WHITESPACE@[8; 9)
+    FN_POINTER_TYPE@[9; 19)
+      FN_KW@[9; 11)
+      PARAM_LIST@[11; 13)
+        L_PAREN@[11; 12)
+        R_PAREN@[12; 13)
+      WHITESPACE@[13; 14)
+      RET_TYPE@[14; 19)
+        THIN_ARROW@[14; 16)
+        WHITESPACE@[16; 17)
+        TUPLE_TYPE@[17; 19)
+          L_PAREN@[17; 18)
+          R_PAREN@[18; 19)
+    SEMI@[19; 20)
+  WHITESPACE@[20; 21)
diff --git a/crates/ra_syntax/tests/data/parser/inline/0031_for_type.rs b/crates/ra_syntax/tests/data/parser/inline/0031_for_type.rs
new file mode 100644
index 000000000..4d6a18c6b
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/0031_for_type.rs
@@ -0,0 +1 @@
+type A = for<'a> fn() -> ();
diff --git a/crates/ra_syntax/tests/data/parser/inline/0031_for_type.txt b/crates/ra_syntax/tests/data/parser/inline/0031_for_type.txt
new file mode 100644
index 000000000..f6b962b2c
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/0031_for_type.txt
@@ -0,0 +1,31 @@
+ROOT@[0; 29)
+  TYPE_DEF@[0; 28)
+    TYPE_KW@[0; 4)
+    WHITESPACE@[4; 5)
+    NAME@[5; 6)
+      IDENT@[5; 6) "A"
+    WHITESPACE@[6; 7)
+    EQ@[7; 8)
+    WHITESPACE@[8; 9)
+    FOR_TYPE@[9; 27)
+      FOR_KW@[9; 12)
+      TYPE_PARAM_LIST@[12; 16)
+        L_ANGLE@[12; 13)
+        LIFETIME_PARAM@[13; 15)
+          LIFETIME@[13; 15) "'a"
+        R_ANGLE@[15; 16)
+      WHITESPACE@[16; 17)
+      FN_POINTER_TYPE@[17; 27)
+        FN_KW@[17; 19)
+        PARAM_LIST@[19; 21)
+          L_PAREN@[19; 20)
+          R_PAREN@[20; 21)
+        WHITESPACE@[21; 22)
+        RET_TYPE@[22; 27)
+          THIN_ARROW@[22; 24)
+          WHITESPACE@[24; 25)
+          TUPLE_TYPE@[25; 27)
+            L_PAREN@[25; 26)
+            R_PAREN@[26; 27)
+    SEMI@[27; 28)
+  WHITESPACE@[28; 29)
diff --git a/crates/ra_syntax/tests/data/parser/inline/0032_path_type.rs b/crates/ra_syntax/tests/data/parser/inline/0032_path_type.rs
new file mode 100644
index 000000000..bf94f32e1
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/0032_path_type.rs
@@ -0,0 +1,4 @@
+type A = Foo;
+type B = ::Foo;
+type C = self::Foo;
+type D = super::Foo;
diff --git a/crates/ra_syntax/tests/data/parser/inline/0032_path_type.txt b/crates/ra_syntax/tests/data/parser/inline/0032_path_type.txt
new file mode 100644
index 000000000..b0a110a2c
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/0032_path_type.txt
@@ -0,0 +1,70 @@
+ROOT@[0; 71)
+  TYPE_DEF@[0; 13)
+    TYPE_KW@[0; 4)
+    WHITESPACE@[4; 5)
+    NAME@[5; 6)
+      IDENT@[5; 6) "A"
+    WHITESPACE@[6; 7)
+    EQ@[7; 8)
+    WHITESPACE@[8; 9)
+    PATH_TYPE@[9; 12)
+      PATH@[9; 12)
+        PATH_SEGMENT@[9; 12)
+          NAME_REF@[9; 12)
+            IDENT@[9; 12) "Foo"
+    SEMI@[12; 13)
+  WHITESPACE@[13; 14)
+  TYPE_DEF@[14; 29)
+    TYPE_KW@[14; 18)
+    WHITESPACE@[18; 19)
+    NAME@[19; 20)
+      IDENT@[19; 20) "B"
+    WHITESPACE@[20; 21)
+    EQ@[21; 22)
+    WHITESPACE@[22; 23)
+    PATH_TYPE@[23; 28)
+      PATH@[23; 28)
+        PATH_SEGMENT@[23; 28)
+          COLONCOLON@[23; 25)
+          NAME_REF@[25; 28)
+            IDENT@[25; 28) "Foo"
+    SEMI@[28; 29)
+  WHITESPACE@[29; 30)
+  TYPE_DEF@[30; 49)
+    TYPE_KW@[30; 34)
+    WHITESPACE@[34; 35)
+    NAME@[35; 36)
+      IDENT@[35; 36) "C"
+    WHITESPACE@[36; 37)
+    EQ@[37; 38)
+    WHITESPACE@[38; 39)
+    PATH_TYPE@[39; 48)
+      PATH@[39; 48)
+        PATH@[39; 43)
+          PATH_SEGMENT@[39; 43)
+            SELF_KW@[39; 43)
+        COLONCOLON@[43; 45)
+        PATH_SEGMENT@[45; 48)
+          NAME_REF@[45; 48)
+            IDENT@[45; 48) "Foo"
+    SEMI@[48; 49)
+  WHITESPACE@[49; 50)
+  TYPE_DEF@[50; 70)
+    TYPE_KW@[50; 54)
+    WHITESPACE@[54; 55)
+    NAME@[55; 56)
+      IDENT@[55; 56) "D"
+    WHITESPACE@[56; 57)
+    EQ@[57; 58)
+    WHITESPACE@[58; 59)
+    PATH_TYPE@[59; 69)
+      PATH@[59; 69)
+        PATH@[59; 64)
+          PATH_SEGMENT@[59; 64)
+            SUPER_KW@[59; 64)
+        COLONCOLON@[64; 66)
+        PATH_SEGMENT@[66; 69)
+          NAME_REF@[66; 69)
+            IDENT@[66; 69) "Foo"
+    SEMI@[69; 70)
+  WHITESPACE@[70; 71)
diff --git a/crates/ra_syntax/tests/data/parser/inline/0034_bind_pat.rs b/crates/ra_syntax/tests/data/parser/inline/0034_bind_pat.rs
new file mode 100644
index 000000000..820a9e72c
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/0034_bind_pat.rs
@@ -0,0 +1,8 @@
+fn main() {
+    let a = ();
+    let mut b = ();
+    let ref c = ();
+    let ref mut d = ();
+    let e @ _ = ();
+    let ref mut f @ g @ _ = ();
+}
diff --git a/crates/ra_syntax/tests/data/parser/inline/0034_bind_pat.txt b/crates/ra_syntax/tests/data/parser/inline/0034_bind_pat.txt
new file mode 100644
index 000000000..9adc89b7c
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/0034_bind_pat.txt
@@ -0,0 +1,127 @@
+ROOT@[0; 146)
+  FN_DEF@[0; 145)
+    FN_KW@[0; 2)
+    WHITESPACE@[2; 3)
+    NAME@[3; 7)
+      IDENT@[3; 7) "main"
+    PARAM_LIST@[7; 9)
+      L_PAREN@[7; 8)
+      R_PAREN@[8; 9)
+    WHITESPACE@[9; 10)
+    BLOCK@[10; 145)
+      L_CURLY@[10; 11)
+      WHITESPACE@[11; 16)
+      LET_STMT@[16; 27)
+        LET_KW@[16; 19)
+        WHITESPACE@[19; 20)
+        BIND_PAT@[20; 21)
+          NAME@[20; 21)
+            IDENT@[20; 21) "a"
+        WHITESPACE@[21; 22)
+        EQ@[22; 23)
+        WHITESPACE@[23; 24)
+        TUPLE_EXPR@[24; 26)
+          L_PAREN@[24; 25)
+          R_PAREN@[25; 26)
+        SEMI@[26; 27)
+      WHITESPACE@[27; 32)
+      LET_STMT@[32; 47)
+        LET_KW@[32; 35)
+        WHITESPACE@[35; 36)
+        BIND_PAT@[36; 41)
+          MUT_KW@[36; 39)
+          WHITESPACE@[39; 40)
+          NAME@[40; 41)
+            IDENT@[40; 41) "b"
+        WHITESPACE@[41; 42)
+        EQ@[42; 43)
+        WHITESPACE@[43; 44)
+        TUPLE_EXPR@[44; 46)
+          L_PAREN@[44; 45)
+          R_PAREN@[45; 46)
+        SEMI@[46; 47)
+      WHITESPACE@[47; 52)
+      LET_STMT@[52; 67)
+        LET_KW@[52; 55)
+        WHITESPACE@[55; 56)
+        BIND_PAT@[56; 61)
+          REF_KW@[56; 59)
+          WHITESPACE@[59; 60)
+          NAME@[60; 61)
+            IDENT@[60; 61) "c"
+        WHITESPACE@[61; 62)
+        EQ@[62; 63)
+        WHITESPACE@[63; 64)
+        TUPLE_EXPR@[64; 66)
+          L_PAREN@[64; 65)
+          R_PAREN@[65; 66)
+        SEMI@[66; 67)
+      WHITESPACE@[67; 72)
+      LET_STMT@[72; 91)
+        LET_KW@[72; 75)
+        WHITESPACE@[75; 76)
+        BIND_PAT@[76; 85)
+          REF_KW@[76; 79)
+          WHITESPACE@[79; 80)
+          MUT_KW@[80; 83)
+          WHITESPACE@[83; 84)
+          NAME@[84; 85)
+            IDENT@[84; 85) "d"
+        WHITESPACE@[85; 86)
+        EQ@[86; 87)
+        WHITESPACE@[87; 88)
+        TUPLE_EXPR@[88; 90)
+          L_PAREN@[88; 89)
+          R_PAREN@[89; 90)
+        SEMI@[90; 91)
+      WHITESPACE@[91; 96)
+      LET_STMT@[96; 111)
+        LET_KW@[96; 99)
+        WHITESPACE@[99; 100)
+        BIND_PAT@[100; 105)
+          NAME@[100; 101)
+            IDENT@[100; 101) "e"
+          WHITESPACE@[101; 102)
+          AT@[102; 103)
+          WHITESPACE@[103; 104)
+          PLACEHOLDER_PAT@[104; 105)
+            UNDERSCORE@[104; 105)
+        WHITESPACE@[105; 106)
+        EQ@[106; 107)
+        WHITESPACE@[107; 108)
+        TUPLE_EXPR@[108; 110)
+          L_PAREN@[108; 109)
+          R_PAREN@[109; 110)
+        SEMI@[110; 111)
+      WHITESPACE@[111; 116)
+      LET_STMT@[116; 143)
+        LET_KW@[116; 119)
+        WHITESPACE@[119; 120)
+        BIND_PAT@[120; 137)
+          REF_KW@[120; 123)
+          WHITESPACE@[123; 124)
+          MUT_KW@[124; 127)
+          WHITESPACE@[127; 128)
+          NAME@[128; 129)
+            IDENT@[128; 129) "f"
+          WHITESPACE@[129; 130)
+          AT@[130; 131)
+          WHITESPACE@[131; 132)
+          BIND_PAT@[132; 137)
+            NAME@[132; 133)
+              IDENT@[132; 133) "g"
+            WHITESPACE@[133; 134)
+            AT@[134; 135)
+            WHITESPACE@[135; 136)
+            PLACEHOLDER_PAT@[136; 137)
+              UNDERSCORE@[136; 137)
+        WHITESPACE@[137; 138)
+        EQ@[138; 139)
+        WHITESPACE@[139; 140)
+        TUPLE_EXPR@[140; 142)
+          L_PAREN@[140; 141)
+          R_PAREN@[141; 142)
+        SEMI@[142; 143)
+      WHITESPACE@[143; 144)
+      R_CURLY@[144; 145)
+  WHITESPACE@[145; 146)
diff --git a/crates/ra_syntax/tests/data/parser/inline/0035_ref_pat.rs b/crates/ra_syntax/tests/data/parser/inline/0035_ref_pat.rs
new file mode 100644
index 000000000..de41f5cae
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/0035_ref_pat.rs
@@ -0,0 +1,4 @@
+fn main() {
+    let &a = ();
+    let &mut b = ();
+}
diff --git a/crates/ra_syntax/tests/data/parser/inline/0035_ref_pat.txt b/crates/ra_syntax/tests/data/parser/inline/0035_ref_pat.txt
new file mode 100644
index 000000000..a625637cd
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/0035_ref_pat.txt
@@ -0,0 +1,49 @@
+ROOT@[0; 52)
+  FN_DEF@[0; 51)
+    FN_KW@[0; 2)
+    WHITESPACE@[2; 3)
+    NAME@[3; 7)
+      IDENT@[3; 7) "main"
+    PARAM_LIST@[7; 9)
+      L_PAREN@[7; 8)
+      R_PAREN@[8; 9)
+    WHITESPACE@[9; 10)
+    BLOCK@[10; 51)
+      L_CURLY@[10; 11)
+      WHITESPACE@[11; 16)
+      LET_STMT@[16; 28)
+        LET_KW@[16; 19)
+        WHITESPACE@[19; 20)
+        REF_PAT@[20; 22)
+          AMP@[20; 21)
+          BIND_PAT@[21; 22)
+            NAME@[21; 22)
+              IDENT@[21; 22) "a"
+        WHITESPACE@[22; 23)
+        EQ@[23; 24)
+        WHITESPACE@[24; 25)
+        TUPLE_EXPR@[25; 27)
+          L_PAREN@[25; 26)
+          R_PAREN@[26; 27)
+        SEMI@[27; 28)
+      WHITESPACE@[28; 33)
+      LET_STMT@[33; 49)
+        LET_KW@[33; 36)
+        WHITESPACE@[36; 37)
+        REF_PAT@[37; 43)
+          AMP@[37; 38)
+          MUT_KW@[38; 41)
+          WHITESPACE@[41; 42)
+          BIND_PAT@[42; 43)
+            NAME@[42; 43)
+              IDENT@[42; 43) "b"
+        WHITESPACE@[43; 44)
+        EQ@[44; 45)
+        WHITESPACE@[45; 46)
+        TUPLE_EXPR@[46; 48)
+          L_PAREN@[46; 47)
+          R_PAREN@[47; 48)
+        SEMI@[48; 49)
+      WHITESPACE@[49; 50)
+      R_CURLY@[50; 51)
+  WHITESPACE@[51; 52)
diff --git a/crates/ra_syntax/tests/data/parser/inline/0036_placeholder_pat.rs b/crates/ra_syntax/tests/data/parser/inline/0036_placeholder_pat.rs
new file mode 100644
index 000000000..4d719c433
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/0036_placeholder_pat.rs
@@ -0,0 +1 @@
+fn main() { let _ = (); }
diff --git a/crates/ra_syntax/tests/data/parser/inline/0036_placeholder_pat.txt b/crates/ra_syntax/tests/data/parser/inline/0036_placeholder_pat.txt
new file mode 100644
index 000000000..e89ff4e7c
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/0036_placeholder_pat.txt
@@ -0,0 +1,28 @@
+ROOT@[0; 26)
+  FN_DEF@[0; 25)
+    FN_KW@[0; 2)
+    WHITESPACE@[2; 3)
+    NAME@[3; 7)
+      IDENT@[3; 7) "main"
+    PARAM_LIST@[7; 9)
+      L_PAREN@[7; 8)
+      R_PAREN@[8; 9)
+    WHITESPACE@[9; 10)
+    BLOCK@[10; 25)
+      L_CURLY@[10; 11)
+      WHITESPACE@[11; 12)
+      LET_STMT@[12; 23)
+        LET_KW@[12; 15)
+        WHITESPACE@[15; 16)
+        PLACEHOLDER_PAT@[16; 17)
+          UNDERSCORE@[16; 17)
+        WHITESPACE@[17; 18)
+        EQ@[18; 19)
+        WHITESPACE@[19; 20)
+        TUPLE_EXPR@[20; 22)
+          L_PAREN@[20; 21)
+          R_PAREN@[21; 22)
+        SEMI@[22; 23)
+      WHITESPACE@[23; 24)
+      R_CURLY@[24; 25)
+  WHITESPACE@[25; 26)
diff --git a/crates/ra_syntax/tests/data/parser/inline/0037_crate_visibility.rs b/crates/ra_syntax/tests/data/parser/inline/0037_crate_visibility.rs
new file mode 100644
index 000000000..faeefde94
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/0037_crate_visibility.rs
@@ -0,0 +1,4 @@
+pub(crate) struct S;
+pub(self) struct S;
+pub(self) struct S;
+pub(self) struct S;
diff --git a/crates/ra_syntax/tests/data/parser/inline/0037_crate_visibility.txt b/crates/ra_syntax/tests/data/parser/inline/0037_crate_visibility.txt
new file mode 100644
index 000000000..3b5fbf95d
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/0037_crate_visibility.txt
@@ -0,0 +1,53 @@
+ROOT@[0; 81)
+  STRUCT_DEF@[0; 20)
+    VISIBILITY@[0; 10)
+      PUB_KW@[0; 3)
+      L_PAREN@[3; 4)
+      CRATE_KW@[4; 9)
+      R_PAREN@[9; 10)
+    WHITESPACE@[10; 11)
+    STRUCT_KW@[11; 17)
+    WHITESPACE@[17; 18)
+    NAME@[18; 19)
+      IDENT@[18; 19) "S"
+    SEMI@[19; 20)
+  WHITESPACE@[20; 21)
+  STRUCT_DEF@[21; 40)
+    VISIBILITY@[21; 30)
+      PUB_KW@[21; 24)
+      L_PAREN@[24; 25)
+      SELF_KW@[25; 29)
+      R_PAREN@[29; 30)
+    WHITESPACE@[30; 31)
+    STRUCT_KW@[31; 37)
+    WHITESPACE@[37; 38)
+    NAME@[38; 39)
+      IDENT@[38; 39) "S"
+    SEMI@[39; 40)
+  WHITESPACE@[40; 41)
+  STRUCT_DEF@[41; 60)
+    VISIBILITY@[41; 50)
+      PUB_KW@[41; 44)
+      L_PAREN@[44; 45)
+      SELF_KW@[45; 49)
+      R_PAREN@[49; 50)
+    WHITESPACE@[50; 51)
+    STRUCT_KW@[51; 57)
+    WHITESPACE@[57; 58)
+    NAME@[58; 59)
+      IDENT@[58; 59) "S"
+    SEMI@[59; 60)
+  WHITESPACE@[60; 61)
+  STRUCT_DEF@[61; 80)
+    VISIBILITY@[61; 70)
+      PUB_KW@[61; 64)
+      L_PAREN@[64; 65)
+      SELF_KW@[65; 69)
+      R_PAREN@[69; 70)
+    WHITESPACE@[70; 71)
+    STRUCT_KW@[71; 77)
+    WHITESPACE@[77; 78)
+    NAME@[78; 79)
+      IDENT@[78; 79) "S"
+    SEMI@[79; 80)
+  WHITESPACE@[80; 81)
diff --git a/crates/ra_syntax/tests/data/parser/inline/0038_function_ret_type.rs b/crates/ra_syntax/tests/data/parser/inline/0038_function_ret_type.rs
new file mode 100644
index 000000000..d22d8cada
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/0038_function_ret_type.rs
@@ -0,0 +1,2 @@
+fn foo() {}
+fn bar() -> () {}
diff --git a/crates/ra_syntax/tests/data/parser/inline/0038_function_ret_type.txt b/crates/ra_syntax/tests/data/parser/inline/0038_function_ret_type.txt
new file mode 100644
index 000000000..a3d235ce1
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/0038_function_ret_type.txt
@@ -0,0 +1,34 @@
+ROOT@[0; 30)
+  FN_DEF@[0; 11)
+    FN_KW@[0; 2)
+    WHITESPACE@[2; 3)
+    NAME@[3; 6)
+      IDENT@[3; 6) "foo"
+    PARAM_LIST@[6; 8)
+      L_PAREN@[6; 7)
+      R_PAREN@[7; 8)
+    WHITESPACE@[8; 9)
+    BLOCK@[9; 11)
+      L_CURLY@[9; 10)
+      R_CURLY@[10; 11)
+  WHITESPACE@[11; 12)
+  FN_DEF@[12; 29)
+    FN_KW@[12; 14)
+    WHITESPACE@[14; 15)
+    NAME@[15; 18)
+      IDENT@[15; 18) "bar"
+    PARAM_LIST@[18; 20)
+      L_PAREN@[18; 19)
+      R_PAREN@[19; 20)
+    WHITESPACE@[20; 21)
+    RET_TYPE@[21; 26)
+      THIN_ARROW@[21; 23)
+      WHITESPACE@[23; 24)
+      TUPLE_TYPE@[24; 26)
+        L_PAREN@[24; 25)
+        R_PAREN@[25; 26)
+    WHITESPACE@[26; 27)
+    BLOCK@[27; 29)
+      L_CURLY@[27; 28)
+      R_CURLY@[28; 29)
+  WHITESPACE@[29; 30)
diff --git a/crates/ra_syntax/tests/data/parser/inline/0039_path_expr.rs b/crates/ra_syntax/tests/data/parser/inline/0039_path_expr.rs
new file mode 100644
index 000000000..333ebabef
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/0039_path_expr.rs
@@ -0,0 +1,6 @@
+fn foo() {
+    let _ = a;
+    let _ = a::b;
+    let _ = ::a::<b>;
+    let _ = format!();
+}
diff --git a/crates/ra_syntax/tests/data/parser/inline/0039_path_expr.txt b/crates/ra_syntax/tests/data/parser/inline/0039_path_expr.txt
new file mode 100644
index 000000000..618afc0a9
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/0039_path_expr.txt
@@ -0,0 +1,95 @@
+ROOT@[0; 91)
+  FN_DEF@[0; 90)
+    FN_KW@[0; 2)
+    WHITESPACE@[2; 3)
+    NAME@[3; 6)
+      IDENT@[3; 6) "foo"
+    PARAM_LIST@[6; 8)
+      L_PAREN@[6; 7)
+      R_PAREN@[7; 8)
+    WHITESPACE@[8; 9)
+    BLOCK@[9; 90)
+      L_CURLY@[9; 10)
+      WHITESPACE@[10; 15)
+      LET_STMT@[15; 25)
+        LET_KW@[15; 18)
+        WHITESPACE@[18; 19)
+        PLACEHOLDER_PAT@[19; 20)
+          UNDERSCORE@[19; 20)
+        WHITESPACE@[20; 21)
+        EQ@[21; 22)
+        WHITESPACE@[22; 23)
+        PATH_EXPR@[23; 24)
+          PATH@[23; 24)
+            PATH_SEGMENT@[23; 24)
+              NAME_REF@[23; 24)
+                IDENT@[23; 24) "a"
+        SEMI@[24; 25)
+      WHITESPACE@[25; 30)
+      LET_STMT@[30; 43)
+        LET_KW@[30; 33)
+        WHITESPACE@[33; 34)
+        PLACEHOLDER_PAT@[34; 35)
+          UNDERSCORE@[34; 35)
+        WHITESPACE@[35; 36)
+        EQ@[36; 37)
+        WHITESPACE@[37; 38)
+        PATH_EXPR@[38; 42)
+          PATH@[38; 42)
+            PATH@[38; 39)
+              PATH_SEGMENT@[38; 39)
+                NAME_REF@[38; 39)
+                  IDENT@[38; 39) "a"
+            COLONCOLON@[39; 41)
+            PATH_SEGMENT@[41; 42)
+              NAME_REF@[41; 42)
+                IDENT@[41; 42) "b"
+        SEMI@[42; 43)
+      WHITESPACE@[43; 48)
+      LET_STMT@[48; 65)
+        LET_KW@[48; 51)
+        WHITESPACE@[51; 52)
+        PLACEHOLDER_PAT@[52; 53)
+          UNDERSCORE@[52; 53)
+        WHITESPACE@[53; 54)
+        EQ@[54; 55)
+        WHITESPACE@[55; 56)
+        PATH_EXPR@[56; 64)
+          PATH@[56; 64)
+            PATH_SEGMENT@[56; 64)
+              COLONCOLON@[56; 58)
+              NAME_REF@[58; 59)
+                IDENT@[58; 59) "a"
+              TYPE_ARG_LIST@[59; 64)
+                COLONCOLON@[59; 61)
+                L_ANGLE@[61; 62)
+                TYPE_ARG@[62; 63)
+                  PATH_TYPE@[62; 63)
+                    PATH@[62; 63)
+                      PATH_SEGMENT@[62; 63)
+                        NAME_REF@[62; 63)
+                          IDENT@[62; 63) "b"
+                R_ANGLE@[63; 64)
+        SEMI@[64; 65)
+      WHITESPACE@[65; 70)
+      LET_STMT@[70; 88)
+        LET_KW@[70; 73)
+        WHITESPACE@[73; 74)
+        PLACEHOLDER_PAT@[74; 75)
+          UNDERSCORE@[74; 75)
+        WHITESPACE@[75; 76)
+        EQ@[76; 77)
+        WHITESPACE@[77; 78)
+        MACRO_CALL@[78; 87)
+          PATH@[78; 84)
+            PATH_SEGMENT@[78; 84)
+              NAME_REF@[78; 84)
+                IDENT@[78; 84) "format"
+          EXCL@[84; 85)
+          TOKEN_TREE@[85; 87)
+            L_PAREN@[85; 86)
+            R_PAREN@[86; 87)
+        SEMI@[87; 88)
+      WHITESPACE@[88; 89)
+      R_CURLY@[89; 90)
+  WHITESPACE@[90; 91)
diff --git a/crates/ra_syntax/tests/data/parser/inline/0040_expr_literals.rs b/crates/ra_syntax/tests/data/parser/inline/0040_expr_literals.rs
new file mode 100644
index 000000000..2e11a5a6e
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/0040_expr_literals.rs
@@ -0,0 +1,12 @@
+fn foo() {
+    let _ = true;
+    let _ = false;
+    let _ = 1;
+    let _ = 2.0;
+    let _ = b'a';
+    let _ = 'b';
+    let _ = "c";
+    let _ = r"d";
+    let _ = b"e";
+    let _ = br"f";
+}
diff --git a/crates/ra_syntax/tests/data/parser/inline/0040_expr_literals.txt b/crates/ra_syntax/tests/data/parser/inline/0040_expr_literals.txt
new file mode 100644
index 000000000..8105ee25a
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/0040_expr_literals.txt
@@ -0,0 +1,135 @@
+ROOT@[0; 189)
+  FN_DEF@[0; 188)
+    FN_KW@[0; 2)
+    WHITESPACE@[2; 3)
+    NAME@[3; 6)
+      IDENT@[3; 6) "foo"
+    PARAM_LIST@[6; 8)
+      L_PAREN@[6; 7)
+      R_PAREN@[7; 8)
+    WHITESPACE@[8; 9)
+    BLOCK@[9; 188)
+      L_CURLY@[9; 10)
+      WHITESPACE@[10; 15)
+      LET_STMT@[15; 28)
+        LET_KW@[15; 18)
+        WHITESPACE@[18; 19)
+        PLACEHOLDER_PAT@[19; 20)
+          UNDERSCORE@[19; 20)
+        WHITESPACE@[20; 21)
+        EQ@[21; 22)
+        WHITESPACE@[22; 23)
+        LITERAL@[23; 27)
+          TRUE_KW@[23; 27)
+        SEMI@[27; 28)
+      WHITESPACE@[28; 33)
+      LET_STMT@[33; 47)
+        LET_KW@[33; 36)
+        WHITESPACE@[36; 37)
+        PLACEHOLDER_PAT@[37; 38)
+          UNDERSCORE@[37; 38)
+        WHITESPACE@[38; 39)
+        EQ@[39; 40)
+        WHITESPACE@[40; 41)
+        LITERAL@[41; 46)
+          FALSE_KW@[41; 46)
+        SEMI@[46; 47)
+      WHITESPACE@[47; 52)
+      LET_STMT@[52; 62)
+        LET_KW@[52; 55)
+        WHITESPACE@[55; 56)
+        PLACEHOLDER_PAT@[56; 57)
+          UNDERSCORE@[56; 57)
+        WHITESPACE@[57; 58)
+        EQ@[58; 59)
+        WHITESPACE@[59; 60)
+        LITERAL@[60; 61)
+          INT_NUMBER@[60; 61) "1"
+        SEMI@[61; 62)
+      WHITESPACE@[62; 67)
+      LET_STMT@[67; 79)
+        LET_KW@[67; 70)
+        WHITESPACE@[70; 71)
+        PLACEHOLDER_PAT@[71; 72)
+          UNDERSCORE@[71; 72)
+        WHITESPACE@[72; 73)
+        EQ@[73; 74)
+        WHITESPACE@[74; 75)
+        LITERAL@[75; 78)
+          FLOAT_NUMBER@[75; 78) "2.0"
+        SEMI@[78; 79)
+      WHITESPACE@[79; 84)
+      LET_STMT@[84; 97)
+        LET_KW@[84; 87)
+        WHITESPACE@[87; 88)
+        PLACEHOLDER_PAT@[88; 89)
+          UNDERSCORE@[88; 89)
+        WHITESPACE@[89; 90)
+        EQ@[90; 91)
+        WHITESPACE@[91; 92)
+        LITERAL@[92; 96)
+          BYTE@[92; 96)
+        SEMI@[96; 97)
+      WHITESPACE@[97; 102)
+      LET_STMT@[102; 114)
+        LET_KW@[102; 105)
+        WHITESPACE@[105; 106)
+        PLACEHOLDER_PAT@[106; 107)
+          UNDERSCORE@[106; 107)
+        WHITESPACE@[107; 108)
+        EQ@[108; 109)
+        WHITESPACE@[109; 110)
+        LITERAL@[110; 113)
+          CHAR@[110; 113)
+        SEMI@[113; 114)
+      WHITESPACE@[114; 119)
+      LET_STMT@[119; 131)
+        LET_KW@[119; 122)
+        WHITESPACE@[122; 123)
+        PLACEHOLDER_PAT@[123; 124)
+          UNDERSCORE@[123; 124)
+        WHITESPACE@[124; 125)
+        EQ@[125; 126)
+        WHITESPACE@[126; 127)
+        LITERAL@[127; 130)
+          STRING@[127; 130)
+        SEMI@[130; 131)
+      WHITESPACE@[131; 136)
+      LET_STMT@[136; 149)
+        LET_KW@[136; 139)
+        WHITESPACE@[139; 140)
+        PLACEHOLDER_PAT@[140; 141)
+          UNDERSCORE@[140; 141)
+        WHITESPACE@[141; 142)
+        EQ@[142; 143)
+        WHITESPACE@[143; 144)
+        LITERAL@[144; 148)
+          RAW_STRING@[144; 148)
+        SEMI@[148; 149)
+      WHITESPACE@[149; 154)
+      LET_STMT@[154; 167)
+        LET_KW@[154; 157)
+        WHITESPACE@[157; 158)
+        PLACEHOLDER_PAT@[158; 159)
+          UNDERSCORE@[158; 159)
+        WHITESPACE@[159; 160)
+        EQ@[160; 161)
+        WHITESPACE@[161; 162)
+        LITERAL@[162; 166)
+          BYTE_STRING@[162; 166)
+        SEMI@[166; 167)
+      WHITESPACE@[167; 172)
+      LET_STMT@[172; 186)
+        LET_KW@[172; 175)
+        WHITESPACE@[175; 176)
+        PLACEHOLDER_PAT@[176; 177)
+          UNDERSCORE@[176; 177)
+        WHITESPACE@[177; 178)
+        EQ@[178; 179)
+        WHITESPACE@[179; 180)
+        LITERAL@[180; 185)
+          RAW_BYTE_STRING@[180; 185)
+        SEMI@[185; 186)
+      WHITESPACE@[186; 187)
+      R_CURLY@[187; 188)
+  WHITESPACE@[188; 189)
diff --git a/crates/ra_syntax/tests/data/parser/inline/0041_type_param_bounds.rs b/crates/ra_syntax/tests/data/parser/inline/0041_type_param_bounds.rs
new file mode 100644
index 000000000..919bde0ee
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/0041_type_param_bounds.rs
@@ -0,0 +1 @@
+struct S<T: 'a + ?Sized + (Copy)>;
diff --git a/crates/ra_syntax/tests/data/parser/inline/0041_type_param_bounds.txt b/crates/ra_syntax/tests/data/parser/inline/0041_type_param_bounds.txt
new file mode 100644
index 000000000..549b571c2
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/inline/0041_type_param_bounds.txt
@@ -0,0 +1,36 @@
+ROOT@[0; 35)
+  STRUCT_DEF@[0; 34)
+    STRUCT_KW@[0; 6)
+    WHITESPACE@[6; 7)
+    NAME@[7; 8)