298 files changed, 8747 insertions, 0 deletions

diff --git a/crates/ra_syntax/test_data/parser/inline/err/0001_array_type_missing_semi.rs b/crates/ra_syntax/test_data/parser/inline/err/0001_array_type_missing_semi.rs
new file mode 100644
index 000000000..a94851443
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/err/0001_array_type_missing_semi.rs
@@ -0,0 +1 @@
+type T = [() 92];
diff --git a/crates/ra_syntax/test_data/parser/inline/err/0001_array_type_missing_semi.txt b/crates/ra_syntax/test_data/parser/inline/err/0001_array_type_missing_semi.txt
new file mode 100644
index 000000000..3f0f1b480
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/err/0001_array_type_missing_semi.txt
@@ -0,0 +1,27 @@
+SOURCE_FILE@[0; 18)
+  TYPE_ALIAS_DEF@[0; 12)
+    TYPE_KW@[0; 4) "type"
+    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) ")"
+  WHITESPACE@[12; 13) " "
+  ERROR@[13; 15)
+    INT_NUMBER@[13; 15) "92"
+  ERROR@[15; 16)
+    R_BRACK@[15; 16) "]"
+  ERROR@[16; 17)
+    SEMI@[16; 17) ";"
+  WHITESPACE@[17; 18) "\n"
+error 12: expected `;` or `]`
+error 12: expected SEMI
+error 13: expected an item
+error 15: expected an item
+error 16: expected an item
diff --git a/crates/ra_syntax/test_data/parser/inline/err/0002_misplaced_label_err.rs b/crates/ra_syntax/test_data/parser/inline/err/0002_misplaced_label_err.rs
new file mode 100644
index 000000000..a2164c510
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/err/0002_misplaced_label_err.rs
@@ -0,0 +1,3 @@
+fn main() {
+    'loop: impl
+}
diff --git a/crates/ra_syntax/test_data/parser/inline/err/0002_misplaced_label_err.txt b/crates/ra_syntax/test_data/parser/inline/err/0002_misplaced_label_err.txt
new file mode 100644
index 000000000..7abc49d5e
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/err/0002_misplaced_label_err.txt
@@ -0,0 +1,28 @@
+SOURCE_FILE@[0; 30)
+  FN_DEF@[0; 29)
+    FN_KW@[0; 2) "fn"
+    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; 29)
+      L_CURLY@[10; 11) "{"
+      WHITESPACE@[11; 16) "\n    "
+      EXPR_STMT@[16; 22)
+        ERROR@[16; 22)
+          LABEL@[16; 22)
+            LIFETIME@[16; 21) "\'loop"
+            COLON@[21; 22) ":"
+      WHITESPACE@[22; 23) " "
+      IMPL_BLOCK@[23; 27)
+        IMPL_KW@[23; 27) "impl"
+      WHITESPACE@[27; 28) "\n"
+      R_CURLY@[28; 29) "}"
+  WHITESPACE@[29; 30) "\n"
+error 22: expected a loop
+error 22: expected SEMI
+error 27: expected type
+error 27: expected `{`
diff --git a/crates/ra_syntax/test_data/parser/inline/err/0003_pointer_type_no_mutability.rs b/crates/ra_syntax/test_data/parser/inline/err/0003_pointer_type_no_mutability.rs
new file mode 100644
index 000000000..fae705131
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/err/0003_pointer_type_no_mutability.rs
@@ -0,0 +1 @@
+type T = *();
diff --git a/crates/ra_syntax/test_data/parser/inline/err/0003_pointer_type_no_mutability.txt b/crates/ra_syntax/test_data/parser/inline/err/0003_pointer_type_no_mutability.txt
new file mode 100644
index 000000000..b97e339bb
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/err/0003_pointer_type_no_mutability.txt
@@ -0,0 +1,17 @@
+SOURCE_FILE@[0; 14)
+  TYPE_ALIAS_DEF@[0; 13)
+    TYPE_KW@[0; 4) "type"
+    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) "*"
+      TUPLE_TYPE@[10; 12)
+        L_PAREN@[10; 11) "("
+        R_PAREN@[11; 12) ")"
+    SEMI@[12; 13) ";"
+  WHITESPACE@[13; 14) "\n"
+error 10: expected mut or const in raw pointer type (use `*mut T` or `*const T` as appropriate)
diff --git a/crates/ra_syntax/test_data/parser/inline/err/0004_impl_type.rs b/crates/ra_syntax/test_data/parser/inline/err/0004_impl_type.rs
new file mode 100644
index 000000000..b8c7b65e3
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/err/0004_impl_type.rs
@@ -0,0 +1,4 @@
+impl Type {}
+impl Trait1 for T {}
+impl impl NotType {}
+impl Trait2 for impl NotType {}
diff --git a/crates/ra_syntax/test_data/parser/inline/err/0004_impl_type.txt b/crates/ra_syntax/test_data/parser/inline/err/0004_impl_type.txt
new file mode 100644
index 000000000..43321b1ed
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/err/0004_impl_type.txt
@@ -0,0 +1,79 @@
+SOURCE_FILE@[0; 87)
+  IMPL_BLOCK@[0; 12)
+    IMPL_KW@[0; 4) "impl"
+    WHITESPACE@[4; 5) " "
+    PATH_TYPE@[5; 9)
+      PATH@[5; 9)
+        PATH_SEGMENT@[5; 9)
+          NAME_REF@[5; 9)
+            IDENT@[5; 9) "Type"
+    WHITESPACE@[9; 10) " "
+    ITEM_LIST@[10; 12)
+      L_CURLY@[10; 11) "{"
+      R_CURLY@[11; 12) "}"
+  WHITESPACE@[12; 13) "\n"
+  IMPL_BLOCK@[13; 33)
+    IMPL_KW@[13; 17) "impl"
+    WHITESPACE@[17; 18) " "
+    PATH_TYPE@[18; 24)
+      PATH@[18; 24)
+        PATH_SEGMENT@[18; 24)
+          NAME_REF@[18; 24)
+            IDENT@[18; 24) "Trait1"
+    WHITESPACE@[24; 25) " "
+    FOR_KW@[25; 28) "for"
+    WHITESPACE@[28; 29) " "
+    PATH_TYPE@[29; 30)
+      PATH@[29; 30)
+        PATH_SEGMENT@[29; 30)
+          NAME_REF@[29; 30)
+            IDENT@[29; 30) "T"
+    WHITESPACE@[30; 31) " "
+    ITEM_LIST@[31; 33)
+      L_CURLY@[31; 32) "{"
+      R_CURLY@[32; 33) "}"
+  WHITESPACE@[33; 34) "\n"
+  IMPL_BLOCK@[34; 38)
+    IMPL_KW@[34; 38) "impl"
+  WHITESPACE@[38; 39) " "
+  IMPL_BLOCK@[39; 54)
+    IMPL_KW@[39; 43) "impl"
+    WHITESPACE@[43; 44) " "
+    PATH_TYPE@[44; 51)
+      PATH@[44; 51)
+        PATH_SEGMENT@[44; 51)
+          NAME_REF@[44; 51)
+            IDENT@[44; 51) "NotType"
+    WHITESPACE@[51; 52) " "
+    ITEM_LIST@[52; 54)
+      L_CURLY@[52; 53) "{"
+      R_CURLY@[53; 54) "}"
+  WHITESPACE@[54; 55) "\n"
+  IMPL_BLOCK@[55; 70)
+    IMPL_KW@[55; 59) "impl"
+    WHITESPACE@[59; 60) " "
+    PATH_TYPE@[60; 66)
+      PATH@[60; 66)
+        PATH_SEGMENT@[60; 66)
+          NAME_REF@[60; 66)
+            IDENT@[60; 66) "Trait2"
+    WHITESPACE@[66; 67) " "
+    FOR_KW@[67; 70) "for"
+  WHITESPACE@[70; 71) " "
+  IMPL_BLOCK@[71; 86)
+    IMPL_KW@[71; 75) "impl"
+    WHITESPACE@[75; 76) " "
+    PATH_TYPE@[76; 83)
+      PATH@[76; 83)
+        PATH_SEGMENT@[76; 83)
+          NAME_REF@[76; 83)
+            IDENT@[76; 83) "NotType"
+    WHITESPACE@[83; 84) " "
+    ITEM_LIST@[84; 86)
+      L_CURLY@[84; 85) "{"
+      R_CURLY@[85; 86) "}"
+  WHITESPACE@[86; 87) "\n"
+error 38: expected trait or type
+error 38: expected `{`
+error 70: expected trait or type
+error 70: expected `{`
diff --git a/crates/ra_syntax/test_data/parser/inline/err/0005_fn_pointer_type_missing_fn.rs b/crates/ra_syntax/test_data/parser/inline/err/0005_fn_pointer_type_missing_fn.rs
new file mode 100644
index 000000000..f014914ff
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/err/0005_fn_pointer_type_missing_fn.rs
@@ -0,0 +1 @@
+type F = unsafe ();
diff --git a/crates/ra_syntax/test_data/parser/inline/err/0005_fn_pointer_type_missing_fn.txt b/crates/ra_syntax/test_data/parser/inline/err/0005_fn_pointer_type_missing_fn.txt
new file mode 100644
index 000000000..451f29d39
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/err/0005_fn_pointer_type_missing_fn.txt
@@ -0,0 +1,23 @@
+SOURCE_FILE@[0; 20)
+  TYPE_ALIAS_DEF@[0; 15)
+    TYPE_KW@[0; 4) "type"
+    WHITESPACE@[4; 5) " "
+    NAME@[5; 6)
+      IDENT@[5; 6) "F"
+    WHITESPACE@[6; 7) " "
+    EQ@[7; 8) "="
+    WHITESPACE@[8; 9) " "
+    UNSAFE_KW@[9; 15) "unsafe"
+  WHITESPACE@[15; 16) " "
+  ERROR@[16; 17)
+    L_PAREN@[16; 17) "("
+  ERROR@[17; 18)
+    R_PAREN@[17; 18) ")"
+  ERROR@[18; 19)
+    SEMI@[18; 19) ";"
+  WHITESPACE@[19; 20) "\n"
+error 15: expected `fn`
+error 15: expected SEMI
+error 16: expected an item
+error 17: expected an item
+error 18: expected an item
diff --git a/crates/ra_syntax/test_data/parser/inline/err/0006_unsafe_block_in_mod.rs b/crates/ra_syntax/test_data/parser/inline/err/0006_unsafe_block_in_mod.rs
new file mode 100644
index 000000000..26141e904
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/err/0006_unsafe_block_in_mod.rs
@@ -0,0 +1 @@
+fn foo(){} unsafe { } fn bar(){}
diff --git a/crates/ra_syntax/test_data/parser/inline/err/0006_unsafe_block_in_mod.txt b/crates/ra_syntax/test_data/parser/inline/err/0006_unsafe_block_in_mod.txt
new file mode 100644
index 000000000..a1871ec08
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/err/0006_unsafe_block_in_mod.txt
@@ -0,0 +1,35 @@
+SOURCE_FILE@[0; 33)
+  FN_DEF@[0; 10)
+    FN_KW@[0; 2) "fn"
+    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) " "
+  ERROR@[11; 17)
+    UNSAFE_KW@[11; 17) "unsafe"
+  WHITESPACE@[17; 18) " "
+  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) "fn"
+    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) "\n"
+error 11: expected an item
+error 18: expected an item
diff --git a/crates/ra_syntax/test_data/parser/inline/err/0007_async_without_semicolon.rs b/crates/ra_syntax/test_data/parser/inline/err/0007_async_without_semicolon.rs
new file mode 100644
index 000000000..9a423248c
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/err/0007_async_without_semicolon.rs
@@ -0,0 +1 @@
+fn foo() { let _ = async {} }
diff --git a/crates/ra_syntax/test_data/parser/inline/err/0007_async_without_semicolon.txt b/crates/ra_syntax/test_data/parser/inline/err/0007_async_without_semicolon.txt
new file mode 100644
index 000000000..f70adc25d
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/err/0007_async_without_semicolon.txt
@@ -0,0 +1,31 @@
+SOURCE_FILE@[0; 30)
+  FN_DEF@[0; 29)
+    FN_KW@[0; 2) "fn"
+    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; 29)
+      L_CURLY@[9; 10) "{"
+      WHITESPACE@[10; 11) " "
+      LET_STMT@[11; 27)
+        LET_KW@[11; 14) "let"
+        WHITESPACE@[14; 15) " "
+        PLACEHOLDER_PAT@[15; 16)
+          UNDERSCORE@[15; 16) "_"
+        WHITESPACE@[16; 17) " "
+        EQ@[17; 18) "="
+        WHITESPACE@[18; 19) " "
+        BLOCK_EXPR@[19; 27)
+          ASYNC_KW@[19; 24) "async"
+          WHITESPACE@[24; 25) " "
+          BLOCK@[25; 27)
+            L_CURLY@[25; 26) "{"
+            R_CURLY@[26; 27) "}"
+      WHITESPACE@[27; 28) " "
+      R_CURLY@[28; 29) "}"
+  WHITESPACE@[29; 30) "\n"
+error 27: expected SEMI
diff --git a/crates/ra_syntax/test_data/parser/inline/err/0008_pub_expr.rs b/crates/ra_syntax/test_data/parser/inline/err/0008_pub_expr.rs
new file mode 100644
index 000000000..2976f6862
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/err/0008_pub_expr.rs
@@ -0,0 +1 @@
+fn foo() { pub 92; }
diff --git a/crates/ra_syntax/test_data/parser/inline/err/0008_pub_expr.txt b/crates/ra_syntax/test_data/parser/inline/err/0008_pub_expr.txt
new file mode 100644
index 000000000..1dbfca698
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/err/0008_pub_expr.txt
@@ -0,0 +1,25 @@
+SOURCE_FILE@[0; 21)
+  FN_DEF@[0; 20)
+    FN_KW@[0; 2) "fn"
+    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; 20)
+      L_CURLY@[9; 10) "{"
+      WHITESPACE@[10; 11) " "
+      ERROR@[11; 14)
+        VISIBILITY@[11; 14)
+          PUB_KW@[11; 14) "pub"
+      WHITESPACE@[14; 15) " "
+      EXPR_STMT@[15; 18)
+        LITERAL@[15; 17)
+          INT_NUMBER@[15; 17) "92"
+        SEMI@[17; 18) ";"
+      WHITESPACE@[18; 19) " "
+      R_CURLY@[19; 20) "}"
+  WHITESPACE@[20; 21) "\n"
+error 14: expected an item
diff --git a/crates/ra_syntax/test_data/parser/inline/err/0009_attr_on_expr_not_allowed.rs b/crates/ra_syntax/test_data/parser/inline/err/0009_attr_on_expr_not_allowed.rs
new file mode 100644
index 000000000..d725a07ce
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/err/0009_attr_on_expr_not_allowed.rs
@@ -0,0 +1,4 @@
+fn foo() {
+   #[A] 1 + 2;
+   #[B] if true {};
+}
diff --git a/crates/ra_syntax/test_data/parser/inline/err/0009_attr_on_expr_not_allowed.txt b/crates/ra_syntax/test_data/parser/inline/err/0009_attr_on_expr_not_allowed.txt
new file mode 100644
index 000000000..338776a72
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/err/0009_attr_on_expr_not_allowed.txt
@@ -0,0 +1,55 @@
+SOURCE_FILE@[0; 48)
+  FN_DEF@[0; 47)
+    FN_KW@[0; 2) "fn"
+    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; 47)
+      L_CURLY@[9; 10) "{"
+      WHITESPACE@[10; 14) "\n   "
+      EXPR_STMT@[14; 25)
+        ATTR@[14; 18)
+          POUND@[14; 15) "#"
+          TOKEN_TREE@[15; 18)
+            L_BRACK@[15; 16) "["
+            IDENT@[16; 17) "A"
+            R_BRACK@[17; 18) "]"
+        WHITESPACE@[18; 19) " "
+        BIN_EXPR@[19; 24)
+          LITERAL@[19; 20)
+            INT_NUMBER@[19; 20) "1"
+          WHITESPACE@[20; 21) " "
+          PLUS@[21; 22) "+"
+          WHITESPACE@[22; 23) " "
+          LITERAL@[23; 24)
+            INT_NUMBER@[23; 24) "2"
+        SEMI@[24; 25) ";"
+      WHITESPACE@[25; 29) "\n   "
+      EXPR_STMT@[29; 45)
+        ATTR@[29; 33)
+          POUND@[29; 30) "#"
+          TOKEN_TREE@[30; 33)
+            L_BRACK@[30; 31) "["
+            IDENT@[31; 32) "B"
+            R_BRACK@[32; 33) "]"
+        WHITESPACE@[33; 34) " "
+        IF_EXPR@[34; 44)
+          IF_KW@[34; 36) "if"
+          WHITESPACE@[36; 37) " "
+          CONDITION@[37; 41)
+            LITERAL@[37; 41)
+              TRUE_KW@[37; 41) "true"
+          WHITESPACE@[41; 42) " "
+          BLOCK@[42; 44)
+            L_CURLY@[42; 43) "{"
+            R_CURLY@[43; 44) "}"
+        SEMI@[44; 45) ";"
+      WHITESPACE@[45; 46) "\n"
+      R_CURLY@[46; 47) "}"
+  WHITESPACE@[47; 48) "\n"
+error 24: attributes are not allowed on BIN_EXPR
+error 44: attributes are not allowed on IF_EXPR
diff --git a/crates/ra_syntax/test_data/parser/inline/err/0010_bad_tuple_index_expr.rs b/crates/ra_syntax/test_data/parser/inline/err/0010_bad_tuple_index_expr.rs
new file mode 100644
index 000000000..30cc49138
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/err/0010_bad_tuple_index_expr.rs
@@ -0,0 +1,5 @@
+fn foo() {
+    x.0.;
+    x.1i32;
+    x.0x01;
+}
diff --git a/crates/ra_syntax/test_data/parser/inline/err/0010_bad_tuple_index_expr.txt b/crates/ra_syntax/test_data/parser/inline/err/0010_bad_tuple_index_expr.txt
new file mode 100644
index 000000000..a21b29c80
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/err/0010_bad_tuple_index_expr.txt
@@ -0,0 +1,51 @@
+SOURCE_FILE@[0; 47)
+  FN_DEF@[0; 46)
+    FN_KW@[0; 2) "fn"
+    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; 46)
+      L_CURLY@[9; 10) "{"
+      WHITESPACE@[10; 15) "\n    "
+      EXPR_STMT@[15; 20)
+        FIELD_EXPR@[15; 19)
+          PATH_EXPR@[15; 16)
+            PATH@[15; 16)
+              PATH_SEGMENT@[15; 16)
+                NAME_REF@[15; 16)
+                  IDENT@[15; 16) "x"
+          DOT@[16; 17) "."
+          FLOAT_NUMBER@[17; 19) "0."
+        SEMI@[19; 20) ";"
+      WHITESPACE@[20; 25) "\n    "
+      EXPR_STMT@[25; 32)
+        FIELD_EXPR@[25; 31)
+          PATH_EXPR@[25; 26)
+            PATH@[25; 26)
+              PATH_SEGMENT@[25; 26)
+                NAME_REF@[25; 26)
+                  IDENT@[25; 26) "x"
+          DOT@[26; 27) "."
+          INT_NUMBER@[27; 31) "1i32"
+        SEMI@[31; 32) ";"
+      WHITESPACE@[32; 37) "\n    "
+      EXPR_STMT@[37; 44)
+        FIELD_EXPR@[37; 43)
+          PATH_EXPR@[37; 38)
+            PATH@[37; 38)
+              PATH_SEGMENT@[37; 38)
+                NAME_REF@[37; 38)
+                  IDENT@[37; 38) "x"
+          DOT@[38; 39) "."
+          INT_NUMBER@[39; 43) "0x01"
+        SEMI@[43; 44) ";"
+      WHITESPACE@[44; 45) "\n"
+      R_CURLY@[45; 46) "}"
+  WHITESPACE@[46; 47) "\n"
+error [17; 19): Tuple (struct) field access is only allowed through decimal integers with no underscores or suffix
+error [27; 31): Tuple (struct) field access is only allowed through decimal integers with no underscores or suffix
+error [39; 43): Tuple (struct) field access is only allowed through decimal integers with no underscores or suffix
diff --git a/crates/ra_syntax/test_data/parser/inline/err/0010_wrong_order_fns.rs b/crates/ra_syntax/test_data/parser/inline/err/0010_wrong_order_fns.rs
new file mode 100644
index 000000000..16edee95d
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/err/0010_wrong_order_fns.rs
@@ -0,0 +1,2 @@
+async unsafe fn foo() {}
+unsafe const fn bar() {}
diff --git a/crates/ra_syntax/test_data/parser/inline/err/0010_wrong_order_fns.txt b/crates/ra_syntax/test_data/parser/inline/err/0010_wrong_order_fns.txt
new file mode 100644
index 000000000..b1ef210d3
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/err/0010_wrong_order_fns.txt
@@ -0,0 +1,39 @@
+SOURCE_FILE@[0; 50)
+  ERROR@[0; 5)
+    ASYNC_KW@[0; 5) "async"
+  WHITESPACE@[5; 6) " "
+  FN_DEF@[6; 24)
+    UNSAFE_KW@[6; 12) "unsafe"
+    WHITESPACE@[12; 13) " "
+    FN_KW@[13; 15) "fn"
+    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) "\n"
+  ERROR@[25; 31)
+    UNSAFE_KW@[25; 31) "unsafe"
+  WHITESPACE@[31; 32) " "
+  FN_DEF@[32; 49)
+    CONST_KW@[32; 37) "const"
+    WHITESPACE@[37; 38) " "
+    FN_KW@[38; 40) "fn"
+    WHITESPACE@[40; 41) " "
+    NAME@[41; 44)
+      IDENT@[41; 44) "bar"
+    PARAM_LIST@[44; 46)
+      L_PAREN@[44; 45) "("
+      R_PAREN@[45; 46) ")"
+    WHITESPACE@[46; 47) " "
+    BLOCK@[47; 49)
+      L_CURLY@[47; 48) "{"
+      R_CURLY@[48; 49) "}"
+  WHITESPACE@[49; 50) "\n"
+error 5: expected existential, fn, trait or impl
+error 31: expected existential, fn, trait or impl
diff --git a/crates/ra_syntax/test_data/parser/inline/err/0014_default_fn_type.rs b/crates/ra_syntax/test_data/parser/inline/err/0014_default_fn_type.rs
new file mode 100644
index 000000000..15ba8f4a8
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/err/0014_default_fn_type.rs
@@ -0,0 +1,4 @@
+trait T {
+    default type T = Bar;
+    default fn foo() {}
+}
diff --git a/crates/ra_syntax/test_data/parser/inline/err/0014_default_fn_type.txt b/crates/ra_syntax/test_data/parser/inline/err/0014_default_fn_type.txt
new file mode 100644
index 000000000..7da4e243f
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/err/0014_default_fn_type.txt
@@ -0,0 +1,58 @@
+SOURCE_FILE@[0; 62)
+  TRAIT_DEF@[0; 61)
+    TRAIT_KW@[0; 5) "trait"
+    WHITESPACE@[5; 6) " "
+    NAME@[6; 7)
+      IDENT@[6; 7) "T"
+    WHITESPACE@[7; 8) " "
+    ITEM_LIST@[8; 61)
+      L_CURLY@[8; 9) "{"
+      WHITESPACE@[9; 14) "\n    "
+      MACRO_CALL@[14; 21)
+        PATH@[14; 21)
+          PATH_SEGMENT@[14; 21)
+            NAME_REF@[14; 21)
+              IDENT@[14; 21) "default"
+      WHITESPACE@[21; 22) " "
+      TYPE_ALIAS_DEF@[22; 35)
+        TYPE_KW@[22; 26) "type"
+        WHITESPACE@[26; 27) " "
+        NAME@[27; 28)
+          IDENT@[27; 28) "T"
+        WHITESPACE@[28; 29) " "
+        EQ@[29; 30) "="
+        WHITESPACE@[30; 31) " "
+        PATH_TYPE@[31; 34)
+          PATH@[31; 34)
+            PATH_SEGMENT@[31; 34)
+              NAME_REF@[31; 34)
+                IDENT@[31; 34) "Bar"
+        SEMI@[34; 35) ";"
+      WHITESPACE@[35; 40) "\n    "
+      MACRO_CALL@[40; 47)
+        PATH@[40; 47)
+          PATH_SEGMENT@[40; 47)
+            NAME_REF@[40; 47)
+              IDENT@[40; 47) "default"
+      WHITESPACE@[47; 48) " "
+      FN_DEF@[48; 59)
+        FN_KW@[48; 50) "fn"
+        WHITESPACE@[50; 51) " "
+        NAME@[51; 54)
+          IDENT@[51; 54) "foo"
+        PARAM_LIST@[54; 56)
+          L_PAREN@[54; 55) "("
+          R_PAREN@[55; 56) ")"
+        WHITESPACE@[56; 57) " "
+        BLOCK@[57; 59)
+          L_CURLY@[57; 58) "{"
+          R_CURLY@[58; 59) "}"
+      WHITESPACE@[59; 60) "\n"
+      R_CURLY@[60; 61) "}"
+  WHITESPACE@[61; 62) "\n"
+error 21: expected EXCL
+error 21: expected `{`, `[`, `(`
+error 21: expected SEMI
+error 47: expected EXCL
+error 47: expected `{`, `[`, `(`
+error 47: expected SEMI
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0001_trait_item_list.rs b/crates/ra_syntax/test_data/parser/inline/ok/0001_trait_item_list.rs
new file mode 100644
index 000000000..a5ec3239f
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0001_trait_item_list.rs
@@ -0,0 +1,6 @@
+impl F {
+    type A: Clone;
+    const B: i32;
+    fn foo() {}
+    fn bar(&self);
+}
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0001_trait_item_list.txt b/crates/ra_syntax/test_data/parser/inline/ok/0001_trait_item_list.txt
new file mode 100644
index 000000000..18f02bb22
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0001_trait_item_list.txt
@@ -0,0 +1,71 @@
+SOURCE_FILE@[0; 83)
+  IMPL_BLOCK@[0; 82)
+    IMPL_KW@[0; 4) "impl"
+    WHITESPACE@[4; 5) " "
+    PATH_TYPE@[5; 6)
+      PATH@[5; 6)
+        PATH_SEGMENT@[5; 6)
+          NAME_REF@[5; 6)
+            IDENT@[5; 6) "F"
+    WHITESPACE@[6; 7) " "
+    ITEM_LIST@[7; 82)
+      L_CURLY@[7; 8) "{"
+      WHITESPACE@[8; 13) "\n    "
+      TYPE_ALIAS_DEF@[13; 27)
+        TYPE_KW@[13; 17) "type"
+        WHITESPACE@[17; 18) " "
+        NAME@[18; 19)
+          IDENT@[18; 19) "A"
+        COLON@[19; 20) ":"
+        WHITESPACE@[20; 21) " "
+        TYPE_BOUND_LIST@[21; 26)
+          TYPE_BOUND@[21; 26)
+            PATH_TYPE@[21; 26)
+              PATH@[21; 26)
+                PATH_SEGMENT@[21; 26)
+                  NAME_REF@[21; 26)
+                    IDENT@[21; 26) "Clone"
+        SEMI@[26; 27) ";"
+      WHITESPACE@[27; 32) "\n    "
+      CONST_DEF@[32; 45)
+        CONST_KW@[32; 37) "const"
+        WHITESPACE@[37; 38) " "
+        NAME@[38; 39)
+          IDENT@[38; 39) "B"
+        COLON@[39; 40) ":"
+        WHITESPACE@[40; 41) " "
+        PATH_TYPE@[41; 44)
+          PATH@[41; 44)
+            PATH_SEGMENT@[41; 44)
+              NAME_REF@[41; 44)
+                IDENT@[41; 44) "i32"
+        SEMI@[44; 45) ";"
+      WHITESPACE@[45; 50) "\n    "
+      FN_DEF@[50; 61)
+        FN_KW@[50; 52) "fn"
+        WHITESPACE@[52; 53) " "
+        NAME@[53; 56)
+          IDENT@[53; 56) "foo"
+        PARAM_LIST@[56; 58)
+          L_PAREN@[56; 57) "("
+          R_PAREN@[57; 58) ")"
+        WHITESPACE@[58; 59) " "
+        BLOCK@[59; 61)
+          L_CURLY@[59; 60) "{"
+          R_CURLY@[60; 61) "}"
+      WHITESPACE@[61; 66) "\n    "
+      FN_DEF@[66; 80)
+        FN_KW@[66; 68) "fn"
+        WHITESPACE@[68; 69) " "
+        NAME@[69; 72)
+          IDENT@[69; 72) "bar"
+        PARAM_LIST@[72; 79)
+          L_PAREN@[72; 73) "("
+          SELF_PARAM@[73; 78)
+            AMP@[73; 74) "&"
+            SELF_KW@[74; 78) "self"
+          R_PAREN@[78; 79) ")"
+        SEMI@[79; 80) ";"
+      WHITESPACE@[80; 81) "\n"
+      R_CURLY@[81; 82) "}"
+  WHITESPACE@[82; 83) "\n"
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0002_use_tree_list.rs b/crates/ra_syntax/test_data/parser/inline/ok/0002_use_tree_list.rs
new file mode 100644
index 000000000..06c387cee
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0002_use_tree_list.rs
@@ -0,0 +1,4 @@
+use {crate::path::from::root, or::path::from::crate_name}; // Rust 2018 (with a crate named `or`)
+use {path::from::root}; // Rust 2015
+use ::{some::arbritrary::path}; // Rust 2015
+use ::{{{crate::export}}}; // Nonsensical but perfectly legal nestnig
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0002_use_tree_list.txt b/crates/ra_syntax/test_data/parser/inline/ok/0002_use_tree_list.txt
new file mode 100644
index 000000000..1b318dfb9
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0002_use_tree_list.txt
@@ -0,0 +1,135 @@
+SOURCE_FILE@[0; 250)
+  USE_ITEM@[0; 58)
+    USE_KW@[0; 3) "use"
+    WHITESPACE@[3; 4) " "
+    USE_TREE@[4; 57)
+      USE_TREE_LIST@[4; 57)
+        L_CURLY@[4; 5) "{"
+        USE_TREE@[5; 28)
+          PATH@[5; 28)
+            PATH@[5; 22)
+              PATH@[5; 16)
+                PATH@[5; 10)
+                  PATH_SEGMENT@[5; 10)
+                    CRATE_KW@[5; 10) "crate"
+                COLONCOLON@[10; 12) "::"
+                PATH_SEGMENT@[12; 16)
+                  NAME_REF@[12; 16)
+                    IDENT@[12; 16) "path"
+              COLONCOLON@[16; 18) "::"
+              PATH_SEGMENT@[18; 22)
+                NAME_REF@[18; 22)
+                  IDENT@[18; 22) "from"
+            COLONCOLON@[22; 24) "::"
+            PATH_SEGMENT@[24; 28)
+              NAME_REF@[24; 28)
+                IDENT@[24; 28) "root"
+        COMMA@[28; 29) ","
+        WHITESPACE@[29; 30) " "
+        USE_TREE@[30; 56)
+          PATH@[30; 56)
+            PATH@[30; 44)
+              PATH@[30; 38)
+                PATH@[30; 32)
+                  PATH_SEGMENT@[30; 32)
+                    NAME_REF@[30; 32)
+                      IDENT@[30; 32) "or"
+                COLONCOLON@[32; 34) "::"
+                PATH_SEGMENT@[34; 38)
+                  NAME_REF@[34; 38)
+                    IDENT@[34; 38) "path"
+              COLONCOLON@[38; 40) "::"
+              PATH_SEGMENT@[40; 44)
+                NAME_REF@[40; 44)
+                  IDENT@[40; 44) "from"
+            COLONCOLON@[44; 46) "::"
+            PATH_SEGMENT@[46; 56)
+              NAME_REF@[46; 56)
+                IDENT@[46; 56) "crate_name"
+        R_CURLY@[56; 57) "}"
+    SEMI@[57; 58) ";"
+  WHITESPACE@[58; 59) " "
+  COMMENT@[59; 97) "// Rust 2018 (with a  ..."
+  WHITESPACE@[97; 98) "\n"
+  USE_ITEM@[98; 121)
+    USE_KW@[98; 101) "use"
+    WHITESPACE@[101; 102) " "
+    USE_TREE@[102; 120)
+      USE_TREE_LIST@[102; 120)
+        L_CURLY@[102; 103) "{"
+        USE_TREE@[103; 119)
+          PATH@[103; 119)
+            PATH@[103; 113)
+              PATH@[103; 107)
+                PATH_SEGMENT@[103; 107)
+                  NAME_REF@[103; 107)
+                    IDENT@[103; 107) "path"
+              COLONCOLON@[107; 109) "::"
+              PATH_SEGMENT@[109; 113)
+                NAME_REF@[109; 113)
+                  IDENT@[109; 113) "from"
+            COLONCOLON@[113; 115) "::"
+            PATH_SEGMENT@[115; 119)
+              NAME_REF@[115; 119)
+                IDENT@[115; 119) "root"
+        R_CURLY@[119; 120) "}"
+    SEMI@[120; 121) ";"
+  WHITESPACE@[121; 122) " "
+  COMMENT@[122; 134) "// Rust 2015"
+  WHITESPACE@[134; 135) "\n"
+  USE_ITEM@[135; 166)
+    USE_KW@[135; 138) "use"
+    WHITESPACE@[138; 139) " "
+    USE_TREE@[139; 165)
+      COLONCOLON@[139; 141) "::"
+      USE_TREE_LIST@[141; 165)
+        L_CURLY@[141; 142) "{"
+        USE_TREE@[142; 164)
+          PATH@[142; 164)
+            PATH@[142; 158)
+              PATH@[142; 146)
+                PATH_SEGMENT@[142; 146)
+                  NAME_REF@[142; 146)
+                    IDENT@[142; 146) "some"
+              COLONCOLON@[146; 148) "::"
+              PATH_SEGMENT@[148; 158)
+                NAME_REF@[148; 158)
+                  IDENT@[148; 158) "arbritrary"
+            COLONCOLON@[158; 160) "::"
+            PATH_SEGMENT@[160; 164)
+              NAME_REF@[160; 164)
+                IDENT@[160; 164) "path"
+        R_CURLY@[164; 165) "}"
+    SEMI@[165; 166) ";"
+  WHITESPACE@[166; 167) " "
+  COMMENT@[167; 179) "// Rust 2015"
+  WHITESPACE@[179; 180) "\n"
+  USE_ITEM@[180; 206)
+    USE_KW@[180; 183) "use"
+    WHITESPACE@[183; 184) " "
+    USE_TREE@[184; 205)
+      COLONCOLON@[184; 186) "::"
+      USE_TREE_LIST@[186; 205)
+        L_CURLY@[186; 187) "{"
+        USE_TREE@[187; 204)
+          USE_TREE_LIST@[187; 204)
+            L_CURLY@[187; 188) "{"
+            USE_TREE@[188; 203)
+              USE_TREE_LIST@[188; 203)
+                L_CURLY@[188; 189) "{"
+                USE_TREE@[189; 202)
+                  PATH@[189; 202)
+                    PATH@[189; 194)
+                      PATH_SEGMENT@[189; 194)
+                        CRATE_KW@[189; 194) "crate"
+                    COLONCOLON@[194; 196) "::"
+                    PATH_SEGMENT@[196; 202)
+                      NAME_REF@[196; 202)
+                        IDENT@[196; 202) "export"
+                R_CURLY@[202; 203) "}"
+            R_CURLY@[203; 204) "}"
+        R_CURLY@[204; 205) "}"
+    SEMI@[205; 206) ";"
+  WHITESPACE@[206; 207) " "
+  COMMENT@[207; 249) "// Nonsensical but pe ..."
+  WHITESPACE@[249; 250) "\n"
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0003_where_pred_for.rs b/crates/ra_syntax/test_data/parser/inline/ok/0003_where_pred_for.rs
new file mode 100644
index 000000000..b448c6178
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0003_where_pred_for.rs
@@ -0,0 +1,4 @@
+fn test<F>()
+where
+   for<'a> F: Fn(&'a str)
+{ }
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0003_where_pred_for.txt b/crates/ra_syntax/test_data/parser/inline/ok/0003_where_pred_for.txt
new file mode 100644
index 000000000..8a21ee968
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0003_where_pred_for.txt
@@ -0,0 +1,61 @@
+SOURCE_FILE@[0; 49)
+  FN_DEF@[0; 48)
+    FN_KW@[0; 2) "fn"
+    WHITESPACE@[2; 3) " "
+    NAME@[3; 7)
+      IDENT@[3; 7) "test"
+    TYPE_PARAM_LIST@[7; 10)
+      L_ANGLE@[7; 8) "<"
+      TYPE_PARAM@[8; 9)
+        NAME@[8; 9)
+          IDENT@[8; 9) "F"
+      R_ANGLE@[9; 10) ">"
+    PARAM_LIST@[10; 12)
+      L_PAREN@[10; 11) "("
+      R_PAREN@[11; 12) ")"
+    WHITESPACE@[12; 13) "\n"
+    WHERE_CLAUSE@[13; 44)
+      WHERE_KW@[13; 18) "where"
+      WHITESPACE@[18; 22) "\n   "
+      WHERE_PRED@[22; 44)
+        FOR_TYPE@[22; 31)
+          FOR_KW@[22; 25) "for"
+          TYPE_PARAM_LIST@[25; 29)
+            L_ANGLE@[25; 26) "<"
+            LIFETIME_PARAM@[26; 28)
+              LIFETIME@[26; 28) "\'a"
+            R_ANGLE@[28; 29) ">"
+          WHITESPACE@[29; 30) " "
+          PATH_TYPE@[30; 31)
+            PATH@[30; 31)
+              PATH_SEGMENT@[30; 31)
+                NAME_REF@[30; 31)
+                  IDENT@[30; 31) "F"
+        COLON@[31; 32) ":"
+        WHITESPACE@[32; 33) " "
+        TYPE_BOUND_LIST@[33; 44)
+          TYPE_BOUND@[33; 44)
+            PATH_TYPE@[33; 44)
+              PATH@[33; 44)
+                PATH_SEGMENT@[33; 44)
+                  NAME_REF@[33; 35)
+                    IDENT@[33; 35) "Fn"
+                  PARAM_LIST@[35; 44)
+                    L_PAREN@[35; 36) "("
+                    PARAM@[36; 43)
+                      REFERENCE_TYPE@[36; 43)
+                        AMP@[36; 37) "&"
+                        LIFETIME@[37; 39) "\'a"
+                        WHITESPACE@[39; 40) " "
+                        PATH_TYPE@[40; 43)
+                          PATH@[40; 43)
+                            PATH_SEGMENT@[40; 43)
+                              NAME_REF@[40; 43)
+                                IDENT@[40; 43) "str"
+                    R_PAREN@[43; 44) ")"
+    WHITESPACE@[44; 45) "\n"
+    BLOCK@[45; 48)
+      L_CURLY@[45; 46) "{"
+      WHITESPACE@[46; 47) " "
+      R_CURLY@[47; 48) "}"
+  WHITESPACE@[48; 49) "\n"
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0004_value_parameters_no_patterns.rs b/crates/ra_syntax/test_data/parser/inline/ok/0004_value_parameters_no_patterns.rs
new file mode 100644
index 000000000..d8c23c76a
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0004_value_parameters_no_patterns.rs
@@ -0,0 +1 @@
+type F = Box<Fn(a: i32, &b: &i32, &mut c: &i32, ())>;
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0004_value_parameters_no_patterns.txt b/crates/ra_syntax/test_data/parser/inline/ok/0004_value_parameters_no_patterns.txt
new file mode 100644
index 000000000..8cfba8420
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0004_value_parameters_no_patterns.txt
@@ -0,0 +1,81 @@
+SOURCE_FILE@[0; 54)
+  TYPE_ALIAS_DEF@[0; 53)
+    TYPE_KW@[0; 4) "type"
+    WHITESPACE@[4; 5) " "
+    NAME@[5; 6)
+      IDENT@[5; 6) "F"
+    WHITESPACE@[6; 7) " "
+    EQ@[7; 8) "="
+    WHITESPACE@[8; 9) " "
+    PATH_TYPE@[9; 52)
+      PATH@[9; 52)
+        PATH_SEGMENT@[9; 52)
+          NAME_REF@[9; 12)
+            IDENT@[9; 12) "Box"
+          TYPE_ARG_LIST@[12; 52)
+            L_ANGLE@[12; 13) "<"
+            TYPE_ARG@[13; 51)
+              PATH_TYPE@[13; 51)
+                PATH@[13; 51)
+                  PATH_SEGMENT@[13; 51)
+                    NAME_REF@[13; 15)
+                      IDENT@[13; 15) "Fn"
+                    PARAM_LIST@[15; 51)
+                      L_PAREN@[15; 16) "("
+                      PARAM@[16; 22)
+                        BIND_PAT@[16; 17)
+                          NAME@[16; 17)
+                            IDENT@[16; 17) "a"
+                        COLON@[17; 18) ":"
+                        WHITESPACE@[18; 19) " "
+                        PATH_TYPE@[19; 22)
+                          PATH@[19; 22)
+                            PATH_SEGMENT@[19; 22)
+                              NAME_REF@[19; 22)
+                                IDENT@[19; 22) "i32"
+                      COMMA@[22; 23) ","
+                      WHITESPACE@[23; 24) " "
+                      PARAM@[24; 32)
+                        REF_PAT@[24; 26)
+                          AMP@[24; 25) "&"
+                          BIND_PAT@[25; 26)
+                            NAME@[25; 26)
+                              IDENT@[25; 26) "b"
+                        COLON@[26; 27) ":"
+                        WHITESPACE@[27; 28) " "
+                        REFERENCE_TYPE@[28; 32)
+                          AMP@[28; 29) "&"
+                          PATH_TYPE@[29; 32)
+                            PATH@[29; 32)
+                              PATH_SEGMENT@[29; 32)
+                                NAME_REF@[29; 32)
+                                  IDENT@[29; 32) "i32"
+                      COMMA@[32; 33) ","
+                      WHITESPACE@[33; 34) " "
+                      PARAM@[34; 46)
+                        REF_PAT@[34; 40)
+                          AMP@[34; 35) "&"
+                          MUT_KW@[35; 38) "mut"
+                          WHITESPACE@[38; 39) " "
+                          BIND_PAT@[39; 40)
+                            NAME@[39; 40)
+                              IDENT@[39; 40) "c"
+                        COLON@[40; 41) ":"
+                        WHITESPACE@[41; 42) " "
+                        REFERENCE_TYPE@[42; 46)
+                          AMP@[42; 43) "&"
+                          PATH_TYPE@[43; 46)
+                            PATH@[43; 46)
+                              PATH_SEGMENT@[43; 46)
+                                NAME_REF@[43; 46)
+                                  IDENT@[43; 46) "i32"
+                      COMMA@[46; 47) ","
+                      WHITESPACE@[47; 48) " "
+                      PARAM@[48; 50)
+                        TUPLE_TYPE@[48; 50)
+                          L_PAREN@[48; 49) "("
+                          R_PAREN@[49; 50) ")"
+                      R_PAREN@[50; 51) ")"
+            R_ANGLE@[51; 52) ">"
+    SEMI@[52; 53) ";"
+  WHITESPACE@[53; 54) "\n"
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0005_function_type_params.rs b/crates/ra_syntax/test_data/parser/inline/ok/0005_function_type_params.rs
new file mode 100644
index 000000000..9df40ed39
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0005_function_type_params.rs
@@ -0,0 +1 @@
+fn foo<T: Clone + Copy>(){}
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0005_function_type_params.txt b/crates/ra_syntax/test_data/parser/inline/ok/0005_function_type_params.txt
new file mode 100644
index 000000000..c1a70d566
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0005_function_type_params.txt
@@ -0,0 +1,37 @@
+SOURCE_FILE@[0; 28)
+  FN_DEF@[0; 27)
+    FN_KW@[0; 2) "fn"
+    WHITESPACE@[2; 3) " "
+    NAME@[3; 6)
+      IDENT@[3; 6) "foo"
+    TYPE_PARAM_LIST@[6; 23)
+      L_ANGLE@[6; 7) "<"
+      TYPE_PARAM@[7; 22)
+        NAME@[7; 8)
+          IDENT@[7; 8) "T"
+        COLON@[8; 9) ":"
+        WHITESPACE@[9; 10) " "
+        TYPE_BOUND_LIST@[10; 22)
+          TYPE_BOUND@[10; 15)
+            PATH_TYPE@[10; 15)
+              PATH@[10; 15)
+                PATH_SEGMENT@[10; 15)
+                  NAME_REF@[10; 15)
+                    IDENT@[10; 15) "Clone"
+          WHITESPACE@[15; 16) " "
+          PLUS@[16; 17) "+"
+          WHITESPACE@[17; 18) " "
+          TYPE_BOUND@[18; 22)
+            PATH_TYPE@[18; 22)
+              PATH@[18; 22)
+                PATH_SEGMENT@[18; 22)
+                  NAME_REF@[18; 22)
+                    IDENT@[18; 22) "Copy"
+      R_ANGLE@[22; 23) ">"
+    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; 28) "\n"
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0006_self_param.rs b/crates/ra_syntax/test_data/parser/inline/ok/0006_self_param.rs
new file mode 100644
index 000000000..80c0a43f5
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0006_self_param.rs
@@ -0,0 +1,7 @@
+impl S {
+    fn a(self) {}
+    fn b(&self,) {}
+    fn c(&'a self,) {}
+    fn d(&'a mut self, x: i32) {}
+    fn e(mut self) {}
+}
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0006_self_param.txt b/crates/ra_syntax/test_data/parser/inline/ok/0006_self_param.txt
new file mode 100644
index 000000000..8e210a6ca
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0006_self_param.txt
@@ -0,0 +1,116 @@
+SOURCE_FILE@[0; 128)
+  IMPL_BLOCK@[0; 127)
+    IMPL_KW@[0; 4) "impl"
+    WHITESPACE@[4; 5) " "
+    PATH_TYPE@[5; 6)
+      PATH@[5; 6)
+        PATH_SEGMENT@[5; 6)
+          NAME_REF@[5; 6)
+            IDENT@[5; 6) "S"
+    WHITESPACE@[6; 7) " "
+    ITEM_LIST@[7; 127)
+      L_CURLY@[7; 8) "{"
+      WHITESPACE@[8; 13) "\n    "
+      FN_DEF@[13; 26)
+        FN_KW@[13; 15) "fn"
+        WHITESPACE@[15; 16) " "
+        NAME@[16; 17)
+          IDENT@[16; 17) "a"
+        PARAM_LIST@[17; 23)
+          L_PAREN@[17; 18) "("
+          SELF_PARAM@[18; 22)
+            SELF_KW@[18; 22) "self"
+          R_PAREN@[22; 23) ")"
+        WHITESPACE@[23; 24) " "
+        BLOCK@[24; 26)
+          L_CURLY@[24; 25) "{"
+          R_CURLY@[25; 26) "}"
+      WHITESPACE@[26; 31) "\n    "
+      FN_DEF@[31; 46)
+        FN_KW@[31; 33) "fn"
+        WHITESPACE@[33; 34) " "
+        NAME@[34; 35)
+          IDENT@[34; 35) "b"
+        PARAM_LIST@[35; 43)
+          L_PAREN@[35; 36) "("
+          SELF_PARAM@[36; 41)
+            AMP@[36; 37) "&"
+            SELF_KW@[37; 41) "self"
+          COMMA@[41; 42) ","
+          R_PAREN@[42; 43) ")"
+        WHITESPACE@[43; 44) " "
+        BLOCK@[44; 46)
+          L_CURLY@[44; 45) "{"
+          R_CURLY@[45; 46) "}"
+      WHITESPACE@[46; 51) "\n    "
+      FN_DEF@[51; 69)
+        FN_KW@[51; 53) "fn"
+        WHITESPACE@[53; 54) " "
+        NAME@[54; 55)
+          IDENT@[54; 55) "c"
+        PARAM_LIST@[55; 66)
+          L_PAREN@[55; 56) "("
+          SELF_PARAM@[56; 64)
+            AMP@[56; 57) "&"
+            LIFETIME@[57; 59) "\'a"
+            WHITESPACE@[59; 60) " "
+            SELF_KW@[60; 64) "self"
+          COMMA@[64; 65) ","
+          R_PAREN@[65; 66) ")"
+        WHITESPACE@[66; 67) " "
+        BLOCK@[67; 69)
+          L_CURLY@[67; 68) "{"
+          R_CURLY@[68; 69) "}"
+      WHITESPACE@[69; 74) "\n    "
+      FN_DEF@[74; 103)
+        FN_KW@[74; 76) "fn"
+        WHITESPACE@[76; 77) " "
+        NAME@[77; 78)
+          IDENT@[77; 78) "d"
+        PARAM_LIST@[78; 100)
+          L_PAREN@[78; 79) "("
+          SELF_PARAM@[79; 91)
+            AMP@[79; 80) "&"
+            LIFETIME@[80; 82) "\'a"
+            WHITESPACE@[82; 83) " "
+            MUT_KW@[83; 86) "mut"
+            WHITESPACE@[86; 87) " "
+            SELF_KW@[87; 91) "self"
+          COMMA@[91; 92) ","
+          WHITESPACE@[92; 93) " "
+          PARAM@[93; 99)
+            BIND_PAT@[93; 94)
+              NAME@[93; 94)
+                IDENT@[93; 94) "x"
+            COLON@[94; 95) ":"
+            WHITESPACE@[95; 96) " "
+            PATH_TYPE@[96; 99)
+              PATH@[96; 99)
+                PATH_SEGMENT@[96; 99)
+                  NAME_REF@[96; 99)
+                    IDENT@[96; 99) "i32"
+          R_PAREN@[99; 100) ")"
+        WHITESPACE@[100; 101) " "
+        BLOCK@[101; 103)
+          L_CURLY@[101; 102) "{"
+          R_CURLY@[102; 103) "}"
+      WHITESPACE@[103; 108) "\n    "
+      FN_DEF@[108; 125)
+        FN_KW@[108; 110) "fn"
+        WHITESPACE@[110; 111) " "
+        NAME@[111; 112)
+          IDENT@[111; 112) "e"
+        PARAM_LIST@[112; 122)
+          L_PAREN@[112; 113) "("
+          SELF_PARAM@[113; 121)
+            MUT_KW@[113; 116) "mut"
+            WHITESPACE@[116; 117) " "
+            SELF_KW@[117; 121) "self"
+          R_PAREN@[121; 122) ")"
+        WHITESPACE@[122; 123) " "
+        BLOCK@[123; 125)
+          L_CURLY@[123; 124) "{"
+          R_CURLY@[124; 125) "}"
+      WHITESPACE@[125; 126) "\n"
+      R_CURLY@[126; 127) "}"
+  WHITESPACE@[127; 128) "\n"
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0007_type_param_bounds.rs b/crates/ra_syntax/test_data/parser/inline/ok/0007_type_param_bounds.rs
new file mode 100644
index 000000000..919bde0ee
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0007_type_param_bounds.rs
@@ -0,0 +1 @@
+struct S<T: 'a + ?Sized + (Copy)>;
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0007_type_param_bounds.txt b/crates/ra_syntax/test_data/parser/inline/ok/0007_type_param_bounds.txt
new file mode 100644
index 000000000..a7186c7a8
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0007_type_param_bounds.txt
@@ -0,0 +1,40 @@
+SOURCE_FILE@[0; 35)
+  STRUCT_DEF@[0; 34)
+    STRUCT_KW@[0; 6) "struct"
+    WHITESPACE@[6; 7) " "
+    NAME@[7; 8)
+      IDENT@[7; 8) "S"
+    TYPE_PARAM_LIST@[8; 33)
+      L_ANGLE@[8; 9) "<"
+      TYPE_PARAM@[9; 32)
+        NAME@[9; 10)
+          IDENT@[9; 10) "T"
+        COLON@[10; 11) ":"
+        WHITESPACE@[11; 12) " "
+        TYPE_BOUND_LIST@[12; 32)
+          TYPE_BOUND@[12; 14)
+            LIFETIME@[12; 14) "\'a"
+          WHITESPACE@[14; 15) " "
+          PLUS@[15; 16) "+"
+          WHITESPACE@[16; 17) " "
+          TYPE_BOUND@[17; 23)
+            QUESTION@[17; 18) "?"
+            PATH_TYPE@[18; 23)
+              PATH@[18; 23)
+                PATH_SEGMENT@[18; 23)
+                  NAME_REF@[18; 23)
+                    IDENT@[18; 23) "Sized"
+          WHITESPACE@[23; 24) " "
+          PLUS@[24; 25) "+"
+          WHITESPACE@[25; 26) " "
+          TYPE_BOUND@[26; 32)
+            L_PAREN@[26; 27) "("
+            PATH_TYPE@[27; 31)
+              PATH@[27; 31)
+                PATH_SEGMENT@[27; 31)
+                  NAME_REF@[27; 31)
+                    IDENT@[27; 31) "Copy"
+            R_PAREN@[31; 32) ")"
+      R_ANGLE@[32; 33) ">"
+    SEMI@[33; 34) ";"
+  WHITESPACE@[34; 35) "\n"
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0008_path_part.rs b/crates/ra_syntax/test_data/parser/inline/ok/0008_path_part.rs
new file mode 100644
index 000000000..f6e32c7c1
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0008_path_part.rs
@@ -0,0 +1,6 @@
+fn foo() {
+    let foo::Bar = ();
+    let ::Bar = ();
+    let Bar { .. } = ();
+    let Bar(..) = ();
+}
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0008_path_part.txt b/crates/ra_syntax/test_data/parser/inline/ok/0008_path_part.txt
new file mode 100644
index 000000000..0c6be485e
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0008_path_part.txt
@@ -0,0 +1,95 @@
+SOURCE_FILE@[0; 103)
+  FN_DEF@[0; 102)
+    FN_KW@[0; 2) "fn"
+    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; 102)
+      L_CURLY@[9; 10) "{"
+      WHITESPACE@[10; 15) "\n    "
+      LET_STMT@[15; 33)
+        LET_KW@[15; 18) "let"
+        WHITESPACE@[18; 19) " "
+        PATH_PAT@[19; 27)
+          PATH@[19; 27)
+            PATH@[19; 22)
+              PATH_SEGMENT@[19; 22)
+                NAME_REF@[19; 22)
+                  IDENT@[19; 22) "foo"
+            COLONCOLON@[22; 24) "::"
+            PATH_SEGMENT@[24; 27)
+              NAME_REF@[24; 27)
+                IDENT@[24; 27) "Bar"
+        WHITESPACE@[27; 28) " "
+        EQ@[28; 29) "="
+        WHITESPACE@[29; 30) " "
+        TUPLE_EXPR@[30; 32)
+          L_PAREN@[30; 31) "("
+          R_PAREN@[31; 32) ")"
+        SEMI@[32; 33) ";"
+      WHITESPACE@[33; 38) "\n    "
+      LET_STMT@[38; 53)
+        LET_KW@[38; 41) "let"
+        WHITESPACE@[41; 42) " "
+        PATH_PAT@[42; 47)
+          PATH@[42; 47)
+            PATH_SEGMENT@[42; 47)
+              COLONCOLON@[42; 44) "::"
+              NAME_REF@[44; 47)
+                IDENT@[44; 47) "Bar"
+        WHITESPACE@[47; 48) " "
+        EQ@[48; 49) "="
+        WHITESPACE@[49; 50) " "
+        TUPLE_EXPR@[50; 52)
+          L_PAREN@[50; 51) "("
+          R_PAREN@[51; 52) ")"
+        SEMI@[52; 53) ";"
+      WHITESPACE@[53; 58) "\n    "
+      LET_STMT@[58; 78)
+        LET_KW@[58; 61) "let"
+        WHITESPACE@[61; 62) " "
+        STRUCT_PAT@[62; 72)
+          PATH@[62; 65)
+            PATH_SEGMENT@[62; 65)
+              NAME_REF@[62; 65)
+                IDENT@[62; 65) "Bar"
+          WHITESPACE@[65; 66) " "
+          FIELD_PAT_LIST@[66; 72)
+            L_CURLY@[66; 67) "{"
+            WHITESPACE@[67; 68) " "
+            DOTDOT@[68; 70) ".."
+            WHITESPACE@[70; 71) " "
+            R_CURLY@[71; 72) "}"
+        WHITESPACE@[72; 73) " "
+        EQ@[73; 74) "="
+        WHITESPACE@[74; 75) " "
+        TUPLE_EXPR@[75; 77)
+          L_PAREN@[75; 76) "("
+          R_PAREN@[76; 77) ")"
+        SEMI@[77; 78) ";"
+      WHITESPACE@[78; 83) "\n    "
+      LET_STMT@[83; 100)
+        LET_KW@[83; 86) "let"
+        WHITESPACE@[86; 87) " "
+        TUPLE_STRUCT_PAT@[87; 94)
+          PATH@[87; 90)
+            PATH_SEGMENT@[87; 90)
+              NAME_REF@[87; 90)
+                IDENT@[87; 90) "Bar"
+          L_PAREN@[90; 91) "("
+          DOTDOT@[91; 93) ".."
+          R_PAREN@[93; 94) ")"
+        WHITESPACE@[94; 95) " "
+        EQ@[95; 96) "="
+        WHITESPACE@[96; 97) " "
+        TUPLE_EXPR@[97; 99)
+          L_PAREN@[97; 98) "("
+          R_PAREN@[98; 99) ")"
+        SEMI@[99; 100) ";"
+      WHITESPACE@[100; 101) "\n"
+      R_CURLY@[101; 102) "}"
+  WHITESPACE@[102; 103) "\n"
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0009_loop_expr.rs b/crates/ra_syntax/test_data/parser/inline/ok/0009_loop_expr.rs
new file mode 100644
index 000000000..9f078fa48
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0009_loop_expr.rs
@@ -0,0 +1,3 @@
+fn foo() {
+    loop {};
+}
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0009_loop_expr.txt b/crates/ra_syntax/test_data/parser/inline/ok/0009_loop_expr.txt
new file mode 100644
index 000000000..8240aba15
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0009_loop_expr.txt
@@ -0,0 +1,24 @@
+SOURCE_FILE@[0; 26)
+  FN_DEF@[0; 25)
+    FN_KW@[0; 2) "fn"
+    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; 25)
+      L_CURLY@[9; 10) "{"
+      WHITESPACE@[10; 15) "\n    "
+      EXPR_STMT@[15; 23)
+        LOOP_EXPR@[15; 22)
+          LOOP_KW@[15; 19) "loop"
+          WHITESPACE@[19; 20) " "
+          BLOCK@[20; 22)
+            L_CURLY@[20; 21) "{"
+            R_CURLY@[21; 22) "}"
+        SEMI@[22; 23) ";"
+      WHITESPACE@[23; 24) "\n"
+      R_CURLY@[24; 25) "}"
+  WHITESPACE@[25; 26) "\n"
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0010_extern_block.rs b/crates/ra_syntax/test_data/parser/inline/ok/0010_extern_block.rs
new file mode 100644
index 000000000..26a9ccd1e
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0010_extern_block.rs
@@ -0,0 +1 @@
+extern {}
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0010_extern_block.txt b/crates/ra_syntax/test_data/parser/inline/ok/0010_extern_block.txt
new file mode 100644
index 000000000..506f56fff
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0010_extern_block.txt
@@ -0,0 +1,9 @@
+SOURCE_FILE@[0; 10)
+  EXTERN_BLOCK@[0; 9)
+    ABI@[0; 6)
+      EXTERN_KW@[0; 6) "extern"
+    WHITESPACE@[6; 7) " "
+    EXTERN_ITEM_LIST@[7; 9)
+      L_CURLY@[7; 8) "{"
+      R_CURLY@[8; 9) "}"
+  WHITESPACE@[9; 10) "\n"
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0011_field_expr.rs b/crates/ra_syntax/test_data/parser/inline/ok/0011_field_expr.rs
new file mode 100644
index 000000000..b8da2ddc3
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0011_field_expr.rs
@@ -0,0 +1,5 @@
+fn foo() {
+    x.foo;
+    x.0.bar;
+    x.0();
+}
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0011_field_expr.txt b/crates/ra_syntax/test_data/parser/inline/ok/0011_field_expr.txt
new file mode 100644
index 000000000..78054ec5a
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0011_field_expr.txt
@@ -0,0 +1,57 @@
+SOURCE_FILE@[0; 48)
+  FN_DEF@[0; 47)
+    FN_KW@[0; 2) "fn"
+    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; 47)
+      L_CURLY@[9; 10) "{"
+      WHITESPACE@[10; 15) "\n    "
+      EXPR_STMT@[15; 21)
+        FIELD_EXPR@[15; 20)
+          PATH_EXPR@[15; 16)
+            PATH@[15; 16)
+              PATH_SEGMENT@[15; 16)
+                NAME_REF@[15; 16)
+                  IDENT@[15; 16) "x"
+          DOT@[16; 17) "."
+          NAME_REF@[17; 20)
+            IDENT@[17; 20) "foo"
+        SEMI@[20; 21) ";"
+      WHITESPACE@[21; 26) "\n    "
+      EXPR_STMT@[26; 34)
+        FIELD_EXPR@[26; 33)
+          FIELD_EXPR@[26; 29)
+            PATH_EXPR@[26; 27)
+              PATH@[26; 27)
+                PATH_SEGMENT@[26; 27)
+                  NAME_REF@[26; 27)
+                    IDENT@[26; 27) "x"
+            DOT@[27; 28) "."
+            INT_NUMBER@[28; 29) "0"
+          DOT@[29; 30) "."
+          NAME_REF@[30; 33)
+            IDENT@[30; 33) "bar"
+        SEMI@[33; 34) ";"
+      WHITESPACE@[34; 39) "\n    "
+      EXPR_STMT@[39; 45)
+        CALL_EXPR@[39; 44)
+          FIELD_EXPR@[39; 42)
+            PATH_EXPR@[39; 40)
+              PATH@[39; 40)
+                PATH_SEGMENT@[39; 40)
+                  NAME_REF@[39; 40)
+                    IDENT@[39; 40) "x"
+            DOT@[40; 41) "."
+            INT_NUMBER@[41; 42) "0"
+          ARG_LIST@[42; 44)
+            L_PAREN@[42; 43) "("
+            R_PAREN@[43; 44) ")"
+        SEMI@[44; 45) ";"
+      WHITESPACE@[45; 46) "\n"
+      R_CURLY@[46; 47) "}"
+  WHITESPACE@[47; 48) "\n"
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0012_type_item_where_clause.rs b/crates/ra_syntax/test_data/parser/inline/ok/0012_type_item_where_clause.rs
new file mode 100644
index 000000000..a602d07f0
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0012_type_item_where_clause.rs
@@ -0,0 +1 @@
+type Foo where Foo: Copy = ();
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0012_type_item_where_clause.txt b/crates/ra_syntax/test_data/parser/inline/ok/0012_type_item_where_clause.txt
new file mode 100644
index 000000000..da04dac5c
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0012_type_item_where_clause.txt
@@ -0,0 +1,33 @@
+SOURCE_FILE@[0; 31)
+  TYPE_ALIAS_DEF@[0; 30)
+    TYPE_KW@[0; 4) "type"
+    WHITESPACE@[4; 5) " "
+    NAME@[5; 8)
+      IDENT@[5; 8) "Foo"
+    WHITESPACE@[8; 9) " "
+    WHERE_CLAUSE@[9; 24)
+      WHERE_KW@[9; 14) "where"
+      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) " "
+        TYPE_BOUND_LIST@[20; 24)
+          TYPE_BOUND@[20; 24)
+            PATH_TYPE@[20; 24)
+              PATH@[20; 24)
+                PATH_SEGMENT@[20; 24)
+                  NAME_REF@[20; 24)
+                    IDENT@[20; 24) "Copy"
+    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) "\n"
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0013_pointer_type_mut.rs b/crates/ra_syntax/test_data/parser/inline/ok/0013_pointer_type_mut.rs
new file mode 100644
index 000000000..04b2bb9ba
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0013_pointer_type_mut.rs
@@ -0,0 +1,2 @@
+type M = *mut ();
+type C = *mut ();
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0013_pointer_type_mut.txt b/crates/ra_syntax/test_data/parser/inline/ok/0013_pointer_type_mut.txt
new file mode 100644
index 000000000..c05f873d6
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0013_pointer_type_mut.txt
@@ -0,0 +1,35 @@
+SOURCE_FILE@[0; 36)
+  TYPE_ALIAS_DEF@[0; 17)
+    TYPE_KW@[0; 4) "type"
+    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) "mut"
+      WHITESPACE@[13; 14) " "
+      TUPLE_TYPE@[14; 16)
+        L_PAREN@[14; 15) "("
+        R_PAREN@[15; 16) ")"
+    SEMI@[16; 17) ";"
+  WHITESPACE@[17; 18) "\n"
+  TYPE_ALIAS_DEF@[18; 35)
+    TYPE_KW@[18; 22) "type"
+    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) "mut"
+      WHITESPACE@[31; 32) " "
+      TUPLE_TYPE@[32; 34)
+        L_PAREN@[32; 33) "("
+        R_PAREN@[33; 34) ")"
+    SEMI@[34; 35) ";"
+  WHITESPACE@[35; 36) "\n"
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0014_never_type.rs b/crates/ra_syntax/test_data/parser/inline/ok/0014_never_type.rs
new file mode 100644
index 000000000..de399fcf4
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0014_never_type.rs
@@ -0,0 +1 @@
+type Never = !;
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0014_never_type.txt b/crates/ra_syntax/test_data/parser/inline/ok/0014_never_type.txt
new file mode 100644
index 000000000..ac53e4fd3
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0014_never_type.txt
@@ -0,0 +1,13 @@
+SOURCE_FILE@[0; 16)
+  TYPE_ALIAS_DEF@[0; 15)
+    TYPE_KW@[0; 4) "type"
+    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) "\n"
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0015_continue_expr.rs b/crates/ra_syntax/test_data/parser/inline/ok/0015_continue_expr.rs
new file mode 100644
index 000000000..474cc3f0e
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0015_continue_expr.rs
@@ -0,0 +1,6 @@
+fn foo() {
+    loop {
+        continue;
+        continue 'l;
+    }
+}
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0015_continue_expr.txt b/crates/ra_syntax/test_data/parser/inline/ok/0015_continue_expr.txt
new file mode 100644
index 000000000..e8cc32f2c
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0015_continue_expr.txt
@@ -0,0 +1,35 @@
+SOURCE_FILE@[0; 69)
+  FN_DEF@[0; 68)
+    FN_KW@[0; 2) "fn"
+    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; 68)
+      L_CURLY@[9; 10) "{"
+      WHITESPACE@[10; 15) "\n    "
+      LOOP_EXPR@[15; 66)
+        LOOP_KW@[15; 19) "loop"
+        WHITESPACE@[19; 20) " "
+        BLOCK@[20; 66)
+          L_CURLY@[20; 21) "{"
+          WHITESPACE@[21; 30) "\n        "
+          EXPR_STMT@[30; 39)
+            CONTINUE_EXPR@[30; 38)
+              CONTINUE_KW@[30; 38) "continue"
+            SEMI@[38; 39) ";"
+          WHITESPACE@[39; 48) "\n        "
+          EXPR_STMT@[48; 60)
+            CONTINUE_EXPR@[48; 59)
+              CONTINUE_KW@[48; 56) "continue"
+              WHITESPACE@[56; 57) " "
+              LIFETIME@[57; 59) "\'l"
+            SEMI@[59; 60) ";"
+          WHITESPACE@[60; 65) "\n    "
+          R_CURLY@[65; 66) "}"
+      WHITESPACE@[66; 67) "\n"
+      R_CURLY@[67; 68) "}"
+  WHITESPACE@[68; 69) "\n"
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0016_unsafe_trait.rs b/crates/ra_syntax/test_data/parser/inline/ok/0016_unsafe_trait.rs
new file mode 100644
index 000000000..04e021550
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0016_unsafe_trait.rs
@@ -0,0 +1 @@
+unsafe trait T {}
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0016_unsafe_trait.txt b/crates/ra_syntax/test_data/parser/inline/ok/0016_unsafe_trait.txt
new file mode 100644
index 000000000..7b43f1294
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0016_unsafe_trait.txt
@@ -0,0 +1,13 @@
+SOURCE_FILE@[0; 18)
+  TRAIT_DEF@[0; 17)
+    UNSAFE_KW@[0; 6) "unsafe"
+    WHITESPACE@[6; 7) " "
+    TRAIT_KW@[7; 12) "trait"
+    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) "\n"
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0017_array_type.rs b/crates/ra_syntax/test_data/parser/inline/ok/0017_array_type.rs
new file mode 100644
index 000000000..27eb22f22
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0017_array_type.rs
@@ -0,0 +1 @@
+type T = [(); 92];
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0017_array_type.txt b/crates/ra_syntax/test_data/parser/inline/ok/0017_array_type.txt
new file mode 100644
index 000000000..b4055c9f0
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0017_array_type.txt
@@ -0,0 +1,21 @@
+SOURCE_FILE@[0; 19)
+  TYPE_ALIAS_DEF@[0; 18)
+    TYPE_KW@[0; 4) "type"
+    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) "\n"
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0018_arb_self_types.rs b/crates/ra_syntax/test_data/parser/inline/ok/0018_arb_self_types.rs
new file mode 100644
index 000000000..6a170d5ac
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0018_arb_self_types.rs
@@ -0,0 +1,4 @@
+impl S {
+    fn a(self: &Self) {}
+    fn b(mut self: Box<Self>) {}
+}
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0018_arb_self_types.txt b/crates/ra_syntax/test_data/parser/inline/ok/0018_arb_self_types.txt
new file mode 100644
index 000000000..67d0de0f0
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0018_arb_self_types.txt
@@ -0,0 +1,72 @@
+SOURCE_FILE@[0; 69)
+  IMPL_BLOCK@[0; 68)
+    IMPL_KW@[0; 4) "impl"
+    WHITESPACE@[4; 5) " "
+    PATH_TYPE@[5; 6)
+      PATH@[5; 6)
+        PATH_SEGMENT@[5; 6)
+          NAME_REF@[5; 6)
+            IDENT@[5; 6) "S"
+    WHITESPACE@[6; 7) " "
+    ITEM_LIST@[7; 68)
+      L_CURLY@[7; 8) "{"
+      WHITESPACE@[8; 13) "\n    "
+      FN_DEF@[13; 33)
+        FN_KW@[13; 15) "fn"
+        WHITESPACE@[15; 16) " "
+        NAME@[16; 17)
+          IDENT@[16; 17) "a"
+        PARAM_LIST@[17; 30)
+          L_PAREN@[17; 18) "("
+          SELF_PARAM@[18; 29)
+            SELF_KW@[18; 22) "self"
+            COLON@[22; 23) ":"
+            WHITESPACE@[23; 24) " "
+            REFERENCE_TYPE@[24; 29)
+              AMP@[24; 25) "&"
+              PATH_TYPE@[25; 29)
+                PATH@[25; 29)
+                  PATH_SEGMENT@[25; 29)
+                    NAME_REF@[25; 29)
+                      IDENT@[25; 29) "Self"
+          R_PAREN@[29; 30) ")"
+        WHITESPACE@[30; 31) " "
+        BLOCK@[31; 33)
+          L_CURLY@[31; 32) "{"
+          R_CURLY@[32; 33) "}"
+      WHITESPACE@[33; 38) "\n    "
+      FN_DEF@[38; 66)
+        FN_KW@[38; 40) "fn"
+        WHITESPACE@[40; 41) " "
+        NAME@[41; 42)
+          IDENT@[41; 42) "b"
+        PARAM_LIST@[42; 63)
+          L_PAREN@[42; 43) "("
+          SELF_PARAM@[43; 62)
+            MUT_KW@[43; 46) "mut"
+            WHITESPACE@[46; 47) " "
+            SELF_KW@[47; 51) "self"
+            COLON@[51; 52) ":"
+            WHITESPACE@[52; 53) " "
+            PATH_TYPE@[53; 62)
+              PATH@[53; 62)
+                PATH_SEGMENT@[53; 62)
+                  NAME_REF@[53; 56)
+                    IDENT@[53; 56) "Box"
+                  TYPE_ARG_LIST@[56; 62)
+                    L_ANGLE@[56; 57) "<"
+                    TYPE_ARG@[57; 61)
+                      PATH_TYPE@[57; 61)
+                        PATH@[57; 61)
+                          PATH_SEGMENT@[57; 61)
+                            NAME_REF@[57; 61)
+                              IDENT@[57; 61) "Self"
+                    R_ANGLE@[61; 62) ">"
+          R_PAREN@[62; 63) ")"
+        WHITESPACE@[63; 64) " "
+        BLOCK@[64; 66)
+          L_CURLY@[64; 65) "{"
+          R_CURLY@[65; 66) "}"
+      WHITESPACE@[66; 67) "\n"
+      R_CURLY@[67; 68) "}"
+  WHITESPACE@[68; 69) "\n"
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0019_unary_expr.rs b/crates/ra_syntax/test_data/parser/inline/ok/0019_unary_expr.rs
new file mode 100644
index 000000000..f1c3f7118
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0019_unary_expr.rs
@@ -0,0 +1,5 @@
+fn foo() {
+    **&1;
+    !!true;
+    --1;
+}
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0019_unary_expr.txt b/crates/ra_syntax/test_data/parser/inline/ok/0019_unary_expr.txt
new file mode 100644
index 000000000..42032f56c
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0019_unary_expr.txt
@@ -0,0 +1,44 @@
+SOURCE_FILE@[0; 44)
+  FN_DEF@[0; 43)
+    FN_KW@[0; 2) "fn"
+    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; 43)
+      L_CURLY@[9; 10) "{"
+      WHITESPACE@[10; 15) "\n    "
+      EXPR_STMT@[15; 20)
+        PREFIX_EXPR@[15; 19)
+          STAR@[15; 16) "*"
+          PREFIX_EXPR@[16; 19)
+            STAR@[16; 17) "*"
+            REF_EXPR@[17; 19)
+              AMP@[17; 18) "&"
+              LITERAL@[18; 19)
+                INT_NUMBER@[18; 19) "1"
+        SEMI@[19; 20) ";"
+      WHITESPACE@[20; 25) "\n    "
+      EXPR_STMT@[25; 32)
+        PREFIX_EXPR@[25; 31)
+          EXCL@[25; 26) "!"
+          PREFIX_EXPR@[26; 31)
+            EXCL@[26; 27) "!"
+            LITERAL@[27; 31)
+              TRUE_KW@[27; 31) "true"
+        SEMI@[31; 32) ";"
+      WHITESPACE@[32; 37) "\n    "
+      EXPR_STMT@[37; 41)
+        PREFIX_EXPR@[37; 40)
+          MINUS@[37; 38) "-"
+          PREFIX_EXPR@[38; 40)
+            MINUS@[38; 39) "-"
+            LITERAL@[39; 40)
+              INT_NUMBER@[39; 40) "1"
+        SEMI@[40; 41) ";"
+      WHITESPACE@[41; 42) "\n"
+      R_CURLY@[42; 43) "}"
+  WHITESPACE@[43; 44) "\n"
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0020_use_star.rs b/crates/ra_syntax/test_data/parser/inline/ok/0020_use_star.rs
new file mode 100644
index 000000000..6f15769a8
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0020_use_star.rs
@@ -0,0 +1,4 @@
+use *;
+use ::*;
+use some::path::{*};
+use some::path::{::*};
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0020_use_star.txt b/crates/ra_syntax/test_data/parser/inline/ok/0020_use_star.txt
new file mode 100644
index 000000000..dd2095d90
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0020_use_star.txt
@@ -0,0 +1,59 @@
+SOURCE_FILE@[0; 60)
+  USE_ITEM@[0; 6)
+    USE_KW@[0; 3) "use"
+    WHITESPACE@[3; 4) " "
+    USE_TREE@[4; 5)
+      STAR@[4; 5) "*"
+    SEMI@[5; 6) ";"
+  WHITESPACE@[6; 7) "\n"
+  USE_ITEM@[7; 15)
+    USE_KW@[7; 10) "use"
+    WHITESPACE@[10; 11) " "
+    USE_TREE@[11; 14)
+      COLONCOLON@[11; 13) "::"
+      STAR@[13; 14) "*"
+    SEMI@[14; 15) ";"
+  WHITESPACE@[15; 16) "\n"
+  USE_ITEM@[16; 36)
+    USE_KW@[16; 19) "use"
+    WHITESPACE@[19; 20) " "
+    USE_TREE@[20; 35)
+      PATH@[20; 30)
+        PATH@[20; 24)
+          PATH_SEGMENT@[20; 24)
+            NAME_REF@[20; 24)
+              IDENT@[20; 24) "some"
+        COLONCOLON@[24; 26) "::"
+        PATH_SEGMENT@[26; 30)
+          NAME_REF@[26; 30)
+            IDENT@[26; 30) "path"
+      COLONCOLON@[30; 32) "::"
+      USE_TREE_LIST@[32; 35)
+        L_CURLY@[32; 33) "{"
+        USE_TREE@[33; 34)
+          STAR@[33; 34) "*"
+        R_CURLY@[34; 35) "}"
+    SEMI@[35; 36) ";"
+  WHITESPACE@[36; 37) "\n"
+  USE_ITEM@[37; 59)
+    USE_KW@[37; 40) "use"
+    WHITESPACE@[40; 41) " "
+    USE_TREE@[41; 58)
+      PATH@[41; 51)
+        PATH@[41; 45)
+          PATH_SEGMENT@[41; 45)
+            NAME_REF@[41; 45)
+              IDENT@[41; 45) "some"
+        COLONCOLON@[45; 47) "::"
+        PATH_SEGMENT@[47; 51)
+          NAME_REF@[47; 51)
+            IDENT@[47; 51) "path"
+      COLONCOLON@[51; 53) "::"
+      USE_TREE_LIST@[53; 58)
+        L_CURLY@[53; 54) "{"
+        USE_TREE@[54; 57)
+          COLONCOLON@[54; 56) "::"
+          STAR@[56; 57) "*"
+        R_CURLY@[57; 58) "}"
+    SEMI@[58; 59) ";"
+  WHITESPACE@[59; 60) "\n"
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0021_impl_item_list.rs b/crates/ra_syntax/test_data/parser/inline/ok/0021_impl_item_list.rs
new file mode 100644
index 000000000..f10851487
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0021_impl_item_list.rs
@@ -0,0 +1,6 @@
+impl F {
+    type A = i32;
+    const B: i32 = 92;
+    fn foo() {}
+    fn bar(&self) {}
+}
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0021_impl_item_list.txt b/crates/ra_syntax/test_data/parser/inline/ok/0021_impl_item_list.txt
new file mode 100644
index 000000000..a893833e1
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0021_impl_item_list.txt
@@ -0,0 +1,78 @@
+SOURCE_FILE@[0; 89)
+  IMPL_BLOCK@[0; 88)
+    IMPL_KW@[0; 4) "impl"
+    WHITESPACE@[4; 5) " "
+    PATH_TYPE@[5; 6)
+      PATH@[5; 6)
+        PATH_SEGMENT@[5; 6)
+          NAME_REF@[5; 6)
+            IDENT@[5; 6) "F"
+    WHITESPACE@[6; 7) " "
+    ITEM_LIST@[7; 88)
+      L_CURLY@[7; 8) "{"
+      WHITESPACE@[8; 13) "\n    "
+      TYPE_ALIAS_DEF@[13; 26)
+        TYPE_KW@[13; 17) "type"
+        WHITESPACE@[17; 18) " "
+        NAME@[18; 19)
+          IDENT@[18; 19) "A"
+        WHITESPACE@[19; 20) " "
+        EQ@[20; 21) "="
+        WHITESPACE@[21; 22) " "
+        PATH_TYPE@[22; 25)
+          PATH@[22; 25)
+            PATH_SEGMENT@[22; 25)
+              NAME_REF@[22; 25)
+                IDENT@[22; 25) "i32"
+        SEMI@[25; 26) ";"
+      WHITESPACE@[26; 31) "\n    "
+      CONST_DEF@[31; 49)
+        CONST_KW@[31; 36) "const"
+        WHITESPACE@[36; 37) " "
+        NAME@[37; 38)
+          IDENT@[37; 38) "B"
+        COLON@[38; 39) ":"
+        WHITESPACE@[39; 40) " "
+        PATH_TYPE@[40; 43)
+          PATH@[40; 43)
+            PATH_SEGMENT@[40; 43)
+              NAME_REF@[40; 43)
+                IDENT@[40; 43) "i32"
+        WHITESPACE@[43; 44) " "
+        EQ@[44; 45) "="
+        WHITESPACE@[45; 46) " "
+        LITERAL@[46; 48)
+          INT_NUMBER@[46; 48) "92"
+        SEMI@[48; 49) ";"
+      WHITESPACE@[49; 54) "\n    "
+      FN_DEF@[54; 65)
+        FN_KW@[54; 56) "fn"
+        WHITESPACE@[56; 57) " "
+        NAME@[57; 60)
+          IDENT@[57; 60) "foo"
+        PARAM_LIST@[60; 62)
+          L_PAREN@[60; 61) "("
+          R_PAREN@[61; 62) ")"
+        WHITESPACE@[62; 63) " "
+        BLOCK@[63; 65)
+          L_CURLY@[63; 64) "{"
+          R_CURLY@[64; 65) "}"
+      WHITESPACE@[65; 70) "\n    "
+      FN_DEF@[70; 86)
+        FN_KW@[70; 72) "fn"
+        WHITESPACE@[72; 73) " "
+        NAME@[73; 76)
+          IDENT@[73; 76) "bar"
+        PARAM_LIST@[76; 83)
+          L_PAREN@[76; 77) "("
+          SELF_PARAM@[77; 82)
+            AMP@[77; 78) "&"
+            SELF_KW@[78; 82) "self"
+          R_PAREN@[82; 83) ")"
+        WHITESPACE@[83; 84) " "
+        BLOCK@[84; 86)
+          L_CURLY@[84; 85) "{"
+          R_CURLY@[85; 86) "}"
+      WHITESPACE@[86; 87) "\n"
+      R_CURLY@[87; 88) "}"
+  WHITESPACE@[88; 89) "\n"
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0022_crate_visibility.rs b/crates/ra_syntax/test_data/parser/inline/ok/0022_crate_visibility.rs
new file mode 100644
index 000000000..faeefde94
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0022_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/test_data/parser/inline/ok/0022_crate_visibility.txt b/crates/ra_syntax/test_data/parser/inline/ok/0022_crate_visibility.txt
new file mode 100644
index 000000000..891943f6e
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0022_crate_visibility.txt
@@ -0,0 +1,53 @@
+SOURCE_FILE@[0; 81)
+  STRUCT_DEF@[0; 20)
+    VISIBILITY@[0; 10)
+      PUB_KW@[0; 3) "pub"
+      L_PAREN@[3; 4) "("
+      CRATE_KW@[4; 9) "crate"
+      R_PAREN@[9; 10) ")"
+    WHITESPACE@[10; 11) " "
+    STRUCT_KW@[11; 17) "struct"
+    WHITESPACE@[17; 18) " "
+    NAME@[18; 19)
+      IDENT@[18; 19) "S"
+    SEMI@[19; 20) ";"
+  WHITESPACE@[20; 21) "\n"
+  STRUCT_DEF@[21; 40)
+    VISIBILITY@[21; 30)
+      PUB_KW@[21; 24) "pub"
+      L_PAREN@[24; 25) "("
+      SELF_KW@[25; 29) "self"
+      R_PAREN@[29; 30) ")"
+    WHITESPACE@[30; 31) " "
+    STRUCT_KW@[31; 37) "struct"
+    WHITESPACE@[37; 38) " "
+    NAME@[38; 39)
+      IDENT@[38; 39) "S"
+    SEMI@[39; 40) ";"
+  WHITESPACE@[40; 41) "\n"
+  STRUCT_DEF@[41; 60)
+    VISIBILITY@[41; 50)
+      PUB_KW@[41; 44) "pub"
+      L_PAREN@[44; 45) "("
+      SELF_KW@[45; 49) "self"
+      R_PAREN@[49; 50) ")"
+    WHITESPACE@[50; 51) " "
+    STRUCT_KW@[51; 57) "struct"
+    WHITESPACE@[57; 58) " "
+    NAME@[58; 59)
+      IDENT@[58; 59) "S"
+    SEMI@[59; 60) ";"
+  WHITESPACE@[60; 61) "\n"
+  STRUCT_DEF@[61; 80)
+    VISIBILITY@[61; 70)
+      PUB_KW@[61; 64) "pub"
+      L_PAREN@[64; 65) "("
+      SELF_KW@[65; 69) "self"
+      R_PAREN@[69; 70) ")"
+    WHITESPACE@[70; 71) " "
+    STRUCT_KW@[71; 77) "struct"
+    WHITESPACE@[77; 78) " "
+    NAME@[78; 79)
+      IDENT@[78; 79) "S"
+    SEMI@[79; 80) ";"
+  WHITESPACE@[80; 81) "\n"
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0023_placeholder_type.rs b/crates/ra_syntax/test_data/parser/inline/ok/0023_placeholder_type.rs
new file mode 100644
index 000000000..7952dbd57
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0023_placeholder_type.rs
@@ -0,0 +1 @@
+type Placeholder = _;
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0023_placeholder_type.txt b/crates/ra_syntax/test_data/parser/inline/ok/0023_placeholder_type.txt
new file mode 100644
index 000000000..0f32aec9e
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0023_placeholder_type.txt
@@ -0,0 +1,13 @@
+SOURCE_FILE@[0; 22)
+  TYPE_ALIAS_DEF@[0; 21)
+    TYPE_KW@[0; 4) "type"
+    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) "\n"
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0024_slice_pat.rs b/crates/ra_syntax/test_data/parser/inline/ok/0024_slice_pat.rs
new file mode 100644
index 000000000..7955973b9
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0024_slice_pat.rs
@@ -0,0 +1,3 @@
+fn main() {
+    let [a, b, ..] = [];
+}
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0024_slice_pat.txt b/crates/ra_syntax/test_data/parser/inline/ok/0024_slice_pat.txt
new file mode 100644
index 000000000..40ddbfbf6
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0024_slice_pat.txt
@@ -0,0 +1,40 @@
+SOURCE_FILE@[0; 39)
+  FN_DEF@[0; 38)
+    FN_KW@[0; 2) "fn"
+    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; 38)
+      L_CURLY@[10; 11) "{"
+      WHITESPACE@[11; 16) "\n    "
+      LET_STMT@[16; 36)
+        LET_KW@[16; 19) "let"
+        WHITESPACE@[19; 20) " "
+        SLICE_PAT@[20; 30)
+          L_BRACK@[20; 21) "["
+          BIND_PAT@[21; 22)
+            NAME@[21; 22)
+              IDENT@[21; 22) "a"
+          COMMA@[22; 23) ","
+          WHITESPACE@[23; 24) " "
+          BIND_PAT@[24; 25)
+            NAME@[24; 25)
+              IDENT@[24; 25) "b"
+          COMMA@[25; 26) ","
+          WHITESPACE@[26; 27) " "
+          DOTDOT@[27; 29) ".."
+          R_BRACK@[29; 30) "]"
+        WHITESPACE@[30; 31) " "
+        EQ@[31; 32) "="
+        WHITESPACE@[32; 33) " "
+        ARRAY_EXPR@[33; 35)
+          L_BRACK@[33; 34) "["
+          R_BRACK@[34; 35) "]"
+        SEMI@[35; 36) ";"
+      WHITESPACE@[36; 37) "\n"
+      R_CURLY@[37; 38) "}"
+  WHITESPACE@[38; 39) "\n"
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0025_slice_type.rs b/crates/ra_syntax/test_data/parser/inline/ok/0025_slice_type.rs
new file mode 100644
index 000000000..4da1af827
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0025_slice_type.rs
@@ -0,0 +1 @@
+type T = [()];
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0025_slice_type.txt b/crates/ra_syntax/test_data/parser/inline/ok/0025_slice_type.txt
new file mode 100644
index 000000000..b3a24281e
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0025_slice_type.txt
@@ -0,0 +1,17 @@
+SOURCE_FILE@[0; 15)
+  TYPE_ALIAS_DEF@[0; 14)
+    TYPE_KW@[0; 4) "type"
+    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) "\n"
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0026_tuple_pat_fields.rs b/crates/ra_syntax/test_data/parser/inline/ok/0026_tuple_pat_fields.rs
new file mode 100644
index 000000000..0dfe63629
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0026_tuple_pat_fields.rs
@@ -0,0 +1,6 @@
+fn foo() {
+    let S() = ();
+    let S(_) = ();
+    let S(_,) = ();
+    let S(_, .. , x) = ();
+}
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0026_tuple_pat_fields.txt b/crates/ra_syntax/test_data/parser/inline/ok/0026_tuple_pat_fields.txt
new file mode 100644
index 000000000..0ff936471
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0026_tuple_pat_fields.txt
@@ -0,0 +1,103 @@
+SOURCE_FILE@[0; 97)
+  FN_DEF@[0; 96)
+    FN_KW@[0; 2) "fn"
+    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; 96)
+      L_CURLY@[9; 10) "{"
+      WHITESPACE@[10; 15) "\n    "
+      LET_STMT@[15; 28)
+        LET_KW@[15; 18) "let"
+        WHITESPACE@[18; 19) " "
+        TUPLE_STRUCT_PAT@[19; 22)
+          PATH@[19; 20)
+            PATH_SEGMENT@[19; 20)
+              NAME_REF@[19; 20)
+                IDENT@[19; 20) "S"
+          L_PAREN@[20; 21) "("
+          R_PAREN@[21; 22) ")"
+        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) "\n    "
+      LET_STMT@[33; 47)
+        LET_KW@[33; 36) "let"
+        WHITESPACE@[36; 37) " "
+        TUPLE_STRUCT_PAT@[37; 41)
+          PATH@[37; 38)
+            PATH_SEGMENT@[37; 38)
+              NAME_REF@[37; 38)
+                IDENT@[37; 38) "S"
+          L_PAREN@[38; 39) "("
+          PLACEHOLDER_PAT@[39; 40)
+            UNDERSCORE@[39; 40) "_"
+          R_PAREN@[40; 41) ")"
+        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) "\n    "
+      LET_STMT@[52; 67)
+        LET_KW@[52; 55) "let"
+        WHITESPACE@[55; 56) " "
+        TUPLE_STRUCT_PAT@[56; 61)
+          PATH@[56; 57)
+            PATH_SEGMENT@[56; 57)
+              NAME_REF@[56; 57)
+                IDENT@[56; 57) "S"
+          L_PAREN@[57; 58) "("
+          PLACEHOLDER_PAT@[58; 59)
+            UNDERSCORE@[58; 59) "_"
+          COMMA@[59; 60) ","
+          R_PAREN@[60; 61) ")"
+        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) "\n    "
+      LET_STMT@[72; 94)
+        LET_KW@[72; 75) "let"
+        WHITESPACE@[75; 76) " "
+        TUPLE_STRUCT_PAT@[76; 88)
+          PATH@[76; 77)
+            PATH_SEGMENT@[76; 77)
+              NAME_REF@[76; 77)
+                IDENT@[76; 77) "S"
+          L_PAREN@[77; 78) "("
+          PLACEHOLDER_PAT@[78; 79)
+            UNDERSCORE@[78; 79) "_"
+          COMMA@[79; 80) ","
+          WHITESPACE@[80; 81) " "
+          DOTDOT@[81; 83) ".."
+          WHITESPACE@[83; 84) " "
+          COMMA@[84; 85) ","
+          WHITESPACE@[85; 86) " "
+          BIND_PAT@[86; 87)
+            NAME@[86; 87)
+              IDENT@[86; 87) "x"
+          R_PAREN@[87; 88) ")"
+        WHITESPACE@[88; 89) " "
+        EQ@[89; 90) "="
+        WHITESPACE@[90; 91) " "
+        TUPLE_EXPR@[91; 93)
+          L_PAREN@[91; 92) "("
+          R_PAREN@[92; 93) ")"
+        SEMI@[93; 94) ";"
+      WHITESPACE@[94; 95) "\n"
+      R_CURLY@[95; 96) "}"
+  WHITESPACE@[96; 97) "\n"
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0027_ref_pat.rs b/crates/ra_syntax/test_data/parser/inline/ok/0027_ref_pat.rs
new file mode 100644
index 000000000..de41f5cae
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0027_ref_pat.rs
@@ -0,0 +1,4 @@
+fn main() {
+    let &a = ();
+    let &mut b = ();
+}
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0027_ref_pat.txt b/crates/ra_syntax/test_data/parser/inline/ok/0027_ref_pat.txt
new file mode 100644
index 000000000..a833b1b96
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0027_ref_pat.txt
@@ -0,0 +1,49 @@
+SOURCE_FILE@[0; 52)
+  FN_DEF@[0; 51)
+    FN_KW@[0; 2) "fn"
+    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) "\n    "
+      LET_STMT@[16; 28)
+        LET_KW@[16; 19) "let"
+        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) "\n    "
+      LET_STMT@[33; 49)
+        LET_KW@[33; 36) "let"
+        WHITESPACE@[36; 37) " "
+        REF_PAT@[37; 43)
+          AMP@[37; 38) "&"
+          MUT_KW@[38; 41) "mut"
+          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) "\n"
+      R_CURLY@[50; 51) "}"
+  WHITESPACE@[51; 52) "\n"
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0028_impl_trait_type.rs b/crates/ra_syntax/test_data/parser/inline/ok/0028_impl_trait_type.rs
new file mode 100644
index 000000000..54c5a7c46
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0028_impl_trait_type.rs
@@ -0,0 +1 @@
+type A = impl Iterator<Item=Foo<'a>> + 'a;
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0028_impl_trait_type.txt b/crates/ra_syntax/test_data/parser/inline/ok/0028_impl_trait_type.txt
new file mode 100644
index 000000000..f07027fa7
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0028_impl_trait_type.txt
@@ -0,0 +1,43 @@
+SOURCE_FILE@[0; 43)
+  TYPE_ALIAS_DEF@[0; 42)
+    TYPE_KW@[0; 4) "type"
+    WHITESPACE@[4; 5) " "
+    NAME@[5; 6)
+      IDENT@[5; 6) "A"
+    WHITESPACE@[6; 7) " "
+    EQ@[7; 8) "="
+    WHITESPACE@[8; 9) " "
+    IMPL_TRAIT_TYPE@[9; 41)
+      IMPL_KW@[9; 13) "impl"
+      WHITESPACE@[13; 14) " "
+      TYPE_BOUND_LIST@[14; 41)
+        TYPE_BOUND@[14; 36)
+          PATH_TYPE@[14; 36)
+            PATH@[14; 36)
+              PATH_SEGMENT@[14; 36)
+                NAME_REF@[14; 22)
+                  IDENT@[14; 22) "Iterator"
+                TYPE_ARG_LIST@[22; 36)
+                  L_ANGLE@[22; 23) "<"
+                  ASSOC_TYPE_ARG@[23; 35)
+                    NAME_REF@[23; 27)
+                      IDENT@[23; 27) "Item"
+                    EQ@[27; 28) "="
+                    PATH_TYPE@[28; 35)
+                      PATH@[28; 35)
+                        PATH_SEGMENT@[28; 35)
+                          NAME_REF@[28; 31)
+                            IDENT@[28; 31) "Foo"
+                          TYPE_ARG_LIST@[31; 35)
+                            L_ANGLE@[31; 32) "<"
+                            LIFETIME_ARG@[32; 34)
+                              LIFETIME@[32; 34) "\'a"
+                            R_ANGLE@[34; 35) ">"
+                  R_ANGLE@[35; 36) ">"
+        WHITESPACE@[36; 37) " "
+        PLUS@[37; 38) "+"
+        WHITESPACE@[38; 39) " "
+        TYPE_BOUND@[39; 41)
+          LIFETIME@[39; 41) "\'a"
+    SEMI@[41; 42) ";"
+  WHITESPACE@[42; 43) "\n"
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0029_cast_expr.rs b/crates/ra_syntax/test_data/parser/inline/ok/0029_cast_expr.rs
new file mode 100644
index 000000000..bfe8e4b36
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0029_cast_expr.rs
@@ -0,0 +1,6 @@
+fn foo() {
+    82 as i32;
+    81 as i8 + 1;
+    79 as i16 - 1;
+    0x36 as u8 <= 0x37;
+}
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0029_cast_expr.txt b/crates/ra_syntax/test_data/parser/inline/ok/0029_cast_expr.txt
new file mode 100644
index 000000000..11c14e3b4
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0029_cast_expr.txt
@@ -0,0 +1,89 @@
+SOURCE_FILE@[0; 89)
+  FN_DEF@[0; 88)
+    FN_KW@[0; 2) "fn"
+    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; 88)
+      L_CURLY@[9; 10) "{"
+      WHITESPACE@[10; 15) "\n    "
+      EXPR_STMT@[15; 25)
+        CAST_EXPR@[15; 24)
+          LITERAL@[15; 17)
+            INT_NUMBER@[15; 17) "82"
+          WHITESPACE@[17; 18) " "
+          AS_KW@[18; 20) "as"
+          WHITESPACE@[20; 21) " "
+          PATH_TYPE@[21; 24)
+            PATH@[21; 24)
+              PATH_SEGMENT@[21; 24)
+                NAME_REF@[21; 24)
+                  IDENT@[21; 24) "i32"
+        SEMI@[24; 25) ";"
+      WHITESPACE@[25; 30) "\n    "
+      EXPR_STMT@[30; 43)
+        BIN_EXPR@[30; 42)
+          CAST_EXPR@[30; 38)
+            LITERAL@[30; 32)
+              INT_NUMBER@[30; 32) "81"
+            WHITESPACE@[32; 33) " "
+            AS_KW@[33; 35) "as"
+            WHITESPACE@[35; 36) " "
+            PATH_TYPE@[36; 38)
+              PATH@[36; 38)
+                PATH_SEGMENT@[36; 38)
+                  NAME_REF@[36; 38)
+                    IDENT@[36; 38) "i8"
+          WHITESPACE@[38; 39) " "
+          PLUS@[39; 40) "+"
+          WHITESPACE@[40; 41) " "
+          LITERAL@[41; 42)
+            INT_NUMBER@[41; 42) "1"
+        SEMI@[42; 43) ";"
+      WHITESPACE@[43; 48) "\n    "
+      EXPR_STMT@[48; 62)
+        BIN_EXPR@[48; 61)
+          CAST_EXPR@[48; 57)
+            LITERAL@[48; 50)
+              INT_NUMBER@[48; 50) "79"
+            WHITESPACE@[50; 51) " "
+            AS_KW@[51; 53) "as"
+            WHITESPACE@[53; 54) " "
+            PATH_TYPE@[54; 57)
+              PATH@[54; 57)
+                PATH_SEGMENT@[54; 57)
+                  NAME_REF@[54; 57)
+                    IDENT@[54; 57) "i16"
+          WHITESPACE@[57; 58) " "
+          MINUS@[58; 59) "-"
+          WHITESPACE@[59; 60) " "
+          LITERAL@[60; 61)
+            INT_NUMBER@[60; 61) "1"
+        SEMI@[61; 62) ";"
+      WHITESPACE@[62; 67) "\n    "
+      EXPR_STMT@[67; 86)
+        BIN_EXPR@[67; 85)
+          CAST_EXPR@[67; 77)
+            LITERAL@[67; 71)
+              INT_NUMBER@[67; 71) "0x36"
+            WHITESPACE@[71; 72) " "
+            AS_KW@[72; 74) "as"
+            WHITESPACE@[74; 75) " "
+            PATH_TYPE@[75; 77)
+              PATH@[75; 77)
+                PATH_SEGMENT@[75; 77)
+                  NAME_REF@[75; 77)
+                    IDENT@[75; 77) "u8"
+          WHITESPACE@[77; 78) " "
+          LTEQ@[78; 80) "<="
+          WHITESPACE@[80; 81) " "
+          LITERAL@[81; 85)
+            INT_NUMBER@[81; 85) "0x37"
+        SEMI@[85; 86) ";"
+      WHITESPACE@[86; 87) "\n"
+      R_CURLY@[87; 88) "}"
+  WHITESPACE@[88; 89) "\n"
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0030_cond.rs b/crates/ra_syntax/test_data/parser/inline/ok/0030_cond.rs
new file mode 100644
index 000000000..2552a2621
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0030_cond.rs
@@ -0,0 +1,7 @@
+fn foo() { if let Some(_) = None {} }
+fn bar() {
+    if let Some(_) | Some(_) = None {}
+    if let | Some(_) = None {}
+    while let Some(_) | Some(_) = None {}
+    while let | Some(_) = None {}
+}
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0030_cond.txt b/crates/ra_syntax/test_data/parser/inline/ok/0030_cond.txt
new file mode 100644
index 000000000..1c9414b21
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0030_cond.txt
@@ -0,0 +1,200 @@
+SOURCE_FILE@[0; 197)
+  FN_DEF@[0; 37)
+    FN_KW@[0; 2) "fn"
+    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; 37)
+      L_CURLY@[9; 10) "{"
+      WHITESPACE@[10; 11) " "
+      IF_EXPR@[11; 35)
+        IF_KW@[11; 13) "if"
+        WHITESPACE@[13; 14) " "
+        CONDITION@[14; 32)
+          LET_KW@[14; 17) "let"
+          WHITESPACE@[17; 18) " "
+          TUPLE_STRUCT_PAT@[18; 25)
+            PATH@[18; 22)
+              PATH_SEGMENT@[18; 22)
+                NAME_REF@[18; 22)
+                  IDENT@[18; 22) "Some"
+            L_PAREN@[22; 23) "("
+            PLACEHOLDER_PAT@[23; 24)
+              UNDERSCORE@[23; 24) "_"
+            R_PAREN@[24; 25) ")"
+          WHITESPACE@[25; 26) " "
+          EQ@[26; 27) "="
+          WHITESPACE@[27; 28) " "
+          PATH_EXPR@[28; 32)
+            PATH@[28; 32)
+              PATH_SEGMENT@[28; 32)
+                NAME_REF@[28; 32)
+                  IDENT@[28; 32) "None"
+        WHITESPACE@[32; 33) " "
+        BLOCK@[33; 35)
+          L_CURLY@[33; 34) "{"
+          R_CURLY@[34; 35) "}"
+      WHITESPACE@[35; 36) " "
+      R_CURLY@[36; 37) "}"
+  WHITESPACE@[37; 38) "\n"
+  FN_DEF@[38; 196)
+    FN_KW@[38; 40) "fn"
+    WHITESPACE@[40; 41) " "
+    NAME@[41; 44)
+      IDENT@[41; 44) "bar"
+    PARAM_LIST@[44; 46)
+      L_PAREN@[44; 45) "("
+      R_PAREN@[45; 46) ")"
+    WHITESPACE@[46; 47) " "
+    BLOCK@[47; 196)
+      L_CURLY@[47; 48) "{"
+      WHITESPACE@[48; 53) "\n    "
+      EXPR_STMT@[53; 87)
+        IF_EXPR@[53; 87)
+          IF_KW@[53; 55) "if"
+          WHITESPACE@[55; 56) " "
+          CONDITION@[56; 84)
+            LET_KW@[56; 59) "let"
+            WHITESPACE@[59; 60) " "
+            TUPLE_STRUCT_PAT@[60; 67)
+              PATH@[60; 64)
+                PATH_SEGMENT@[60; 64)
+                  NAME_REF@[60; 64)
+                    IDENT@[60; 64) "Some"
+              L_PAREN@[64; 65) "("
+              PLACEHOLDER_PAT@[65; 66)
+                UNDERSCORE@[65; 66) "_"
+              R_PAREN@[66; 67) ")"
+            WHITESPACE@[67; 68) " "
+            PIPE@[68; 69) "|"
+            WHITESPACE@[69; 70) " "
+            TUPLE_STRUCT_PAT@[70; 77)
+              PATH@[70; 74)
+                PATH_SEGMENT@[70; 74)
+                  NAME_REF@[70; 74)
+                    IDENT@[70; 74) "Some"
+              L_PAREN@[74; 75) "("
+              PLACEHOLDER_PAT@[75; 76)
+                UNDERSCORE@[75; 76) "_"
+              R_PAREN@[76; 77) ")"
+            WHITESPACE@[77; 78) " "
+            EQ@[78; 79) "="
+            WHITESPACE@[79; 80) " "
+            PATH_EXPR@[80; 84)
+              PATH@[80; 84)
+                PATH_SEGMENT@[80; 84)
+                  NAME_REF@[80; 84)
+                    IDENT@[80; 84) "None"
+          WHITESPACE@[84; 85) " "
+          BLOCK@[85; 87)
+            L_CURLY@[85; 86) "{"
+            R_CURLY@[86; 87) "}"
+      WHITESPACE@[87; 92) "\n    "
+      EXPR_STMT@[92; 118)
+        IF_EXPR@[92; 118)
+          IF_KW@[92; 94) "if"
+          WHITESPACE@[94; 95) " "
+          CONDITION@[95; 115)
+            LET_KW@[95; 98) "let"
+            WHITESPACE@[98; 99) " "
+            PIPE@[99; 100) "|"
+            WHITESPACE@[100; 101) " "
+            TUPLE_STRUCT_PAT@[101; 108)
+              PATH@[101; 105)
+                PATH_SEGMENT@[101; 105)
+                  NAME_REF@[101; 105)
+                    IDENT@[101; 105) "Some"
+              L_PAREN@[105; 106) "("
+              PLACEHOLDER_PAT@[106; 107)
+                UNDERSCORE@[106; 107) "_"
+              R_PAREN@[107; 108) ")"
+            WHITESPACE@[108; 109) " "
+            EQ@[109; 110) "="
+            WHITESPACE@[110; 111) " "
+            PATH_EXPR@[111; 115)
+              PATH@[111; 115)
+                PATH_SEGMENT@[111; 115)
+                  NAME_REF@[111; 115)
+                    IDENT@[111; 115) "None"
+          WHITESPACE@[115; 116) " "
+          BLOCK@[116; 118)
+            L_CURLY@[116; 117) "{"
+            R_CURLY@[117; 118) "}"
+      WHITESPACE@[118; 123) "\n    "
+      EXPR_STMT@[123; 160)
+        WHILE_EXPR@[123; 160)
+          WHILE_KW@[123; 128) "while"
+          WHITESPACE@[128; 129) " "
+          CONDITION@[129; 157)
+            LET_KW@[129; 132) "let"
+            WHITESPACE@[132; 133) " "
+            TUPLE_STRUCT_PAT@[133; 140)
+              PATH@[133; 137)
+                PATH_SEGMENT@[133; 137)
+                  NAME_REF@[133; 137)
+                    IDENT@[133; 137) "Some"
+              L_PAREN@[137; 138) "("
+              PLACEHOLDER_PAT@[138; 139)
+                UNDERSCORE@[138; 139) "_"
+              R_PAREN@[139; 140) ")"
+            WHITESPACE@[140; 141) " "
+            PIPE@[141; 142) "|"
+            WHITESPACE@[142; 143) " "
+            TUPLE_STRUCT_PAT@[143; 150)
+              PATH@[143; 147)
+                PATH_SEGMENT@[143; 147)
+                  NAME_REF@[143; 147)
+                    IDENT@[143; 147) "Some"
+              L_PAREN@[147; 148) "("
+              PLACEHOLDER_PAT@[148; 149)
+                UNDERSCORE@[148; 149) "_"
+              R_PAREN@[149; 150) ")"
+            WHITESPACE@[150; 151) " "
+            EQ@[151; 152) "="
+            WHITESPACE@[152; 153) " "
+            PATH_EXPR@[153; 157)
+              PATH@[153; 157)
+                PATH_SEGMENT@[153; 157)
+                  NAME_REF@[153; 157)
+                    IDENT@[153; 157) "None"
+          WHITESPACE@[157; 158) " "
+          BLOCK@[158; 160)
+            L_CURLY@[158; 159) "{"
+            R_CURLY@[159; 160) "}"
+      WHITESPACE@[160; 165) "\n    "
+      WHILE_EXPR@[165; 194)
+        WHILE_KW@[165; 170) "while"
+        WHITESPACE@[170; 171) " "
+        CONDITION@[171; 191)
+          LET_KW@[171; 174) "let"
+          WHITESPACE@[174; 175) " "
+          PIPE@[175; 176) "|"
+          WHITESPACE@[176; 177) " "
+          TUPLE_STRUCT_PAT@[177; 184)
+            PATH@[177; 181)
+              PATH_SEGMENT@[177; 181)
+                NAME_REF@[177; 181)
+                  IDENT@[177; 181) "Some"
+            L_PAREN@[181; 182) "("
+            PLACEHOLDER_PAT@[182; 183)
+              UNDERSCORE@[182; 183) "_"
+            R_PAREN@[183; 184) ")"
+          WHITESPACE@[184; 185) " "
+          EQ@[185; 186) "="
+          WHITESPACE@[186; 187) " "
+          PATH_EXPR@[187; 191)
+            PATH@[187; 191)
+              PATH_SEGMENT@[187; 191)
+                NAME_REF@[187; 191)
+                  IDENT@[187; 191) "None"
+        WHITESPACE@[191; 192) " "
+        BLOCK@[192; 194)
+          L_CURLY@[192; 193) "{"
+          R_CURLY@[193; 194) "}"
+      WHITESPACE@[194; 195) "\n"
+      R_CURLY@[195; 196) "}"
+  WHITESPACE@[196; 197) "\n"
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0031_while_expr.rs b/crates/ra_syntax/test_data/parser/inline/ok/0031_while_expr.rs
new file mode 100644
index 000000000..293046a04
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0031_while_expr.rs
@@ -0,0 +1,4 @@
+fn foo() {
+    while true {};
+    while let Some(x) = it.next() {};
+}
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0031_while_expr.txt b/crates/ra_syntax/test_data/parser/inline/ok/0031_while_expr.txt
new file mode 100644
index 000000000..a772117a1
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0031_while_expr.txt
@@ -0,0 +1,66 @@
+SOURCE_FILE@[0; 70)
+  FN_DEF@[0; 69)
+    FN_KW@[0; 2) "fn"
+    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; 69)
+      L_CURLY@[9; 10) "{"
+      WHITESPACE@[10; 15) "\n    "
+      EXPR_STMT@[15; 29)
+        WHILE_EXPR@[15; 28)
+          WHILE_KW@[15; 20) "while"
+          WHITESPACE@[20; 21) " "
+          CONDITION@[21; 25)
+            LITERAL@[21; 25)
+              TRUE_KW@[21; 25) "true"
+          WHITESPACE@[25; 26) " "
+          BLOCK@[26; 28)
+            L_CURLY@[26; 27) "{"
+            R_CURLY@[27; 28) "}"
+        SEMI@[28; 29) ";"
+      WHITESPACE@[29; 34) "\n    "
+      EXPR_STMT@[34; 67)
+        WHILE_EXPR@[34; 66)
+          WHILE_KW@[34; 39) "while"
+          WHITESPACE@[39; 40) " "
+          CONDITION@[40; 63)
+            LET_KW@[40; 43) "let"
+            WHITESPACE@[43; 44) " "
+            TUPLE_STRUCT_PAT@[44; 51)
+              PATH@[44; 48)
+                PATH_SEGMENT@[44; 48)
+                  NAME_REF@[44; 48)
+                    IDENT@[44; 48) "Some"
+              L_PAREN@[48; 49) "("
+              BIND_PAT@[49; 50)
+                NAME@[49; 50)
+                  IDENT@[49; 50) "x"
+              R_PAREN@[50; 51) ")"
+            WHITESPACE@[51; 52) " "
+            EQ@[52; 53) "="
+            WHITESPACE@[53; 54) " "
+            METHOD_CALL_EXPR@[54; 63)
+              PATH_EXPR@[54; 56)
+                PATH@[54; 56)
+                  PATH_SEGMENT@[54; 56)
+                    NAME_REF@[54; 56)
+                      IDENT@[54; 56) "it"
+              DOT@[56; 57) "."
+              NAME_REF@[57; 61)
+                IDENT@[57; 61) "next"
+              ARG_LIST@[61; 63)
+                L_PAREN@[61; 62) "("
+                R_PAREN@[62; 63) ")"
+          WHITESPACE@[63; 64) " "
+          BLOCK@[64; 66)
+            L_CURLY@[64; 65) "{"
+            R_CURLY@[65; 66) "}"
+        SEMI@[66; 67) ";"
+      WHITESPACE@[67; 68) "\n"
+      R_CURLY@[68; 69) "}"
+  WHITESPACE@[69; 70) "\n"
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0032_fn_pointer_type.rs b/crates/ra_syntax/test_data/parser/inline/ok/0032_fn_pointer_type.rs
new file mode 100644
index 000000000..9493da83d
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0032_fn_pointer_type.rs
@@ -0,0 +1,4 @@
+type A = fn();
+type B = unsafe fn();
+type C = unsafe extern "C" fn();
+type D = extern "C" fn ( u8 , ... ) -> u8;
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0032_fn_pointer_type.txt b/crates/ra_syntax/test_data/parser/inline/ok/0032_fn_pointer_type.txt
new file mode 100644
index 000000000..a0a8aea76
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0032_fn_pointer_type.txt
@@ -0,0 +1,97 @@
+SOURCE_FILE@[0; 113)
+  TYPE_ALIAS_DEF@[0; 14)
+    TYPE_KW@[0; 4) "type"
+    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) "fn"
+      PARAM_LIST@[11; 13)
+        L_PAREN@[11; 12) "("
+        R_PAREN@[12; 13) ")"
+    SEMI@[13; 14) ";"
+  WHITESPACE@[14; 15) "\n"
+  TYPE_ALIAS_DEF@[15; 36)
+    TYPE_KW@[15; 19) "type"
+    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) "unsafe"
+      WHITESPACE@[30; 31) " "
+      FN_KW@[31; 33) "fn"
+      PARAM_LIST@[33; 35)
+        L_PAREN@[33; 34) "("
+        R_PAREN@[34; 35) ")"
+    SEMI@[35; 36) ";"
+  WHITESPACE@[36; 37) "\n"
+  TYPE_ALIAS_DEF@[37; 69)
+    TYPE_KW@[37; 41) "type"
+    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) "unsafe"
+      WHITESPACE@[52; 53) " "
+      ABI@[53; 63)
+        EXTERN_KW@[53; 59) "extern"
+        WHITESPACE@[59; 60) " "
+        STRING@[60; 63) "\"C\""
+      WHITESPACE@[63; 64) " "
+      FN_KW@[64; 66) "fn"
+      PARAM_LIST@[66; 68)
+        L_PAREN@[66; 67) "("
+        R_PAREN@[67; 68) ")"
+    SEMI@[68; 69) ";"
+  WHITESPACE@[69; 70) "\n"
+  TYPE_ALIAS_DEF@[70; 112)
+    TYPE_KW@[70; 74) "type"
+    WHITESPACE@[74; 75) " "
+    NAME@[75; 76)
+      IDENT@[75; 76) "D"
+    WHITESPACE@[76; 77) " "
+    EQ@[77; 78) "="
+    WHITESPACE@[78; 79) " "
+    FN_POINTER_TYPE@[79; 111)
+      ABI@[79; 89)
+        EXTERN_KW@[79; 85) "extern"
+        WHITESPACE@[85; 86) " "
+        STRING@[86; 89) "\"C\""
+      WHITESPACE@[89; 90) " "
+      FN_KW@[90; 92) "fn"
+      WHITESPACE@[92; 93) " "
+      PARAM_LIST@[93; 105)
+        L_PAREN@[93; 94) "("
+        WHITESPACE@[94; 95) " "
+        PARAM@[95; 97)
+          PATH_TYPE@[95; 97)
+            PATH@[95; 97)
+              PATH_SEGMENT@[95; 97)
+                NAME_REF@[95; 97)
+                  IDENT@[95; 97) "u8"
+        WHITESPACE@[97; 98) " "
+        COMMA@[98; 99) ","
+        WHITESPACE@[99; 100) " "
+        DOTDOTDOT@[100; 103) "..."
+        WHITESPACE@[103; 104) " "
+        R_PAREN@[104; 105) ")"
+      WHITESPACE@[105; 106) " "
+      RET_TYPE@[106; 111)
+        THIN_ARROW@[106; 108) "->"
+        WHITESPACE@[108; 109) " "
+        PATH_TYPE@[109; 111)
+          PATH@[109; 111)
+            PATH_SEGMENT@[109; 111)
+              NAME_REF@[109; 111)
+                IDENT@[109; 111) "u8"
+    SEMI@[111; 112) ";"
+  WHITESPACE@[112; 113) "\n"
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0033_reference_type;.rs b/crates/ra_syntax/test_data/parser/inline/ok/0033_reference_type;.rs
new file mode 100644
index 000000000..3ac0badab
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0033_reference_type;.rs
@@ -0,0 +1,3 @@
+type A = &();
+type B = &'static ();
+type C = &mut ();
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0033_reference_type;.txt b/crates/ra_syntax/test_data/parser/inline/ok/0033_reference_type;.txt
new file mode 100644
index 000000000..7642ea659
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0033_reference_type;.txt
@@ -0,0 +1,50 @@
+SOURCE_FILE@[0; 54)
+  TYPE_ALIAS_DEF@[0; 13)
+    TYPE_KW@[0; 4) "type"
+    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) "\n"
+  TYPE_ALIAS_DEF@[14; 35)
+    TYPE_KW@[14; 18) "type"
+    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) "\n"
+  TYPE_ALIAS_DEF@[36; 53)
+    TYPE_KW@[36; 40) "type"
+    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) "mut"
+      WHITESPACE@[49; 50) " "
+      TUPLE_TYPE@[50; 52)
+        L_PAREN@[50; 51) "("
+        R_PAREN@[51; 52) ")"
+    SEMI@[52; 53) ";"
+  WHITESPACE@[53; 54) "\n"
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0034_break_expr.rs b/crates/ra_syntax/test_data/parser/inline/ok/0034_break_expr.rs
new file mode 100644
index 000000000..1b4094636
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0034_break_expr.rs
@@ -0,0 +1,8 @@
+fn foo() {
+    loop {
+        break;
+        break 'l;
+        break 92;
+        break 'l 92;
+    }
+}
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0034_break_expr.txt b/crates/ra_syntax/test_data/parser/inline/ok/0034_break_expr.txt
new file mode 100644
index 000000000..4ece7cd7e
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0034_break_expr.txt
@@ -0,0 +1,53 @@
+SOURCE_FILE@[0; 102)
+  FN_DEF@[0; 101)
+    FN_KW@[0; 2) "fn"
+    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; 101)
+      L_CURLY@[9; 10) "{"
+      WHITESPACE@[10; 15) "\n    "
+      LOOP_EXPR@[15; 99)
+        LOOP_KW@[15; 19) "loop"
+        WHITESPACE@[19; 20) " "
+        BLOCK@[20; 99)
+          L_CURLY@[20; 21) "{"
+          WHITESPACE@[21; 30) "\n        "
+          EXPR_STMT@[30; 36)
+            BREAK_EXPR@[30; 35)
+              BREAK_KW@[30; 35) "break"
+            SEMI@[35; 36) ";"
+          WHITESPACE@[36; 45) "\n        "
+          EXPR_STMT@[45; 54)
+            BREAK_EXPR@[45; 53)
+              BREAK_KW@[45; 50) "break"
+              WHITESPACE@[50; 51) " "
+              LIFETIME@[51; 53) "\'l"
+            SEMI@[53; 54) ";"
+          WHITESPACE@[54; 63) "\n        "
+          EXPR_STMT@[63; 72)
+            BREAK_EXPR@[63; 71)
+              BREAK_KW@[63; 68) "break"
+              WHITESPACE@[68; 69) " "
+              LITERAL@[69; 71)
+                INT_NUMBER@[69; 71) "92"
+            SEMI@[71; 72) ";"
+          WHITESPACE@[72; 81) "\n        "
+          EXPR_STMT@[81; 93)
+            BREAK_EXPR@[81; 92)
+              BREAK_KW@[81; 86) "break"
+              WHITESPACE@[86; 87) " "
+              LIFETIME@[87; 89) "\'l"
+              WHITESPACE@[89; 90) " "
+              LITERAL@[90; 92)
+                INT_NUMBER@[90; 92) "92"
+            SEMI@[92; 93) ";"
+          WHITESPACE@[93; 98) "\n    "
+          R_CURLY@[98; 99) "}"
+      WHITESPACE@[99; 100) "\n"
+      R_CURLY@[100; 101) "}"
+  WHITESPACE@[101; 102) "\n"
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0036_unsafe_extern_fn.rs b/crates/ra_syntax/test_data/parser/inline/ok/0036_unsafe_extern_fn.rs
new file mode 100644
index 000000000..1295c2cd2
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0036_unsafe_extern_fn.rs
@@ -0,0 +1 @@
+unsafe extern "C" fn foo() {}
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0036_unsafe_extern_fn.txt b/crates/ra_syntax/test_data/parser/inline/ok/0036_unsafe_extern_fn.txt
new file mode 100644
index 000000000..b5b09b2e5
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0036_unsafe_extern_fn.txt
@@ -0,0 +1,21 @@
+SOURCE_FILE@[0; 30)
+  FN_DEF@[0; 29)
+    UNSAFE_KW@[0; 6) "unsafe"
+    WHITESPACE@[6; 7) " "
+    ABI@[7; 17)
+      EXTERN_KW@[7; 13) "extern"
+      WHITESPACE@[13; 14) " "
+      STRING@[14; 17) "\"C\""
+    WHITESPACE@[17; 18) " "
+    FN_KW@[18; 20) "fn"
+    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) "\n"
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0037_qual_paths.rs b/crates/ra_syntax/test_data/parser/inline/ok/0037_qual_paths.rs
new file mode 100644
index 000000000..d140692e2
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0037_qual_paths.rs
@@ -0,0 +1,2 @@
+type X = <A as B>::Output;
+fn foo() { <usize as Default>::default(); }
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0037_qual_paths.txt b/crates/ra_syntax/test_data/parser/inline/ok/0037_qual_paths.txt
new file mode 100644
index 000000000..9bfddf5d2
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0037_qual_paths.txt
@@ -0,0 +1,78 @@
+SOURCE_FILE@[0; 71)
+  TYPE_ALIAS_DEF@[0; 26)
+    TYPE_KW@[0; 4) "type"
+    WHITESPACE@[4; 5) " "
+    NAME@[5; 6)
+      IDENT@[5; 6) "X"
+    WHITESPACE@[6; 7) " "
+    EQ@[7; 8) "="
+    WHITESPACE@[8; 9) " "
+    PATH_TYPE@[9; 25)
+      PATH@[9; 25)
+        PATH@[9; 17)
+          PATH_SEGMENT@[9; 17)
+            L_ANGLE@[9; 10) "<"
+            PATH_TYPE@[10; 11)
+              PATH@[10; 11)
+                PATH_SEGMENT@[10; 11)
+                  NAME_REF@[10; 11)
+                    IDENT@[10; 11) "A"
+            WHITESPACE@[11; 12) " "
+            AS_KW@[12; 14) "as"
+            WHITESPACE@[14; 15) " "
+            PATH_TYPE@[15; 16)
+              PATH@[15; 16)
+                PATH_SEGMENT@[15; 16)
+                  NAME_REF@[15; 16)
+                    IDENT@[15; 16) "B"
+            R_ANGLE@[16; 17) ">"
+        COLONCOLON@[17; 19) "::"
+        PATH_SEGMENT@[19; 25)
+          NAME_REF@[19; 25)
+            IDENT@[19; 25) "Output"
+    SEMI@[25; 26) ";"
+  WHITESPACE@[26; 27) "\n"
+  FN_DEF@[27; 70)
+    FN_KW@[27; 29) "fn"
+    WHITESPACE@[29; 30) " "
+    NAME@[30; 33)
+      IDENT@[30; 33) "foo"
+    PARAM_LIST@[33; 35)
+      L_PAREN@[33; 34) "("
+      R_PAREN@[34; 35) ")"
+    WHITESPACE@[35; 36) " "
+    BLOCK@[36; 70)
+      L_CURLY@[36; 37) "{"
+      WHITESPACE@[37; 38) " "
+      EXPR_STMT@[38; 68)
+        CALL_EXPR@[38; 67)
+          PATH_EXPR@[38; 65)
+            PATH@[38; 65)
+              PATH@[38; 56)
+                PATH_SEGMENT@[38; 56)
+                  L_ANGLE@[38; 39) "<"
+                  PATH_TYPE@[39; 44)
+                    PATH@[39; 44)
+                      PATH_SEGMENT@[39; 44)
+                        NAME_REF@[39; 44)
+                          IDENT@[39; 44) "usize"
+                  WHITESPACE@[44; 45) " "
+                  AS_KW@[45; 47) "as"
+                  WHITESPACE@[47; 48) " "
+                  PATH_TYPE@[48; 55)
+                    PATH@[48; 55)
+                      PATH_SEGMENT@[48; 55)
+                        NAME_REF@[48; 55)
+                          IDENT@[48; 55) "Default"
+                  R_ANGLE@[55; 56) ">"
+              COLONCOLON@[56; 58) "::"
+              PATH_SEGMENT@[58; 65)
+                NAME_REF@[58; 65)
+                  IDENT@[58; 65) "default"
+          ARG_LIST@[65; 67)
+            L_PAREN@[65; 66) "("
+            R_PAREN@[66; 67) ")"
+        SEMI@[67; 68) ";"
+      WHITESPACE@[68; 69) " "
+      R_CURLY@[69; 70) "}"
+  WHITESPACE@[70; 71) "\n"
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0038_full_range_expr.rs b/crates/ra_syntax/test_data/parser/inline/ok/0038_full_range_expr.rs
new file mode 100644
index 000000000..ae21ad94c
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0038_full_range_expr.rs
@@ -0,0 +1 @@
+fn foo() { xs[..]; }
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0038_full_range_expr.txt b/crates/ra_syntax/test_data/parser/inline/ok/0038_full_range_expr.txt
new file mode 100644
index 000000000..477c645d1
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0038_full_range_expr.txt
@@ -0,0 +1,28 @@
+SOURCE_FILE@[0; 21)
+  FN_DEF@[0; 20)
+    FN_KW@[0; 2) "fn"
+    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; 20)
+      L_CURLY@[9; 10) "{"
+      WHITESPACE@[10; 11) " "
+      EXPR_STMT@[11; 18)
+        INDEX_EXPR@[11; 17)
+          PATH_EXPR@[11; 13)
+            PATH@[11; 13)
+              PATH_SEGMENT@[11; 13)
+                NAME_REF@[11; 13)
+                  IDENT@[11; 13) "xs"
+          L_BRACK@[13; 14) "["
+          RANGE_EXPR@[14; 16)
+            DOTDOT@[14; 16) ".."
+          R_BRACK@[16; 17) "]"
+        SEMI@[17; 18) ";"
+      WHITESPACE@[18; 19) " "
+      R_CURLY@[19; 20) "}"
+  WHITESPACE@[20; 21) "\n"
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0039_type_arg.rs b/crates/ra_syntax/test_data/parser/inline/ok/0039_type_arg.rs
new file mode 100644
index 000000000..385c43131
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0039_type_arg.rs
@@ -0,0 +1 @@
+type A = B<'static, i32, Item=u64>;
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0039_type_arg.txt b/crates/ra_syntax/test_data/parser/inline/ok/0039_type_arg.txt
new file mode 100644
index 000000000..4786bf77a
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0039_type_arg.txt
@@ -0,0 +1,40 @@
+SOURCE_FILE@[0; 36)
+  TYPE_ALIAS_DEF@[0; 35)
+    TYPE_KW@[0; 4) "type"
+    WHITESPACE@[4; 5) " "
+    NAME@[5; 6)
+      IDENT@[5; 6) "A"
+    WHITESPACE@[6; 7) " "
+    EQ@[7; 8) "="
+    WHITESPACE@[8; 9) " "
+    PATH_TYPE@[9; 34)
+      PATH@[9; 34)
+        PATH_SEGMENT@[9; 34)
+          NAME_REF@[9; 10)
+            IDENT@[9; 10) "B"
+          TYPE_ARG_LIST@[10; 34)
+            L_ANGLE@[10; 11) "<"
+            LIFETIME_ARG@[11; 18)
+              LIFETIME@[11; 18) "\'static"
+            COMMA@[18; 19) ","
+            WHITESPACE@[19; 20) " "
+            TYPE_ARG@[20; 23)
+              PATH_TYPE@[20; 23)
+                PATH@[20; 23)
+                  PATH_SEGMENT@[20; 23)
+                    NAME_REF@[20; 23)
+                      IDENT@[20; 23) "i32"
+            COMMA@[23; 24) ","
+            WHITESPACE@[24; 25) " "
+            ASSOC_TYPE_ARG@[25; 33)
+              NAME_REF@[25; 29)
+                IDENT@[25; 29) "Item"
+              EQ@[29; 30) "="
+              PATH_TYPE@[30; 33)
+                PATH@[30; 33)
+                  PATH_SEGMENT@[30; 33)
+                    NAME_REF@[30; 33)
+                      IDENT@[30; 33) "u64"
+            R_ANGLE@[33; 34) ">"
+    SEMI@[34; 35) ";"
+  WHITESPACE@[35; 36) "\n"
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0040_crate_keyword_vis.rs b/crates/ra_syntax/test_data/parser/inline/ok/0040_crate_keyword_vis.rs
new file mode 100644
index 000000000..e2b5f2161
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0040_crate_keyword_vis.rs
@@ -0,0 +1,3 @@
+crate fn main() { }
+struct S { crate field: u32 }
+struct T(crate u32);
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0040_crate_keyword_vis.txt b/crates/ra_syntax/test_data/parser/inline/ok/0040_crate_keyword_vis.txt
new file mode 100644
index 000000000..fb8246174
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0040_crate_keyword_vis.txt
@@ -0,0 +1,62 @@
+SOURCE_FILE@[0; 71)
+  FN_DEF@[0; 19)
+    VISIBILITY@[0; 5)
+      CRATE_KW@[0; 5) "crate"
+    WHITESPACE@[5; 6) " "
+    FN_KW@[6; 8) "fn"
+    WHITESPACE@[8; 9) " "
+    NAME@[9; 13)
+      IDENT@[9; 13) "main"
+    PARAM_LIST@[13; 15)
+      L_PAREN@[13; 14) "("
+      R_PAREN@[14; 15) ")"
+    WHITESPACE@[15; 16) " "
+    BLOCK@[16; 19)
+      L_CURLY@[16; 17) "{"
+      WHITESPACE@[17; 18) " "
+      R_CURLY@[18; 19) "}"
+  WHITESPACE@[19; 20) "\n"
+  STRUCT_DEF@[20; 49)
+    STRUCT_KW@[20; 26) "struct"
+    WHITESPACE@[26; 27) " "
+    NAME@[27; 28)
+      IDENT@[27; 28) "S"
+    WHITESPACE@[28; 29) " "
+    NAMED_FIELD_DEF_LIST@[29; 49)
+      L_CURLY@[29; 30) "{"
+      WHITESPACE@[30; 31) " "
+      NAMED_FIELD_DEF@[31; 47)
+        VISIBILITY@[31; 36)
+          CRATE_KW@[31; 36) "crate"
+        WHITESPACE@[36; 37) " "
+        NAME@[37; 42)
+          IDENT@[37; 42) "field"
+        COLON@[42; 43) ":"
+        WHITESPACE@[43; 44) " "
+        PATH_TYPE@[44; 47)
+          PATH@[44; 47)
+            PATH_SEGMENT@[44; 47)
+              NAME_REF@[44; 47)
+                IDENT@[44; 47) "u32"
+      WHITESPACE@[47; 48) " "
+      R_CURLY@[48; 49) "}"
+  WHITESPACE@[49; 50) "\n"
+  STRUCT_DEF@[50; 70)
+    STRUCT_KW@[50; 56) "struct"
+    WHITESPACE@[56; 57) " "
+    NAME@[57; 58)
+      IDENT@[57; 58) "T"
+    POS_FIELD_DEF_LIST@[58; 69)
+      L_PAREN@[58; 59) "("
+      POS_FIELD_DEF@[59; 68)
+        VISIBILITY@[59; 64)
+          CRATE_KW@[59; 64) "crate"
+        WHITESPACE@[64; 65) " "
+        PATH_TYPE@[65; 68)
+          PATH@[65; 68)
+            PATH_SEGMENT@[65; 68)
+              NAME_REF@[65; 68)
+                IDENT@[65; 68) "u32"
+      R_PAREN@[68; 69) ")"
+    SEMI@[69; 70) ";"
+  WHITESPACE@[70; 71) "\n"
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0041_trait_item.rs b/crates/ra_syntax/test_data/parser/inline/ok/0041_trait_item.rs
new file mode 100644
index 000000000..32761dd03
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0041_trait_item.rs
@@ -0,0 +1,2 @@
+trait T<U>: Hash + Clone where U: Copy {}
+trait X<U: Debug + Display>: Hash + Clone where U: Copy {}
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0041_trait_item.txt b/crates/ra_syntax/test_data/parser/inline/ok/0041_trait_item.txt
new file mode 100644
index 000000000..578361715
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0041_trait_item.txt
@@ -0,0 +1,125 @@
+SOURCE_FILE@[0; 101)
+  TRAIT_DEF@[0; 41)
+    TRAIT_KW@[0; 5) "trait"
+    WHITESPACE@[5; 6) " "
+    NAME@[6; 7)
+      IDENT@[6; 7) "T"
+    TYPE_PARAM_LIST@[7; 10)
+      L_ANGLE@[7; 8) "<"
+      TYPE_PARAM@[8; 9)
+        NAME@[8; 9)
+          IDENT@[8; 9) "U"
+      R_ANGLE@[9; 10) ">"
+    COLON@[10; 11) ":"
+    WHITESPACE@[11; 12) " "
+    TYPE_BOUND_LIST@[12; 24)
+      TYPE_BOUND@[12; 16)
+        PATH_TYPE@[12; 16)
+          PATH@[12; 16)
+            PATH_SEGMENT@[12; 16)
+              NAME_REF@[12; 16)
+                IDENT@[12; 16) "Hash"
+      WHITESPACE@[16; 17) " "
+      PLUS@[17; 18) "+"
+      WHITESPACE@[18; 19) " "
+      TYPE_BOUND@[19; 24)
+        PATH_TYPE@[19; 24)
+          PATH@[19; 24)
+            PATH_SEGMENT@[19; 24)
+              NAME_REF@[19; 24)
+                IDENT@[19; 24) "Clone"
+    WHITESPACE@[24; 25) " "
+    WHERE_CLAUSE@[25; 38)
+      WHERE_KW@[25; 30) "where"
+      WHITESPACE@[30; 31) " "
+      WHERE_PRED@[31; 38)
+        PATH_TYPE@[31; 32)
+          PATH@[31; 32)
+            PATH_SEGMENT@[31; 32)
+              NAME_REF@[31; 32)
+                IDENT@[31; 32) "U"
+        COLON@[32; 33) ":"
+        WHITESPACE@[33; 34) " "
+        TYPE_BOUND_LIST@[34; 38)
+          TYPE_BOUND@[34; 38)
+            PATH_TYPE@[34; 38)
+              PATH@[34; 38)
+                PATH_SEGMENT@[34; 38)
+                  NAME_REF@[34; 38)
+                    IDENT@[34; 38) "Copy"
+    WHITESPACE@[38; 39) " "
+    ITEM_LIST@[39; 41)
+      L_CURLY@[39; 40) "{"
+      R_CURLY@[40; 41) "}"
+  WHITESPACE@[41; 42) "\n"
+  TRAIT_DEF@[42; 100)
+    TRAIT_KW@[42; 47) "trait"
+    WHITESPACE@[47; 48) " "
+    NAME@[48; 49)
+      IDENT@[48; 49) "X"
+    TYPE_PARAM_LIST@[49; 69)
+      L_ANGLE@[49; 50) "<"
+      TYPE_PARAM@[50; 68)
+        NAME@[50; 51)
+          IDENT@[50; 51) "U"
+        COLON@[51; 52) ":"
+        WHITESPACE@[52; 53) " "
+        TYPE_BOUND_LIST@[53; 68)
+          TYPE_BOUND@[53; 58)
+            PATH_TYPE@[53; 58)
+              PATH@[53; 58)
+                PATH_SEGMENT@[53; 58)
+                  NAME_REF@[53; 58)
+                    IDENT@[53; 58) "Debug"
+          WHITESPACE@[58; 59) " "
+          PLUS@[59; 60) "+"
+          WHITESPACE@[60; 61) " "
+          TYPE_BOUND@[61; 68)
+            PATH_TYPE@[61; 68)
+              PATH@[61; 68)
+                PATH_SEGMENT@[61; 68)
+                  NAME_REF@[61; 68)
+                    IDENT@[61; 68) "Display"
+      R_ANGLE@[68; 69) ">"
+    COLON@[69; 70) ":"
+    WHITESPACE@[70; 71) " "
+    TYPE_BOUND_LIST@[71; 83)
+      TYPE_BOUND@[71; 75)
+        PATH_TYPE@[71; 75)
+          PATH@[71; 75)
+            PATH_SEGMENT@[71; 75)
+              NAME_REF@[71; 75)
+                IDENT@[71; 75) "Hash"
+      WHITESPACE@[75; 76) " "
+      PLUS@[76; 77) "+"
+      WHITESPACE@[77; 78) " "
+      TYPE_BOUND@[78; 83)
+        PATH_TYPE@[78; 83)
+          PATH@[78; 83)
+            PATH_SEGMENT@[78; 83)
+              NAME_REF@[78; 83)
+                IDENT@[78; 83) "Clone"
+    WHITESPACE@[83; 84) " "
+    WHERE_CLAUSE@[84; 97)
+      WHERE_KW@[84; 89) "where"
+      WHITESPACE@[89; 90) " "
+      WHERE_PRED@[90; 97)
+        PATH_TYPE@[90; 91)
+          PATH@[90; 91)
+            PATH_SEGMENT@[90; 91)
+              NAME_REF@[90; 91)
+                IDENT@[90; 91) "U"
+        COLON@[91; 92) ":"
+        WHITESPACE@[92; 93) " "
+        TYPE_BOUND_LIST@[93; 97)
+          TYPE_BOUND@[93; 97)
+            PATH_TYPE@[93; 97)
+              PATH@[93; 97)
+                PATH_SEGMENT@[93; 97)
+                  NAME_REF@[93; 97)
+                    IDENT@[93; 97) "Copy"
+    WHITESPACE@[97; 98) " "
+    ITEM_LIST@[98; 100)
+      L_CURLY@[98; 99) "{"
+      R_CURLY@[99; 100) "}"
+  WHITESPACE@[100; 101) "\n"
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0042_call_expr.rs b/crates/ra_syntax/test_data/parser/inline/ok/0042_call_expr.rs
new file mode 100644
index 000000000..ffbf46d6d
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0042_call_expr.rs
@@ -0,0 +1,6 @@
+fn foo() {
+    let _ = f();
+    let _ = f()(1)(1, 2,);
+    let _ = f(<Foo>::func());
+    f(<Foo as Trait>::func());
+}
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0042_call_expr.txt b/crates/ra_syntax/test_data/parser/inline/ok/0042_call_expr.txt
new file mode 100644
index 000000000..dd8946ad2
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0042_call_expr.txt
@@ -0,0 +1,147 @@
+SOURCE_FILE@[0; 118)
+  FN_DEF@[0; 117)
+    FN_KW@[0; 2) "fn"
+    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; 117)
+      L_CURLY@[9; 10) "{"
+      WHITESPACE@[10; 15) "\n    "
+      LET_STMT@[15; 27)
+        LET_KW@[15; 18) "let"
+        WHITESPACE@[18; 19) " "
+        PLACEHOLDER_PAT@[19; 20)
+          UNDERSCORE@[19; 20) "_"
+        WHITESPACE@[20; 21) " "
+        EQ@[21; 22) "="
+        WHITESPACE@[22; 23) " "
+        CALL_EXPR@[23; 26)
+          PATH_EXPR@[23; 24)
+            PATH@[23; 24)
+              PATH_SEGMENT@[23; 24)
+                NAME_REF@[23; 24)
+                  IDENT@[23; 24) "f"
+          ARG_LIST@[24; 26)
+            L_PAREN@[24; 25) "("
+            R_PAREN@[25; 26) ")"
+        SEMI@[26; 27) ";"
+      WHITESPACE@[27; 32) "\n    "
+      LET_STMT@[32; 54)
+        LET_KW@[32; 35) "let"
+        WHITESPACE@[35; 36) " "
+        PLACEHOLDER_PAT@[36; 37)
+          UNDERSCORE@[36; 37) "_"
+        WHITESPACE@[37; 38) " "
+        EQ@[38; 39) "="
+        WHITESPACE@[39; 40) " "
+        CALL_EXPR@[40; 53)
+          CALL_EXPR@[40; 46)
+            CALL_EXPR@[40; 43)
+              PATH_EXPR@[40; 41)
+                PATH@[40; 41)
+                  PATH_SEGMENT@[40; 41)
+                    NAME_REF@[40; 41)
+                      IDENT@[40; 41) "f"
+              ARG_LIST@[41; 43)
+                L_PAREN@[41; 42) "("
+                R_PAREN@[42; 43) ")"
+            ARG_LIST@[43; 46)
+              L_PAREN@[43; 44) "("
+              LITERAL@[44; 45)
+                INT_NUMBER@[44; 45) "1"
+              R_PAREN@[45; 46) ")"
+          ARG_LIST@[46; 53)
+            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) ","
+            R_PAREN@[52; 53) ")"
+        SEMI@[53; 54) ";"
+      WHITESPACE@[54; 59) "\n    "
+      LET_STMT@[59; 84)
+        LET_KW@[59; 62) "let"
+        WHITESPACE@[62; 63) " "
+        PLACEHOLDER_PAT@[63; 64)
+          UNDERSCORE@[63; 64) "_"
+        WHITESPACE@[64; 65) " "
+        EQ@[65; 66) "="
+        WHITESPACE@[66; 67) " "
+        CALL_EXPR@[67; 83)
+          PATH_EXPR@[67; 68)
+            PATH@[67; 68)
+              PATH_SEGMENT@[67; 68)
+                NAME_REF@[67; 68)
+                  IDENT@[67; 68) "f"
+          ARG_LIST@[68; 83)
+            L_PAREN@[68; 69) "("
+            CALL_EXPR@[69; 82)
+              PATH_EXPR@[69; 80)
+                PATH@[69; 80)
+                  PATH@[69; 74)
+                    PATH_SEGMENT@[69; 74)
+                      L_ANGLE@[69; 70) "<"
+                      PATH_TYPE@[70; 73)
+                        PATH@[70; 73)
+                          PATH_SEGMENT@[70; 73)
+                            NAME_REF@[70; 73)
+                              IDENT@[70; 73) "Foo"
+                      R_ANGLE@[73; 74) ">"
+                  COLONCOLON@[74; 76) "::"
+                  PATH_SEGMENT@[76; 80)
+                    NAME_REF@[76; 80)
+                      IDENT@[76; 80) "func"
+              ARG_LIST@[80; 82)
+                L_PAREN@[80; 81) "("
+                R_PAREN@[81; 82) ")"
+            R_PAREN@[82; 83) ")"
+        SEMI@[83; 84) ";"
+      WHITESPACE@[84; 89) "\n    "
+      EXPR_STMT@[89; 115)
+        CALL_EXPR@[89; 114)
+          PATH_EXPR@[89; 90)
+            PATH@[89; 90)
+              PATH_SEGMENT@[89; 90)
+                NAME_REF@[89; 90)
+                  IDENT@[89; 90) "f"
+          ARG_LIST@[90; 114)
+            L_PAREN@[90; 91) "("
+            CALL_EXPR@[91; 113)
+              PATH_EXPR@[91; 111)
+                PATH@[91; 111)
+                  PATH@[91; 105)
+                    PATH_SEGMENT@[91; 105)
+                      L_ANGLE@[91; 92) "<"
+                      PATH_TYPE@[92; 95)
+                        PATH@[92; 95)
+                          PATH_SEGMENT@[92; 95)
+                            NAME_REF@[92; 95)
+                              IDENT@[92; 95) "Foo"
+                      WHITESPACE@[95; 96) " "
+                      AS_KW@[96; 98) "as"
+                      WHITESPACE@[98; 99) " "
+                      PATH_TYPE@[99; 104)
+                        PATH@[99; 104)
+                          PATH_SEGMENT@[99; 104)
+                            NAME_REF@[99; 104)
+                              IDENT@[99; 104) "Trait"
+                      R_ANGLE@[104; 105) ">"
+                  COLONCOLON@[105; 107) "::"
+                  PATH_SEGMENT@[107; 111)
+                    NAME_REF@[107; 111)
+                      IDENT@[107; 111) "func"
+              ARG_LIST@[111; 113)
+                L_PAREN@[111; 112) "("
+                R_PAREN@[112; 113) ")"
+            R_PAREN@[113; 114) ")"
+        SEMI@[114; 115) ";"
+      WHITESPACE@[115; 116) "\n"
+      R_CURLY@[116; 117) "}"
+  WHITESPACE@[117; 118) "\n"
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0043_use_alias.rs b/crates/ra_syntax/test_data/parser/inline/ok/0043_use_alias.rs
new file mode 100644
index 000000000..9be50f877
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0043_use_alias.rs
@@ -0,0 +1,8 @@
+use some::path as some_name;
+use some::{
+ other::path as some_other_name,
+ different::path as different_name,
+ yet::another::path,
+ running::out::of::synonyms::for_::different::*
+};
+use Trait as _;
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0043_use_alias.txt b/crates/ra_syntax/test_data/parser/inline/ok/0043_use_alias.txt
new file mode 100644
index 000000000..18d8a151f
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0043_use_alias.txt
@@ -0,0 +1,138 @@
+SOURCE_FILE@[0; 198)
+  USE_ITEM@[0; 28)
+    USE_KW@[0; 3) "use"
+    WHITESPACE@[3; 4) " "
+    USE_TREE@[4; 27)
+      PATH@[4; 14)
+        PATH@[4; 8)
+          PATH_SEGMENT@[4; 8)
+            NAME_REF@[4; 8)
+              IDENT@[4; 8) "some"
+        COLONCOLON@[8; 10) "::"
+        PATH_SEGMENT@[10; 14)
+          NAME_REF@[10; 14)
+            IDENT@[10; 14) "path"
+      WHITESPACE@[14; 15) " "
+      ALIAS@[15; 27)
+        AS_KW@[15; 17) "as"
+        WHITESPACE@[17; 18) " "
+        NAME@[18; 27)
+          IDENT@[18; 27) "some_name"
+    SEMI@[27; 28) ";"
+  WHITESPACE@[28; 29) "\n"
+  USE_ITEM@[29; 181)
+    USE_KW@[29; 32) "use"
+    WHITESPACE@[32; 33) " "
+    USE_TREE@[33; 180)
+      PATH@[33; 37)
+        PATH_SEGMENT@[33; 37)
+          NAME_REF@[33; 37)
+            IDENT@[33; 37) "some"
+      COLONCOLON@[37; 39) "::"
+      USE_TREE_LIST@[39; 180)
+        L_CURLY@[39; 40) "{"
+        WHITESPACE@[40; 42) "\n "
+        USE_TREE@[42; 72)
+          PATH@[42; 53)
+            PATH@[42; 47)
+              PATH_SEGMENT@[42; 47)
+                NAME_REF@[42; 47)
+                  IDENT@[42; 47) "other"
+            COLONCOLON@[47; 49) "::"
+            PATH_SEGMENT@[49; 53)
+              NAME_REF@[49; 53)
+                IDENT@[49; 53) "path"
+          WHITESPACE@[53; 54) " "
+          ALIAS@[54; 72)
+            AS_KW@[54; 56) "as"
+            WHITESPACE@[56; 57) " "
+            NAME@[57; 72)
+              IDENT@[57; 72) "some_other_name"
+        COMMA@[72; 73) ","
+        WHITESPACE@[73; 75) "\n "
+        USE_TREE@[75; 108)
+          PATH@[75; 90)
+            PATH@[75; 84)
+              PATH_SEGMENT@[75; 84)
+                NAME_REF@[75; 84)
+                  IDENT@[75; 84) "different"
+            COLONCOLON@[84; 86) "::"
+            PATH_SEGMENT@[86; 90)
+              NAME_REF@[86; 90)
+                IDENT@[86; 90) "path"
+          WHITESPACE@[90; 91) " "
+          ALIAS@[91; 108)
+            AS_KW@[91; 93) "as"
+            WHITESPACE@[93; 94) " "
+            NAME@[94; 108)
+              IDENT@[94; 108) "different_name"
+        COMMA@[108; 109) ","
+        WHITESPACE@[109; 111) "\n "
+        USE_TREE@[111; 129)
+          PATH@[111; 129)
+            PATH@[111; 123)
+              PATH@[111; 114)
+                PATH_SEGMENT@[111; 114)
+                  NAME_REF@[111; 114)
+                    IDENT@[111; 114) "yet"
+              COLONCOLON@[114; 116) "::"
+              PATH_SEGMENT@[116; 123)
+                NAME_REF@[116; 123)
+                  IDENT@[116; 123) "another"
+            COLONCOLON@[123; 125) "::"
+            PATH_SEGMENT@[125; 129)
+              NAME_REF@[125; 129)
+                IDENT@[125; 129) "path"
+        COMMA@[129; 130) ","
+        WHITESPACE@[130; 132) "\n "
+        USE_TREE@[132; 178)
+          PATH@[132; 175)
+            PATH@[132; 164)
+              PATH@[132; 158)
+                PATH@[132; 148)
+                  PATH@[132; 144)
+                    PATH@[132; 139)
+                      PATH_SEGMENT@[132; 139)
+                        NAME_REF@[132; 139)
+                          IDENT@[132; 139) "running"
+                    COLONCOLON@[139; 141) "::"
+                    PATH_SEGMENT@[141; 144)
+                      NAME_REF@[141; 144)
+                        IDENT@[141; 144) "out"
+                  COLONCOLON@[144; 146) "::"
+                  PATH_SEGMENT@[146; 148)
+                    NAME_REF@[146; 148)
+                      IDENT@[146; 148) "of"
+                COLONCOLON@[148; 150) "::"
+                PATH_SEGMENT@[150; 158)
+                  NAME_REF@[150; 158)
+                    IDENT@[150; 158) "synonyms"
+              COLONCOLON@[158; 160) "::"
+              PATH_SEGMENT@[160; 164)
+                NAME_REF@[160; 164)
+                  IDENT@[160; 164) "for_"
+            COLONCOLON@[164; 166) "::"
+            PATH_SEGMENT@[166; 175)
+              NAME_REF@[166; 175)
+                IDENT@[166; 175) "different"
+          COLONCOLON@[175; 177) "::"
+          STAR@[177; 178) "*"
+        WHITESPACE@[178; 179) "\n"
+        R_CURLY@[179; 180) "}"
+    SEMI@[180; 181) ";"
+  WHITESPACE@[181; 182) "\n"
+  USE_ITEM@[182; 197)
+    USE_KW@[182; 185) "use"
+    WHITESPACE@[185; 186) " "
+    USE_TREE@[186; 196)
+      PATH@[186; 191)
+        PATH_SEGMENT@[186; 191)
+          NAME_REF@[186; 191)
+            IDENT@[186; 191) "Trait"
+      WHITESPACE@[191; 192) " "
+      ALIAS@[192; 196)
+        AS_KW@[192; 194) "as"
+        WHITESPACE@[194; 195) " "
+        UNDERSCORE@[195; 196) "_"
+    SEMI@[196; 197) ";"
+  WHITESPACE@[197; 198) "\n"
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0044_block_items.rs b/crates/ra_syntax/test_data/parser/inline/ok/0044_block_items.rs
new file mode 100644
index 000000000..d9868718c
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0044_block_items.rs
@@ -0,0 +1 @@
+fn a() { fn b() {} }
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0044_block_items.txt b/crates/ra_syntax/test_data/parser/inline/ok/0044_block_items.txt
new file mode 100644
index 000000000..d1a8c560a
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0044_block_items.txt
@@ -0,0 +1,28 @@
+SOURCE_FILE@[0; 21)
+  FN_DEF@[0; 20)
+    FN_KW@[0; 2) "fn"
+    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; 20)
+      L_CURLY@[7; 8) "{"
+      WHITESPACE@[8; 9) " "
+      FN_DEF@[9; 18)
+        FN_KW@[9; 11) "fn"
+        WHITESPACE@[11; 12) " "
+        NAME@[12; 13)
+          IDENT@[12; 13) "b"
+        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) " "
+      R_CURLY@[19; 20) "}"
+  WHITESPACE@[20; 21) "\n"
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0045_param_list_opt_patterns.rs b/crates/ra_syntax/test_data/parser/inline/ok/0045_param_list_opt_patterns.rs
new file mode 100644
index 000000000..9b93442c0
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0045_param_list_opt_patterns.rs
@@ -0,0 +1 @@
+fn foo<F: FnMut(&mut Foo<'a>)>(){}
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0045_param_list_opt_patterns.txt b/crates/ra_syntax/test_data/parser/inline/ok/0045_param_list_opt_patterns.txt
new file mode 100644
index 000000000..f85d6a4bc
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0045_param_list_opt_patterns.txt
@@ -0,0 +1,46 @@
+SOURCE_FILE@[0; 35)
+  FN_DEF@[0; 34)
+    FN_KW@[0; 2) "fn"
+    WHITESPACE@[2; 3) " "
+    NAME@[3; 6)
+      IDENT@[3; 6) "foo"
+    TYPE_PARAM_LIST@[6; 30)
+      L_ANGLE@[6; 7) "<"
+      TYPE_PARAM@[7; 29)
+        NAME@[7; 8)
+          IDENT@[7; 8) "F"
+        COLON@[8; 9) ":"
+        WHITESPACE@[9; 10) " "
+        TYPE_BOUND_LIST@[10; 29)
+          TYPE_BOUND@[10; 29)
+            PATH_TYPE@[10; 29)
+              PATH@[10; 29)
+                PATH_SEGMENT@[10; 29)
+                  NAME_REF@[10; 15)
+                    IDENT@[10; 15) "FnMut"
+                  PARAM_LIST@[15; 29)
+                    L_PAREN@[15; 16) "("
+                    PARAM@[16; 28)
+                      REFERENCE_TYPE@[16; 28)
+                        AMP@[16; 17) "&"
+                        MUT_KW@[17; 20) "mut"
+                        WHITESPACE@[20; 21) " "
+                        PATH_TYPE@[21; 28)
+                          PATH@[21; 28)
+                            PATH_SEGMENT@[21; 28)
+                              NAME_REF@[21; 24)
+                                IDENT@[21; 24) "Foo"
+                              TYPE_ARG_LIST@[24; 28)
+                                L_ANGLE@[24; 25) "<"
+                                LIFETIME_ARG@[25; 27)
+                                  LIFETIME@[25; 27) "\'a"
+                                R_ANGLE@[27; 28) ">"
+                    R_PAREN@[28; 29) ")"
+      R_ANGLE@[29; 30) ">"
+    PARAM_LIST@[30; 32)
+      L_PAREN@[30; 31) "("
+      R_PAREN@[31; 32) ")"
+    BLOCK@[32; 34)
+      L_CURLY@[32; 33) "{"
+      R_CURLY@[33; 34) "}"
+  WHITESPACE@[34; 35) "\n"
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0046_singleton_tuple_type.rs b/crates/ra_syntax/test_data/parser/inline/ok/0046_singleton_tuple_type.rs
new file mode 100644
index 000000000..cb66bad24
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0046_singleton_tuple_type.rs
@@ -0,0 +1 @@
+type T = (i32,);
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0046_singleton_tuple_type.txt b/crates/ra_syntax/test_data/parser/inline/ok/0046_singleton_tuple_type.txt
new file mode 100644
index 000000000..c7b4e614d
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0046_singleton_tuple_type.txt
@@ -0,0 +1,20 @@
+SOURCE_FILE@[0; 17)
+  TYPE_ALIAS_DEF@[0; 16)
+    TYPE_KW@[0; 4) "type"
+    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) "\n"
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0047_unsafe_default_impl.rs b/crates/ra_syntax/test_data/parser/inline/ok/0047_unsafe_default_impl.rs
new file mode 100644
index 000000000..9cd6c57bd
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0047_unsafe_default_impl.rs
@@ -0,0 +1 @@
+unsafe default impl Foo {}
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0047_unsafe_default_impl.txt b/crates/ra_syntax/test_data/parser/inline/ok/0047_unsafe_default_impl.txt
new file mode 100644
index 000000000..8f3dcaf88
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0047_unsafe_default_impl.txt
@@ -0,0 +1,18 @@
+SOURCE_FILE@[0; 27)
+  IMPL_BLOCK@[0; 26)
+    UNSAFE_KW@[0; 6) "unsafe"
+    WHITESPACE@[6; 7) " "
+    DEFAULT_KW@[7; 14) "default"
+    WHITESPACE@[14; 15) " "
+    IMPL_KW@[15; 19) "impl"
+    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) "\n"
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0048_path_type_with_bounds.rs b/crates/ra_syntax/test_data/parser/inline/ok/0048_path_type_with_bounds.rs
new file mode 100644
index 000000000..4bb0f63b7
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0048_path_type_with_bounds.rs
@@ -0,0 +1,2 @@
+fn foo() -> Box<T + 'f> {}
+fn foo() -> Box<dyn T + 'f> {}
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0048_path_type_with_bounds.txt b/crates/ra_syntax/test_data/parser/inline/ok/0048_path_type_with_bounds.txt
new file mode 100644
index 000000000..bb948c8d8
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0048_path_type_with_bounds.txt
@@ -0,0 +1,81 @@
+SOURCE_FILE@[0; 58)
+  FN_DEF@[0; 26)
+    FN_KW@[0; 2) "fn"
+    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) " "
+    RET_TYPE@[9; 23)
+      THIN_ARROW@[9; 11) "->"
+      WHITESPACE@[11; 12) " "
+      PATH_TYPE@[12; 23)
+        PATH@[12; 23)
+          PATH_SEGMENT@[12; 23)
+            NAME_REF@[12; 15)
+              IDENT@[12; 15) "Box"
+            TYPE_ARG_LIST@[15; 23)
+              L_ANGLE@[15; 16) "<"
+              TYPE_ARG@[16; 22)
+                DYN_TRAIT_TYPE@[16; 22)
+                  TYPE_BOUND_LIST@[16; 22)
+                    TYPE_BOUND@[16; 17)
+                      PATH_TYPE@[16; 17)
+                        PATH@[16; 17)
+                          PATH_SEGMENT@[16; 17)
+                            NAME_REF@[16; 17)
+                              IDENT@[16; 17) "T"
+                    WHITESPACE@[17; 18) " "
+                    PLUS@[18; 19) "+"
+                    WHITESPACE@[19; 20) " "
+                    TYPE_BOUND@[20; 22)
+                      LIFETIME@[20; 22) "\'f"
+              R_ANGLE@[22; 23) ">"
+    WHITESPACE@[23; 24) " "
+    BLOCK@[24; 26)
+      L_CURLY@[24; 25) "{"
+      R_CURLY@[25; 26) "}"
+  WHITESPACE@[26; 27) "\n"
+  FN_DEF@[27; 57)
+    FN_KW@[27; 29) "fn"
+    WHITESPACE@[29; 30) " "
+    NAME@[30; 33)
+      IDENT@[30; 33) "foo"
+    PARAM_LIST@[33; 35)
+      L_PAREN@[33; 34) "("
+      R_PAREN@[34; 35) ")"
+    WHITESPACE@[35; 36) " "
+    RET_TYPE@[36; 54)
+      THIN_ARROW@[36; 38) "->"
+      WHITESPACE@[38; 39) " "
+      PATH_TYPE@[39; 54)
+        PATH@[39; 54)
+          PATH_SEGMENT@[39; 54)
+            NAME_REF@[39; 42)
+              IDENT@[39; 42) "Box"
+            TYPE_ARG_LIST@[42; 54)
+              L_ANGLE@[42; 43) "<"
+              TYPE_ARG@[43; 53)
+                DYN_TRAIT_TYPE@[43; 53)
+                  DYN_KW@[43; 46) "dyn"
+                  WHITESPACE@[46; 47) " "
+                  TYPE_BOUND_LIST@[47; 53)
+                    TYPE_BOUND@[47; 48)
+                      PATH_TYPE@[47; 48)
+                        PATH@[47; 48)
+                          PATH_SEGMENT@[47; 48)
+                            NAME_REF@[47; 48)
+                              IDENT@[47; 48) "T"
+                    WHITESPACE@[48; 49) " "
+                    PLUS@[49; 50) "+"
+                    WHITESPACE@[50; 51) " "
+                    TYPE_BOUND@[51; 53)
+                      LIFETIME@[51; 53) "\'f"
+              R_ANGLE@[53; 54) ">"
+    WHITESPACE@[54; 55) " "
+    BLOCK@[55; 57)
+      L_CURLY@[55; 56) "{"
+      R_CURLY@[56; 57) "}"
+  WHITESPACE@[57; 58) "\n"
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0050_fn_decl.rs b/crates/ra_syntax/test_data/parser/inline/ok/0050_fn_decl.rs
new file mode 100644
index 000000000..c9f74f7f5
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0050_fn_decl.rs
@@ -0,0 +1 @@
+trait T { fn foo(); }
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0050_fn_decl.txt b/crates/ra_syntax/test_data/parser/inline/ok/0050_fn_decl.txt
new file mode 100644
index 000000000..19f961e29
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0050_fn_decl.txt
@@ -0,0 +1,22 @@
+SOURCE_FILE@[0; 22)
+  TRAIT_DEF@[0; 21)
+    TRAIT_KW@[0; 5) "trait"
+    WHITESPACE@[5; 6) " "
+    NAME@[6; 7)
+      IDENT@[6; 7) "T"
+    WHITESPACE@[7; 8) " "
+    ITEM_LIST@[8; 21)
+      L_CURLY@[8; 9) "{"
+      WHITESPACE@[9; 10) " "
+      FN_DEF@[10; 19)
+        FN_KW@[10; 12) "fn"
+        WHITESPACE@[12; 13) " "
+        NAME@[13; 16)
+          IDENT@[13; 16) "foo"
+        PARAM_LIST@[16; 18)
+          L_PAREN@[16; 17) "("
+          R_PAREN@[17; 18) ")"
+        SEMI@[18; 19) ";"
+      WHITESPACE@[19; 20) " "
+      R_CURLY@[20; 21) "}"
+  WHITESPACE@[21; 22) "\n"
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0051_unit_type.rs b/crates/ra_syntax/test_data/parser/inline/ok/0051_unit_type.rs
new file mode 100644
index 000000000..c039cf7d3
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0051_unit_type.rs
@@ -0,0 +1 @@
+type T = ();
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0051_unit_type.txt b/crates/ra_syntax/test_data/parser/inline/ok/0051_unit_type.txt
new file mode 100644
index 000000000..6a469f8aa
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0051_unit_type.txt
@@ -0,0 +1,14 @@
+SOURCE_FILE@[0; 13)
+  TYPE_ALIAS_DEF@[0; 12)
+    TYPE_KW@[0; 4) "type"
+    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) "\n"
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0052_path_type.rs b/crates/ra_syntax/test_data/parser/inline/ok/0052_path_type.rs
new file mode 100644
index 000000000..bf94f32e1
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0052_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/test_data/parser/inline/ok/0052_path_type.txt b/crates/ra_syntax/test_data/parser/inline/ok/0052_path_type.txt
new file mode 100644
index 000000000..ee55ee219
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0052_path_type.txt
@@ -0,0 +1,70 @@
+SOURCE_FILE@[0; 71)
+  TYPE_ALIAS_DEF@[0; 13)
+    TYPE_KW@[0; 4) "type"
+    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) "\n"
+  TYPE_ALIAS_DEF@[14; 29)
+    TYPE_KW@[14; 18) "type"
+    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) "\n"
+  TYPE_ALIAS_DEF@[30; 49)
+    TYPE_KW@[30; 34) "type"
+    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) "self"
+        COLONCOLON@[43; 45) "::"
+        PATH_SEGMENT@[45; 48)
+          NAME_REF@[45; 48)
+            IDENT@[45; 48) "Foo"
+    SEMI@[48; 49) ";"
+  WHITESPACE@[49; 50) "\n"
+  TYPE_ALIAS_DEF@[50; 70)
+    TYPE_KW@[50; 54) "type"
+    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) "super"
+        COLONCOLON@[64; 66) "::"
+        PATH_SEGMENT@[66; 69)
+          NAME_REF@[66; 69)
+            IDENT@[66; 69) "Foo"
+    SEMI@[69; 70) ";"
+  WHITESPACE@[70; 71) "\n"
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0053_path_expr.rs b/crates/ra_syntax/test_data/parser/inline/ok/0053_path_expr.rs
new file mode 100644
index 000000000..333ebabef
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0053_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/test_data/parser/inline/ok/0053_path_expr.txt b/crates/ra_syntax/test_data/parser/inline/ok/0053_path_expr.txt
new file mode 100644
index 000000000..bc4b97c9f
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0053_path_expr.txt
@@ -0,0 +1,95 @@
+SOURCE_FILE@[0; 91)
+  FN_DEF@[0; 90)
+    FN_KW@[0; 2) "fn"
+    WHITESPACE@[2; 3) " "