309 files changed, 8197 insertions, 0 deletions
diff --git a/crates/libsyntax2/tests/data/lexer/00012_block_comment.rs b/crates/libsyntax2/tests/data/lexer/00012_block_comment.rs
new file mode 100644
index 000000000..708aac197
--- /dev/null
+++ b/crates/libsyntax2/tests/data/lexer/00012_block_comment.rs
@@ -0,0 +1,4 @@
+/* */
+/**/
+/* /* */ */
+/*
diff --git a/crates/libsyntax2/tests/data/lexer/00012_block_comment.txt b/crates/libsyntax2/tests/data/lexer/00012_block_comment.txt
new file mode 100644
index 000000000..9958b2518
--- /dev/null
+++ b/crates/libsyntax2/tests/data/lexer/00012_block_comment.txt
@@ -0,0 +1,7 @@
+COMMENT 5 "/* */"
+WHITESPACE 1 "\n"
+COMMENT 4 "/**/"
+WHITESPACE 1 "\n"
+COMMENT 11 "/* /* */ */"
+WHITESPACE 1 "\n"
+COMMENT 3 "/*\n"
diff --git a/crates/libsyntax2/tests/data/lexer/0001_hello.rs b/crates/libsyntax2/tests/data/lexer/0001_hello.rs
new file mode 100644
index 000000000..95d09f2b1
--- /dev/null
+++ b/crates/libsyntax2/tests/data/lexer/0001_hello.rs
@@ -0,0 +1 @@
+hello world
+\ No newline at end of file
diff --git a/crates/libsyntax2/tests/data/lexer/0001_hello.txt b/crates/libsyntax2/tests/data/lexer/0001_hello.txt
new file mode 100644
index 000000000..27a5940a9
--- /dev/null
+++ b/crates/libsyntax2/tests/data/lexer/0001_hello.txt
@@ -0,0 +1,3 @@
+IDENT 5 "hello"
+WHITESPACE 1 " "
+IDENT 5 "world"
diff --git a/crates/libsyntax2/tests/data/lexer/0002_whitespace.rs b/crates/libsyntax2/tests/data/lexer/0002_whitespace.rs
new file mode 100644
index 000000000..08fce1418
--- /dev/null
+++ b/crates/libsyntax2/tests/data/lexer/0002_whitespace.rs
@@ -0,0 +1,4 @@
+a b  c
+d
+e       f
diff --git a/crates/libsyntax2/tests/data/lexer/0002_whitespace.txt b/crates/libsyntax2/tests/data/lexer/0002_whitespace.txt
new file mode 100644
index 000000000..01d260918
--- /dev/null
+++ b/crates/libsyntax2/tests/data/lexer/0002_whitespace.txt
@@ -0,0 +1,12 @@
+IDENT 1 "a"
+WHITESPACE 1 " "
+IDENT 1 "b"
+WHITESPACE 2 "  "
+IDENT 1 "c"
+WHITESPACE 1 "\n"
+IDENT 1 "d"
+WHITESPACE 2 "\n\n"
+IDENT 1 "e"
+WHITESPACE 1 "\t"
+IDENT 1 "f"
+WHITESPACE 1 "\n"
diff --git a/crates/libsyntax2/tests/data/lexer/0003_ident.rs b/crates/libsyntax2/tests/data/lexer/0003_ident.rs
new file mode 100644
index 000000000..c05c9c009
--- /dev/null
+++ b/crates/libsyntax2/tests/data/lexer/0003_ident.rs
@@ -0,0 +1 @@
+foo foo_ _foo _ __ x привет
diff --git a/crates/libsyntax2/tests/data/lexer/0003_ident.txt b/crates/libsyntax2/tests/data/lexer/0003_ident.txt
new file mode 100644
index 000000000..4a0d5c053
--- /dev/null
+++ b/crates/libsyntax2/tests/data/lexer/0003_ident.txt
@@ -0,0 +1,14 @@
+IDENT 3 "foo"
+WHITESPACE 1 " "
+IDENT 4 "foo_"
+WHITESPACE 1 " "
+IDENT 4 "_foo"
+WHITESPACE 1 " "
+UNDERSCORE 1 "_"
+WHITESPACE 1 " "
+IDENT 2 "__"
+WHITESPACE 1 " "
+IDENT 1 "x"
+WHITESPACE 1 " "
+IDENT 12 "привет"
+WHITESPACE 1 "\n"
diff --git a/crates/libsyntax2/tests/data/lexer/0004_numbers.rs b/crates/libsyntax2/tests/data/lexer/0004_numbers.rs
new file mode 100644
index 000000000..dc974b553
--- /dev/null
+++ b/crates/libsyntax2/tests/data/lexer/0004_numbers.rs
@@ -0,0 +1,9 @@
+0 0b 0o 0x 00 0_ 0. 0e 0E 0z
+01790 0b1790 0o1790 0x1790aAbBcCdDeEfF 001279 0_1279 0.1279 0e1279 0E1279
+0..2
+0.foo()
+0e+1
+0.e+1
+0.0E-2
+0___0.10000____0000e+111__
+1i64 92.0f32 11__s
+\ No newline at end of file
diff --git a/crates/libsyntax2/tests/data/lexer/0004_numbers.txt b/crates/libsyntax2/tests/data/lexer/0004_numbers.txt
new file mode 100644
index 000000000..4b5fd9f71
--- /dev/null
+++ b/crates/libsyntax2/tests/data/lexer/0004_numbers.txt
@@ -0,0 +1,67 @@
+INT_NUMBER 1 "0"
+WHITESPACE 1 " "
+INT_NUMBER 2 "0b"
+WHITESPACE 1 " "
+INT_NUMBER 2 "0o"
+WHITESPACE 1 " "
+INT_NUMBER 2 "0x"
+WHITESPACE 1 " "
+INT_NUMBER 2 "00"
+WHITESPACE 1 " "
+INT_NUMBER 2 "0_"
+WHITESPACE 1 " "
+FLOAT_NUMBER 2 "0."
+WHITESPACE 1 " "
+INT_NUMBER 2 "0e"
+WHITESPACE 1 " "
+INT_NUMBER 2 "0E"
+WHITESPACE 1 " "
+INT_NUMBER 2 "0z"
+WHITESPACE 1 "\n"
+INT_NUMBER 5 "01790"
+WHITESPACE 1 " "
+INT_NUMBER 6 "0b1790"
+WHITESPACE 1 " "
+INT_NUMBER 6 "0o1790"
+WHITESPACE 1 " "
+INT_NUMBER 18 "0x1790aAbBcCdDeEfF"
+WHITESPACE 1 " "
+INT_NUMBER 6 "001279"
+WHITESPACE 1 " "
+INT_NUMBER 6 "0_1279"
+WHITESPACE 1 " "
+FLOAT_NUMBER 6 "0.1279"
+WHITESPACE 1 " "
+INT_NUMBER 6 "0e1279"
+WHITESPACE 1 " "
+INT_NUMBER 6 "0E1279"
+WHITESPACE 1 "\n"
+INT_NUMBER 1 "0"
+DOTDOT 2 ".."
+INT_NUMBER 1 "2"
+WHITESPACE 1 "\n"
+INT_NUMBER 1 "0"
+DOT 1 "."
+IDENT 3 "foo"
+L_PAREN 1 "("
+R_PAREN 1 ")"
+WHITESPACE 1 "\n"
+INT_NUMBER 2 "0e"
+PLUS 1 "+"
+INT_NUMBER 1 "1"
+WHITESPACE 1 "\n"
+INT_NUMBER 1 "0"
+DOT 1 "."
+IDENT 1 "e"
+PLUS 1 "+"
+INT_NUMBER 1 "1"
+WHITESPACE 1 "\n"
+FLOAT_NUMBER 6 "0.0E-2"
+WHITESPACE 1 "\n"
+FLOAT_NUMBER 26 "0___0.10000____0000e+111__"
+WHITESPACE 1 "\n"
+INT_NUMBER 4 "1i64"
+WHITESPACE 1 " "
+FLOAT_NUMBER 7 "92.0f32"
+WHITESPACE 1 " "
+INT_NUMBER 5 "11__s"
diff --git a/crates/libsyntax2/tests/data/lexer/0005_symbols.rs b/crates/libsyntax2/tests/data/lexer/0005_symbols.rs
new file mode 100644
index 000000000..487569b5a
--- /dev/null
+++ b/crates/libsyntax2/tests/data/lexer/0005_symbols.rs
@@ -0,0 +1,6 @@
+; , ( ) { } [ ] < > @ # ~ ? $ & | + * / ^ %
+. .. ... ..=
+: ::
+= =>
+! !=
+- ->
diff --git a/crates/libsyntax2/tests/data/lexer/0005_symbols.txt b/crates/libsyntax2/tests/data/lexer/0005_symbols.txt
new file mode 100644
index 000000000..a6bc83a6f
--- /dev/null
+++ b/crates/libsyntax2/tests/data/lexer/0005_symbols.txt
@@ -0,0 +1,68 @@
+SEMI 1 ";"
+WHITESPACE 1 " "
+COMMA 1 ","
+WHITESPACE 1 " "
+L_PAREN 1 "("
+WHITESPACE 1 " "
+R_PAREN 1 ")"
+WHITESPACE 1 " "
+L_CURLY 1 "{"
+WHITESPACE 1 " "
+R_CURLY 1 "}"
+WHITESPACE 1 " "
+L_BRACK 1 "["
+WHITESPACE 1 " "
+R_BRACK 1 "]"
+WHITESPACE 1 " "
+L_ANGLE 1 "<"
+WHITESPACE 1 " "
+R_ANGLE 1 ">"
+WHITESPACE 1 " "
+AT 1 "@"
+WHITESPACE 1 " "
+POUND 1 "#"
+WHITESPACE 1 " "
+TILDE 1 "~"
+WHITESPACE 1 " "
+QUESTION 1 "?"
+WHITESPACE 1 " "
+DOLLAR 1 "$"
+WHITESPACE 1 " "
+AMP 1 "&"
+WHITESPACE 1 " "
+PIPE 1 "|"
+WHITESPACE 1 " "
+PLUS 1 "+"
+WHITESPACE 1 " "
+STAR 1 "*"
+WHITESPACE 1 " "
+SLASH 1 "/"
+WHITESPACE 1 " "
+CARET 1 "^"
+WHITESPACE 1 " "
+PERCENT 1 "%"
+WHITESPACE 1 "\n"
+DOT 1 "."
+WHITESPACE 1 " "
+DOTDOT 2 ".."
+WHITESPACE 1 " "
+DOTDOTDOT 3 "..."
+WHITESPACE 1 " "
+DOTDOTEQ 3 "..="
+WHITESPACE 1 "\n"
+COLON 1 ":"
+WHITESPACE 1 " "
+COLONCOLON 2 "::"
+WHITESPACE 1 "\n"
+EQ 1 "="
+WHITESPACE 1 " "
+FAT_ARROW 2 "=>"
+WHITESPACE 1 "\n"
+EXCL 1 "!"
+WHITESPACE 1 " "
+NEQ 2 "!="
+WHITESPACE 1 "\n"
+MINUS 1 "-"
+WHITESPACE 1 " "
+THIN_ARROW 2 "->"
+WHITESPACE 1 "\n"
diff --git a/crates/libsyntax2/tests/data/lexer/0006_chars.rs b/crates/libsyntax2/tests/data/lexer/0006_chars.rs
new file mode 100644
index 000000000..03598d908
--- /dev/null
+++ b/crates/libsyntax2/tests/data/lexer/0006_chars.rs
@@ -0,0 +1 @@
+'x' ' ' '0'
diff --git a/crates/libsyntax2/tests/data/lexer/0006_chars.txt b/crates/libsyntax2/tests/data/lexer/0006_chars.txt
new file mode 100644
index 000000000..ecaf22355
--- /dev/null
+++ b/crates/libsyntax2/tests/data/lexer/0006_chars.txt
@@ -0,0 +1,6 @@
+CHAR 3 "\'x\'"
+WHITESPACE 1 " "
+CHAR 3 "\' \'"
+WHITESPACE 1 " "
+CHAR 3 "\'0\'"
+WHITESPACE 1 "\n"
diff --git a/crates/libsyntax2/tests/data/lexer/0007_lifetimes.rs b/crates/libsyntax2/tests/data/lexer/0007_lifetimes.rs
new file mode 100644
index 000000000..b764f1dce
--- /dev/null
+++ b/crates/libsyntax2/tests/data/lexer/0007_lifetimes.rs
@@ -0,0 +1 @@
+'a 'foo 'foo_bar_baz '_
diff --git a/crates/libsyntax2/tests/data/lexer/0007_lifetimes.txt b/crates/libsyntax2/tests/data/lexer/0007_lifetimes.txt
new file mode 100644
index 000000000..005c29100
--- /dev/null
+++ b/crates/libsyntax2/tests/data/lexer/0007_lifetimes.txt
@@ -0,0 +1,8 @@
+LIFETIME 2 "\'a"
+WHITESPACE 1 " "
+LIFETIME 4 "\'foo"
+WHITESPACE 1 " "
+LIFETIME 12 "\'foo_bar_baz"
+WHITESPACE 1 " "
+LIFETIME 2 "\'_"
+WHITESPACE 1 "\n"
diff --git a/crates/libsyntax2/tests/data/lexer/0008_byte_strings.rs b/crates/libsyntax2/tests/data/lexer/0008_byte_strings.rs
new file mode 100644
index 000000000..9dd1570de
--- /dev/null
+++ b/crates/libsyntax2/tests/data/lexer/0008_byte_strings.rs
@@ -0,0 +1,2 @@
+b'' b'x' b"foo" br""
+b''suf b""ix br""br
diff --git a/crates/libsyntax2/tests/data/lexer/0008_byte_strings.txt b/crates/libsyntax2/tests/data/lexer/0008_byte_strings.txt
new file mode 100644
index 000000000..ed8cd4bab
--- /dev/null
+++ b/crates/libsyntax2/tests/data/lexer/0008_byte_strings.txt
@@ -0,0 +1,14 @@
+BYTE 3 "b\'\'"
+WHITESPACE 1 " "
+BYTE 4 "b\'x\'"
+WHITESPACE 1 " "
+BYTE_STRING 6 "b\"foo\""
+WHITESPACE 1 " "
+RAW_BYTE_STRING 4 "br\"\""
+WHITESPACE 1 "\n"
+BYTE 6 "b\'\'suf"
+WHITESPACE 1 " "
+BYTE_STRING 5 "b\"\"ix"
+WHITESPACE 1 " "
+RAW_BYTE_STRING 6 "br\"\"br"
+WHITESPACE 1 "\n"
diff --git a/crates/libsyntax2/tests/data/lexer/0009_strings.rs b/crates/libsyntax2/tests/data/lexer/0009_strings.rs
new file mode 100644
index 000000000..7b7faa5d8
--- /dev/null
+++ b/crates/libsyntax2/tests/data/lexer/0009_strings.rs
@@ -0,0 +1 @@
+"hello" r"world"
diff --git a/crates/libsyntax2/tests/data/lexer/0009_strings.txt b/crates/libsyntax2/tests/data/lexer/0009_strings.txt
new file mode 100644
index 000000000..7fb6b7b36
--- /dev/null
+++ b/crates/libsyntax2/tests/data/lexer/0009_strings.txt
@@ -0,0 +1,4 @@
+STRING 7 "\"hello\""
+WHITESPACE 1 " "
+RAW_STRING 8 "r\"world\""
+WHITESPACE 1 "\n"
diff --git a/crates/libsyntax2/tests/data/lexer/0010_comments.rs b/crates/libsyntax2/tests/data/lexer/0010_comments.rs
new file mode 100644
index 000000000..71bdd1f9c
--- /dev/null
+++ b/crates/libsyntax2/tests/data/lexer/0010_comments.rs
@@ -0,0 +1,3 @@
+#!/usr/bin/env bash
+// hello
+//! World
diff --git a/crates/libsyntax2/tests/data/lexer/0010_comments.txt b/crates/libsyntax2/tests/data/lexer/0010_comments.txt
new file mode 100644
index 000000000..3c997de3f
--- /dev/null
+++ b/crates/libsyntax2/tests/data/lexer/0010_comments.txt
@@ -0,0 +1,6 @@
+SHEBANG 19 "#!/usr/bin/env bash"
+WHITESPACE 1 "\n"
+COMMENT 8 "// hello"
+WHITESPACE 1 "\n"
+COMMENT 9 "//! World"
+WHITESPACE 1 "\n"
diff --git a/crates/libsyntax2/tests/data/lexer/0011_keywords.rs b/crates/libsyntax2/tests/data/lexer/0011_keywords.rs
new file mode 100644
index 000000000..e6bf64d4d
--- /dev/null
+++ b/crates/libsyntax2/tests/data/lexer/0011_keywords.rs
@@ -0,0 +1,3 @@
+fn use struct trait enum impl true false as extern crate
+mod pub self super in where for loop while if match const
+static mut type ref let else move return
diff --git a/crates/libsyntax2/tests/data/lexer/0011_keywords.txt b/crates/libsyntax2/tests/data/lexer/0011_keywords.txt
new file mode 100644
index 000000000..d6a1abe8a
--- /dev/null
+++ b/crates/libsyntax2/tests/data/lexer/0011_keywords.txt
@@ -0,0 +1,62 @@
+FN_KW 2 "fn"
+WHITESPACE 1 " "
+USE_KW 3 "use"
+WHITESPACE 1 " "
+STRUCT_KW 6 "struct"
+WHITESPACE 1 " "
+TRAIT_KW 5 "trait"
+WHITESPACE 1 " "
+ENUM_KW 4 "enum"
+WHITESPACE 1 " "
+IMPL_KW 4 "impl"
+WHITESPACE 1 " "
+TRUE_KW 4 "true"
+WHITESPACE 1 " "
+FALSE_KW 5 "false"
+WHITESPACE 1 " "
+AS_KW 2 "as"
+WHITESPACE 1 " "
+EXTERN_KW 6 "extern"
+WHITESPACE 1 " "
+CRATE_KW 5 "crate"
+WHITESPACE 1 "\n"
+MOD_KW 3 "mod"
+WHITESPACE 1 " "
+PUB_KW 3 "pub"
+WHITESPACE 1 " "
+SELF_KW 4 "self"
+WHITESPACE 1 " "
+SUPER_KW 5 "super"
+WHITESPACE 1 " "
+IN_KW 2 "in"
+WHITESPACE 1 " "
+WHERE_KW 5 "where"
+WHITESPACE 1 " "
+FOR_KW 3 "for"
+WHITESPACE 1 " "
+LOOP_KW 4 "loop"
+WHITESPACE 1 " "
+WHILE_KW 5 "while"
+WHITESPACE 1 " "
+IF_KW 2 "if"
+WHITESPACE 1 " "
+MATCH_KW 5 "match"
+WHITESPACE 1 " "
+CONST_KW 5 "const"
+WHITESPACE 1 "\n"
+STATIC_KW 6 "static"
+WHITESPACE 1 " "
+MUT_KW 3 "mut"
+WHITESPACE 1 " "
+TYPE_KW 4 "type"
+WHITESPACE 1 " "
+REF_KW 3 "ref"
+WHITESPACE 1 " "
+LET_KW 3 "let"
+WHITESPACE 1 " "
+ELSE_KW 4 "else"
+WHITESPACE 1 " "
+MOVE_KW 4 "move"
+WHITESPACE 1 " "
+RETURN_KW 6 "return"
+WHITESPACE 1 "\n"
diff --git a/crates/libsyntax2/tests/data/parser/err/0000_struct_field_missing_comma.rs b/crates/libsyntax2/tests/data/parser/err/0000_struct_field_missing_comma.rs
new file mode 100644
index 000000000..fe5030d89
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/err/0000_struct_field_missing_comma.rs
@@ -0,0 +1,4 @@
+struct S {
+    a: u32
+    b: u32
+}
+\ No newline at end of file
diff --git a/crates/libsyntax2/tests/data/parser/err/0000_struct_field_missing_comma.txt b/crates/libsyntax2/tests/data/parser/err/0000_struct_field_missing_comma.txt
new file mode 100644
index 000000000..1b5d722f8
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/err/0000_struct_field_missing_comma.txt
@@ -0,0 +1,33 @@
+FILE@[0; 34)
+  STRUCT_ITEM@[0; 34)
+    STRUCT_KW@[0; 6)
+    WHITESPACE@[6; 7)
+    NAME@[7; 8)
+      IDENT@[7; 8) "S"
+    WHITESPACE@[8; 9)
+    L_CURLY@[9; 10)
+    WHITESPACE@[10; 15)
+    NAMED_FIELD@[15; 21)
+      NAME@[15; 16)
+        IDENT@[15; 16) "a"
+      COLON@[16; 17)
+      WHITESPACE@[17; 18)
+      PATH_TYPE@[18; 21)
+        PATH@[18; 21)
+          PATH_SEGMENT@[18; 21)
+            NAME_REF@[18; 21)
+              IDENT@[18; 21) "u32"
+              err: `expected COMMA`
+    WHITESPACE@[21; 26)
+    NAMED_FIELD@[26; 32)
+      NAME@[26; 27)
+        IDENT@[26; 27) "b"
+      COLON@[27; 28)
+      WHITESPACE@[28; 29)
+      PATH_TYPE@[29; 32)
+        PATH@[29; 32)
+          PATH_SEGMENT@[29; 32)
+            NAME_REF@[29; 32)
+              IDENT@[29; 32) "u32"
+    WHITESPACE@[32; 33)
+    R_CURLY@[33; 34)
diff --git a/crates/libsyntax2/tests/data/parser/err/0001_item_recovery_in_file.rs b/crates/libsyntax2/tests/data/parser/err/0001_item_recovery_in_file.rs
new file mode 100644
index 000000000..98f23de1f
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/err/0001_item_recovery_in_file.rs
@@ -0,0 +1,3 @@
+if match
+struct S {}
+\ No newline at end of file
diff --git a/crates/libsyntax2/tests/data/parser/err/0001_item_recovery_in_file.txt b/crates/libsyntax2/tests/data/parser/err/0001_item_recovery_in_file.txt
new file mode 100644
index 000000000..1aaf07625
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/err/0001_item_recovery_in_file.txt
@@ -0,0 +1,17 @@
+FILE@[0; 21)
+  ERROR@[0; 2)
+    IF_KW@[0; 2)
+    err: `expected an item`
+  WHITESPACE@[2; 3)
+  err: `expected an item`
+  ERROR@[3; 8)
+    MATCH_KW@[3; 8)
+  WHITESPACE@[8; 10)
+  STRUCT_ITEM@[10; 21)
+    STRUCT_KW@[10; 16)
+    WHITESPACE@[16; 17)
+    NAME@[17; 18)
+      IDENT@[17; 18) "S"
+    WHITESPACE@[18; 19)
+    L_CURLY@[19; 20)
+    R_CURLY@[20; 21)
diff --git a/crates/libsyntax2/tests/data/parser/err/0002_duplicate_shebang.rs b/crates/libsyntax2/tests/data/parser/err/0002_duplicate_shebang.rs
new file mode 100644
index 000000000..48a3a3980
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/err/0002_duplicate_shebang.rs
@@ -0,0 +1,2 @@
+#!/use/bin/env rusti
+#!/use/bin/env rusti
diff --git a/crates/libsyntax2/tests/data/parser/err/0002_duplicate_shebang.txt b/crates/libsyntax2/tests/data/parser/err/0002_duplicate_shebang.txt
new file mode 100644
index 000000000..0b6aa26eb
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/err/0002_duplicate_shebang.txt
@@ -0,0 +1,7 @@
+FILE@[0; 42)
+  SHEBANG@[0; 20)
+  WHITESPACE@[20; 21)
+  err: `expected an item`
+  ERROR@[21; 41)
+    SHEBANG@[21; 41)
+  WHITESPACE@[41; 42)
diff --git a/crates/libsyntax2/tests/data/parser/err/0003_C++_semicolon.rs b/crates/libsyntax2/tests/data/parser/err/0003_C++_semicolon.rs
new file mode 100644
index 000000000..009312270
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/err/0003_C++_semicolon.rs
@@ -0,0 +1,4 @@
+struct S {
+    a: i32,
+    b: String,
+};
+\ No newline at end of file
diff --git a/crates/libsyntax2/tests/data/parser/err/0003_C++_semicolon.txt b/crates/libsyntax2/tests/data/parser/err/0003_C++_semicolon.txt
new file mode 100644
index 000000000..81777fec0
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/err/0003_C++_semicolon.txt
@@ -0,0 +1,38 @@
+FILE@[0; 40)
+  STRUCT_ITEM@[0; 40)
+    STRUCT_KW@[0; 6)
+    WHITESPACE@[6; 7)
+    NAME@[7; 8)
+      IDENT@[7; 8) "S"
+    WHITESPACE@[8; 9)
+    L_CURLY@[9; 10)
+    WHITESPACE@[10; 15)
+    NAMED_FIELD@[15; 21)
+      NAME@[15; 16)
+        IDENT@[15; 16) "a"
+      COLON@[16; 17)
+      WHITESPACE@[17; 18)
+      PATH_TYPE@[18; 21)
+        PATH@[18; 21)
+          PATH_SEGMENT@[18; 21)
+            NAME_REF@[18; 21)
+              IDENT@[18; 21) "i32"
+    COMMA@[21; 22)
+    WHITESPACE@[22; 27)
+    NAMED_FIELD@[27; 36)
+      NAME@[27; 28)
+        IDENT@[27; 28) "b"
+      COLON@[28; 29)
+      WHITESPACE@[29; 30)
+      PATH_TYPE@[30; 36)
+        PATH@[30; 36)
+          PATH_SEGMENT@[30; 36)
+            NAME_REF@[30; 36)
+              IDENT@[30; 36) "String"
+    COMMA@[36; 37)
+    WHITESPACE@[37; 38)
+    R_CURLY@[38; 39)
+    err: `expected item, found `;`
+consider removing this semicolon`
+    ERROR@[39; 40)
+      SEMI@[39; 40)
diff --git a/crates/libsyntax2/tests/data/parser/err/0004_use_path_bad_segment.rs b/crates/libsyntax2/tests/data/parser/err/0004_use_path_bad_segment.rs
new file mode 100644
index 000000000..060e65d06
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/err/0004_use_path_bad_segment.rs
@@ -0,0 +1 @@
+use foo::92;
+\ No newline at end of file
diff --git a/crates/libsyntax2/tests/data/parser/err/0004_use_path_bad_segment.txt b/crates/libsyntax2/tests/data/parser/err/0004_use_path_bad_segment.txt
new file mode 100644
index 000000000..c6ae68103
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/err/0004_use_path_bad_segment.txt
@@ -0,0 +1,20 @@
+FILE@[0; 12)
+  USE_ITEM@[0; 9)
+    USE_KW@[0; 3)
+    WHITESPACE@[3; 4)
+    USE_TREE@[4; 9)
+      PATH@[4; 9)
+        PATH@[4; 7)
+          PATH_SEGMENT@[4; 7)
+            NAME_REF@[4; 7)
+              IDENT@[4; 7) "foo"
+        COLONCOLON@[7; 9)
+        err: `expected identifier`
+        err: `expected SEMI`
+        err: `expected an item`
+        PATH_SEGMENT@[9; 9)
+  ERROR@[9; 11)
+    INT_NUMBER@[9; 11) "92"
+    err: `expected an item`
+  ERROR@[11; 12)
+    SEMI@[11; 12)
diff --git a/crates/libsyntax2/tests/data/parser/err/0005_attribute_recover.rs b/crates/libsyntax2/tests/data/parser/err/0005_attribute_recover.rs
new file mode 100644
index 000000000..de7f81628
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/err/0005_attribute_recover.rs
@@ -0,0 +1,8 @@
+#[foo(foo, +, 92)]
+fn foo() {
+}
+#[foo(
+fn foo() {
+}
diff --git a/crates/libsyntax2/tests/data/parser/err/0005_attribute_recover.txt b/crates/libsyntax2/tests/data/parser/err/0005_attribute_recover.txt
new file mode 100644
index 000000000..079b0d1f6
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/err/0005_attribute_recover.txt
@@ -0,0 +1,60 @@
+FILE@[0; 54)
+  FUNCTION@[0; 31)
+    ATTR@[0; 18)
+      POUND@[0; 1)
+      L_BRACK@[1; 2)
+      META_ITEM@[2; 17)
+        IDENT@[2; 5) "foo"
+        L_PAREN@[5; 6)
+        META_ITEM@[6; 9)
+          IDENT@[6; 9) "foo"
+        COMMA@[9; 10)
+        WHITESPACE@[10; 11)
+        err: `expected attribute`
+        ERROR@[11; 12)
+          PLUS@[11; 12)
+          err: `expected attribute`
+        ERROR@[12; 13)
+          COMMA@[12; 13)
+        WHITESPACE@[13; 14)
+        LITERAL@[14; 16)
+          INT_NUMBER@[14; 16) "92"
+        R_PAREN@[16; 17)
+      R_BRACK@[17; 18)
+    WHITESPACE@[18; 19)
+    FN_KW@[19; 21)
+    WHITESPACE@[21; 22)
+    NAME@[22; 25)
+      IDENT@[22; 25) "foo"
+    PARAM_LIST@[25; 27)
+      L_PAREN@[25; 26)
+      R_PAREN@[26; 27)
+    WHITESPACE@[27; 28)
+    BLOCK_EXPR@[28; 31)
+      L_CURLY@[28; 29)
+      WHITESPACE@[29; 30)
+      R_CURLY@[30; 31)
+  WHITESPACE@[31; 34)
+  FUNCTION@[34; 53)
+    ATTR@[34; 40)
+      POUND@[34; 35)
+      L_BRACK@[35; 36)
+      META_ITEM@[36; 40)
+        IDENT@[36; 39) "foo"
+        L_PAREN@[39; 40)
+        err: `expected attribute`
+        err: `expected R_BRACK`
+    WHITESPACE@[40; 41)
+    FN_KW@[41; 43)
+    WHITESPACE@[43; 44)
+    NAME@[44; 47)
+      IDENT@[44; 47) "foo"
+    PARAM_LIST@[47; 49)
+      L_PAREN@[47; 48)
+      R_PAREN@[48; 49)
+    WHITESPACE@[49; 50)
+    BLOCK_EXPR@[50; 53)
+      L_CURLY@[50; 51)
+      WHITESPACE@[51; 52)
+      R_CURLY@[52; 53)
+  WHITESPACE@[53; 54)
diff --git a/crates/libsyntax2/tests/data/parser/err/0006_named_field_recovery.rs b/crates/libsyntax2/tests/data/parser/err/0006_named_field_recovery.rs
new file mode 100644
index 000000000..8069c111b
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/err/0006_named_field_recovery.rs
@@ -0,0 +1,7 @@
+struct S {
+    f: u32,
+    pub 92
+    + - *
+    pub x: u32,
+    z: f64,
+}
diff --git a/crates/libsyntax2/tests/data/parser/err/0006_named_field_recovery.txt b/crates/libsyntax2/tests/data/parser/err/0006_named_field_recovery.txt
new file mode 100644
index 000000000..009b307b1
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/err/0006_named_field_recovery.txt
@@ -0,0 +1,73 @@
+FILE@[0; 74)
+  STRUCT_ITEM@[0; 73)
+    STRUCT_KW@[0; 6)
+    WHITESPACE@[6; 7)
+    NAME@[7; 8)
+      IDENT@[7; 8) "S"
+    WHITESPACE@[8; 9)
+    L_CURLY@[9; 10)
+    WHITESPACE@[10; 15)
+    NAMED_FIELD@[15; 21)
+      NAME@[15; 16)
+        IDENT@[15; 16) "f"
+      COLON@[16; 17)
+      WHITESPACE@[17; 18)
+      PATH_TYPE@[18; 21)
+        PATH@[18; 21)
+          PATH_SEGMENT@[18; 21)
+            NAME_REF@[18; 21)
+              IDENT@[18; 21) "u32"
+    COMMA@[21; 22)
+    WHITESPACE@[22; 27)
+    VISIBILITY@[27; 30)
+      PUB_KW@[27; 30)
+    WHITESPACE@[30; 31)
+    err: `expected field declaration`
+    ERROR@[31; 33)
+      INT_NUMBER@[31; 33) "92"
+      err: `expected COMMA`
+    WHITESPACE@[33; 38)
+    err: `expected field declaration`
+    ERROR@[38; 39)
+      PLUS@[38; 39)
+      err: `expected COMMA`
+    WHITESPACE@[39; 40)
+    err: `expected field declaration`
+    ERROR@[40; 41)
+      MINUS@[40; 41)
+      err: `expected COMMA`
+    WHITESPACE@[41; 42)
+    err: `expected field declaration`
+    ERROR@[42; 43)
+      STAR@[42; 43)
+      err: `expected COMMA`
+    WHITESPACE@[43; 48)
+    NAMED_FIELD@[48; 58)
+      VISIBILITY@[48; 51)
+        PUB_KW@[48; 51)
+      WHITESPACE@[51; 52)
+      NAME@[52; 53)
+        IDENT@[52; 53) "x"
+      COLON@[53; 54)
+      WHITESPACE@[54; 55)
+      PATH_TYPE@[55; 58)
+        PATH@[55; 58)
+          PATH_SEGMENT@[55; 58)
+            NAME_REF@[55; 58)
+              IDENT@[55; 58) "u32"
+    COMMA@[58; 59)
+    WHITESPACE@[59; 64)
+    NAMED_FIELD@[64; 70)
+      NAME@[64; 65)
+        IDENT@[64; 65) "z"
+      COLON@[65; 66)
+      WHITESPACE@[66; 67)
+      PATH_TYPE@[67; 70)
+        PATH@[67; 70)
+          PATH_SEGMENT@[67; 70)
+            NAME_REF@[67; 70)
+              IDENT@[67; 70) "f64"
+    COMMA@[70; 71)
+    WHITESPACE@[71; 72)
+    R_CURLY@[72; 73)
+  WHITESPACE@[73; 74)
diff --git a/crates/libsyntax2/tests/data/parser/err/0007_stray_curly_in_file.rs b/crates/libsyntax2/tests/data/parser/err/0007_stray_curly_in_file.rs
new file mode 100644
index 000000000..dc869fb78
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/err/0007_stray_curly_in_file.rs
@@ -0,0 +1,9 @@
+}
+struct S;
+}
+fn foo(){}
+}
diff --git a/crates/libsyntax2/tests/data/parser/err/0007_stray_curly_in_file.txt b/crates/libsyntax2/tests/data/parser/err/0007_stray_curly_in_file.txt
new file mode 100644
index 000000000..b36decb46
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/err/0007_stray_curly_in_file.txt
@@ -0,0 +1,32 @@
+FILE@[0; 31)
+  ERROR@[0; 1)
+    R_CURLY@[0; 1)
+    err: `expected an item`
+  WHITESPACE@[1; 3)
+  STRUCT_ITEM@[3; 12)
+    STRUCT_KW@[3; 9)
+    WHITESPACE@[9; 10)
+    NAME@[10; 11)
+      IDENT@[10; 11) "S"
+    SEMI@[11; 12)
+  WHITESPACE@[12; 14)
+  err: `expected an item`
+  ERROR@[14; 15)
+    R_CURLY@[14; 15)
+  WHITESPACE@[15; 17)
+  FUNCTION@[17; 27)
+    FN_KW@[17; 19)
+    WHITESPACE@[19; 20)
+    NAME@[20; 23)
+      IDENT@[20; 23) "foo"
+    PARAM_LIST@[23; 25)
+      L_PAREN@[23; 24)
+      R_PAREN@[24; 25)
+    BLOCK_EXPR@[25; 27)
+      L_CURLY@[25; 26)
+      R_CURLY@[26; 27)
+  WHITESPACE@[27; 29)
+  err: `expected an item`
+  ERROR@[29; 30)
+    R_CURLY@[29; 30)
+  WHITESPACE@[30; 31)
diff --git a/crates/libsyntax2/tests/data/parser/err/0008_item_block_recovery.rs b/crates/libsyntax2/tests/data/parser/err/0008_item_block_recovery.rs
new file mode 100644
index 000000000..9fcac19b5
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/err/0008_item_block_recovery.rs
@@ -0,0 +1,13 @@
+fn foo() {
+}
+bar() {
+    if true {
+        1
+    } else {
+        2 + 3
+    }
+}
+fn baz() {
+}
diff --git a/crates/libsyntax2/tests/data/parser/err/0008_item_block_recovery.txt b/crates/libsyntax2/tests/data/parser/err/0008_item_block_recovery.txt
new file mode 100644
index 000000000..f2a503cec
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/err/0008_item_block_recovery.txt
@@ -0,0 +1,67 @@
+FILE@[0; 95)
+  FUNCTION@[0; 12)
+    FN_KW@[0; 2)
+    WHITESPACE@[2; 3)
+    NAME@[3; 6)
+      IDENT@[3; 6) "foo"
+    PARAM_LIST@[6; 8)
+      L_PAREN@[6; 7)
+      R_PAREN@[7; 8)
+    WHITESPACE@[8; 9)
+    BLOCK_EXPR@[9; 12)
+      L_CURLY@[9; 10)
+      WHITESPACE@[10; 11)
+      R_CURLY@[11; 12)
+  WHITESPACE@[12; 14)
+  MACRO_CALL@[14; 19)
+    PATH@[14; 17)
+      PATH_SEGMENT@[14; 17)
+        NAME_REF@[14; 17)
+          IDENT@[14; 17) "bar"
+          err: `expected EXCL`
+    L_PAREN@[17; 18)
+    R_PAREN@[18; 19)
+    err: `expected SEMI`
+  WHITESPACE@[19; 20)
+  err: `expected an item`
+  ERROR@[20; 80)
+    L_CURLY@[20; 21)
+    WHITESPACE@[21; 26)
+    IF_KW@[26; 28)
+    WHITESPACE@[28; 29)
+    TRUE_KW@[29; 33)
+    WHITESPACE@[33; 34)
+    L_CURLY@[34; 35)
+    WHITESPACE@[35; 44)
+    INT_NUMBER@[44; 45) "1"
+    WHITESPACE@[45; 50)
+    R_CURLY@[50; 51)
+    WHITESPACE@[51; 52)
+    ELSE_KW@[52; 56)
+    WHITESPACE@[56; 57)
+    L_CURLY@[57; 58)
+    WHITESPACE@[58; 67)
+    INT_NUMBER@[67; 68) "2"
+    WHITESPACE@[68; 69)
+    PLUS@[69; 70)
+    WHITESPACE@[70; 71)
+    INT_NUMBER@[71; 72) "3"
+    WHITESPACE@[72; 77)
+    R_CURLY@[77; 78)
+    WHITESPACE@[78; 79)
+    R_CURLY@[79; 80)
+  WHITESPACE@[80; 82)
+  FUNCTION@[82; 94)
+    FN_KW@[82; 84)
+    WHITESPACE@[84; 85)
+    NAME@[85; 88)
+      IDENT@[85; 88) "baz"
+    PARAM_LIST@[88; 90)
+      L_PAREN@[88; 89)
+      R_PAREN@[89; 90)
+    WHITESPACE@[90; 91)
+    BLOCK_EXPR@[91; 94)
+      L_CURLY@[91; 92)
+      WHITESPACE@[92; 93)
+      R_CURLY@[93; 94)
+  WHITESPACE@[94; 95)
diff --git a/crates/libsyntax2/tests/data/parser/err/0009_broken_struct_type_parameter.rs b/crates/libsyntax2/tests/data/parser/err/0009_broken_struct_type_parameter.rs
new file mode 100644
index 000000000..0dd30d0bd
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/err/0009_broken_struct_type_parameter.rs
@@ -0,0 +1,5 @@
+struct S<90 + 2> {
+    f: u32
+}
+struct T;
diff --git a/crates/libsyntax2/tests/data/parser/err/0009_broken_struct_type_parameter.txt b/crates/libsyntax2/tests/data/parser/err/0009_broken_struct_type_parameter.txt
new file mode 100644
index 000000000..fc736f0e9
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/err/0009_broken_struct_type_parameter.txt
@@ -0,0 +1,44 @@
+FILE@[0; 43)
+  STRUCT_ITEM@[0; 11)
+    STRUCT_KW@[0; 6)
+    WHITESPACE@[6; 7)
+    NAME@[7; 8)
+      IDENT@[7; 8) "S"
+    TYPE_PARAM_LIST@[8; 11)
+      L_ANGLE@[8; 9)
+      err: `expected type parameter`
+      ERROR@[9; 11)
+        INT_NUMBER@[9; 11) "90"
+        err: `expected COMMA`
+        err: `expected R_ANGLE`
+        err: `expected `;`, `{`, or `(``
+  WHITESPACE@[11; 12)
+  err: `expected an item`
+  ERROR@[12; 13)
+    PLUS@[12; 13)
+  WHITESPACE@[13; 14)
+  err: `expected an item`
+  ERROR@[14; 15)
+    INT_NUMBER@[14; 15) "2"
+    err: `expected an item`
+  ERROR@[15; 16)
+    R_ANGLE@[15; 16)
+  WHITESPACE@[16; 17)
+  err: `expected an item`
+  ERROR@[17; 31)
+    L_CURLY@[17; 18)
+    WHITESPACE@[18; 23)
+    IDENT@[23; 24) "f"
+    COLON@[24; 25)
+    WHITESPACE@[25; 26)
+    IDENT@[26; 29) "u32"
+    WHITESPACE@[29; 30)
+    R_CURLY@[30; 31)
+  WHITESPACE@[31; 33)
+  STRUCT_ITEM@[33; 42)
+    STRUCT_KW@[33; 39)
+    WHITESPACE@[39; 40)
+    NAME@[40; 41)
+      IDENT@[40; 41) "T"
+    SEMI@[41; 42)
+  WHITESPACE@[42; 43)
diff --git a/crates/libsyntax2/tests/data/parser/err/0010_unsafe_lambda_block.rs b/crates/libsyntax2/tests/data/parser/err/0010_unsafe_lambda_block.rs
new file mode 100644
index 000000000..985775282
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/err/0010_unsafe_lambda_block.rs
@@ -0,0 +1,3 @@
+fn main() {
+    || -> () unsafe { () };
+}
diff --git a/crates/libsyntax2/tests/data/parser/err/0010_unsafe_lambda_block.txt b/crates/libsyntax2/tests/data/parser/err/0010_unsafe_lambda_block.txt
new file mode 100644
index 000000000..95d4af424
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/err/0010_unsafe_lambda_block.txt
@@ -0,0 +1,40 @@
+FILE@[0; 42)
+  FUNCTION@[0; 41)
+    FN_KW@[0; 2)
+    WHITESPACE@[2; 3)
+    NAME@[3; 7)
+      IDENT@[3; 7) "main"
+    PARAM_LIST@[7; 9)
+      L_PAREN@[7; 8)
+      R_PAREN@[8; 9)
+    WHITESPACE@[9; 10)
+    BLOCK_EXPR@[10; 41)
+      L_CURLY@[10; 11)
+      WHITESPACE@[11; 16)
+      LAMBDA_EXPR@[16; 24)
+        PARAM_LIST@[16; 18)
+          PIPE@[16; 17)
+          PIPE@[17; 18)
+        WHITESPACE@[18; 19)
+        THIN_ARROW@[19; 21)
+        WHITESPACE@[21; 22)
+        TUPLE_TYPE@[22; 24)
+          L_PAREN@[22; 23)
+          R_PAREN@[23; 24)
+          err: `expected block`
+      WHITESPACE@[24; 25)
+      EXPR_STMT@[25; 39)
+        BLOCK_EXPR@[25; 38)
+          UNSAFE_KW@[25; 31)
+          WHITESPACE@[31; 32)
+          L_CURLY@[32; 33)
+          WHITESPACE@[33; 34)
+          TUPLE_EXPR@[34; 36)
+            L_PAREN@[34; 35)
+            R_PAREN@[35; 36)
+          WHITESPACE@[36; 37)
+          R_CURLY@[37; 38)
+        SEMI@[38; 39)
+      WHITESPACE@[39; 40)
+      R_CURLY@[40; 41)
+  WHITESPACE@[41; 42)
diff --git a/crates/libsyntax2/tests/data/parser/err/0011_extern_struct.rs b/crates/libsyntax2/tests/data/parser/err/0011_extern_struct.rs
new file mode 100644
index 000000000..c1bd0a2d1
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/err/0011_extern_struct.rs
@@ -0,0 +1 @@
+extern struct Foo;
diff --git a/crates/libsyntax2/tests/data/parser/err/0011_extern_struct.txt b/crates/libsyntax2/tests/data/parser/err/0011_extern_struct.txt
new file mode 100644
index 000000000..3c5b678a1
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/err/0011_extern_struct.txt
@@ -0,0 +1,13 @@
+FILE@[0; 19)
+  ERROR@[0; 6)
+    ABI@[0; 6)
+      EXTERN_KW@[0; 6)
+      err: `expected fn, trait or impl`
+  WHITESPACE@[6; 7)
+  STRUCT_ITEM@[7; 18)
+    STRUCT_KW@[7; 13)
+    WHITESPACE@[13; 14)
+    NAME@[14; 17)
+      IDENT@[14; 17) "Foo"
+    SEMI@[17; 18)
+  WHITESPACE@[18; 19)
diff --git a/crates/libsyntax2/tests/data/parser/err/0012_broken_lambda.rs b/crates/libsyntax2/tests/data/parser/err/0012_broken_lambda.rs
new file mode 100644
index 000000000..ad0d8eb4c
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/err/0012_broken_lambda.rs
@@ -0,0 +1,12 @@
+pub(super) fn process<'a, S: Sink<'a>>(builder: &mut S, tokens: &[Token], events: Vec<Event>) {
+    let mut next_tok_idx = 0;
+    let eat_ws = |idx: &mut usize, &mut | {
+        while let Some(token) = tokens.get(*idx) {
+            if !token.kind.is_trivia() {
+                break;
+            }
+            builder.leaf(token.kind, token.len);
+            *idx += 1
+        }
+    };
+}
diff --git a/crates/libsyntax2/tests/data/parser/err/0012_broken_lambda.txt b/crates/libsyntax2/tests/data/parser/err/0012_broken_lambda.txt
new file mode 100644
index 000000000..cf6e68a78
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/err/0012_broken_lambda.txt
@@ -0,0 +1,387 @@
+FILE@[0; 389)
+  FUNCTION@[0; 389)
+    VISIBILITY@[0; 10)
+      PUB_KW@[0; 3)
+      L_PAREN@[3; 4)
+      SUPER_KW@[4; 9)
+      R_PAREN@[9; 10)
+    WHITESPACE@[10; 11)
+    FN_KW@[11; 13)
+    WHITESPACE@[13; 14)
+    NAME@[14; 21)
+      IDENT@[14; 21) "process"
+    TYPE_PARAM_LIST@[21; 38)
+      L_ANGLE@[21; 22)
+      LIFETIME_PARAM@[22; 24)
+        LIFETIME@[22; 24) "'a"
+      COMMA@[24; 25)
+      WHITESPACE@[25; 26)
+      TYPE_PARAM@[26; 37)
+        NAME@[26; 27)
+          IDENT@[26; 27) "S"
+        COLON@[27; 28)
+        WHITESPACE@[28; 29)
+        PATH@[29; 37)
+          PATH_SEGMENT@[29; 37)
+            NAME_REF@[29; 33)
+              IDENT@[29; 33) "Sink"
+            TYPE_ARG_LIST@[33; 37)
+              L_ANGLE@[33; 34)
+              LIFETIME_ARG@[34; 36)
+                LIFETIME@[34; 36) "'a"
+              R_ANGLE@[36; 37)
+      R_ANGLE@[37; 38)
+    PARAM_LIST@[38; 93)
+      L_PAREN@[38; 39)
+      PARAM@[39; 54)
+        BIND_PAT@[39; 46)
+          NAME@[39; 46)
+            IDENT@[39; 46) "builder"
+        COLON@[46; 47)
+        WHITESPACE@[47; 48)
+        REFERENCE_TYPE@[48; 54)
+          AMP@[48; 49)
+          MUT_KW@[49; 52)
+          WHITESPACE@[52; 53)
+          PATH_TYPE@[53; 54)
+            PATH@[53; 54)
+              PATH_SEGMENT@[53; 54)
+                NAME_REF@[53; 54)
+                  IDENT@[53; 54) "S"
+      COMMA@[54; 55)
+      WHITESPACE@[55; 56)
+      PARAM@[56; 72)
+        BIND_PAT@[56; 62)
+          NAME@[56; 62)
+            IDENT@[56; 62) "tokens"
+        COLON@[62; 63)
+        WHITESPACE@[63; 64)
+        REFERENCE_TYPE@[64; 72)
+          AMP@[64; 65)
+          SLICE_TYPE@[65; 72)
+            L_BRACK@[65; 66)
+            PATH_TYPE@[66; 71)
+              PATH@[66; 71)
+                PATH_SEGMENT@[66; 71)
+                  NAME_REF@[66; 71)
+                    IDENT@[66; 71) "Token"
+            R_BRACK@[71; 72)
+      COMMA@[72; 73)
+      WHITESPACE@[73; 74)
+      PARAM@[74; 92)
+        BIND_PAT@[74; 80)
+          NAME@[74; 80)
+            IDENT@[74; 80) "events"
+        COLON@[80; 81)
+        WHITESPACE@[81; 82)
+        PATH_TYPE@[82; 92)
+          PATH@[82; 92)
+            PATH_SEGMENT@[82; 92)
+              NAME_REF@[82; 85)
+                IDENT@[82; 85) "Vec"
+              TYPE_ARG_LIST@[85; 92)
+                L_ANGLE@[85; 86)
+                TYPE_ARG@[86; 91)
+                  PATH_TYPE@[86; 91)
+                    PATH@[86; 91)
+                      PATH_SEGMENT@[86; 91)
+                        NAME_REF@[86; 91)
+                          IDENT@[86; 91) "Event"
+                R_ANGLE@[91; 92)
+      R_PAREN@[92; 93)
+    WHITESPACE@[93; 94)
+    BLOCK_EXPR@[94; 389)
+      L_CURLY@[94; 95)
+      WHITESPACE@[95; 100)
+      LET_STMT@[100; 125)
+        LET_KW@[100; 103)
+        WHITESPACE@[103; 104)
+        BIND_PAT@[104; 120)
+          MUT_KW@[104; 107)
+          WHITESPACE@[107; 108)
+          NAME@[108; 120)
+            IDENT@[108; 120) "next_tok_idx"
+        WHITESPACE@[120; 121)
+        EQ@[121; 122)
+        WHITESPACE@[122; 123)
+        LITERAL@[123; 124)
+          INT_NUMBER@[123; 124) "0"
+        SEMI@[124; 125)
+      WHITESPACE@[125; 130)
+      LET_STMT@[130; 389)
+        LET_KW@[130; 133)
+        WHITESPACE@[133; 134)
+        BIND_PAT@[134; 140)
+          NAME@[134; 140)
+            IDENT@[134; 140) "eat_ws"
+        WHITESPACE@[140; 141)
+        EQ@[141; 142)
+        WHITESPACE@[142; 143)
+        LAMBDA_EXPR@[143; 389)
+          PARAM_LIST@[143; 388)
+            PIPE@[143; 144)
+            PARAM@[144; 159)
+              BIND_PAT@[144; 147)
+                NAME@[144; 147)
+                  IDENT@[144; 147) "idx"
+              COLON@[147; 148)
+              WHITESPACE@[148; 149)
+              REFERENCE_TYPE@[149; 159)
+                AMP@[149; 150)
+                MUT_KW@[150; 153)
+                WHITESPACE@[153; 154)
+                PATH_TYPE@[154; 159)
+                  PATH@[154; 159)
+                    PATH_SEGMENT@[154; 159)
+                      NAME_REF@[154; 159)
+                        IDENT@[154; 159) "usize"
+            COMMA@[159; 160)
+            WHITESPACE@[160; 161)
+            PARAM@[161; 167)
+              REF_PAT@[161; 167)
+                AMP@[161; 162)
+                MUT_KW@[162; 165)
+                WHITESPACE@[165; 166)
+                err: `expected pattern`
+                ERROR@[166; 167)
+                  PIPE@[166; 167)
+                  err: `expected COMMA`
+            WHITESPACE@[167; 168)
+            err: `expected pattern`
+            PARAM@[168; 169)
+              ERROR@[168; 169)
+                L_CURLY@[168; 169)
+                err: `expected COMMA`
+            WHITESPACE@[169; 178)
+            err: `expected pattern`
+            PARAM@[178; 183)
+              ERROR@[178; 183)
+                WHILE_KW@[178; 183)
+                err: `expected COMMA`
+            WHITESPACE@[183; 184)
+            err: `expected pattern`
+            PARAM@[184; 187)
+              ERROR@[184; 187)
+                LET_KW@[184; 187)
+                err: `expected COMMA`
+            WHITESPACE@[187; 188)
+            PARAM@[188; 199)
+              TUPLE_STRUCT_PAT@[188; 199)
+                PATH@[188; 192)
+                  PATH_SEGMENT@[188; 192)
+                    NAME_REF@[188; 192)
+                      IDENT@[188; 192) "Some"
+                L_PAREN@[192; 193)
+                BIND_PAT@[193; 198)
+                  NAME@[193; 198)
+                    IDENT@[193; 198) "token"
+                R_PAREN@[198; 199)
+                err: `expected COMMA`
+            WHITESPACE@[199; 200)
+            err: `expected pattern`
+            PARAM@[200; 201)
+              ERROR@[200; 201)
+                EQ@[200; 201)
+                err: `expected COMMA`
+            WHITESPACE@[201; 202)
+            PARAM@[202; 208)
+              BIND_PAT@[202; 208)
+                NAME@[202; 208)
+                  IDENT@[202; 208) "tokens"
+                  err: `expected COMMA`
+                  err: `expected pattern`
+            PARAM@[208; 209)
+              ERROR@[208; 209)
+                DOT@[208; 209)
+                err: `expected COMMA`
+            PARAM@[209; 218)
+              TUPLE_STRUCT_PAT@[209; 218)
+                PATH@[209; 212)
+                  PATH_SEGMENT@[209; 212)
+                    NAME_REF@[209; 212)
+                      IDENT@[209; 212) "get"
+                L_PAREN@[212; 213)
+                err: `expected pattern`
+                ERROR@[213; 214)
+                  STAR@[213; 214)
+                  err: `expected COMMA`
+                BIND_PAT@[214; 217)
+                  NAME@[214; 217)
+                    IDENT@[214; 217) "idx"
+                R_PAREN@[217; 218)
+                err: `expected COMMA`
+            WHITESPACE@[218; 219)
+            err: `expected pattern`
+            PARAM@[219; 220)
+              ERROR@[219; 220)
+                L_CURLY@[219; 220)
+                err: `expected COMMA`
+            WHITESPACE@[220; 233)
+            err: `expected pattern`
+            PARAM@[233; 235)
+              ERROR@[233; 235)
+                IF_KW@[233; 235)
+                err: `expected COMMA`
+            WHITESPACE@[235; 236)
+            err: `expected pattern`
+            PARAM@[236; 237)
+              ERROR@[236; 237)
+                EXCL@[236; 237)
+                err: `expected COMMA`
+            PARAM@[237; 242)
+              BIND_PAT@[237; 242)
+                NAME@[237; 242)
+                  IDENT@[237; 242) "token"
+                  err: `expected COMMA`
+                  err: `expected pattern`
+            PARAM@[242; 243)
+              ERROR@[242; 243)
+                DOT@[242; 243)
+                err: `expected COMMA`
+            PARAM@[243; 247)
+              BIND_PAT@[243; 247)
+                NAME@[243; 247)
+                  IDENT@[243; 247) "kind"
+                  err: `expected COMMA`
+                  err: `expected pattern`
+            PARAM@[247; 248)
+              ERROR@[247; 248)
+                DOT@[247; 248)
+                err: `expected COMMA`
+            PARAM@[248; 259)
+              TUPLE_STRUCT_PAT@[248; 259)
+                PATH@[248; 257)
+                  PATH_SEGMENT@[248; 257)
+                    NAME_REF@[248; 257)
+                      IDENT@[248; 257) "is_trivia"
+                L_PAREN@[257; 258)
+                R_PAREN@[258; 259)
+                err: `expected COMMA`
+            WHITESPACE@[259; 260)
+            err: `expected pattern`
+            PARAM@[260; 261)
+              ERROR@[260; 261)
+                L_CURLY@[260; 261)
+                err: `expected COMMA`
+            WHITESPACE@[261; 278)
+            PARAM@[278; 283)
+              BIND_PAT@[278; 283)
+                NAME@[278; 283)
+                  IDENT@[278; 283) "break"
+                  err: `expected COMMA`
+                  err: `expected pattern`
+            PARAM@[283; 284)
+              ERROR@[283; 284)
+                SEMI@[283; 284)
+                err: `expected COMMA`
+            WHITESPACE@[284; 297)
+            err: `expected pattern`
+            PARAM@[297; 298)
+              ERROR@[297; 298)
+                R_CURLY@[297; 298)
+                err: `expected COMMA`
+            WHITESPACE@[298; 311)
+            PARAM@[311; 318)
+              BIND_PAT@[311; 318)
+                NAME@[311; 318)
+                  IDENT@[311; 318) "builder"
+                  err: `expected COMMA`
+                  err: `expected pattern`
+            PARAM@[318; 319)
+              ERROR@[318; 319)
+                DOT@[318; 319)
+                err: `expected COMMA`
+            PARAM@[319; 346)
+              TUPLE_STRUCT_PAT@[319; 346)
+                PATH@[319; 323)
+                  PATH_SEGMENT@[319; 323)
+                    NAME_REF@[319; 323)
+                      IDENT@[319; 323) "leaf"
+                L_PAREN@[323; 324)
+                BIND_PAT@[324; 329)
+                  NAME@[324; 329)
+                    IDENT@[324; 329) "token"
+                    err: `expected COMMA`
+                    err: `expected pattern`
+                ERROR@[329; 330)
+                  DOT@[329; 330)
+                  err: `expected COMMA`
+                BIND_PAT@[330; 334)
+                  NAME@[330; 334)
+                    IDENT@[330; 334) "kind"
+                COMMA@[334; 335)
+                WHITESPACE@[335; 336)
+                BIND_PAT@[336; 341)
+                  NAME@[336; 341)
+                    IDENT@[336; 341) "token"
+                    err: `expected COMMA`
+                    err: `expected pattern`
+                ERROR@[341; 342)
+                  DOT@[341; 342)
+                  err: `expected COMMA`
+                BIND_PAT@[342; 345)
+                  NAME@[342; 345)
+                    IDENT@[342; 345) "len"
+                R_PAREN@[345; 346)
+                err: `expected COMMA`
+                err: `expected pattern`
+            PARAM@[346; 347)
+              ERROR@[346; 347)
+                SEMI@[346; 347)
+                err: `expected COMMA`
+            WHITESPACE@[347; 360)
+            err: `expected pattern`
+            PARAM@[360; 361)
+              ERROR@[360; 361)
+                STAR@[360; 361)
+                err: `expected COMMA`
+            PARAM@[361; 364)
+              BIND_PAT@[361; 364)
+                NAME@[361; 364)
+                  IDENT@[361; 364) "idx"
+                  err: `expected COMMA`
+            WHITESPACE@[364; 365)
+            err: `expected pattern`
+            PARAM@[365; 366)
+              ERROR@[365; 366)
+                PLUS@[365; 366)
+                err: `expected COMMA`
+                err: `expected pattern`
+            PARAM@[366; 367)
+              ERROR@[366; 367)
+                EQ@[366; 367)
+                err: `expected COMMA`
+            WHITESPACE@[367; 368)
+            PARAM@[368; 369)
+              LITERAL@[368; 369)
+                INT_NUMBER@[368; 369) "1"
+                err: `expected COMMA`
+            WHITESPACE@[369; 378)
+            err: `expected pattern`
+            PARAM@[378; 379)
+              ERROR@[378; 379)
+                R_CURLY@[378; 379)
+                err: `expected COMMA`
+            WHITESPACE@[379; 384)
+            err: `expected pattern`
+            PARAM@[384; 385)
+              ERROR@[384; 385)
+                R_CURLY@[384; 385)
+                err: `expected COMMA`
+                err: `expected pattern`
+            PARAM@[385; 386)
+              ERROR@[385; 386)
+                SEMI@[385; 386)
+                err: `expected COMMA`
+            WHITESPACE@[386; 387)
+            err: `expected pattern`
+            PARAM@[387; 388)
+              ERROR@[387; 388)
+                R_CURLY@[387; 388)
+                err: `expected COMMA`
+                err: `expected PIPE`
+          WHITESPACE@[388; 389)
+          err: `expected expression`
+          err: `expected SEMI`
+          err: `expected R_CURLY`
+          ERROR@[389; 389)
diff --git a/crates/libsyntax2/tests/data/parser/inline/0001_const_unsafe_fn.rs b/crates/libsyntax2/tests/data/parser/inline/0001_const_unsafe_fn.rs
new file mode 100644
index 000000000..31a1e435f
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0001_const_unsafe_fn.rs
@@ -0,0 +1 @@
+const unsafe fn foo() {}
diff --git a/crates/libsyntax2/tests/data/parser/inline/0001_const_unsafe_fn.txt b/crates/libsyntax2/tests/data/parser/inline/0001_const_unsafe_fn.txt
new file mode 100644
index 000000000..3932d033c
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0001_const_unsafe_fn.txt
@@ -0,0 +1,18 @@
+FILE@[0; 25)
+  FUNCTION@[0; 24)
+    CONST_KW@[0; 5)
+    WHITESPACE@[5; 6)
+    UNSAFE_KW@[6; 12)
+    WHITESPACE@[12; 13)
+    FN_KW@[13; 15)
+    WHITESPACE@[15; 16)
+    NAME@[16; 19)
+      IDENT@[16; 19) "foo"
+    PARAM_LIST@[19; 21)
+      L_PAREN@[19; 20)
+      R_PAREN@[20; 21)
+    WHITESPACE@[21; 22)
+    BLOCK_EXPR@[22; 24)
+      L_CURLY@[22; 23)
+      R_CURLY@[23; 24)
+  WHITESPACE@[24; 25)
diff --git a/crates/libsyntax2/tests/data/parser/inline/0002_const_fn.rs b/crates/libsyntax2/tests/data/parser/inline/0002_const_fn.rs
new file mode 100644
index 000000000..8c84d9cd7
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0002_const_fn.rs
@@ -0,0 +1 @@
+const fn foo() {}
diff --git a/crates/libsyntax2/tests/data/parser/inline/0002_const_fn.txt b/crates/libsyntax2/tests/data/parser/inline/0002_const_fn.txt
new file mode 100644
index 000000000..bc72ab235
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0002_const_fn.txt
@@ -0,0 +1,16 @@
+FILE@[0; 18)
+  FUNCTION@[0; 17)
+    CONST_KW@[0; 5)
+    WHITESPACE@[5; 6)
+    FN_KW@[6; 8)
+    WHITESPACE@[8; 9)
+    NAME@[9; 12)
+      IDENT@[9; 12) "foo"
+    PARAM_LIST@[12; 14)
+      L_PAREN@[12; 13)
+      R_PAREN@[13; 14)
+    WHITESPACE@[14; 15)
+    BLOCK_EXPR@[15; 17)
+      L_CURLY@[15; 16)
+      R_CURLY@[16; 17)
+  WHITESPACE@[17; 18)
diff --git a/crates/libsyntax2/tests/data/parser/inline/0003_extern_block.rs b/crates/libsyntax2/tests/data/parser/inline/0003_extern_block.rs
new file mode 100644
index 000000000..26a9ccd1e
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0003_extern_block.rs
@@ -0,0 +1 @@
+extern {}
diff --git a/crates/libsyntax2/tests/data/parser/inline/0003_extern_block.txt b/crates/libsyntax2/tests/data/parser/inline/0003_extern_block.txt
new file mode 100644
index 000000000..cbe9a1ebc
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0003_extern_block.txt
@@ -0,0 +1,8 @@
+FILE@[0; 10)
+  EXTERN_BLOCK_EXPR@[0; 9)
+    ABI@[0; 6)
+      EXTERN_KW@[0; 6)
+    WHITESPACE@[6; 7)
+    L_CURLY@[7; 8)
+    R_CURLY@[8; 9)
+  WHITESPACE@[9; 10)
diff --git a/crates/libsyntax2/tests/data/parser/inline/0004_extern_fn.rs b/crates/libsyntax2/tests/data/parser/inline/0004_extern_fn.rs
new file mode 100644
index 000000000..394a049f0
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0004_extern_fn.rs
@@ -0,0 +1 @@
+extern fn foo() {}
diff --git a/crates/libsyntax2/tests/data/parser/inline/0004_extern_fn.txt b/crates/libsyntax2/tests/data/parser/inline/0004_extern_fn.txt
new file mode 100644
index 000000000..e7787d4ab
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0004_extern_fn.txt
@@ -0,0 +1,17 @@
+FILE@[0; 19)
+  FUNCTION@[0; 18)
+    ABI@[0; 6)
+      EXTERN_KW@[0; 6)
+    WHITESPACE@[6; 7)
+    FN_KW@[7; 9)
+    WHITESPACE@[9; 10)
+    NAME@[10; 13)
+      IDENT@[10; 13) "foo"
+    PARAM_LIST@[13; 15)
+      L_PAREN@[13; 14)
+      R_PAREN@[14; 15)
+    WHITESPACE@[15; 16)
+    BLOCK_EXPR@[16; 18)
+      L_CURLY@[16; 17)
+      R_CURLY@[17; 18)
+  WHITESPACE@[18; 19)
diff --git a/crates/libsyntax2/tests/data/parser/inline/0005_extern_crate.rs b/crates/libsyntax2/tests/data/parser/inline/0005_extern_crate.rs
new file mode 100644
index 000000000..49af74e1b
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0005_extern_crate.rs
@@ -0,0 +1 @@
+extern crate foo;
diff --git a/crates/libsyntax2/tests/data/parser/inline/0005_extern_crate.txt b/crates/libsyntax2/tests/data/parser/inline/0005_extern_crate.txt
new file mode 100644
index 000000000..eac8656ac
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0005_extern_crate.txt
@@ -0,0 +1,10 @@
+FILE@[0; 18)
+  EXTERN_CRATE_ITEM@[0; 17)
+    EXTERN_KW@[0; 6)
+    WHITESPACE@[6; 7)
+    CRATE_KW@[7; 12)
+    WHITESPACE@[12; 13)
+    NAME@[13; 16)
+      IDENT@[13; 16) "foo"
+    SEMI@[16; 17)
+  WHITESPACE@[17; 18)
diff --git a/crates/libsyntax2/tests/data/parser/inline/0007_unsafe_trait.rs b/crates/libsyntax2/tests/data/parser/inline/0007_unsafe_trait.rs
new file mode 100644
index 000000000..04e021550
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0007_unsafe_trait.rs
@@ -0,0 +1 @@
+unsafe trait T {}
diff --git a/crates/libsyntax2/tests/data/parser/inline/0007_unsafe_trait.txt b/crates/libsyntax2/tests/data/parser/inline/0007_unsafe_trait.txt
new file mode 100644
index 000000000..afa6637d3
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0007_unsafe_trait.txt
@@ -0,0 +1,12 @@
+FILE@[0; 18)
+  TRAIT_ITEM@[0; 17)
+    UNSAFE_KW@[0; 6)
+    WHITESPACE@[6; 7)
+    TRAIT_KW@[7; 12)
+    WHITESPACE@[12; 13)
+    NAME@[13; 14)
+      IDENT@[13; 14) "T"
+    WHITESPACE@[14; 15)
+    L_CURLY@[15; 16)
+    R_CURLY@[16; 17)
+  WHITESPACE@[17; 18)
diff --git a/crates/libsyntax2/tests/data/parser/inline/0008_unsafe_impl.rs b/crates/libsyntax2/tests/data/parser/inline/0008_unsafe_impl.rs
new file mode 100644
index 000000000..41055f41d
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0008_unsafe_impl.rs
@@ -0,0 +1 @@
+unsafe impl Foo {}
diff --git a/crates/libsyntax2/tests/data/parser/inline/0008_unsafe_impl.txt b/crates/libsyntax2/tests/data/parser/inline/0008_unsafe_impl.txt
new file mode 100644
index 000000000..6fd3f868f
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0008_unsafe_impl.txt
@@ -0,0 +1,15 @@
+FILE@[0; 19)
+  IMPL_ITEM@[0; 18)
+    UNSAFE_KW@[0; 6)
+    WHITESPACE@[6; 7)
+    IMPL_KW@[7; 11)
+    WHITESPACE@[11; 12)
+    PATH_TYPE@[12; 15)
+      PATH@[12; 15)
+        PATH_SEGMENT@[12; 15)
+          NAME_REF@[12; 15)
+            IDENT@[12; 15) "Foo"
+    WHITESPACE@[15; 16)
+    L_CURLY@[16; 17)
+    R_CURLY@[17; 18)
+  WHITESPACE@[18; 19)
diff --git a/crates/libsyntax2/tests/data/parser/inline/0009_unsafe_auto_trait.rs b/crates/libsyntax2/tests/data/parser/inline/0009_unsafe_auto_trait.rs
new file mode 100644
index 000000000..03d29f324
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0009_unsafe_auto_trait.rs
@@ -0,0 +1 @@
+unsafe auto trait T {}
diff --git a/crates/libsyntax2/tests/data/parser/inline/0009_unsafe_auto_trait.txt b/crates/libsyntax2/tests/data/parser/inline/0009_unsafe_auto_trait.txt
new file mode 100644
index 000000000..825a56f17
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0009_unsafe_auto_trait.txt
@@ -0,0 +1,14 @@
+FILE@[0; 23)
+  TRAIT_ITEM@[0; 22)
+    UNSAFE_KW@[0; 6)
+    WHITESPACE@[6; 7)
+    AUTO_KW@[7; 11)
+    WHITESPACE@[11; 12)
+    TRAIT_KW@[12; 17)
+    WHITESPACE@[17; 18)
+    NAME@[18; 19)
+      IDENT@[18; 19) "T"
+    WHITESPACE@[19; 20)
+    L_CURLY@[20; 21)
+    R_CURLY@[21; 22)
+  WHITESPACE@[22; 23)
diff --git a/crates/libsyntax2/tests/data/parser/inline/0010_unsafe_default_impl.rs b/crates/libsyntax2/tests/data/parser/inline/0010_unsafe_default_impl.rs
new file mode 100644
index 000000000..9cd6c57bd
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0010_unsafe_default_impl.rs
@@ -0,0 +1 @@
+unsafe default impl Foo {}
diff --git a/crates/libsyntax2/tests/data/parser/inline/0010_unsafe_default_impl.txt b/crates/libsyntax2/tests/data/parser/inline/0010_unsafe_default_impl.txt
new file mode 100644
index 000000000..ab12d5fc0
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0010_unsafe_default_impl.txt
@@ -0,0 +1,17 @@
+FILE@[0; 27)
+  IMPL_ITEM@[0; 26)
+    UNSAFE_KW@[0; 6)
+    WHITESPACE@[6; 7)
+    DEFAULT_KW@[7; 14)
+    WHITESPACE@[14; 15)
+    IMPL_KW@[15; 19)
+    WHITESPACE@[19; 20)
+    PATH_TYPE@[20; 23)
+      PATH@[20; 23)
+        PATH_SEGMENT@[20; 23)
+          NAME_REF@[20; 23)
+            IDENT@[20; 23) "Foo"
+    WHITESPACE@[23; 24)
+    L_CURLY@[24; 25)
+    R_CURLY@[25; 26)
+  WHITESPACE@[26; 27)
diff --git a/crates/libsyntax2/tests/data/parser/inline/0011_unsafe_fn.rs b/crates/libsyntax2/tests/data/parser/inline/0011_unsafe_fn.rs
new file mode 100644
index 000000000..33cfc4cd7
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0011_unsafe_fn.rs
@@ -0,0 +1 @@
+unsafe fn foo() {}
diff --git a/crates/libsyntax2/tests/data/parser/inline/0011_unsafe_fn.txt b/crates/libsyntax2/tests/data/parser/inline/0011_unsafe_fn.txt
new file mode 100644
index 000000000..9e5dcafa6
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0011_unsafe_fn.txt
@@ -0,0 +1,16 @@
+FILE@[0; 19)
+  FUNCTION@[0; 18)
+    UNSAFE_KW@[0; 6)
+    WHITESPACE@[6; 7)
+    FN_KW@[7; 9)
+    WHITESPACE@[9; 10)
+    NAME@[10; 13)
+      IDENT@[10; 13) "foo"
+    PARAM_LIST@[13; 15)
+      L_PAREN@[13; 14)
+      R_PAREN@[14; 15)
+    WHITESPACE@[15; 16)
+    BLOCK_EXPR@[16; 18)
+      L_CURLY@[16; 17)
+      R_CURLY@[17; 18)
+  WHITESPACE@[18; 19)
diff --git a/crates/libsyntax2/tests/data/parser/inline/0012_unsafe_extern_fn.rs b/crates/libsyntax2/tests/data/parser/inline/0012_unsafe_extern_fn.rs
new file mode 100644
index 000000000..1295c2cd2
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0012_unsafe_extern_fn.rs
@@ -0,0 +1 @@
+unsafe extern "C" fn foo() {}
diff --git a/crates/libsyntax2/tests/data/parser/inline/0012_unsafe_extern_fn.txt b/crates/libsyntax2/tests/data/parser/inline/0012_unsafe_extern_fn.txt
new file mode 100644
index 000000000..7ed4d42c1
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0012_unsafe_extern_fn.txt
@@ -0,0 +1,21 @@
+FILE@[0; 30)
+  FUNCTION@[0; 29)
+    UNSAFE_KW@[0; 6)
+    WHITESPACE@[6; 7)
+    ABI@[7; 17)
+      EXTERN_KW@[7; 13)
+      WHITESPACE@[13; 14)
+      STRING@[14; 17)
+    WHITESPACE@[17; 18)
+    FN_KW@[18; 20)
+    WHITESPACE@[20; 21)
+    NAME@[21; 24)
+      IDENT@[21; 24) "foo"
+    PARAM_LIST@[24; 26)
+      L_PAREN@[24; 25)
+      R_PAREN@[25; 26)
+    WHITESPACE@[26; 27)
+    BLOCK_EXPR@[27; 29)
+      L_CURLY@[27; 28)
+      R_CURLY@[28; 29)
+  WHITESPACE@[29; 30)
diff --git a/crates/libsyntax2/tests/data/parser/inline/0013_unsafe_block_in_mod.rs b/crates/libsyntax2/tests/data/parser/inline/0013_unsafe_block_in_mod.rs
new file mode 100644
index 000000000..26141e904
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0013_unsafe_block_in_mod.rs
@@ -0,0 +1 @@
+fn foo(){} unsafe { } fn bar(){}
diff --git a/crates/libsyntax2/tests/data/parser/inline/0013_unsafe_block_in_mod.txt b/crates/libsyntax2/tests/data/parser/inline/0013_unsafe_block_in_mod.txt
new file mode 100644
index 000000000..d1bcffe77
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0013_unsafe_block_in_mod.txt
@@ -0,0 +1,35 @@
+FILE@[0; 33)
+  FUNCTION@[0; 10)
+    FN_KW@[0; 2)
+    WHITESPACE@[2; 3)
+    NAME@[3; 6)
+      IDENT@[3; 6) "foo"
+    PARAM_LIST@[6; 8)
+      L_PAREN@[6; 7)
+      R_PAREN@[7; 8)
+    BLOCK_EXPR@[8; 10)
+      L_CURLY@[8; 9)
+      R_CURLY@[9; 10)
+  WHITESPACE@[10; 11)
+  err: `expected an item`
+  ERROR@[11; 17)
+    UNSAFE_KW@[11; 17)
+  WHITESPACE@[17; 18)
+  err: `expected an item`
+  ERROR@[18; 21)
+    L_CURLY@[18; 19)
+    WHITESPACE@[19; 20)
+    R_CURLY@[20; 21)
+  WHITESPACE@[21; 22)
+  FUNCTION@[22; 32)
+    FN_KW@[22; 24)
+    WHITESPACE@[24; 25)
+    NAME@[25; 28)
+      IDENT@[25; 28) "bar"
+    PARAM_LIST@[28; 30)
+      L_PAREN@[28; 29)
+      R_PAREN@[29; 30)
+    BLOCK_EXPR@[30; 32)
+      L_CURLY@[30; 31)
+      R_CURLY@[31; 32)
+  WHITESPACE@[32; 33)
diff --git a/crates/libsyntax2/tests/data/parser/inline/0014_type_item_type_params.rs b/crates/libsyntax2/tests/data/parser/inline/0014_type_item_type_params.rs
new file mode 100644
index 000000000..defd110c4
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0014_type_item_type_params.rs
@@ -0,0 +1 @@
+type Result<T> = ();
diff --git a/crates/libsyntax2/tests/data/parser/inline/0014_type_item_type_params.txt b/crates/libsyntax2/tests/data/parser/inline/0014_type_item_type_params.txt
new file mode 100644
index 000000000..e39e57889
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0014_type_item_type_params.txt
@@ -0,0 +1,20 @@
+FILE@[0; 21)
+  TYPE_ITEM@[0; 20)
+    TYPE_KW@[0; 4)
+    WHITESPACE@[4; 5)
+    NAME@[5; 11)
+      IDENT@[5; 11) "Result"
+    TYPE_PARAM_LIST@[11; 14)
+      L_ANGLE@[11; 12)
+      TYPE_PARAM@[12; 13)
+        NAME@[12; 13)
+          IDENT@[12; 13) "T"
+      R_ANGLE@[13; 14)
+    WHITESPACE@[14; 15)
+    EQ@[15; 16)
+    WHITESPACE@[16; 17)
+    TUPLE_TYPE@[17; 19)
+      L_PAREN@[17; 18)
+      R_PAREN@[18; 19)
+    SEMI@[19; 20)
+  WHITESPACE@[20; 21)
diff --git a/crates/libsyntax2/tests/data/parser/inline/0015_type_item.rs b/crates/libsyntax2/tests/data/parser/inline/0015_type_item.rs
new file mode 100644
index 000000000..04c0344fa
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0015_type_item.rs
@@ -0,0 +1 @@
+type Foo = Bar;
diff --git a/crates/libsyntax2/tests/data/parser/inline/0015_type_item.txt b/crates/libsyntax2/tests/data/parser/inline/0015_type_item.txt
new file mode 100644
index 000000000..964071aa1
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0015_type_item.txt
@@ -0,0 +1,16 @@
+FILE@[0; 16)
+  TYPE_ITEM@[0; 15)
+    TYPE_KW@[0; 4)
+    WHITESPACE@[4; 5)
+    NAME@[5; 8)
+      IDENT@[5; 8) "Foo"
+    WHITESPACE@[8; 9)
+    EQ@[9; 10)
+    WHITESPACE@[10; 11)
+    PATH_TYPE@[11; 14)
+      PATH@[11; 14)
+        PATH_SEGMENT@[11; 14)
+          NAME_REF@[11; 14)
+            IDENT@[11; 14) "Bar"
+    SEMI@[14; 15)
+  WHITESPACE@[15; 16)
diff --git a/crates/libsyntax2/tests/data/parser/inline/0016_type_item_where_clause.rs b/crates/libsyntax2/tests/data/parser/inline/0016_type_item_where_clause.rs
new file mode 100644
index 000000000..a602d07f0
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0016_type_item_where_clause.rs
@@ -0,0 +1 @@
+type Foo where Foo: Copy = ();
diff --git a/crates/libsyntax2/tests/data/parser/inline/0016_type_item_where_clause.txt b/crates/libsyntax2/tests/data/parser/inline/0016_type_item_where_clause.txt
new file mode 100644
index 000000000..2f3c52960
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0016_type_item_where_clause.txt
@@ -0,0 +1,31 @@
+FILE@[0; 31)
+  TYPE_ITEM@[0; 30)
+    TYPE_KW@[0; 4)
+    WHITESPACE@[4; 5)
+    NAME@[5; 8)
+      IDENT@[5; 8) "Foo"
+    WHITESPACE@[8; 9)
+    WHERE_CLAUSE@[9; 24)
+      WHERE_KW@[9; 14)
+      WHITESPACE@[14; 15)
+      WHERE_PRED@[15; 24)
+        PATH_TYPE@[15; 18)
+          PATH@[15; 18)
+            PATH_SEGMENT@[15; 18)
+              NAME_REF@[15; 18)
+                IDENT@[15; 18) "Foo"
+        COLON@[18; 19)
+        WHITESPACE@[19; 20)
+        PATH@[20; 24)
+          PATH_SEGMENT@[20; 24)
+            NAME_REF@[20; 24)
+              IDENT@[20; 24) "Copy"
+              err: `expected COMMA`
+    WHITESPACE@[24; 25)
+    EQ@[25; 26)
+    WHITESPACE@[26; 27)
+    TUPLE_TYPE@[27; 29)
+      L_PAREN@[27; 28)
+      R_PAREN@[28; 29)
+    SEMI@[29; 30)
+  WHITESPACE@[30; 31)
diff --git a/crates/libsyntax2/tests/data/parser/inline/0017_paren_type.rs b/crates/libsyntax2/tests/data/parser/inline/0017_paren_type.rs
new file mode 100644
index 000000000..6e1b25101
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0017_paren_type.rs
@@ -0,0 +1 @@
+type T = (i32);
diff --git a/crates/libsyntax2/tests/data/parser/inline/0017_paren_type.txt b/crates/libsyntax2/tests/data/parser/inline/0017_paren_type.txt
new file mode 100644
index 000000000..1194fb02c
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0017_paren_type.txt
@@ -0,0 +1,19 @@
+FILE@[0; 16)
+  TYPE_ITEM@[0; 15)
+    TYPE_KW@[0; 4)
+    WHITESPACE@[4; 5)
+    NAME@[5; 6)
+      IDENT@[5; 6) "T"
+    WHITESPACE@[6; 7)
+    EQ@[7; 8)
+    WHITESPACE@[8; 9)
+    PAREN_TYPE@[9; 14)
+      L_PAREN@[9; 10)
+      PATH_TYPE@[10; 13)
+        PATH@[10; 13)
+          PATH_SEGMENT@[10; 13)
+            NAME_REF@[10; 13)
+              IDENT@[10; 13) "i32"
+      R_PAREN@[13; 14)
+    SEMI@[14; 15)
+  WHITESPACE@[15; 16)
diff --git a/crates/libsyntax2/tests/data/parser/inline/0018_unit_type.rs b/crates/libsyntax2/tests/data/parser/inline/0018_unit_type.rs
new file mode 100644
index 000000000..c039cf7d3
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0018_unit_type.rs
@@ -0,0 +1 @@
+type T = ();
diff --git a/crates/libsyntax2/tests/data/parser/inline/0018_unit_type.txt b/crates/libsyntax2/tests/data/parser/inline/0018_unit_type.txt
new file mode 100644
index 000000000..e52af7b1e
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0018_unit_type.txt
@@ -0,0 +1,14 @@
+FILE@[0; 13)
+  TYPE_ITEM@[0; 12)
+    TYPE_KW@[0; 4)
+    WHITESPACE@[4; 5)
+    NAME@[5; 6)
+      IDENT@[5; 6) "T"
+    WHITESPACE@[6; 7)
+    EQ@[7; 8)
+    WHITESPACE@[8; 9)
+    TUPLE_TYPE@[9; 11)
+      L_PAREN@[9; 10)
+      R_PAREN@[10; 11)
+    SEMI@[11; 12)
+  WHITESPACE@[12; 13)
diff --git a/crates/libsyntax2/tests/data/parser/inline/0019_singleton_tuple_type.rs b/crates/libsyntax2/tests/data/parser/inline/0019_singleton_tuple_type.rs
new file mode 100644
index 000000000..cb66bad24
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0019_singleton_tuple_type.rs
@@ -0,0 +1 @@
+type T = (i32,);
diff --git a/crates/libsyntax2/tests/data/parser/inline/0019_singleton_tuple_type.txt b/crates/libsyntax2/tests/data/parser/inline/0019_singleton_tuple_type.txt
new file mode 100644
index 000000000..7b8e06c25
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0019_singleton_tuple_type.txt
@@ -0,0 +1,20 @@
+FILE@[0; 17)
+  TYPE_ITEM@[0; 16)
+    TYPE_KW@[0; 4)
+    WHITESPACE@[4; 5)
+    NAME@[5; 6)
+      IDENT@[5; 6) "T"
+    WHITESPACE@[6; 7)
+    EQ@[7; 8)
+    WHITESPACE@[8; 9)
+    TUPLE_TYPE@[9; 15)
+      L_PAREN@[9; 10)
+      PATH_TYPE@[10; 13)
+        PATH@[10; 13)
+          PATH_SEGMENT@[10; 13)
+            NAME_REF@[10; 13)
+              IDENT@[10; 13) "i32"
+      COMMA@[13; 14)
+      R_PAREN@[14; 15)
+    SEMI@[15; 16)
+  WHITESPACE@[16; 17)
diff --git a/crates/libsyntax2/tests/data/parser/inline/0020_never_type.rs b/crates/libsyntax2/tests/data/parser/inline/0020_never_type.rs
new file mode 100644
index 000000000..de399fcf4
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0020_never_type.rs
@@ -0,0 +1 @@
+type Never = !;
diff --git a/crates/libsyntax2/tests/data/parser/inline/0020_never_type.txt b/crates/libsyntax2/tests/data/parser/inline/0020_never_type.txt
new file mode 100644
index 000000000..89f8a9eea
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0020_never_type.txt
@@ -0,0 +1,13 @@
+FILE@[0; 16)
+  TYPE_ITEM@[0; 15)
+    TYPE_KW@[0; 4)
+    WHITESPACE@[4; 5)
+    NAME@[5; 10)
+      IDENT@[5; 10) "Never"
+    WHITESPACE@[10; 11)
+    EQ@[11; 12)
+    WHITESPACE@[12; 13)
+    NEVER_TYPE@[13; 14)
+      EXCL@[13; 14)
+    SEMI@[14; 15)
+  WHITESPACE@[15; 16)
diff --git a/crates/libsyntax2/tests/data/parser/inline/0021_pointer_type_no_mutability.rs b/crates/libsyntax2/tests/data/parser/inline/0021_pointer_type_no_mutability.rs
new file mode 100644
index 000000000..fae705131
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0021_pointer_type_no_mutability.rs
@@ -0,0 +1 @@
+type T = *();
diff --git a/crates/libsyntax2/tests/data/parser/inline/0021_pointer_type_no_mutability.txt b/crates/libsyntax2/tests/data/parser/inline/0021_pointer_type_no_mutability.txt
new file mode 100644
index 000000000..d86fc6388
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0021_pointer_type_no_mutability.txt
@@ -0,0 +1,17 @@
+FILE@[0; 14)
+  TYPE_ITEM@[0; 13)
+    TYPE_KW@[0; 4)
+    WHITESPACE@[4; 5)
+    NAME@[5; 6)
+      IDENT@[5; 6) "T"
+    WHITESPACE@[6; 7)
+    EQ@[7; 8)
+    WHITESPACE@[8; 9)
+    POINTER_TYPE@[9; 12)
+      STAR@[9; 10)
+      err: `expected mut or const in raw pointer type (use `*mut T` or `*const T` as appropriate)`
+      TUPLE_TYPE@[10; 12)
+        L_PAREN@[10; 11)
+        R_PAREN@[11; 12)
+    SEMI@[12; 13)
+  WHITESPACE@[13; 14)
diff --git a/crates/libsyntax2/tests/data/parser/inline/0022_pointer_type_mut.rs b/crates/libsyntax2/tests/data/parser/inline/0022_pointer_type_mut.rs
new file mode 100644
index 000000000..04b2bb9ba
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0022_pointer_type_mut.rs
@@ -0,0 +1,2 @@
+type M = *mut ();
+type C = *mut ();
diff --git a/crates/libsyntax2/tests/data/parser/inline/0022_pointer_type_mut.txt b/crates/libsyntax2/tests/data/parser/inline/0022_pointer_type_mut.txt
new file mode 100644
index 000000000..fbeba506e
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0022_pointer_type_mut.txt
@@ -0,0 +1,35 @@
+FILE@[0; 36)
+  TYPE_ITEM@[0; 17)
+    TYPE_KW@[0; 4)
+    WHITESPACE@[4; 5)
+    NAME@[5; 6)
+      IDENT@[5; 6) "M"
+    WHITESPACE@[6; 7)
+    EQ@[7; 8)
+    WHITESPACE@[8; 9)
+    POINTER_TYPE@[9; 16)
+      STAR@[9; 10)
+      MUT_KW@[10; 13)
+      WHITESPACE@[13; 14)
+      TUPLE_TYPE@[14; 16)
+        L_PAREN@[14; 15)
+        R_PAREN@[15; 16)
+    SEMI@[16; 17)
+  WHITESPACE@[17; 18)
+  TYPE_ITEM@[18; 35)
+    TYPE_KW@[18; 22)
+    WHITESPACE@[22; 23)
+    NAME@[23; 24)
+      IDENT@[23; 24) "C"
+    WHITESPACE@[24; 25)
+    EQ@[25; 26)
+    WHITESPACE@[26; 27)
+    POINTER_TYPE@[27; 34)
+      STAR@[27; 28)
+      MUT_KW@[28; 31)
+      WHITESPACE@[31; 32)
+      TUPLE_TYPE@[32; 34)
+        L_PAREN@[32; 33)
+        R_PAREN@[33; 34)
+    SEMI@[34; 35)
+  WHITESPACE@[35; 36)
diff --git a/crates/libsyntax2/tests/data/parser/inline/0023_array_type_missing_semi.rs b/crates/libsyntax2/tests/data/parser/inline/0023_array_type_missing_semi.rs
new file mode 100644
index 000000000..a94851443
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0023_array_type_missing_semi.rs
@@ -0,0 +1 @@
+type T = [() 92];
diff --git a/crates/libsyntax2/tests/data/parser/inline/0023_array_type_missing_semi.txt b/crates/libsyntax2/tests/data/parser/inline/0023_array_type_missing_semi.txt
new file mode 100644
index 000000000..4d90d52c7
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0023_array_type_missing_semi.txt
@@ -0,0 +1,27 @@
+FILE@[0; 18)
+  TYPE_ITEM@[0; 12)
+    TYPE_KW@[0; 4)
+    WHITESPACE@[4; 5)
+    NAME@[5; 6)
+      IDENT@[5; 6) "T"
+    WHITESPACE@[6; 7)
+    EQ@[7; 8)
+    WHITESPACE@[8; 9)
+    SLICE_TYPE@[9; 12)
+      L_BRACK@[9; 10)
+      TUPLE_TYPE@[10; 12)
+        L_PAREN@[10; 11)
+        R_PAREN@[11; 12)
+        err: `expected `;` or `]``
+        err: `expected SEMI`
+  WHITESPACE@[12; 13)
+  err: `expected an item`
+  ERROR@[13; 15)
+    INT_NUMBER@[13; 15) "92"
+    err: `expected an item`
+  ERROR@[15; 16)
+    R_BRACK@[15; 16)
+    err: `expected an item`
+  ERROR@[16; 17)
+    SEMI@[16; 17)
+  WHITESPACE@[17; 18)
diff --git a/crates/libsyntax2/tests/data/parser/inline/0024_array_type.rs b/crates/libsyntax2/tests/data/parser/inline/0024_array_type.rs
new file mode 100644
index 000000000..27eb22f22
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0024_array_type.rs
@@ -0,0 +1 @@
+type T = [(); 92];
diff --git a/crates/libsyntax2/tests/data/parser/inline/0024_array_type.txt b/crates/libsyntax2/tests/data/parser/inline/0024_array_type.txt
new file mode 100644
index 000000000..5a6b76904
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0024_array_type.txt
@@ -0,0 +1,21 @@
+FILE@[0; 19)
+  TYPE_ITEM@[0; 18)
+    TYPE_KW@[0; 4)
+    WHITESPACE@[4; 5)
+    NAME@[5; 6)
+      IDENT@[5; 6) "T"
+    WHITESPACE@[6; 7)
+    EQ@[7; 8)
+    WHITESPACE@[8; 9)
+    ARRAY_TYPE@[9; 17)
+      L_BRACK@[9; 10)
+      TUPLE_TYPE@[10; 12)
+        L_PAREN@[10; 11)
+        R_PAREN@[11; 12)
+      SEMI@[12; 13)
+      WHITESPACE@[13; 14)
+      LITERAL@[14; 16)
+        INT_NUMBER@[14; 16) "92"
+      R_BRACK@[16; 17)
+    SEMI@[17; 18)
+  WHITESPACE@[18; 19)
diff --git a/crates/libsyntax2/tests/data/parser/inline/0025_slice_type.rs b/crates/libsyntax2/tests/data/parser/inline/0025_slice_type.rs
new file mode 100644
index 000000000..4da1af827
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0025_slice_type.rs
@@ -0,0 +1 @@
+type T = [()];
diff --git a/crates/libsyntax2/tests/data/parser/inline/0025_slice_type.txt b/crates/libsyntax2/tests/data/parser/inline/0025_slice_type.txt
new file mode 100644
index 000000000..52508cda4
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0025_slice_type.txt
@@ -0,0 +1,17 @@
+FILE@[0; 15)
+  TYPE_ITEM@[0; 14)
+    TYPE_KW@[0; 4)
+    WHITESPACE@[4; 5)
+    NAME@[5; 6)
+      IDENT@[5; 6) "T"
+    WHITESPACE@[6; 7)
+    EQ@[7; 8)
+    WHITESPACE@[8; 9)
+    SLICE_TYPE@[9; 13)
+      L_BRACK@[9; 10)
+      TUPLE_TYPE@[10; 12)
+        L_PAREN@[10; 11)
+        R_PAREN@[11; 12)
+      R_BRACK@[12; 13)
+    SEMI@[13; 14)
+  WHITESPACE@[14; 15)
diff --git a/crates/libsyntax2/tests/data/parser/inline/0026_reference_type;.rs b/crates/libsyntax2/tests/data/parser/inline/0026_reference_type;.rs
new file mode 100644
index 000000000..3ac0badab
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0026_reference_type;.rs
@@ -0,0 +1,3 @@
+type A = &();
+type B = &'static ();
+type C = &mut ();
diff --git a/crates/libsyntax2/tests/data/parser/inline/0026_reference_type;.txt b/crates/libsyntax2/tests/data/parser/inline/0026_reference_type;.txt
new file mode 100644
index 000000000..b6bd6a48c
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0026_reference_type;.txt
@@ -0,0 +1,50 @@
+FILE@[0; 54)
+  TYPE_ITEM@[0; 13)
+    TYPE_KW@[0; 4)
+    WHITESPACE@[4; 5)
+    NAME@[5; 6)
+      IDENT@[5; 6) "A"
+    WHITESPACE@[6; 7)
+    EQ@[7; 8)
+    WHITESPACE@[8; 9)
+    REFERENCE_TYPE@[9; 12)
+      AMP@[9; 10)
+      TUPLE_TYPE@[10; 12)
+        L_PAREN@[10; 11)
+        R_PAREN@[11; 12)
+    SEMI@[12; 13)
+  WHITESPACE@[13; 14)
+  TYPE_ITEM@[14; 35)
+    TYPE_KW@[14; 18)
+    WHITESPACE@[18; 19)
+    NAME@[19; 20)
+      IDENT@[19; 20) "B"
+    WHITESPACE@[20; 21)
+    EQ@[21; 22)
+    WHITESPACE@[22; 23)
+    REFERENCE_TYPE@[23; 34)
+      AMP@[23; 24)
+      LIFETIME@[24; 31) "'static"
+      WHITESPACE@[31; 32)
+      TUPLE_TYPE@[32; 34)
+        L_PAREN@[32; 33)
+        R_PAREN@[33; 34)
+    SEMI@[34; 35)
+  WHITESPACE@[35; 36)
+  TYPE_ITEM@[36; 53)
+    TYPE_KW@[36; 40)
+    WHITESPACE@[40; 41)
+    NAME@[41; 42)
+      IDENT@[41; 42) "C"
+    WHITESPACE@[42; 43)
+    EQ@[43; 44)
+    WHITESPACE@[44; 45)
+    REFERENCE_TYPE@[45; 52)
+      AMP@[45; 46)
+      MUT_KW@[46; 49)
+      WHITESPACE@[49; 50)
+      TUPLE_TYPE@[50; 52)
+        L_PAREN@[50; 51)
+        R_PAREN@[51; 52)
+    SEMI@[52; 53)
+  WHITESPACE@[53; 54)
diff --git a/crates/libsyntax2/tests/data/parser/inline/0027_placeholder_type.rs b/crates/libsyntax2/tests/data/parser/inline/0027_placeholder_type.rs
new file mode 100644
index 000000000..7952dbd57
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0027_placeholder_type.rs
@@ -0,0 +1 @@
+type Placeholder = _;
diff --git a/crates/libsyntax2/tests/data/parser/inline/0027_placeholder_type.txt b/crates/libsyntax2/tests/data/parser/inline/0027_placeholder_type.txt
new file mode 100644
index 000000000..5e6e6c397
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0027_placeholder_type.txt
@@ -0,0 +1,13 @@
+FILE@[0; 22)
+  TYPE_ITEM@[0; 21)
+    TYPE_KW@[0; 4)
+    WHITESPACE@[4; 5)
+    NAME@[5; 16)
+      IDENT@[5; 16) "Placeholder"
+    WHITESPACE@[16; 17)
+    EQ@[17; 18)
+    WHITESPACE@[18; 19)
+    PLACEHOLDER_TYPE@[19; 20)
+      UNDERSCORE@[19; 20)
+    SEMI@[20; 21)
+  WHITESPACE@[21; 22)
diff --git a/crates/libsyntax2/tests/data/parser/inline/0028_fn_pointer_type.rs b/crates/libsyntax2/tests/data/parser/inline/0028_fn_pointer_type.rs
new file mode 100644
index 000000000..c9bf3bdb4
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0028_fn_pointer_type.rs
@@ -0,0 +1,3 @@
+type A = fn();
+type B = unsafe fn();
+type C = unsafe extern "C" fn();
diff --git a/crates/libsyntax2/tests/data/parser/inline/0028_fn_pointer_type.txt b/crates/libsyntax2/tests/data/parser/inline/0028_fn_pointer_type.txt
new file mode 100644
index 000000000..31818365a
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0028_fn_pointer_type.txt
@@ -0,0 +1,55 @@
+FILE@[0; 70)
+  TYPE_ITEM@[0; 14)
+    TYPE_KW@[0; 4)
+    WHITESPACE@[4; 5)
+    NAME@[5; 6)
+      IDENT@[5; 6) "A"
+    WHITESPACE@[6; 7)
+    EQ@[7; 8)
+    WHITESPACE@[8; 9)
+    FN_POINTER_TYPE@[9; 13)
+      FN_KW@[9; 11)
+      PARAM_LIST@[11; 13)
+        L_PAREN@[11; 12)
+        R_PAREN@[12; 13)
+    SEMI@[13; 14)
+  WHITESPACE@[14; 15)
+  TYPE_ITEM@[15; 36)
+    TYPE_KW@[15; 19)
+    WHITESPACE@[19; 20)
+    NAME@[20; 21)
+      IDENT@[20; 21) "B"
+    WHITESPACE@[21; 22)
+    EQ@[22; 23)
+    WHITESPACE@[23; 24)
+    FN_POINTER_TYPE@[24; 35)
+      UNSAFE_KW@[24; 30)
+      WHITESPACE@[30; 31)
+      FN_KW@[31; 33)
+      PARAM_LIST@[33; 35)
+        L_PAREN@[33; 34)
+        R_PAREN@[34; 35)
+    SEMI@[35; 36)
+  WHITESPACE@[36; 37)
+  TYPE_ITEM@[37; 69)
+    TYPE_KW@[37; 41)
+    WHITESPACE@[41; 42)
+    NAME@[42; 43)
+      IDENT@[42; 43) "C"
+    WHITESPACE@[43; 44)
+    EQ@[44; 45)
+    WHITESPACE@[45; 46)
+    FN_POINTER_TYPE@[46; 68)
+      UNSAFE_KW@[46; 52)
+      WHITESPACE@[52; 53)
+      ABI@[53; 63)
+        EXTERN_KW@[53; 59)
+        WHITESPACE@[59; 60)
+        STRING@[60; 63)
+      WHITESPACE@[63; 64)
+      FN_KW@[64; 66)
+      PARAM_LIST@[66; 68)
+        L_PAREN@[66; 67)
+        R_PAREN@[67; 68)
+    SEMI@[68; 69)
+  WHITESPACE@[69; 70)
diff --git a/crates/libsyntax2/tests/data/parser/inline/0029_fn_pointer_type_missing_fn.rs b/crates/libsyntax2/tests/data/parser/inline/0029_fn_pointer_type_missing_fn.rs
new file mode 100644
index 000000000..f014914ff
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0029_fn_pointer_type_missing_fn.rs
@@ -0,0 +1 @@
+type F = unsafe ();
diff --git a/crates/libsyntax2/tests/data/parser/inline/0029_fn_pointer_type_missing_fn.txt b/crates/libsyntax2/tests/data/parser/inline/0029_fn_pointer_type_missing_fn.txt
new file mode 100644
index 000000000..ddec1b866
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0029_fn_pointer_type_missing_fn.txt
@@ -0,0 +1,23 @@
+FILE@[0; 20)
+  TYPE_ITEM@[0; 15)
+    TYPE_KW@[0; 4)
+    WHITESPACE@[4; 5)
+    NAME@[5; 6)
+      IDENT@[5; 6) "F"
+    WHITESPACE@[6; 7)
+    EQ@[7; 8)
+    WHITESPACE@[8; 9)
+    UNSAFE_KW@[9; 15)
+    err: `expected `fn``
+    err: `expected SEMI`
+  WHITESPACE@[15; 16)
+  err: `expected an item`
+  ERROR@[16; 17)
+    L_PAREN@[16; 17)
+    err: `expected an item`
+  ERROR@[17; 18)
+    R_PAREN@[17; 18)
+    err: `expected an item`
+  ERROR@[18; 19)
+    SEMI@[18; 19)
+  WHITESPACE@[19; 20)
diff --git a/crates/libsyntax2/tests/data/parser/inline/0030_fn_pointer_type_with_ret.rs b/crates/libsyntax2/tests/data/parser/inline/0030_fn_pointer_type_with_ret.rs
new file mode 100644
index 000000000..e3ba5e87f
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0030_fn_pointer_type_with_ret.rs
@@ -0,0 +1 @@
+type F = fn() -> ();
diff --git a/crates/libsyntax2/tests/data/parser/inline/0030_fn_pointer_type_with_ret.txt b/crates/libsyntax2/tests/data/parser/inline/0030_fn_pointer_type_with_ret.txt
new file mode 100644
index 000000000..447b1ed3f
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0030_fn_pointer_type_with_ret.txt
@@ -0,0 +1,22 @@
+FILE@[0; 21)
+  TYPE_ITEM@[0; 20)
+    TYPE_KW@[0; 4)
+    WHITESPACE@[4; 5)
+    NAME@[5; 6)
+      IDENT@[5; 6) "F"
+    WHITESPACE@[6; 7)
+    EQ@[7; 8)
+    WHITESPACE@[8; 9)
+    FN_POINTER_TYPE@[9; 19)
+      FN_KW@[9; 11)
+      PARAM_LIST@[11; 13)
+        L_PAREN@[11; 12)
+        R_PAREN@[12; 13)
+      WHITESPACE@[13; 14)
+      THIN_ARROW@[14; 16)
+      WHITESPACE@[16; 17)
+      TUPLE_TYPE@[17; 19)
+        L_PAREN@[17; 18)
+        R_PAREN@[18; 19)
+    SEMI@[19; 20)
+  WHITESPACE@[20; 21)
diff --git a/crates/libsyntax2/tests/data/parser/inline/0031_for_type.rs b/crates/libsyntax2/tests/data/parser/inline/0031_for_type.rs
new file mode 100644
index 000000000..4d6a18c6b
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0031_for_type.rs
@@ -0,0 +1 @@
+type A = for<'a> fn() -> ();
diff --git a/crates/libsyntax2/tests/data/parser/inline/0031_for_type.txt b/crates/libsyntax2/tests/data/parser/inline/0031_for_type.txt
new file mode 100644
index 000000000..65753a702
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0031_for_type.txt
@@ -0,0 +1,30 @@
+FILE@[0; 29)
+  TYPE_ITEM@[0; 28)
+    TYPE_KW@[0; 4)
+    WHITESPACE@[4; 5)
+    NAME@[5; 6)
+      IDENT@[5; 6) "A"
+    WHITESPACE@[6; 7)
+    EQ@[7; 8)
+    WHITESPACE@[8; 9)
+    FOR_TYPE@[9; 27)
+      FOR_KW@[9; 12)
+      TYPE_PARAM_LIST@[12; 16)
+        L_ANGLE@[12; 13)
+        LIFETIME_PARAM@[13; 15)
+          LIFETIME@[13; 15) "'a"
+        R_ANGLE@[15; 16)
+      WHITESPACE@[16; 17)
+      FN_POINTER_TYPE@[17; 27)
+        FN_KW@[17; 19)
+        PARAM_LIST@[19; 21)
+          L_PAREN@[19; 20)
+          R_PAREN@[20; 21)
+        WHITESPACE@[21; 22)
+        THIN_ARROW@[22; 24)
+        WHITESPACE@[24; 25)
+        TUPLE_TYPE@[25; 27)
+          L_PAREN@[25; 26)
+          R_PAREN@[26; 27)
+    SEMI@[27; 28)
+  WHITESPACE@[28; 29)
diff --git a/crates/libsyntax2/tests/data/parser/inline/0032_path_type.rs b/crates/libsyntax2/tests/data/parser/inline/0032_path_type.rs
new file mode 100644
index 000000000..bf94f32e1
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0032_path_type.rs
@@ -0,0 +1,4 @@
+type A = Foo;
+type B = ::Foo;
+type C = self::Foo;
+type D = super::Foo;
diff --git a/crates/libsyntax2/tests/data/parser/inline/0032_path_type.txt b/crates/libsyntax2/tests/data/parser/inline/0032_path_type.txt
new file mode 100644
index 000000000..d9085118a
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0032_path_type.txt
@@ -0,0 +1,70 @@
+FILE@[0; 71)
+  TYPE_ITEM@[0; 13)
+    TYPE_KW@[0; 4)
+    WHITESPACE@[4; 5)
+    NAME@[5; 6)
+      IDENT@[5; 6) "A"
+    WHITESPACE@[6; 7)
+    EQ@[7; 8)
+    WHITESPACE@[8; 9)
+    PATH_TYPE@[9; 12)
+      PATH@[9; 12)
+        PATH_SEGMENT@[9; 12)
+          NAME_REF@[9; 12)
+            IDENT@[9; 12) "Foo"
+    SEMI@[12; 13)
+  WHITESPACE@[13; 14)
+  TYPE_ITEM@[14; 29)
+    TYPE_KW@[14; 18)
+    WHITESPACE@[18; 19)
+    NAME@[19; 20)
+      IDENT@[19; 20) "B"
+    WHITESPACE@[20; 21)
+    EQ@[21; 22)
+    WHITESPACE@[22; 23)
+    PATH_TYPE@[23; 28)
+      PATH@[23; 28)
+        PATH_SEGMENT@[23; 28)
+          COLONCOLON@[23; 25)
+          NAME_REF@[25; 28)
+            IDENT@[25; 28) "Foo"
+    SEMI@[28; 29)
+  WHITESPACE@[29; 30)
+  TYPE_ITEM@[30; 49)
+    TYPE_KW@[30; 34)
+    WHITESPACE@[34; 35)
+    NAME@[35; 36)
+      IDENT@[35; 36) "C"
+    WHITESPACE@[36; 37)
+    EQ@[37; 38)
+    WHITESPACE@[38; 39)
+    PATH_TYPE@[39; 48)
+      PATH@[39; 48)
+        PATH@[39; 43)
+          PATH_SEGMENT@[39; 43)
+            SELF_KW@[39; 43)
+        COLONCOLON@[43; 45)
+        PATH_SEGMENT@[45; 48)
+          NAME_REF@[45; 48)
+            IDENT@[45; 48) "Foo"
+    SEMI@[48; 49)
+  WHITESPACE@[49; 50)
+  TYPE_ITEM@[50; 70)
+    TYPE_KW@[50; 54)
+    WHITESPACE@[54; 55)
+    NAME@[55; 56)
+      IDENT@[55; 56) "D"
+    WHITESPACE@[56; 57)
+    EQ@[57; 58)
+    WHITESPACE@[58; 59)
+    PATH_TYPE@[59; 69)
+      PATH@[59; 69)
+        PATH@[59; 64)
+          PATH_SEGMENT@[59; 64)
+            SUPER_KW@[59; 64)
+        COLONCOLON@[64; 66)
+        PATH_SEGMENT@[66; 69)
+          NAME_REF@[66; 69)
+            IDENT@[66; 69) "Foo"
+    SEMI@[69; 70)
+  WHITESPACE@[70; 71)
diff --git a/crates/libsyntax2/tests/data/parser/inline/0034_bind_pat.rs b/crates/libsyntax2/tests/data/parser/inline/0034_bind_pat.rs
new file mode 100644
index 000000000..820a9e72c
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0034_bind_pat.rs
@@ -0,0 +1,8 @@
+fn main() {
+    let a = ();
+    let mut b = ();
+    let ref c = ();
+    let ref mut d = ();
+    let e @ _ = ();
+    let ref mut f @ g @ _ = ();
+}
diff --git a/crates/libsyntax2/tests/data/parser/inline/0034_bind_pat.txt b/crates/libsyntax2/tests/data/parser/inline/0034_bind_pat.txt
new file mode 100644
index 000000000..e8e4e4c2b
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0034_bind_pat.txt
@@ -0,0 +1,127 @@
+FILE@[0; 146)
+  FUNCTION@[0; 145)
+    FN_KW@[0; 2)
+    WHITESPACE@[2; 3)
+    NAME@[3; 7)
+      IDENT@[3; 7) "main"
+    PARAM_LIST@[7; 9)
+      L_PAREN@[7; 8)
+      R_PAREN@[8; 9)
+    WHITESPACE@[9; 10)
+    BLOCK_EXPR@[10; 145)
+      L_CURLY@[10; 11)
+      WHITESPACE@[11; 16)
+      LET_STMT@[16; 27)
+        LET_KW@[16; 19)
+        WHITESPACE@[19; 20)
+        BIND_PAT@[20; 21)
+          NAME@[20; 21)
+            IDENT@[20; 21) "a"
+        WHITESPACE@[21; 22)
+        EQ@[22; 23)
+        WHITESPACE@[23; 24)
+        TUPLE_EXPR@[24; 26)
+          L_PAREN@[24; 25)
+          R_PAREN@[25; 26)
+        SEMI@[26; 27)
+      WHITESPACE@[27; 32)
+      LET_STMT@[32; 47)
+        LET_KW@[32; 35)
+        WHITESPACE@[35; 36)
+        BIND_PAT@[36; 41)
+          MUT_KW@[36; 39)
+          WHITESPACE@[39; 40)
+          NAME@[40; 41)
+            IDENT@[40; 41) "b"
+        WHITESPACE@[41; 42)
+        EQ@[42; 43)
+        WHITESPACE@[43; 44)
+        TUPLE_EXPR@[44; 46)
+          L_PAREN@[44; 45)
+          R_PAREN@[45; 46)
+        SEMI@[46; 47)
+      WHITESPACE@[47; 52)
+      LET_STMT@[52; 67)
+        LET_KW@[52; 55)
+        WHITESPACE@[55; 56)
+        BIND_PAT@[56; 61)
+          REF_KW@[56; 59)
+          WHITESPACE@[59; 60)
+          NAME@[60; 61)
+            IDENT@[60; 61) "c"
+        WHITESPACE@[61; 62)
+        EQ@[62; 63)
+        WHITESPACE@[63; 64)
+        TUPLE_EXPR@[64; 66)
+          L_PAREN@[64; 65)
+          R_PAREN@[65; 66)
+        SEMI@[66; 67)
+      WHITESPACE@[67; 72)
+      LET_STMT@[72; 91)
+        LET_KW@[72; 75)
+        WHITESPACE@[75; 76)
+        BIND_PAT@[76; 85)
+          REF_KW@[76; 79)
+          WHITESPACE@[79; 80)
+          MUT_KW@[80; 83)
+          WHITESPACE@[83; 84)
+          NAME@[84; 85)
+            IDENT@[84; 85) "d"
+        WHITESPACE@[85; 86)
+        EQ@[86; 87)
+        WHITESPACE@[87; 88)
+        TUPLE_EXPR@[88; 90)
+          L_PAREN@[88; 89)
+          R_PAREN@[89; 90)
+        SEMI@[90; 91)
+      WHITESPACE@[91; 96)
+      LET_STMT@[96; 111)
+        LET_KW@[96; 99)
+        WHITESPACE@[99; 100)
+        BIND_PAT@[100; 105)
+          NAME@[100; 101)
+            IDENT@[100; 101) "e"
+          WHITESPACE@[101; 102)
+          AT@[102; 103)
+          WHITESPACE@[103; 104)
+          PLACEHOLDER_PAT@[104; 105)
+            UNDERSCORE@[104; 105)
+        WHITESPACE@[105; 106)
+        EQ@[106; 107)
+        WHITESPACE@[107; 108)
+        TUPLE_EXPR@[108; 110)
+          L_PAREN@[108; 109)
+          R_PAREN@[109; 110)
+        SEMI@[110; 111)
+      WHITESPACE@[111; 116)
+      LET_STMT@[116; 143)
+        LET_KW@[116; 119)
+        WHITESPACE@[119; 120)
+        BIND_PAT@[120; 137)
+          REF_KW@[120; 123)
+          WHITESPACE@[123; 124)
+          MUT_KW@[124; 127)
+          WHITESPACE@[127; 128)
+          NAME@[128; 129)
+            IDENT@[128; 129) "f"
+          WHITESPACE@[129; 130)
+          AT@[130; 131)
+          WHITESPACE@[131; 132)
+          BIND_PAT@[132; 137)
+            NAME@[132; 133)
+              IDENT@[132; 133) "g"
+            WHITESPACE@[133; 134)
+            AT@[134; 135)
+            WHITESPACE@[135; 136)
+            PLACEHOLDER_PAT@[136; 137)
+              UNDERSCORE@[136; 137)
+        WHITESPACE@[137; 138)
+        EQ@[138; 139)
+        WHITESPACE@[139; 140)
+        TUPLE_EXPR@[140; 142)
+          L_PAREN@[140; 141)
+          R_PAREN@[141; 142)
+        SEMI@[142; 143)
+      WHITESPACE@[143; 144)
+      R_CURLY@[144; 145)
+  WHITESPACE@[145; 146)
diff --git a/crates/libsyntax2/tests/data/parser/inline/0035_ref_pat.rs b/crates/libsyntax2/tests/data/parser/inline/0035_ref_pat.rs
new file mode 100644
index 000000000..de41f5cae
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0035_ref_pat.rs
@@ -0,0 +1,4 @@
+fn main() {
+    let &a = ();
+    let &mut b = ();
+}
diff --git a/crates/libsyntax2/tests/data/parser/inline/0035_ref_pat.txt b/crates/libsyntax2/tests/data/parser/inline/0035_ref_pat.txt
new file mode 100644
index 000000000..6fbffd8b7
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0035_ref_pat.txt
@@ -0,0 +1,49 @@
+FILE@[0; 52)
+  FUNCTION@[0; 51)
+    FN_KW@[0; 2)
+    WHITESPACE@[2; 3)
+    NAME@[3; 7)
+      IDENT@[3; 7) "main"
+    PARAM_LIST@[7; 9)
+      L_PAREN@[7; 8)
+      R_PAREN@[8; 9)
+    WHITESPACE@[9; 10)
+    BLOCK_EXPR@[10; 51)
+      L_CURLY@[10; 11)
+      WHITESPACE@[11; 16)
+      LET_STMT@[16; 28)
+        LET_KW@[16; 19)
+        WHITESPACE@[19; 20)
+        REF_PAT@[20; 22)
+          AMP@[20; 21)
+          BIND_PAT@[21; 22)
+            NAME@[21; 22)
+              IDENT@[21; 22) "a"
+        WHITESPACE@[22; 23)
+        EQ@[23; 24)
+        WHITESPACE@[24; 25)
+        TUPLE_EXPR@[25; 27)
+          L_PAREN@[25; 26)
+          R_PAREN@[26; 27)
+        SEMI@[27; 28)
+      WHITESPACE@[28; 33)
+      LET_STMT@[33; 49)
+        LET_KW@[33; 36)
+        WHITESPACE@[36; 37)
+        REF_PAT@[37; 43)
+          AMP@[37; 38)
+          MUT_KW@[38; 41)
+          WHITESPACE@[41; 42)
+          BIND_PAT@[42; 43)
+            NAME@[42; 43)
+              IDENT@[42; 43) "b"
+        WHITESPACE@[43; 44)
+        EQ@[44; 45)
+        WHITESPACE@[45; 46)
+        TUPLE_EXPR@[46; 48)
+          L_PAREN@[46; 47)
+          R_PAREN@[47; 48)
+        SEMI@[48; 49)
+      WHITESPACE@[49; 50)
+      R_CURLY@[50; 51)
+  WHITESPACE@[51; 52)
diff --git a/crates/libsyntax2/tests/data/parser/inline/0036_placeholder_pat.rs b/crates/libsyntax2/tests/data/parser/inline/0036_placeholder_pat.rs
new file mode 100644
index 000000000..4d719c433
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0036_placeholder_pat.rs
@@ -0,0 +1 @@
+fn main() { let _ = (); }
diff --git a/crates/libsyntax2/tests/data/parser/inline/0036_placeholder_pat.txt b/crates/libsyntax2/tests/data/parser/inline/0036_placeholder_pat.txt
new file mode 100644
index 000000000..8c63cdfae
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0036_placeholder_pat.txt
@@ -0,0 +1,28 @@
+FILE@[0; 26)
+  FUNCTION@[0; 25)
+    FN_KW@[0; 2)
+    WHITESPACE@[2; 3)
+    NAME@[3; 7)
+      IDENT@[3; 7) "main"
+    PARAM_LIST@[7; 9)
+      L_PAREN@[7; 8)
+      R_PAREN@[8; 9)
+    WHITESPACE@[9; 10)
+    BLOCK_EXPR@[10; 25)
+      L_CURLY@[10; 11)
+      WHITESPACE@[11; 12)
+      LET_STMT@[12; 23)
+        LET_KW@[12; 15)
+        WHITESPACE@[15; 16)
+        PLACEHOLDER_PAT@[16; 17)
+          UNDERSCORE@[16; 17)
+        WHITESPACE@[17; 18)
+        EQ@[18; 19)
+        WHITESPACE@[19; 20)
+        TUPLE_EXPR@[20; 22)
+          L_PAREN@[20; 21)
+          R_PAREN@[21; 22)
+        SEMI@[22; 23)
+      WHITESPACE@[23; 24)
+      R_CURLY@[24; 25)
+  WHITESPACE@[25; 26)
diff --git a/crates/libsyntax2/tests/data/parser/inline/0037_crate_visibility.rs b/crates/libsyntax2/tests/data/parser/inline/0037_crate_visibility.rs
new file mode 100644
index 000000000..faeefde94
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0037_crate_visibility.rs
@@ -0,0 +1,4 @@
+pub(crate) struct S;
+pub(self) struct S;
+pub(self) struct S;
+pub(self) struct S;
diff --git a/crates/libsyntax2/tests/data/parser/inline/0037_crate_visibility.txt b/crates/libsyntax2/tests/data/parser/inline/0037_crate_visibility.txt
new file mode 100644
index 000000000..113ac59e2
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0037_crate_visibility.txt
@@ -0,0 +1,53 @@
+FILE@[0; 81)
+  STRUCT_ITEM@[0; 20)
+    VISIBILITY@[0; 10)
+      PUB_KW@[0; 3)
+      L_PAREN@[3; 4)
+      CRATE_KW@[4; 9)
+      R_PAREN@[9; 10)
+    WHITESPACE@[10; 11)
+    STRUCT_KW@[11; 17)
+    WHITESPACE@[17; 18)
+    NAME@[18; 19)
+      IDENT@[18; 19) "S"
+    SEMI@[19; 20)
+  WHITESPACE@[20; 21)
+  STRUCT_ITEM@[21; 40)
+    VISIBILITY@[21; 30)
+      PUB_KW@[21; 24)
+      L_PAREN@[24; 25)
+      SELF_KW@[25; 29)
+      R_PAREN@[29; 30)
+    WHITESPACE@[30; 31)
+    STRUCT_KW@[31; 37)
+    WHITESPACE@[37; 38)
+    NAME@[38; 39)
+      IDENT@[38; 39) "S"
+    SEMI@[39; 40)
+  WHITESPACE@[40; 41)
+  STRUCT_ITEM@[41; 60)
+    VISIBILITY@[41; 50)
+      PUB_KW@[41; 44)
+      L_PAREN@[44; 45)
+      SELF_KW@[45; 49)
+      R_PAREN@[49; 50)
+    WHITESPACE@[50; 51)
+    STRUCT_KW@[51; 57)
+    WHITESPACE@[57; 58)
+    NAME@[58; 59)
+      IDENT@[58; 59) "S"
+    SEMI@[59; 60)
+  WHITESPACE@[60; 61)
+  STRUCT_ITEM@[61; 80)
+    VISIBILITY@[61; 70)
+      PUB_KW@[61; 64)
+      L_PAREN@[64; 65)
+      SELF_KW@[65; 69)
+      R_PAREN@[69; 70)
+    WHITESPACE@[70; 71)
+    STRUCT_KW@[71; 77)
+    WHITESPACE@[77; 78)
+    NAME@[78; 79)
+      IDENT@[78; 79) "S"
+    SEMI@[79; 80)
+  WHITESPACE@[80; 81)
diff --git a/crates/libsyntax2/tests/data/parser/inline/0038_function_ret_type.rs b/crates/libsyntax2/tests/data/parser/inline/0038_function_ret_type.rs
new file mode 100644
index 000000000..d22d8cada
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0038_function_ret_type.rs
@@ -0,0 +1,2 @@
+fn foo() {}
+fn bar() -> () {}
diff --git a/crates/libsyntax2/tests/data/parser/inline/0038_function_ret_type.txt b/crates/libsyntax2/tests/data/parser/inline/0038_function_ret_type.txt
new file mode 100644
index 000000000..58583eefe
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0038_function_ret_type.txt
@@ -0,0 +1,33 @@
+FILE@[0; 30)
+  FUNCTION@[0; 11)
+    FN_KW@[0; 2)
+    WHITESPACE@[2; 3)
+    NAME@[3; 6)
+      IDENT@[3; 6) "foo"
+    PARAM_LIST@[6; 8)
+      L_PAREN@[6; 7)
+      R_PAREN@[7; 8)
+    WHITESPACE@[8; 9)
+    BLOCK_EXPR@[9; 11)
+      L_CURLY@[9; 10)
+      R_CURLY@[10; 11)
+  WHITESPACE@[11; 12)
+  FUNCTION@[12; 29)
+    FN_KW@[12; 14)
+    WHITESPACE@[14; 15)
+    NAME@[15; 18)
+      IDENT@[15; 18) "bar"
+    PARAM_LIST@[18; 20)
+      L_PAREN@[18; 19)
+      R_PAREN@[19; 20)
+    WHITESPACE@[20; 21)
+    THIN_ARROW@[21; 23)
+    WHITESPACE@[23; 24)
+    TUPLE_TYPE@[24; 26)
+      L_PAREN@[24; 25)
+      R_PAREN@[25; 26)
+    WHITESPACE@[26; 27)
+    BLOCK_EXPR@[27; 29)
+      L_CURLY@[27; 28)
+      R_CURLY@[28; 29)
+  WHITESPACE@[29; 30)
diff --git a/crates/libsyntax2/tests/data/parser/inline/0039_path_expr.rs b/crates/libsyntax2/tests/data/parser/inline/0039_path_expr.rs
new file mode 100644
index 000000000..333ebabef
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0039_path_expr.rs
@@ -0,0 +1,6 @@
+fn foo() {
+    let _ = a;
+    let _ = a::b;
+    let _ = ::a::<b>;
+    let _ = format!();
+}
diff --git a/crates/libsyntax2/tests/data/parser/inline/0039_path_expr.txt b/crates/libsyntax2/tests/data/parser/inline/0039_path_expr.txt
new file mode 100644
index 000000000..8b505774f
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0039_path_expr.txt
@@ -0,0 +1,94 @@
+FILE@[0; 91)
+  FUNCTION@[0; 90)
+    FN_KW@[0; 2)
+    WHITESPACE@[2; 3)
+    NAME@[3; 6)
+      IDENT@[3; 6) "foo"
+    PARAM_LIST@[6; 8)
+      L_PAREN@[6; 7)
+      R_PAREN@[7; 8)
+    WHITESPACE@[8; 9)
+    BLOCK_EXPR@[9; 90)
+      L_CURLY@[9; 10)
+      WHITESPACE@[10; 15)
+      LET_STMT@[15; 25)
+        LET_KW@[15; 18)
+        WHITESPACE@[18; 19)
+        PLACEHOLDER_PAT@[19; 20)
+          UNDERSCORE@[19; 20)
+        WHITESPACE@[20; 21)
+        EQ@[21; 22)
+        WHITESPACE@[22; 23)
+        PATH_EXPR@[23; 24)
+          PATH@[23; 24)
+            PATH_SEGMENT@[23; 24)
+              NAME_REF@[23; 24)
+                IDENT@[23; 24) "a"
+        SEMI@[24; 25)
+      WHITESPACE@[25; 30)
+      LET_STMT@[30; 43)
+        LET_KW@[30; 33)
+        WHITESPACE@[33; 34)
+        PLACEHOLDER_PAT@[34; 35)
+          UNDERSCORE@[34; 35)
+        WHITESPACE@[35; 36)
+        EQ@[36; 37)
+        WHITESPACE@[37; 38)
+        PATH_EXPR@[38; 42)
+          PATH@[38; 42)
+            PATH@[38; 39)
+              PATH_SEGMENT@[38; 39)
+                NAME_REF@[38; 39)
+                  IDENT@[38; 39) "a"
+            COLONCOLON@[39; 41)
+            PATH_SEGMENT@[41; 42)
+              NAME_REF@[41; 42)
+                IDENT@[41; 42) "b"
+        SEMI@[42; 43)
+      WHITESPACE@[43; 48)
+      LET_STMT@[48; 65)
+        LET_KW@[48; 51)
+        WHITESPACE@[51; 52)
+        PLACEHOLDER_PAT@[52; 53)
+          UNDERSCORE@[52; 53)
+        WHITESPACE@[53; 54)
+        EQ@[54; 55)
+        WHITESPACE@[55; 56)
+        PATH_EXPR@[56; 64)
+          PATH@[56; 64)
+            PATH_SEGMENT@[56; 64)
+              COLONCOLON@[56; 58)
+              NAME_REF@[58; 59)
+                IDENT@[58; 59) "a"
+              TYPE_ARG_LIST@[59; 64)
+                COLONCOLON@[59; 61)
+                L_ANGLE@[61; 62)
+                TYPE_ARG@[62; 63)
+                  PATH_TYPE@[62; 63)
+                    PATH@[62; 63)
+                      PATH_SEGMENT@[62; 63)
+                        NAME_REF@[62; 63)
+                          IDENT@[62; 63) "b"
+                R_ANGLE@[63; 64)
+        SEMI@[64; 65)
+      WHITESPACE@[65; 70)
+      LET_STMT@[70; 88)
+        LET_KW@[70; 73)
+        WHITESPACE@[73; 74)
+        PLACEHOLDER_PAT@[74; 75)
+          UNDERSCORE@[74; 75)
+        WHITESPACE@[75; 76)
+        EQ@[76; 77)
+        WHITESPACE@[77; 78)
+        MACRO_CALL@[78; 87)
+          PATH@[78; 84)
+            PATH_SEGMENT@[78; 84)
+              NAME_REF@[78; 84)
+                IDENT@[78; 84) "format"
+          EXCL@[84; 85)
+          L_PAREN@[85; 86)
+          R_PAREN@[86; 87)
+        SEMI@[87; 88)
+      WHITESPACE@[88; 89)
+      R_CURLY@[89; 90)
+  WHITESPACE@[90; 91)
diff --git a/crates/libsyntax2/tests/data/parser/inline/0040_expr_literals.rs b/crates/libsyntax2/tests/data/parser/inline/0040_expr_literals.rs
new file mode 100644
index 000000000..2e11a5a6e
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0040_expr_literals.rs
@@ -0,0 +1,12 @@
+fn foo() {
+    let _ = true;
+    let _ = false;
+    let _ = 1;
+    let _ = 2.0;
+    let _ = b'a';
+    let _ = 'b';
+    let _ = "c";
+    let _ = r"d";
+    let _ = b"e";
+    let _ = br"f";
+}
diff --git a/crates/libsyntax2/tests/data/parser/inline/0040_expr_literals.txt b/crates/libsyntax2/tests/data/parser/inline/0040_expr_literals.txt
new file mode 100644
index 000000000..192b62211
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0040_expr_literals.txt
@@ -0,0 +1,135 @@
+FILE@[0; 189)
+  FUNCTION@[0; 188)
+    FN_KW@[0; 2)
+    WHITESPACE@[2; 3)
+    NAME@[3; 6)
+      IDENT@[3; 6) "foo"
+    PARAM_LIST@[6; 8)
+      L_PAREN@[6; 7)
+      R_PAREN@[7; 8)
+    WHITESPACE@[8; 9)
+    BLOCK_EXPR@[9; 188)
+      L_CURLY@[9; 10)
+      WHITESPACE@[10; 15)
+      LET_STMT@[15; 28)
+        LET_KW@[15; 18)
+        WHITESPACE@[18; 19)
+        PLACEHOLDER_PAT@[19; 20)
+          UNDERSCORE@[19; 20)
+        WHITESPACE@[20; 21)
+        EQ@[21; 22)
+        WHITESPACE@[22; 23)
+        LITERAL@[23; 27)
+          TRUE_KW@[23; 27)
+        SEMI@[27; 28)
+      WHITESPACE@[28; 33)
+      LET_STMT@[33; 47)
+        LET_KW@[33; 36)
+        WHITESPACE@[36; 37)
+        PLACEHOLDER_PAT@[37; 38)
+          UNDERSCORE@[37; 38)
+        WHITESPACE@[38; 39)
+        EQ@[39; 40)
+        WHITESPACE@[40; 41)
+        LITERAL@[41; 46)
+          FALSE_KW@[41; 46)
+        SEMI@[46; 47)
+      WHITESPACE@[47; 52)
+      LET_STMT@[52; 62)
+        LET_KW@[52; 55)
+        WHITESPACE@[55; 56)
+        PLACEHOLDER_PAT@[56; 57)
+          UNDERSCORE@[56; 57)
+        WHITESPACE@[57; 58)
+        EQ@[58; 59)
+        WHITESPACE@[59; 60)
+        LITERAL@[60; 61)
+          INT_NUMBER@[60; 61) "1"
+        SEMI@[61; 62)
+      WHITESPACE@[62; 67)
+      LET_STMT@[67; 79)
+        LET_KW@[67; 70)
+        WHITESPACE@[70; 71)
+        PLACEHOLDER_PAT@[71; 72)
+          UNDERSCORE@[71; 72)
+        WHITESPACE@[72; 73)
+        EQ@[73; 74)
+        WHITESPACE@[74; 75)
+        LITERAL@[75; 78)
+          FLOAT_NUMBER@[75; 78) "2.0"
+        SEMI@[78; 79)
+      WHITESPACE@[79; 84)
+      LET_STMT@[84; 97)
+        LET_KW@[84; 87)
+        WHITESPACE@[87; 88)
+        PLACEHOLDER_PAT@[88; 89)
+          UNDERSCORE@[88; 89)
+        WHITESPACE@[89; 90)
+        EQ@[90; 91)
+        WHITESPACE@[91; 92)
+        LITERAL@[92; 96)
+          BYTE@[92; 96)
+        SEMI@[96; 97)
+      WHITESPACE@[97; 102)
+      LET_STMT@[102; 114)
+        LET_KW@[102; 105)
+        WHITESPACE@[105; 106)
+        PLACEHOLDER_PAT@[106; 107)
+          UNDERSCORE@[106; 107)
+        WHITESPACE@[107; 108)
+        EQ@[108; 109)
+        WHITESPACE@[109; 110)
+        LITERAL@[110; 113)
+          CHAR@[110; 113)
+        SEMI@[113; 114)
+      WHITESPACE@[114; 119)
+      LET_STMT@[119; 131)
+        LET_KW@[119; 122)
+        WHITESPACE@[122; 123)
+        PLACEHOLDER_PAT@[123; 124)
+          UNDERSCORE@[123; 124)
+        WHITESPACE@[124; 125)
+        EQ@[125; 126)
+        WHITESPACE@[126; 127)
+        LITERAL@[127; 130)
+          STRING@[127; 130)
+        SEMI@[130; 131)
+      WHITESPACE@[131; 136)
+      LET_STMT@[136; 149)
+        LET_KW@[136; 139)
+        WHITESPACE@[139; 140)
+        PLACEHOLDER_PAT@[140; 141)
+          UNDERSCORE@[140; 141)
+        WHITESPACE@[141; 142)
+        EQ@[142; 143)
+        WHITESPACE@[143; 144)
+        LITERAL@[144; 148)
+          RAW_STRING@[144; 148)
+        SEMI@[148; 149)
+      WHITESPACE@[149; 154)
+      LET_STMT@[154; 167)
+        LET_KW@[154; 157)
+        WHITESPACE@[157; 158)
+        PLACEHOLDER_PAT@[158; 159)
+          UNDERSCORE@[158; 159)
+        WHITESPACE@[159; 160)
+        EQ@[160; 161)
+        WHITESPACE@[161; 162)
+        LITERAL@[162; 166)
+          BYTE_STRING@[162; 166)
+        SEMI@[166; 167)
+      WHITESPACE@[167; 172)
+      LET_STMT@[172; 186)
+        LET_KW@[172; 175)
+        WHITESPACE@[175; 176)
+        PLACEHOLDER_PAT@[176; 177)
+          UNDERSCORE@[176; 177)
+        WHITESPACE@[177; 178)
+        EQ@[178; 179)
+        WHITESPACE@[179; 180)
+        LITERAL@[180; 185)
+          RAW_BYTE_STRING@[180; 185)
+        SEMI@[185; 186)
+      WHITESPACE@[186; 187)
+      R_CURLY@[187; 188)
+  WHITESPACE@[188; 189)
diff --git a/crates/libsyntax2/tests/data/parser/inline/0041_type_param_bounds.rs b/crates/libsyntax2/tests/data/parser/inline/0041_type_param_bounds.rs
new file mode 100644
index 000000000..919bde0ee
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0041_type_param_bounds.rs
@@ -0,0 +1 @@
+struct S<T: 'a + ?Sized + (Copy)>;
diff --git a/crates/libsyntax2/tests/data/parser/inline/0041_type_param_bounds.txt b/crates/libsyntax2/tests/data/parser/inline/0041_type_param_bounds.txt
new file mode 100644
index 000000000..4996d6ace
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0041_type_param_bounds.txt
@@ -0,0 +1,34 @@
+FILE@[0; 35)
+  STRUCT_ITEM@[0; 34)
+    STRUCT_KW@[0; 6)
+    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)
+        LIFETIME@[12; 14) "'a"
+        WHITESPACE@[14; 15)
+        PLUS@[15; 16)
+        WHITESPACE@[16; 17)
+        QUESTION@[17; 18)
+        PATH@[18; 23)
+          PATH_SEGMENT@[18; 23)
+            NAME_REF@[18; 23)
+              IDENT@[18; 23) "Sized"
+        WHITESPACE@[23; 24)
+        PLUS@[24; 25)
+        WHITESPACE@[25; 26)
+        L_PAREN@[26; 27)
+        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)
diff --git a/crates/libsyntax2/tests/data/parser/inline/0042_type_param_default.rs b/crates/libsyntax2/tests/data/parser/inline/0042_type_param_default.rs
new file mode 100644
index 000000000..540eacb02
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0042_type_param_default.rs
@@ -0,0 +1 @@
+struct S<T = i32>;
diff --git a/crates/libsyntax2/tests/data/parser/inline/0042_type_param_default.txt b/crates/libsyntax2/tests/data/parser/inline/0042_type_param_default.txt
new file mode 100644
index 000000000..ec875e9a2
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0042_type_param_default.txt
@@ -0,0 +1,22 @@
+FILE@[0; 19)
+  STRUCT_ITEM@[0; 18)
+    STRUCT_KW@[0; 6)
+    WHITESPACE@[6; 7)
+    NAME@[7; 8)
+      IDENT@[7; 8) "S"
+    TYPE_PARAM_LIST@[8; 17)
+      L_ANGLE@[8; 9)
+      TYPE_PARAM@[9; 16)
+        NAME@[9; 10)
+          IDENT@[9; 10) "T"
+        WHITESPACE@[10; 11)
+        EQ@[11; 12)
+        WHITESPACE@[12; 13)
+        PATH_TYPE@[13; 16)
+          PATH@[13; 16)
+            PATH_SEGMENT@[13; 16)
+              NAME_REF@[13; 16)
+                IDENT@[13; 16) "i32"
+      R_ANGLE@[16; 17)
+    SEMI@[17; 18)
+  WHITESPACE@[18; 19)
diff --git a/crates/libsyntax2/tests/data/parser/inline/0043_call_expr.rs b/crates/libsyntax2/tests/data/parser/inline/0043_call_expr.rs
new file mode 100644
index 000000000..0c9a20718
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0043_call_expr.rs
@@ -0,0 +1,4 @@
+fn foo() {
+    let _ = f();
+    let _ = f()(1)(1, 2,);
+}
diff --git a/crates/libsyntax2/tests/data/parser/inline/0043_call_expr.txt b/crates/libsyntax2/tests/data/parser/inline/0043_call_expr.txt
new file mode 100644
index 000000000..f4789d2d9
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0043_call_expr.txt
@@ -0,0 +1,70 @@
+FILE@[0; 57)
+  FUNCTION@[0; 56)
+    FN_KW@[0; 2)
+    WHITESPACE@[2; 3)
+    NAME@[3; 6)
+      IDENT@[3; 6) "foo"
+    PARAM_LIST@[6; 8)
+      L_PAREN@[6; 7)
+      R_PAREN@[7; 8)
+    WHITESPACE@[8; 9)
+    BLOCK_EXPR@[9; 56)
+      L_CURLY@[9; 10)
+      WHITESPACE@[10; 15)
+      LET_STMT@[15; 27)
+        LET_KW@[15; 18)
+        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)
+      LET_STMT@[32; 54)
+        LET_KW@[32; 35)
+        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; 55)
+      R_CURLY@[55; 56)
+  WHITESPACE@[56; 57)
diff --git a/crates/libsyntax2/tests/data/parser/inline/0044_ref_expr.rs b/crates/libsyntax2/tests/data/parser/inline/0044_ref_expr.rs
new file mode 100644
index 000000000..2dac6be95
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0044_ref_expr.rs
@@ -0,0 +1,4 @@
+fn foo() {
+    let _ = &1;
+    let _ = &mut &f();
+}
diff --git a/crates/libsyntax2/tests/data/parser/inline/0044_ref_expr.txt b/crates/libsyntax2/tests/data/parser/inline/0044_ref_expr.txt
new file mode 100644
index 000000000..05f6c015a
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0044_ref_expr.txt
@@ -0,0 +1,54 @@
+FILE@[0; 52)
+  FUNCTION@[0; 51)
+    FN_KW@[0; 2)
+    WHITESPACE@[2; 3)
+    NAME@[3; 6)
+      IDENT@[3; 6) "foo"
+    PARAM_LIST@[6; 8)
+      L_PAREN@[6; 7)
+      R_PAREN@[7; 8)
+    WHITESPACE@[8; 9)
+    BLOCK_EXPR@[9; 51)
+      L_CURLY@[9; 10)
+      WHITESPACE@[10; 15)
+      LET_STMT@[15; 26)
+        LET_KW@[15; 18)
+        WHITESPACE@[18; 19)
+        PLACEHOLDER_PAT@[19; 20)
+          UNDERSCORE@[19; 20)
+        WHITESPACE@[20; 21)
+        EQ@[21; 22)
+        WHITESPACE@[22; 23)
+        REF_EXPR@[23; 25)
+          AMP@[23; 24)
+          LITERAL@[24; 25)
+            INT_NUMBER@[24; 25) "1"
+        SEMI@[25; 26)
+      WHITESPACE@[26; 31)
+      LET_STMT@[31; 49)
+        LET_KW@[31; 34)
+        WHITESPACE@[34; 35)
+        PLACEHOLDER_PAT@[35; 36)
+          UNDERSCORE@[35; 36)
+        WHITESPACE@[36; 37)
+        EQ@[37; 38)
+        WHITESPACE@[38; 39)
+        REF_EXPR@[39; 48)
+          AMP@[39; 40)
+          MUT_KW@[40; 43)
+          WHITESPACE@[43; 44)
+          REF_EXPR@[44; 48)
+            AMP@[44; 45)
+            CALL_EXPR@[45; 48)
+              PATH_EXPR@[45; 46)
+                PATH@[45; 46)
+                  PATH_SEGMENT@[45; 46)
+                    NAME_REF@[45; 46)
+                      IDENT@[45; 46) "f"
+              ARG_LIST@[46; 48)
+                L_PAREN@[46; 47)
+                R_PAREN@[47; 48)
+        SEMI@[48; 49)
+      WHITESPACE@[49; 50)
+      R_CURLY@[50; 51)
+  WHITESPACE@[51; 52)
diff --git a/crates/libsyntax2/tests/data/parser/inline/0045_block.rs b/crates/libsyntax2/tests/data/parser/inline/0045_block.rs
new file mode 100644
index 000000000..81f44c533
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0045_block.rs
@@ -0,0 +1,4 @@
+fn a() {}
+fn b() { let _ = 1; }
+fn c() { 1; 2; }
+fn d() { 1; 2 }
diff --git a/crates/libsyntax2/tests/data/parser/inline/0045_block.txt b/crates/libsyntax2/tests/data/parser/inline/0045_block.txt
new file mode 100644
index 000000000..8519101c3
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0045_block.txt
@@ -0,0 +1,86 @@
+FILE@[0; 65)
+  FUNCTION@[0; 9)
+    FN_KW@[0; 2)
+    WHITESPACE@[2; 3)
+    NAME@[3; 4)
+      IDENT@[3; 4) "a"
+    PARAM_LIST@[4; 6)
+      L_PAREN@[4; 5)
+      R_PAREN@[5; 6)
+    WHITESPACE@[6; 7)
+    BLOCK_EXPR@[7; 9)
+      L_CURLY@[7; 8)
+      R_CURLY@[8; 9)
+  WHITESPACE@[9; 10)
+  FUNCTION@[10; 31)
+    FN_KW@[10; 12)
+    WHITESPACE@[12; 13)
+    NAME@[13; 14)
+      IDENT@[13; 14) "b"
+    PARAM_LIST@[14; 16)
+      L_PAREN@[14; 15)
+      R_PAREN@[15; 16)
+    WHITESPACE@[16; 17)
+    BLOCK_EXPR@[17; 31)
+      L_CURLY@[17; 18)
+      WHITESPACE@[18; 19)
+      LET_STMT@[19; 29)
+        LET_KW@[19; 22)
+        WHITESPACE@[22; 23)
+        PLACEHOLDER_PAT@[23; 24)
+          UNDERSCORE@[23; 24)
+        WHITESPACE@[24; 25)
+        EQ@[25; 26)
+        WHITESPACE@[26; 27)
+        LITERAL@[27; 28)
+          INT_NUMBER@[27; 28) "1"
+        SEMI@[28; 29)
+      WHITESPACE@[29; 30)
+      R_CURLY@[30; 31)
+  WHITESPACE@[31; 32)
+  FUNCTION@[32; 48)
+    FN_KW@[32; 34)
+    WHITESPACE@[34; 35)
+    NAME@[35; 36)
+      IDENT@[35; 36) "c"
+    PARAM_LIST@[36; 38)
+      L_PAREN@[36; 37)
+      R_PAREN@[37; 38)
+    WHITESPACE@[38; 39)
+    BLOCK_EXPR@[39; 48)
+      L_CURLY@[39; 40)
+      WHITESPACE@[40; 41)
+      EXPR_STMT@[41; 43)
+        LITERAL@[41; 42)
+          INT_NUMBER@[41; 42) "1"
+        SEMI@[42; 43)
+      WHITESPACE@[43; 44)
+      EXPR_STMT@[44; 46)
+        LITERAL@[44; 45)
+          INT_NUMBER@[44; 45) "2"
+        SEMI@[45; 46)
+      WHITESPACE@[46; 47)
+      R_CURLY@[47; 48)
+  WHITESPACE@[48; 49)
+  FUNCTION@[49; 64)
+    FN_KW@[49; 51)
+    WHITESPACE@[51; 52)
+    NAME@[52; 53)
+      IDENT@[52; 53) "d"
+    PARAM_LIST@[53; 55)
+      L_PAREN@[53; 54)
+      R_PAREN@[54; 55)
+    WHITESPACE@[55; 56)
+    BLOCK_EXPR@[56; 64)
+      L_CURLY@[56; 57)
+      WHITESPACE@[57; 58)
+      EXPR_STMT@[58; 60)
+        LITERAL@[58; 59)
+          INT_NUMBER@[58; 59) "1"
+        SEMI@[59; 60)
+      WHITESPACE@[60; 61)
+      LITERAL@[61; 62)
+        INT_NUMBER@[61; 62) "2"
+      WHITESPACE@[62; 63)
+      R_CURLY@[63; 64)
+  WHITESPACE@[64; 65)
diff --git a/crates/libsyntax2/tests/data/parser/inline/0046_default_impl.rs b/crates/libsyntax2/tests/data/parser/inline/0046_default_impl.rs
new file mode 100644
index 000000000..ef6aa84a2
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0046_default_impl.rs
@@ -0,0 +1 @@
+default impl Foo {}
diff --git a/crates/libsyntax2/tests/data/parser/inline/0046_default_impl.txt b/crates/libsyntax2/tests/data/parser/inline/0046_default_impl.txt
new file mode 100644
index 000000000..d5a27baf7
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0046_default_impl.txt
@@ -0,0 +1,15 @@
+FILE@[0; 20)
+  IMPL_ITEM@[0; 19)
+    DEFAULT_KW@[0; 7)
+    WHITESPACE@[7; 8)
+    IMPL_KW@[8; 12)
+    WHITESPACE@[12; 13)
+    PATH_TYPE@[13; 16)
+      PATH@[13; 16)
+        PATH_SEGMENT@[13; 16)
+          NAME_REF@[13; 16)
+            IDENT@[13; 16) "Foo"
+    WHITESPACE@[16; 17)
+    L_CURLY@[17; 18)
+    R_CURLY@[18; 19)
+  WHITESPACE@[19; 20)
diff --git a/crates/libsyntax2/tests/data/parser/inline/0047_impl_item.rs b/crates/libsyntax2/tests/data/parser/inline/0047_impl_item.rs
new file mode 100644
index 000000000..d6337f6b3
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0047_impl_item.rs
@@ -0,0 +1 @@
+impl Foo {}
diff --git a/crates/libsyntax2/tests/data/parser/inline/0047_impl_item.txt b/crates/libsyntax2/tests/data/parser/inline/0047_impl_item.txt
new file mode 100644
index 000000000..76b29f95d
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0047_impl_item.txt
@@ -0,0 +1,13 @@
+FILE@[0; 12)
+  IMPL_ITEM@[0; 11)
+    IMPL_KW@[0; 4)
+    WHITESPACE@[4; 5)
+    PATH_TYPE@[5; 8)
+      PATH@[5; 8)
+        PATH_SEGMENT@[5; 8)
+          NAME_REF@[5; 8)
+            IDENT@[5; 8) "Foo"
+    WHITESPACE@[8; 9)
+    L_CURLY@[9; 10)
+    R_CURLY@[10; 11)
+  WHITESPACE@[11; 12)
diff --git a/crates/libsyntax2/tests/data/parser/inline/0048_impl_item_neg.rs b/crates/libsyntax2/tests/data/parser/inline/0048_impl_item_neg.rs
new file mode 100644
index 000000000..b7527c870
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0048_impl_item_neg.rs
@@ -0,0 +1 @@
+impl !Send for X {}
diff --git a/crates/libsyntax2/tests/data/parser/inline/0048_impl_item_neg.txt b/crates/libsyntax2/tests/data/parser/inline/0048_impl_item_neg.txt
new file mode 100644
index 000000000..2d01419c0
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0048_impl_item_neg.txt
@@ -0,0 +1,22 @@
+FILE@[0; 20)
+  IMPL_ITEM@[0; 19)
+    IMPL_KW@[0; 4)
+    WHITESPACE@[4; 5)
+    EXCL@[5; 6)
+    PATH_TYPE@[6; 10)
+      PATH@[6; 10)
+        PATH_SEGMENT@[6; 10)
+          NAME_REF@[6; 10)
+            IDENT@[6; 10) "Send"
+    WHITESPACE@[10; 11)
+    FOR_KW@[11; 14)
+    WHITESPACE@[14; 15)
+    PATH_TYPE@[15; 16)
+      PATH@[15; 16)
+        PATH_SEGMENT@[15; 16)
+          NAME_REF@[15; 16)
+            IDENT@[15; 16) "X"
+    WHITESPACE@[16; 17)
+    L_CURLY@[17; 18)
+    R_CURLY@[18; 19)
+  WHITESPACE@[19; 20)
diff --git a/crates/libsyntax2/tests/data/parser/inline/0050_let_stmt;.rs b/crates/libsyntax2/tests/data/parser/inline/0050_let_stmt;.rs
new file mode 100644
index 000000000..0a9af907f
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0050_let_stmt;.rs
@@ -0,0 +1,6 @@
+fn foo() {
+    let a;
+    let b: i32;
+    let c = 92;
+    let d: i32 = 92;
+}
diff --git a/crates/libsyntax2/tests/data/parser/inline/0050_let_stmt;.txt b/crates/libsyntax2/tests/data/parser/inline/0050_let_stmt;.txt
new file mode 100644
index 000000000..44e357092
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0050_let_stmt;.txt
@@ -0,0 +1,71 @@
+FILE@[0; 77)
+  FUNCTION@[0; 76)
+    FN_KW@[0; 2)
+    WHITESPACE@[2; 3)
+    NAME@[3; 6)
+      IDENT@[3; 6) "foo"
+    PARAM_LIST@[6; 8)
+      L_PAREN@[6; 7)
+      R_PAREN@[7; 8)
+    WHITESPACE@[8; 9)
+    BLOCK_EXPR@[9; 76)
+      L_CURLY@[9; 10)
+      WHITESPACE@[10; 15)
+      LET_STMT@[15; 21)
+        LET_KW@[15; 18)
+        WHITESPACE@[18; 19)
+        BIND_PAT@[19; 20)
+          NAME@[19; 20)
+            IDENT@[19; 20) "a"
+        SEMI@[20; 21)
+      WHITESPACE@[21; 26)
+      LET_STMT@[26; 37)
+        LET_KW@[26; 29)
+        WHITESPACE@[29; 30)
+        BIND_PAT@[30; 31)
+          NAME@[30; 31)
+            IDENT@[30; 31) "b"
+        COLON@[31; 32)
+        WHITESPACE@[32; 33)
+        PATH_TYPE@[33; 36)
+          PATH@[33; 36)
+            PATH_SEGMENT@[33; 36)
+              NAME_REF@[33; 36)
+                IDENT@[33; 36) "i32"
+        SEMI@[36; 37)
+      WHITESPACE@[37; 42)
+      LET_STMT@[42; 53)
+        LET_KW@[42; 45)
+        WHITESPACE@[45; 46)
+        BIND_PAT@[46; 47)
+          NAME@[46; 47)
+            IDENT@[46; 47) "c"
+        WHITESPACE@[47; 48)
+        EQ@[48; 49)
+        WHITESPACE@[49; 50)
+        LITERAL@[50; 52)
+          INT_NUMBER@[50; 52) "92"
+        SEMI@[52; 53)
+      WHITESPACE@[53; 58)
+      LET_STMT@[58; 74)
+        LET_KW@[58; 61)
+        WHITESPACE@[61; 62)
+        BIND_PAT@[62; 63)
+          NAME@[62; 63)
+            IDENT@[62; 63) "d"
+        COLON@[63; 64)
+        WHITESPACE@[64; 65)
+        PATH_TYPE@[65; 68)
+          PATH@[65; 68)
+            PATH_SEGMENT@[65; 68)
+              NAME_REF@[65; 68)
+                IDENT@[65; 68) "i32"
+        WHITESPACE@[68; 69)
+        EQ@[69; 70)
+        WHITESPACE@[70; 71)
+        LITERAL@[71; 73)
+          INT_NUMBER@[71; 73) "92"
+        SEMI@[73; 74)
+      WHITESPACE@[74; 75)
+      R_CURLY@[75; 76)
+  WHITESPACE@[76; 77)
diff --git a/crates/libsyntax2/tests/data/parser/inline/0051_method_call_expr.rs b/crates/libsyntax2/tests/data/parser/inline/0051_method_call_expr.rs
new file mode 100644
index 000000000..1a3aa35ae
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0051_method_call_expr.rs
@@ -0,0 +1,4 @@
+fn foo() {
+    x.foo();
+    y.bar::<T>(1, 2,);
+}
diff --git a/crates/libsyntax2/tests/data/parser/inline/0051_method_call_expr.txt b/crates/libsyntax2/tests/data/parser/inline/0051_method_call_expr.txt
new file mode 100644
index 000000000..aafb2d5f1
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0051_method_call_expr.txt
@@ -0,0 +1,62 @@
+FILE@[0; 49)
+  FUNCTION@[0; 48)
+    FN_KW@[0; 2)
+    WHITESPACE@[2; 3)
+    NAME@[3; 6)
+      IDENT@[3; 6) "foo"
+    PARAM_LIST@[6; 8)
+      L_PAREN@[6; 7)
+      R_PAREN@[7; 8)
+    WHITESPACE@[8; 9)
+    BLOCK_EXPR@[9; 48)
+      L_CURLY@[9; 10)
+      WHITESPACE@[10; 15)
+      EXPR_STMT@[15; 23)
+        METHOD_CALL_EXPR@[15; 22)
+          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"
+          ARG_LIST@[20; 22)
+            L_PAREN@[20; 21)
+            R_PAREN@[21; 22)
+        SEMI@[22; 23)
+      WHITESPACE@[23; 28)
+      EXPR_STMT@[28; 46)
+        METHOD_CALL_EXPR@[28; 45)
+          PATH_EXPR@[28; 29)
+            PATH@[28; 29)
+              PATH_SEGMENT@[28; 29)
+                NAME_REF@[28; 29)
+                  IDENT@[28; 29) "y"
+          DOT@[29; 30)
+          NAME_REF@[30; 33)
+            IDENT@[30; 33) "bar"
+          TYPE_ARG_LIST@[33; 38)
+            COLONCOLON@[33; 35)
+            L_ANGLE@[35; 36)
+            TYPE_ARG@[36; 37)
+              PATH_TYPE@[36; 37)
+                PATH@[36; 37)
+                  PATH_SEGMENT@[36; 37)
+                    NAME_REF@[36; 37)
+                      IDENT@[36; 37) "T"
+            R_ANGLE@[37; 38)
+          ARG_LIST@[38; 45)
+            L_PAREN@[38; 39)
+            LITERAL@[39; 40)
+              INT_NUMBER@[39; 40) "1"
+            COMMA@[40; 41)
+            WHITESPACE@[41; 42)
+            LITERAL@[42; 43)
+              INT_NUMBER@[42; 43) "2"
+            COMMA@[43; 44)
+            R_PAREN@[44; 45)
+        SEMI@[45; 46)
+      WHITESPACE@[46; 47)
+      R_CURLY@[47; 48)
+  WHITESPACE@[48; 49)
diff --git a/crates/libsyntax2/tests/data/parser/inline/0052_field_expr.rs b/crates/libsyntax2/tests/data/parser/inline/0052_field_expr.rs
new file mode 100644
index 000000000..3e69538e5
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0052_field_expr.rs
@@ -0,0 +1,4 @@
+fn foo() {
+    x.foo;
+    x.0.bar;
+}
diff --git a/crates/libsyntax2/tests/data/parser/inline/0052_field_expr.txt b/crates/libsyntax2/tests/data/parser/inline/0052_field_expr.txt
new file mode 100644
index 000000000..213884f90
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0052_field_expr.txt
@@ -0,0 +1,42 @@
+FILE@[0; 37)
+  FUNCTION@[0; 36)
+    FN_KW@[0; 2)
+    WHITESPACE@[2; 3)
+    NAME@[3; 6)
+      IDENT@[3; 6) "foo"
+    PARAM_LIST@[6; 8)
+      L_PAREN@[6; 7)
+      R_PAREN@[7; 8)
+    WHITESPACE@[8; 9)
+    BLOCK_EXPR@[9; 36)
+      L_CURLY@[9; 10)
+      WHITESPACE@[10; 15)
+      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)
+      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; 35)
+      R_CURLY@[35; 36)
+  WHITESPACE@[36; 37)
diff --git a/crates/libsyntax2/tests/data/parser/inline/0053_block_items.rs b/crates/libsyntax2/tests/data/parser/inline/0053_block_items.rs
new file mode 100644
index 000000000..d9868718c
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0053_block_items.rs
@@ -0,0 +1 @@
+fn a() { fn b() {} }
diff --git a/crates/libsyntax2/tests/data/parser/inline/0053_block_items.txt b/crates/libsyntax2/tests/data/parser/inline/0053_block_items.txt
new file mode 100644
index 000000000..c5498532b
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0053_block_items.txt
@@ -0,0 +1,28 @@
+FILE@[0; 21)
+  FUNCTION@[0; 20)
+    FN_KW@[0; 2)
+    WHITESPACE@[2; 3)
+    NAME@[3; 4)
+      IDENT@[3; 4) "a"
+    PARAM_LIST@[4; 6)
+      L_PAREN@[4; 5)
+      R_PAREN@[5; 6)
+    WHITESPACE@[6; 7)
+    BLOCK_EXPR@[7; 20)
+      L_CURLY@[7; 8)
+      WHITESPACE@[8; 9)
+      FUNCTION@[9; 18)
+        FN_KW@[9; 11)
+        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_EXPR@[16; 18)
+          L_CURLY@[16; 17)
+          R_CURLY@[17; 18)
+      WHITESPACE@[18; 19)
+      R_CURLY@[19; 20)
+  WHITESPACE@[20; 21)
diff --git a/crates/libsyntax2/tests/data/parser/inline/0054_impl_item_items.rs b/crates/libsyntax2/tests/data/parser/inline/0054_impl_item_items.rs
new file mode 100644
index 000000000..f10851487
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0054_impl_item_items.rs
@@ -0,0 +1,6 @@
+impl F {
+    type A = i32;
+    const B: i32 = 92;
+    fn foo() {}
+    fn bar(&self) {}
+}
diff --git a/crates/libsyntax2/tests/data/parser/inline/0054_impl_item_items.txt b/crates/libsyntax2/tests/data/parser/inline/0054_impl_item_items.txt
new file mode 100644
index 000000000..739ecbbcd
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0054_impl_item_items.txt
@@ -0,0 +1,77 @@
+FILE@[0; 89)
+  IMPL_ITEM@[0; 88)
+    IMPL_KW@[0; 4)
+    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)
+    L_CURLY@[7; 8)
+    WHITESPACE@[8; 13)
+    TYPE_ITEM@[13; 26)
+      TYPE_KW@[13; 17)
+      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)
+    CONST_ITEM@[31; 49)
+      CONST_KW@[31; 36)
+      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)
+    FUNCTION@[54; 65)
+      FN_KW@[54; 56)
+      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_EXPR@[63; 65)
+        L_CURLY@[63; 64)
+        R_CURLY@[64; 65)
+    WHITESPACE@[65; 70)
+    FUNCTION@[70; 86)
+      FN_KW@[70; 72)
+      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)
+        R_PAREN@[82; 83)
+      WHITESPACE@[83; 84)
+      BLOCK_EXPR@[84; 86)
+        L_CURLY@[84; 85)
+        R_CURLY@[85; 86)
+    WHITESPACE@[86; 87)
+    R_CURLY@[87; 88)
+  WHITESPACE@[88; 89)
diff --git a/crates/libsyntax2/tests/data/parser/inline/0055_self_param.rs b/crates/libsyntax2/tests/data/parser/inline/0055_self_param.rs
new file mode 100644
index 000000000..7bb1ca50c
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0055_self_param.rs
@@ -0,0 +1,6 @@
+impl S {
+    fn a(self) {}
+    fn b(&self,) {}
+    fn c(&'a self,) {}
+    fn d(&'a mut self, x: i32) {}
+}
diff --git a/crates/libsyntax2/tests/data/parser/inline/0055_self_param.txt b/crates/libsyntax2/tests/data/parser/inline/0055_self_param.txt
new file mode 100644
index 000000000..1275fb8b1
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0055_self_param.txt
@@ -0,0 +1,98 @@
+FILE@[0; 106)
+  IMPL_ITEM@[0; 105)
+    IMPL_KW@[0; 4)
+    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)
+    L_CURLY@[7; 8)
+    WHITESPACE@[8; 13)
+    FUNCTION@[13; 26)
+      FN_KW@[13; 15)
+      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)
+        R_PAREN@[22; 23)
+      WHITESPACE@[23; 24)
+      BLOCK_EXPR@[24; 26)
+        L_CURLY@[24; 25)
+        R_CURLY@[25; 26)
+    WHITESPACE@[26; 31)
+    FUNCTION@[31; 46)
+      FN_KW@[31; 33)
+      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)
+        COMMA@[41; 42)
+        R_PAREN@[42; 43)
+      WHITESPACE@[43; 44)
+      BLOCK_EXPR@[44; 46)
+        L_CURLY@[44; 45)
+        R_CURLY@[45; 46)
+    WHITESPACE@[46; 51)
+    FUNCTION@[51; 69)
+      FN_KW@[51; 53)
+      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)
+        COMMA@[64; 65)
+        R_PAREN@[65; 66)
+      WHITESPACE@[66; 67)
+      BLOCK_EXPR@[67; 69)
+        L_CURLY@[67; 68)
+        R_CURLY@[68; 69)
+    WHITESPACE@[69; 74)
+    FUNCTION@[74; 103)
+      FN_KW@[74; 76)
+      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)
+          WHITESPACE@[86; 87)
+          SELF_KW@[87; 91)
+        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_EXPR@[101; 103)
+        L_CURLY@[101; 102)
+        R_CURLY@[102; 103)
+    WHITESPACE@[103; 104)
+    R_CURLY@[104; 105)
+  WHITESPACE@[105; 106)
diff --git a/crates/libsyntax2/tests/data/parser/inline/0056_trait_item.rs b/crates/libsyntax2/tests/data/parser/inline/0056_trait_item.rs
new file mode 100644
index 000000000..4385afca9
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0056_trait_item.rs
@@ -0,0 +1 @@
+trait T<U>: Hash + Clone where U: Copy {}
diff --git a/crates/libsyntax2/tests/data/parser/inline/0056_trait_item.txt b/crates/libsyntax2/tests/data/parser/inline/0056_trait_item.txt
new file mode 100644
index 000000000..ba4e0ebc8
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0056_trait_item.txt
@@ -0,0 +1,45 @@
+FILE@[0; 42)
+  TRAIT_ITEM@[0; 41)
+    TRAIT_KW@[0; 5)
+    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)
+    PATH@[12; 16)
+      PATH_SEGMENT@[12; 16)
+        NAME_REF@[12; 16)
+          IDENT@[12; 16) "Hash"
+    WHITESPACE@[16; 17)
+    PLUS@[17; 18)
+    WHITESPACE@[18; 19)
+    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)
+      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)
+        PATH@[34; 38)
+          PATH_SEGMENT@[34; 38)
+            NAME_REF@[34; 38)
+              IDENT@[34; 38) "Copy"
+    WHITESPACE@[38; 39)
+    L_CURLY@[39; 40)
+    R_CURLY@[40; 41)
+  WHITESPACE@[41; 42)
diff --git a/crates/libsyntax2/tests/data/parser/inline/0057_auto_trait.rs b/crates/libsyntax2/tests/data/parser/inline/0057_auto_trait.rs
new file mode 100644
index 000000000..72adf6035
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0057_auto_trait.rs
@@ -0,0 +1 @@
+auto trait T {}
diff --git a/crates/libsyntax2/tests/data/parser/inline/0057_auto_trait.txt b/crates/libsyntax2/tests/data/parser/inline/0057_auto_trait.txt
new file mode 100644
index 000000000..6bb4ffdba
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0057_auto_trait.txt
@@ -0,0 +1,12 @@
+FILE@[0; 16)
+  TRAIT_ITEM@[0; 15)
+    AUTO_KW@[0; 4)
+    WHITESPACE@[4; 5)
+    TRAIT_KW@[5; 10)
+    WHITESPACE@[10; 11)
+    NAME@[11; 12)
+      IDENT@[11; 12) "T"
+    WHITESPACE@[12; 13)
+    L_CURLY@[13; 14)
+    R_CURLY@[14; 15)
+  WHITESPACE@[15; 16)
diff --git a/crates/libsyntax2/tests/data/parser/inline/0058_type_arg.rs b/crates/libsyntax2/tests/data/parser/inline/0058_type_arg.rs
new file mode 100644
index 000000000..f0c8cc3a8
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0058_type_arg.rs
@@ -0,0 +1 @@
+type A = B<'static, i32, Item=u64>
diff --git a/crates/libsyntax2/tests/data/parser/inline/0058_type_arg.txt b/crates/libsyntax2/tests/data/parser/inline/0058_type_arg.txt
new file mode 100644
index 000000000..f69ce4738
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0058_type_arg.txt
@@ -0,0 +1,40 @@
+FILE@[0; 35)
+  TYPE_ITEM@[0; 34)
+    TYPE_KW@[0; 4)
+    WHITESPACE@[4; 5)
+    NAME@[5; 6)
+      IDENT@[5; 6) "A"
+    WHITESPACE@[6; 7)
+    EQ@[7; 8)
+    WHITESPACE@[8; 9)
+    PATH_TYPE@[9; 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)
+            err: `expected SEMI`
+  WHITESPACE@[34; 35)
diff --git a/crates/libsyntax2/tests/data/parser/inline/0059_function_where_clause.rs b/crates/libsyntax2/tests/data/parser/inline/0059_function_where_clause.rs
new file mode 100644
index 000000000..f0920b2a8
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0059_function_where_clause.rs
@@ -0,0 +1 @@
+fn foo<T>() where T: Copy {}
diff --git a/crates/libsyntax2/tests/data/parser/inline/0059_function_where_clause.txt b/crates/libsyntax2/tests/data/parser/inline/0059_function_where_clause.txt
new file mode 100644
index 000000000..065b0fd21
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0059_function_where_clause.txt
@@ -0,0 +1,36 @@
+FILE@[0; 29)
+  FUNCTION@[0; 28)
+    FN_KW@[0; 2)
+    WHITESPACE@[2; 3)
+    NAME@[3; 6)
+      IDENT@[3; 6) "foo"
+    TYPE_PARAM_LIST@[6; 9)
+      L_ANGLE@[6; 7)
+      TYPE_PARAM@[7; 8)
+        NAME@[7; 8)
+          IDENT@[7; 8) "T"
+      R_ANGLE@[8; 9)
+    PARAM_LIST@[9; 11)
+      L_PAREN@[9; 10)
+      R_PAREN@[10; 11)
+    WHITESPACE@[11; 12)
+    WHERE_CLAUSE@[12; 25)
+      WHERE_KW@[12; 17)
+      WHITESPACE@[17; 18)
+      WHERE_PRED@[18; 25)
+        PATH_TYPE@[18; 19)
+          PATH@[18; 19)
+            PATH_SEGMENT@[18; 19)
+              NAME_REF@[18; 19)
+                IDENT@[18; 19) "T"
+        COLON@[19; 20)
+        WHITESPACE@[20; 21)
+        PATH@[21; 25)
+          PATH_SEGMENT@[21; 25)
+            NAME_REF@[21; 25)
+              IDENT@[21; 25) "Copy"
+    WHITESPACE@[25; 26)
+    BLOCK_EXPR@[26; 28)
+      L_CURLY@[26; 27)
+      R_CURLY@[27; 28)
+  WHITESPACE@[28; 29)
diff --git a/crates/libsyntax2/tests/data/parser/inline/0060_function_type_params.rs b/crates/libsyntax2/tests/data/parser/inline/0060_function_type_params.rs
new file mode 100644
index 000000000..9df40ed39
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0060_function_type_params.rs
@@ -0,0 +1 @@
+fn foo<T: Clone + Copy>(){}
diff --git a/crates/libsyntax2/tests/data/parser/inline/0060_function_type_params.txt b/crates/libsyntax2/tests/data/parser/inline/0060_function_type_params.txt
new file mode 100644
index 000000000..8809ebc04
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0060_function_type_params.txt
@@ -0,0 +1,32 @@
+FILE@[0; 28)
+  FUNCTION@[0; 27)
+    FN_KW@[0; 2)
+    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)
+        PATH@[10; 15)
+          PATH_SEGMENT@[10; 15)
+            NAME_REF@[10; 15)
+              IDENT@[10; 15) "Clone"
+        WHITESPACE@[15; 16)
+        PLUS@[16; 17)
+        WHITESPACE@[17; 18)
+        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_EXPR@[25; 27)
+      L_CURLY@[25; 26)
+      R_CURLY@[26; 27)
+  WHITESPACE@[27; 28)
diff --git a/crates/libsyntax2/tests/data/parser/inline/0061_struct_lit.rs b/crates/libsyntax2/tests/data/parser/inline/0061_struct_lit.rs
new file mode 100644
index 000000000..eb711f68a
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0061_struct_lit.rs
@@ -0,0 +1,5 @@
+fn foo() {
+    S {};
+    S { x, y: 32, };
+    S { x, y: 32, ..Default::default() };
+}
diff --git a/crates/libsyntax2/tests/data/parser/inline/0061_struct_lit.txt b/crates/libsyntax2/tests/data/parser/inline/0061_struct_lit.txt
new file mode 100644
index 000000000..1d048c5ba
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0061_struct_lit.txt
@@ -0,0 +1,94 @@
+FILE@[0; 86)
+  FUNCTION@[0; 85)
+    FN_KW@[0; 2)
+    WHITESPACE@[2; 3)
+    NAME@[3; 6)
+      IDENT@[3; 6) "foo"
+    PARAM_LIST@[6; 8)
+      L_PAREN@[6; 7)
+      R_PAREN@[7; 8)
+    WHITESPACE@[8; 9)
+    BLOCK_EXPR@[9; 85)
+      L_CURLY@[9; 10)
+      WHITESPACE@[10; 15)
+      EXPR_STMT@[15; 20)
+        STRUCT_LIT@[15; 19)
+          PATH@[15; 16)
+            PATH_SEGMENT@[15; 16)
+              NAME_REF@[15; 16)
+                IDENT@[15; 16) "S"
+          WHITESPACE@[16; 17)
+          L_CURLY@[17; 18)
+          R_CURLY@[18; 19)
+        SEMI@[19; 20)
+      WHITESPACE@[20; 25)
+      EXPR_STMT@[25; 41)
+        STRUCT_LIT@[25; 40)
+          PATH@[25; 26)
+            PATH_SEGMENT@[25; 26)
+              NAME_REF@[25; 26)
+                IDENT@[25; 26) "S"
+          WHITESPACE@[26; 27)
+          L_CURLY@[27; 28)
+          WHITESPACE@[28; 29)
+          STRUCT_LIT_FIELD@[29; 30)
+            NAME_REF@[29; 30)
+              IDENT@[29; 30) "x"
+          COMMA@[30; 31)
+          WHITESPACE@[31; 32)
+          STRUCT_LIT_FIELD@[32; 37)
+            NAME_REF@[32; 33)
+              IDENT@[32; 33) "y"
+            COLON@[33; 34)
+            WHITESPACE@[34; 35)
+            LITERAL@[35; 37)
+              INT_NUMBER@[35; 37) "32"
+          COMMA@[37; 38)
+          WHITESPACE@[38; 39)
+          R_CURLY@[39; 40)
+        SEMI@[40; 41)
+      WHITESPACE@[41; 46)
+      EXPR_STMT@[46; 83)
+        STRUCT_LIT@[46; 82)
+          PATH@[46; 47)
+            PATH_SEGMENT@[46; 47)
+              NAME_REF@[46; 47)
+                IDENT@[46; 47) "S"
+          WHITESPACE@[47; 48)
+          L_CURLY@[48; 49)
+          WHITESPACE@[49; 50)
+          STRUCT_LIT_FIELD@[50; 51)
+            NAME_REF@[50; 51)
+              IDENT@[50; 51) "x"
+          COMMA@[51; 52)
+          WHITESPACE@[52; 53)
+          STRUCT_LIT_FIELD@[53; 58)
+            NAME_REF@[53; 54)
+              IDENT@[53; 54) "y"
+            COLON@[54; 55)
+            WHITESPACE@[55; 56)
+            LITERAL@[56; 58)
+              INT_NUMBER@[56; 58) "32"
+          COMMA@[58; 59)
+          WHITESPACE@[59; 60)
+          DOTDOT@[60; 62)
+          CALL_EXPR@[62; 80)
+            PATH_EXPR@[62; 78)
+              PATH@[62; 78)
+                PATH@[62; 69)
+                  PATH_SEGMENT@[62; 69)
+                    NAME_REF@[62; 69)
+                      IDENT@[62; 69) "Default"
+                COLONCOLON@[69; 71)
+                PATH_SEGMENT@[71; 78)
+                  NAME_REF@[71; 78)
+                    IDENT@[71; 78) "default"
+            ARG_LIST@[78; 80)
+              L_PAREN@[78; 79)
+              R_PAREN@[79; 80)
+          WHITESPACE@[80; 81)
+          R_CURLY@[81; 82)
+        SEMI@[82; 83)
+      WHITESPACE@[83; 84)
+      R_CURLY@[84; 85)
+  WHITESPACE@[85; 86)
diff --git a/crates/libsyntax2/tests/data/parser/inline/0063_impl_trait_type.rs b/crates/libsyntax2/tests/data/parser/inline/0063_impl_trait_type.rs
new file mode 100644
index 000000000..54c5a7c46
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0063_impl_trait_type.rs
@@ -0,0 +1 @@
+type A = impl Iterator<Item=Foo<'a>> + 'a;
diff --git a/crates/libsyntax2/tests/data/parser/inline/0063_impl_trait_type.txt b/crates/libsyntax2/tests/data/parser/inline/0063_impl_trait_type.txt
new file mode 100644
index 000000000..bbebf1086
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0063_impl_trait_type.txt
@@ -0,0 +1,39 @@
+FILE@[0; 43)
+  TYPE_ITEM@[0; 42)
+    TYPE_KW@[0; 4)
+    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)
+      WHITESPACE@[13; 14)
+      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)
+      LIFETIME@[39; 41) "'a"
+    SEMI@[41; 42)
+  WHITESPACE@[42; 43)
diff --git a/crates/libsyntax2/tests/data/parser/inline/0063_lambda_expr.txt b/crates/libsyntax2/tests/data/parser/inline/0063_lambda_expr.txt
new file mode 100644
index 000000000..122a99e52
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0063_lambda_expr.txt
@@ -0,0 +1,91 @@
+FILE@[0; 74)
+  FUNCTION@[0; 74)
+    FN_KW@[0; 2)
+    NAME@[2; 6)
+      WHITESPACE@[2; 3)
+      IDENT@[3; 6) "foo"
+    PARAM_LIST@[6; 9)
+      L_PAREN@[6; 7)
+      R_PAREN@[7; 8)
+      WHITESPACE@[8; 9)
+    BLOCK_EXPR@[9; 74)
+      L_CURLY@[9; 10)
+      EXPR_STMT@[10; 26)
+        LAMBDA_EXPR@[10; 20)
+          PARAM_LIST@[10; 18)
+            WHITESPACE@[10; 15)
+            PIPE@[15; 16)
+            PIPE@[16; 17)
+            WHITESPACE@[17; 18)
+          TUPLE_EXPR@[18; 20)
+            L_PAREN@[18; 19)
+            R_PAREN@[19; 20)
+        SEMI@[20; 21)
+        WHITESPACE@[21; 26)
+      EXPR_STMT@[26; 48)
+        LAMBDA_EXPR@[26; 42)
+          PARAM_LIST@[26; 29)
+            PIPE@[26; 27)
+            PIPE@[27; 28)
+            WHITESPACE@[28; 29)
+          THIN_ARROW@[29; 31)
+          PATH_TYPE@[31; 36)
+            PATH@[31; 36)
+              PATH_SEGMENT@[31; 36)
+                NAME_REF@[31; 36)
+                  WHITESPACE@[31; 32)
+                  IDENT@[32; 35) "i32"
+                  WHITESPACE@[35; 36)
+          BLOCK_EXPR@[36; 42)
+            L_CURLY@[36; 37)
+            LITERAL@[37; 41)
+              WHITESPACE@[37; 38)
+              INT_NUMBER@[38; 40) "92"
+              WHITESPACE@[40; 41)
+            R_CURLY@[41; 42)
+        SEMI@[42; 43)
+        WHITESPACE@[43; 48)
+      EXPR_STMT@[48; 59)
+        LAMBDA_EXPR@[48; 53)
+          PARAM_LIST@[48; 52)
+            PIPE@[48; 49)
+            PARAM@[49; 50)
+              BIND_PAT@[49; 50)
+                NAME@[49; 50)
+                  IDENT@[49; 50) "x"
+            PIPE@[50; 51)
+            WHITESPACE@[51; 52)
+          PATH_EXPR@[52; 53)
+            PATH@[52; 53)
+              PATH_SEGMENT@[52; 53)
+                NAME_REF@[52; 53)
+                  IDENT@[52; 53) "x"
+        SEMI@[53; 54)
+        WHITESPACE@[54; 59)
+      EXPR_STMT@[59; 72)
+        LAMBDA_EXPR@[59; 70)
+          PARAM_LIST@[59; 69)
+            PIPE@[59; 60)
+            PARAM@[60; 66)
+              BIND_PAT@[60; 61)
+                NAME@[60; 61)
+                  IDENT@[60; 61) "x"
+              COLON@[61; 62)
+              PATH_TYPE@[62; 66)
+                PATH@[62; 66)
+                  PATH_SEGMENT@[62; 66)
+                    NAME_REF@[62; 66)
+                      WHITESPACE@[62; 63)
+                      IDENT@[63; 66) "i32"
+            COMMA@[66; 67)
+            PIPE@[67; 68)
+            WHITESPACE@[68; 69)
+          PATH_EXPR@[69; 70)
+            PATH@[69; 70)
+              PATH_SEGMENT@[69; 70)
+                NAME_REF@[69; 70)
+                  IDENT@[69; 70) "x"
+        SEMI@[70; 71)
+        WHITESPACE@[71; 72)
+      R_CURLY@[72; 73)
+      WHITESPACE@[73; 74)
diff --git a/crates/libsyntax2/tests/data/parser/inline/0064_param_list.rs b/crates/libsyntax2/tests/data/parser/inline/0064_param_list.rs
new file mode 100644
index 000000000..9d55bedbb
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0064_param_list.rs
@@ -0,0 +1,4 @@
+fn a() {}
+fn b(x: i32) {}
+fn c(x: i32, ) {}
+fn d(x: i32, y: ()) {}
diff --git a/crates/libsyntax2/tests/data/parser/inline/0064_param_list.txt b/crates/libsyntax2/tests/data/parser/inline/0064_param_list.txt
new file mode 100644
index 000000000..14db495b9
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0064_param_list.txt
@@ -0,0 +1,99 @@
+FILE@[0; 67)
+  FUNCTION@[0; 9)
+    FN_KW@[0; 2)
+    WHITESPACE@[2; 3)
+    NAME@[3; 4)
+      IDENT@[3; 4) "a"
+    PARAM_LIST@[4; 6)
+      L_PAREN@[4; 5)
+      R_PAREN@[5; 6)
+    WHITESPACE@[6; 7)
+    BLOCK_EXPR@[7; 9)
+      L_CURLY@[7; 8)
+      R_CURLY@[8; 9)
+  WHITESPACE@[9; 10)
+  FUNCTION@[10; 25)
+    FN_KW@[10; 12)
+    WHITESPACE@[12; 13)
+    NAME@[13; 14)
+      IDENT@[13; 14) "b"
+    PARAM_LIST@[14; 22)
+      L_PAREN@[14; 15)
+      PARAM@[15; 21)
+        BIND_PAT@[15; 16)
+          NAME@[15; 16)
+            IDENT@[15; 16) "x"
+        COLON@[16; 17)
+        WHITESPACE@[17; 18)
+        PATH_TYPE@[18; 21)
+          PATH@[18; 21)
+            PATH_SEGMENT@[18; 21)
+              NAME_REF@[18; 21)
+                IDENT@[18; 21) "i32"
+      R_PAREN@[21; 22)
+    WHITESPACE@[22; 23)
+    BLOCK_EXPR@[23; 25)
+      L_CURLY@[23; 24)
+      R_CURLY@[24; 25)
+  WHITESPACE@[25; 26)
+  FUNCTION@[26; 43)
+    FN_KW@[26; 28)
+    WHITESPACE@[28; 29)
+    NAME@[29; 30)
+      IDENT@[29; 30) "c"
+    PARAM_LIST@[30; 40)
+      L_PAREN@[30; 31)
+      PARAM@[31; 37)
+        BIND_PAT@[31; 32)
+          NAME@[31; 32)
+            IDENT@[31; 32) "x"
+        COLON@[32; 33)
+        WHITESPACE@[33; 34)
+        PATH_TYPE@[34; 37)
+          PATH@[34; 37)
+            PATH_SEGMENT@[34; 37)
+              NAME_REF@[34; 37)
+                IDENT@[34; 37) "i32"
+      COMMA@[37; 38)
+      WHITESPACE@[38; 39)
+      R_PAREN@[39; 40)
+    WHITESPACE@[40; 41)
+    BLOCK_EXPR@[41; 43)
+      L_CURLY@[41; 42)
+      R_CURLY@[42; 43)
+  WHITESPACE@[43; 44)
+  FUNCTION@[44; 66)
+    FN_KW@[44; 46)
+    WHITESPACE@[46; 47)
+    NAME@[47; 48)
+      IDENT@[47; 48) "d"
+    PARAM_LIST@[48; 63)
+      L_PAREN@[48; 49)
+      PARAM@[49; 55)
+        BIND_PAT@[49; 50)
+          NAME@[49; 50)
+            IDENT@[49; 50) "x"
+        COLON@[50; 51)
+        WHITESPACE@[51; 52)
+        PATH_TYPE@[52; 55)
+          PATH@[52; 55)
+            PATH_SEGMENT@[52; 55)
+              NAME_REF@[52; 55)
+                IDENT@[52; 55) "i32"
+      COMMA@[55; 56)
+      WHITESPACE@[56; 57)
+      PARAM@[57; 62)
+        BIND_PAT@[57; 58)
+          NAME@[57; 58)
+            IDENT@[57; 58) "y"
+        COLON@[58; 59)
+        WHITESPACE@[59; 60)
+        TUPLE_TYPE@[60; 62)
+          L_PAREN@[60; 61)
+          R_PAREN@[61; 62)
+      R_PAREN@[62; 63)
+    WHITESPACE@[63; 64)
+    BLOCK_EXPR@[64; 66)
+      L_CURLY@[64; 65)
+      R_CURLY@[65; 66)
+  WHITESPACE@[66; 67)
diff --git a/crates/libsyntax2/tests/data/parser/inline/0065_if_expr.rs b/crates/libsyntax2/tests/data/parser/inline/0065_if_expr.rs
new file mode 100644
index 000000000..4b0d9af89
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0065_if_expr.rs
@@ -0,0 +1,6 @@
+fn foo() {
+    if true {};
+    if true {} else {};
+    if true {} else if false {} else {};
+    if S {};
+}
diff --git a/crates/libsyntax2/tests/data/parser/inline/0065_if_expr.txt b/crates/libsyntax2/tests/data/parser/inline/0065_if_expr.txt
new file mode 100644
index 000000000..6ed53264a
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0065_if_expr.txt
@@ -0,0 +1,90 @@
+FILE@[0; 107)
+  FUNCTION@[0; 106)
+    FN_KW@[0; 2)
+    WHITESPACE@[2; 3)
+    NAME@[3; 6)
+      IDENT@[3; 6) "foo"
+    PARAM_LIST@[6; 8)
+      L_PAREN@[6; 7)
+      R_PAREN@[7; 8)
+    WHITESPACE@[8; 9)
+    BLOCK_EXPR@[9; 106)
+      L_CURLY@[9; 10)
+      WHITESPACE@[10; 15)
+      EXPR_STMT@[15; 26)
+        IF_EXPR@[15; 25)
+          IF_KW@[15; 17)
+          WHITESPACE@[17; 18)
+          LITERAL@[18; 22)
+            TRUE_KW@[18; 22)
+          WHITESPACE@[22; 23)
+          BLOCK_EXPR@[23; 25)
+            L_CURLY@[23; 24)
+            R_CURLY@[24; 25)
+        SEMI@[25; 26)
+      WHITESPACE@[26; 31)
+      EXPR_STMT@[31; 50)
+        IF_EXPR@[31; 49)
+          IF_KW@[31; 33)
+          WHITESPACE@[33; 34)
+          LITERAL@[34; 38)
+            TRUE_KW@[34; 38)
+          WHITESPACE@[38; 39)
+          BLOCK_EXPR@[39; 41)
+            L_CURLY@[39; 40)
+            R_CURLY@[40; 41)
+          WHITESPACE@[41; 42)
+          ELSE_KW@[42; 46)
+          WHITESPACE@[46; 47)
+          BLOCK_EXPR@[47; 49)
+            L_CURLY@[47; 48)
+            R_CURLY@[48; 49)
+        SEMI@[49; 50)
+      WHITESPACE@[50; 55)
+      EXPR_STMT@[55; 91)
+        IF_EXPR@[55; 90)
+          IF_KW@[55; 57)
+          WHITESPACE@[57; 58)
+          LITERAL@[58; 62)
+            TRUE_KW@[58; 62)
+          WHITESPACE@[62; 63)
+          BLOCK_EXPR@[63; 65)
+            L_CURLY@[63; 64)
+            R_CURLY@[64; 65)
+          WHITESPACE@[65; 66)
+          ELSE_KW@[66; 70)
+          WHITESPACE@[70; 71)
+          IF_EXPR@[71; 90)
+            IF_KW@[71; 73)
+            WHITESPACE@[73; 74)
+            LITERAL@[74; 79)
+              FALSE_KW@[74; 79)
+            WHITESPACE@[79; 80)
+            BLOCK_EXPR@[80; 82)
+              L_CURLY@[80; 81)
+              R_CURLY@[81; 82)
+            WHITESPACE@[82; 83)
+            ELSE_KW@[83; 87)
+            WHITESPACE@[87; 88)
+            BLOCK_EXPR@[88; 90)
+              L_CURLY@[88; 89)
+              R_CURLY@[89; 90)
+        SEMI@[90; 91)
+      WHITESPACE@[91; 96)
+      EXPR_STMT@[96; 104)
+        IF_EXPR@[96; 103)
+          IF_KW@[96; 98)
+          WHITESPACE@[98; 99)
+          PATH_EXPR@[99; 100)
+            PATH@[99; 100)
+              PATH_SEGMENT@[99; 100)
+                NAME_REF@[99; 100)
+                  IDENT@[99; 100) "S"
+          WHITESPACE@[100; 101)
+          BLOCK_EXPR@[101; 103)
+            L_CURLY@[101; 102)
+            R_CURLY@[102; 103)
+        SEMI@[103; 104)
+      WHITESPACE@[104; 105)
+      R_CURLY@[105; 106)
+  WHITESPACE@[106; 107)
diff --git a/crates/libsyntax2/tests/data/parser/inline/0066_lambda_expr.rs b/crates/libsyntax2/tests/data/parser/inline/0066_lambda_expr.rs
new file mode 100644
index 000000000..c20d29751
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0066_lambda_expr.rs
@@ -0,0 +1,6 @@
+fn foo() {
+    || ();
+    || -> i32 { 92 };
+    |x| x;
+    move |x: i32,| x;
+}
diff --git a/crates/libsyntax2/tests/data/parser/inline/0066_lambda_expr.txt b/crates/libsyntax2/tests/data/parser/inline/0066_lambda_expr.txt
new file mode 100644
index 000000000..6d9aeb331
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0066_lambda_expr.txt
@@ -0,0 +1,93 @@
+FILE@[0; 79)
+  FUNCTION@[0; 78)
+    FN_KW@[0; 2)
+    WHITESPACE@[2; 3)
+    NAME@[3; 6)
+      IDENT@[3; 6) "foo"
+    PARAM_LIST@[6; 8)
+      L_PAREN@[6; 7)
+      R_PAREN@[7; 8)
+    WHITESPACE@[8; 9)
+    BLOCK_EXPR@[9; 78)
+      L_CURLY@[9; 10)
+      WHITESPACE@[10; 15)
+      EXPR_STMT@[15; 21)
+        LAMBDA_EXPR@[15; 20)
+          PARAM_LIST@[15; 17)
+            PIPE@[15; 16)
+            PIPE@[16; 17)
+          WHITESPACE@[17; 18)
+          TUPLE_EXPR@[18; 20)
+            L_PAREN@[18; 19)
+            R_PAREN@[19; 20)
+        SEMI@[20; 21)
+      WHITESPACE@[21; 26)
+      EXPR_STMT@[26; 43)
+        LAMBDA_EXPR@[26; 42)
+          PARAM_LIST@[26; 28)
+            PIPE@[26; 27)
+            PIPE@[27; 28)
+          WHITESPACE@[28; 29)
+          THIN_ARROW@[29; 31)
+          WHITESPACE@[31; 32)
+          PATH_TYPE@[32; 35)
+            PATH@[32; 35)
+              PATH_SEGMENT@[32; 35)
+                NAME_REF@[32; 35)
+                  IDENT@[32; 35) "i32"
+          WHITESPACE@[35; 36)
+          BLOCK_EXPR@[36; 42)
+            L_CURLY@[36; 37)
+            WHITESPACE@[37; 38)
+            LITERAL@[38; 40)
+              INT_NUMBER@[38; 40) "92"
+            WHITESPACE@[40; 41)
+            R_CURLY@[41; 42)
+        SEMI@[42; 43)
+      WHITESPACE@[43; 48)
+      EXPR_STMT@[48; 54)
+        LAMBDA_EXPR@[48; 53)
+          PARAM_LIST@[48; 51)
+            PIPE@[48; 49)
+            PARAM@[49; 50)
+              BIND_PAT@[49; 50)
+                NAME@[49; 50)
+                  IDENT@[49; 50) "x"
+            PIPE@[50; 51)
+          WHITESPACE@[51; 52)
+          PATH_EXPR@[52; 53)
+            PATH@[52; 53)
+              PATH_SEGMENT@[52; 53)
+                NAME_REF@[52; 53)
+                  IDENT@[52; 53) "x"
+        SEMI@[53; 54)
+      WHITESPACE@[54; 59)
+      EXPR_STMT@[59; 76)
+        LAMBDA_EXPR@[59; 75)
+          MOVE_KW@[59; 63)
+          WHITESPACE@[63; 64)
+          PARAM_LIST@[64; 73)
+            PIPE@[64; 65)
+            PARAM@[65; 71)
+              BIND_PAT@[65; 66)
+                NAME@[65; 66)
+                  IDENT@[65; 66) "x"
+              COLON@[66; 67)
+              WHITESPACE@[67; 68)
+              PATH_TYPE@[68; 71)
+                PATH@[68; 71)
+                  PATH_SEGMENT@[68; 71)
+                    NAME_REF@[68; 71)
+                      IDENT@[68; 71) "i32"
+            COMMA@[71; 72)
+            PIPE@[72; 73)
+          WHITESPACE@[73; 74)
+          PATH_EXPR@[74; 75)
+            PATH@[74; 75)
+              PATH_SEGMENT@[74; 75)
+                NAME_REF@[74; 75)
+                  IDENT@[74; 75) "x"
+        SEMI@[75; 76)
+      WHITESPACE@[76; 77)
+      R_CURLY@[77; 78)
+  WHITESPACE@[78; 79)
diff --git a/crates/libsyntax2/tests/data/parser/inline/0067_block_expr.rs b/crates/libsyntax2/tests/data/parser/inline/0067_block_expr.rs
new file mode 100644
index 000000000..ec3780a04
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0067_block_expr.rs
@@ -0,0 +1,4 @@
+fn foo() {
+    {};
+    unsafe {};
+}
diff --git a/crates/libsyntax2/tests/data/parser/inline/0067_block_expr.txt b/crates/libsyntax2/tests/data/parser/inline/0067_block_expr.txt
new file mode 100644
index 000000000..981f39e6e
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0067_block_expr.txt
@@ -0,0 +1,29 @@
+FILE@[0; 36)
+  FUNCTION@[0; 35)
+    FN_KW@[0; 2)
+    WHITESPACE@[2; 3)
+    NAME@[3; 6)
+      IDENT@[3; 6) "foo"
+    PARAM_LIST@[6; 8)
+      L_PAREN@[6; 7)
+      R_PAREN@[7; 8)
+    WHITESPACE@[8; 9)
+    BLOCK_EXPR@[9; 35)
+      L_CURLY@[9; 10)
+      WHITESPACE@[10; 15)
+      EXPR_STMT@[15; 18)
+        BLOCK_EXPR@[15; 17)
+          L_CURLY@[15; 16)
+          R_CURLY@[16; 17)
+        SEMI@[17; 18)
+      WHITESPACE@[18; 23)
+      EXPR_STMT@[23; 33)
+        BLOCK_EXPR@[23; 32)
+          UNSAFE_KW@[23; 29)
+          WHITESPACE@[29; 30)
+          L_CURLY@[30; 31)
+          R_CURLY@[31; 32)
+        SEMI@[32; 33)
+      WHITESPACE@[33; 34)
+      R_CURLY@[34; 35)
+  WHITESPACE@[35; 36)
diff --git a/crates/libsyntax2/tests/data/parser/inline/0068_pub_expr.rs b/crates/libsyntax2/tests/data/parser/inline/0068_pub_expr.rs
new file mode 100644
index 000000000..d9d99d2d3
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0068_pub_expr.rs
@@ -0,0 +1 @@
+fn foo() { pub 92; } //FIXME
diff --git a/crates/libsyntax2/tests/data/parser/inline/0068_pub_expr.txt b/crates/libsyntax2/tests/data/parser/inline/0068_pub_expr.txt
new file mode 100644
index 000000000..92e58938b
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0068_pub_expr.txt
@@ -0,0 +1,25 @@
+FILE@[0; 29)
+  FUNCTION@[0; 20)
+    FN_KW@[0; 2)
+    WHITESPACE@[2; 3)
+    NAME@[3; 6)
+      IDENT@[3; 6) "foo"
+    PARAM_LIST@[6; 8)
+      L_PAREN@[6; 7)
+      R_PAREN@[7; 8)
+    WHITESPACE@[8; 9)
+    BLOCK_EXPR@[9; 20)
+      L_CURLY@[9; 10)
+      WHITESPACE@[10; 11)
+      EXPR_STMT@[11; 18)
+        VISIBILITY@[11; 14)
+          PUB_KW@[11; 14)
+        WHITESPACE@[14; 15)
+        LITERAL@[15; 17)
+          INT_NUMBER@[15; 17) "92"
+        SEMI@[17; 18)
+      WHITESPACE@[18; 19)
+      R_CURLY@[19; 20)
+  WHITESPACE@[20; 21)
+  COMMENT@[21; 28)
+  WHITESPACE@[28; 29)
diff --git a/crates/libsyntax2/tests/data/parser/inline/0068_return_expr.rs b/crates/libsyntax2/tests/data/parser/inline/0068_return_expr.rs
new file mode 100644
index 000000000..5733666b6
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0068_return_expr.rs
@@ -0,0 +1,4 @@
+fn foo() {
+    return;
+    return 92;
+}
diff --git a/crates/libsyntax2/tests/data/parser/inline/0068_return_expr.txt b/crates/libsyntax2/tests/data/parser/inline/0068_return_expr.txt
new file mode 100644
index 000000000..4e4ec85b6
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0068_return_expr.txt
@@ -0,0 +1,28 @@
+FILE@[0; 40)
+  FUNCTION@[0; 39)
+    FN_KW@[0; 2)
+    WHITESPACE@[2; 3)
+    NAME@[3; 6)
+      IDENT@[3; 6) "foo"
+    PARAM_LIST@[6; 8)
+      L_PAREN@[6; 7)
+      R_PAREN@[7; 8)
+    WHITESPACE@[8; 9)
+    BLOCK_EXPR@[9; 39)
+      L_CURLY@[9; 10)
+      WHITESPACE@[10; 15)
+      EXPR_STMT@[15; 22)
+        RETURN_EXPR@[15; 21)
+          RETURN_KW@[15; 21)
+        SEMI@[21; 22)
+      WHITESPACE@[22; 27)
+      EXPR_STMT@[27; 37)
+        RETURN_EXPR@[27; 36)
+          RETURN_KW@[27; 33)
+          WHITESPACE@[33; 34)
+          LITERAL@[34; 36)
+            INT_NUMBER@[34; 36) "92"
+        SEMI@[36; 37)
+      WHITESPACE@[37; 38)
+      R_CURLY@[38; 39)
+  WHITESPACE@[39; 40)
diff --git a/crates/libsyntax2/tests/data/parser/inline/0069_match_arm.rs b/crates/libsyntax2/tests/data/parser/inline/0069_match_arm.rs
new file mode 100644
index 000000000..2c0e88414
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0069_match_arm.rs
@@ -0,0 +1,6 @@
+fn foo() {
+    match () {
+        _ => (),
+        X | Y if Z => (),
+    };
+}
diff --git a/crates/libsyntax2/tests/data/parser/inline/0069_match_arm.txt b/crates/libsyntax2/tests/data/parser/inline/0069_match_arm.txt
new file mode 100644
index 000000000..3377e8342
--- /dev/null
+++ b/crates/libsyntax2/tests/data/parser/inline/0069_match_arm.txt
@@ -0,0 +1,65 @@
+FILE@[0; 78)
+  FUNCTION@[0; 77)
+    FN_KW@[0; 2)
+    WHITESPACE@[2; 3)
+    NAME@[3; 6)
+      IDENT@[3; 6) "foo"
+    PARAM_LIST@[6; 8)
+      L_PAREN@[6; 7)
+      R_PAREN@[7; 8)