Merge #3074

3074: Or patterns r=matthewjasper a=matthewjasper Works towards #2458 Co-authored-by: Matthew Jasper <[email protected]>
author: bors[bot] <26634292+bors[bot]@users.noreply.github.com> 2020-02-10 20:14:08 +0000
committer: GitHub <[email protected]> 2020-02-10 20:14:08 +0000
commit: f8d6d6f23bfb15021be91031ba983da19f0d3ada (patch)
tree: 9c6ab9425ba72c440b2a475d92ed984ccf1aebcc /crates/ra_syntax/test_data/parser
parent: 29f5e7eebf606c1929d5a77ad66624cd4f3fcf49 (diff)
parent: 49b53cd7a0861cdba65643e3da441eefbe18d6e6 (diff)
6 files changed, 242 insertions, 67 deletions
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0030_cond.txt b/crates/ra_syntax/test_data/parser/inline/ok/0030_cond.txt
index 4028ca243..6fd49c7bc 100644
--- a/crates/ra_syntax/test_data/parser/inline/ok/0030_cond.txt
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0030_cond.txt
@@ -63,27 +63,28 @@ SOURCE_FILE@[0; 197)
            CONDITION@[56; 84)
              LET_KW@[56; 59) "let"
              WHITESPACE@[59; 60) " "
-              TUPLE_STRUCT_PAT@[60; 67)
+              OR_PAT@[60; 77)
-                PATH@[60; 64)
+                TUPLE_STRUCT_PAT@[60; 67)
-                  PATH_SEGMENT@[60; 64)
+                  PATH@[60; 64)
-                    NAME_REF@[60; 64)
+                    PATH_SEGMENT@[60; 64)
-                      IDENT@[60; 64) "Some"
+                      NAME_REF@[60; 64)
-                L_PAREN@[64; 65) "("
+                        IDENT@[60; 64) "Some"
-                PLACEHOLDER_PAT@[65; 66)
+                  L_PAREN@[64; 65) "("
-                  UNDERSCORE@[65; 66) "_"
+                  PLACEHOLDER_PAT@[65; 66)
-                R_PAREN@[66; 67) ")"
+                    UNDERSCORE@[65; 66) "_"
-              WHITESPACE@[67; 68) " "
+                  R_PAREN@[66; 67) ")"
-              PIPE@[68; 69) "|"
+                WHITESPACE@[67; 68) " "
-              WHITESPACE@[69; 70) " "
+                PIPE@[68; 69) "|"
-              TUPLE_STRUCT_PAT@[70; 77)
+                WHITESPACE@[69; 70) " "
-                PATH@[70; 74)
+                TUPLE_STRUCT_PAT@[70; 77)
-                  PATH_SEGMENT@[70; 74)
+                  PATH@[70; 74)
-                    NAME_REF@[70; 74)
+                    PATH_SEGMENT@[70; 74)
-                      IDENT@[70; 74) "Some"
+                      NAME_REF@[70; 74)
-                L_PAREN@[74; 75) "("
+                        IDENT@[70; 74) "Some"
-                PLACEHOLDER_PAT@[75; 76)
+                  L_PAREN@[74; 75) "("
-                  UNDERSCORE@[75; 76) "_"
+                  PLACEHOLDER_PAT@[75; 76)
-                R_PAREN@[76; 77) ")"
+                    UNDERSCORE@[75; 76) "_"
+                  R_PAREN@[76; 77) ")"
              WHITESPACE@[77; 78) " "
              EQ@[78; 79) "="
              WHITESPACE@[79; 80) " "
@@ -137,27 +138,28 @@ SOURCE_FILE@[0; 197)
            CONDITION@[129; 157)
              LET_KW@[129; 132) "let"
              WHITESPACE@[132; 133) " "
-              TUPLE_STRUCT_PAT@[133; 140)
+              OR_PAT@[133; 150)
-                PATH@[133; 137)
+                TUPLE_STRUCT_PAT@[133; 140)
-                  PATH_SEGMENT@[133; 137)
+                  PATH@[133; 137)
-                    NAME_REF@[133; 137)
+                    PATH_SEGMENT@[133; 137)
-                      IDENT@[133; 137) "Some"
+                      NAME_REF@[133; 137)
-                L_PAREN@[137; 138) "("
+                        IDENT@[133; 137) "Some"
-                PLACEHOLDER_PAT@[138; 139)
+                  L_PAREN@[137; 138) "("
-                  UNDERSCORE@[138; 139) "_"
+                  PLACEHOLDER_PAT@[138; 139)
-                R_PAREN@[139; 140) ")"
+                    UNDERSCORE@[138; 139) "_"
-              WHITESPACE@[140; 141) " "
+                  R_PAREN@[139; 140) ")"
-              PIPE@[141; 142) "|"
+                WHITESPACE@[140; 141) " "
-              WHITESPACE@[142; 143) " "
+                PIPE@[141; 142) "|"
-              TUPLE_STRUCT_PAT@[143; 150)
+                WHITESPACE@[142; 143) " "
-                PATH@[143; 147)
+                TUPLE_STRUCT_PAT@[143; 150)
-                  PATH_SEGMENT@[143; 147)
+                  PATH@[143; 147)
-                    NAME_REF@[143; 147)
+                    PATH_SEGMENT@[143; 147)
-                      IDENT@[143; 147) "Some"
+                      NAME_REF@[143; 147)
-                L_PAREN@[147; 148) "("
+                        IDENT@[143; 147) "Some"
-                PLACEHOLDER_PAT@[148; 149)
+                  L_PAREN@[147; 148) "("
-                  UNDERSCORE@[148; 149) "_"
+                  PLACEHOLDER_PAT@[148; 149)
-                R_PAREN@[149; 150) ")"
+                    UNDERSCORE@[148; 149) "_"
+                  R_PAREN@[149; 150) ")"
              WHITESPACE@[150; 151) " "
              EQ@[151; 152) "="
              WHITESPACE@[152; 153) " "
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0066_match_arm.txt b/crates/ra_syntax/test_data/parser/inline/ok/0066_match_arm.txt
index 87272917b..2f07af4e1 100644
--- a/crates/ra_syntax/test_data/parser/inline/ok/0066_match_arm.txt
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0066_match_arm.txt
@@ -74,15 +74,16 @@ SOURCE_FILE@[0; 167)
              COMMA@[83; 84) ","
              WHITESPACE@[84; 93) "\n        "
              MATCH_ARM@[93; 109)
-                BIND_PAT@[93; 94)
+                OR_PAT@[93; 98)
-                  NAME@[93; 94)
+                  BIND_PAT@[93; 94)
-                    IDENT@[93; 94) "X"
+                    NAME@[93; 94)
-                WHITESPACE@[94; 95) " "
+                      IDENT@[93; 94) "X"
-                PIPE@[95; 96) "|"
+                  WHITESPACE@[94; 95) " "
-                WHITESPACE@[96; 97) " "
+                  PIPE@[95; 96) "|"
-                BIND_PAT@[97; 98)
+                  WHITESPACE@[96; 97) " "
-                  NAME@[97; 98)
+                  BIND_PAT@[97; 98)
-                    IDENT@[97; 98) "Y"
+                    NAME@[97; 98)
+                      IDENT@[97; 98) "Y"
                WHITESPACE@[98; 99) " "
                MATCH_GUARD@[99; 103)
                  IF_KW@[99; 101) "if"
@@ -103,15 +104,16 @@ SOURCE_FILE@[0; 167)
              MATCH_ARM@[119; 137)
                PIPE@[119; 120) "|"
                WHITESPACE@[120; 121) " "
-                BIND_PAT@[121; 122)
+                OR_PAT@[121; 126)
-                  NAME@[121; 122)
+                  BIND_PAT@[121; 122)
-                    IDENT@[121; 122) "X"
+                    NAME@[121; 122)
-                WHITESPACE@[122; 123) " "
+                      IDENT@[121; 122) "X"
-                PIPE@[123; 124) "|"
+                  WHITESPACE@[122; 123) " "
-                WHITESPACE@[124; 125) " "
+                  PIPE@[123; 124) "|"
-                BIND_PAT@[125; 126)
+                  WHITESPACE@[124; 125) " "
-                  NAME@[125; 126)
+                  BIND_PAT@[125; 126)
-                    IDENT@[125; 126) "Y"
+                    NAME@[125; 126)
+                      IDENT@[125; 126) "Y"
                WHITESPACE@[126; 127) " "
                MATCH_GUARD@[127; 131)
                  IF_KW@[127; 129) "if"
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0111_tuple_pat.rs b/crates/ra_syntax/test_data/parser/inline/ok/0111_tuple_pat.rs
index f785acd36..ba719879d 100644
--- a/crates/ra_syntax/test_data/parser/inline/ok/0111_tuple_pat.rs
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0111_tuple_pat.rs
@@ -1,3 +1,6 @@
 fn main() {
    let (a, b, ..) = ();
+    let (a,) = ();
+    let (..) = ();
+    let () = ();
 }
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0111_tuple_pat.txt b/crates/ra_syntax/test_data/parser/inline/ok/0111_tuple_pat.txt
index 674dec493..4680c267e 100644
--- a/crates/ra_syntax/test_data/parser/inline/ok/0111_tuple_pat.txt
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0111_tuple_pat.txt
@@ -1,5 +1,5 @@
-SOURCE_FILE@[0; 39)
+SOURCE_FILE@[0; 94)
-  FN_DEF@[0; 38)
+  FN_DEF@[0; 93)
    FN_KW@[0; 2) "fn"
    WHITESPACE@[2; 3) " "
    NAME@[3; 7)
@@ -8,8 +8,8 @@ SOURCE_FILE@[0; 39)
      L_PAREN@[7; 8) "("
      R_PAREN@[8; 9) ")"
    WHITESPACE@[9; 10) " "
-    BLOCK_EXPR@[10; 38)
+    BLOCK_EXPR@[10; 93)
-      BLOCK@[10; 38)
+      BLOCK@[10; 93)
        L_CURLY@[10; 11) "{"
        WHITESPACE@[11; 16) "\n    "
        LET_STMT@[16; 36)
@@ -37,6 +37,54 @@ SOURCE_FILE@[0; 39)
            L_PAREN@[33; 34) "("
            R_PAREN@[34; 35) ")"
          SEMI@[35; 36) ";"
-        WHITESPACE@[36; 37) "\n"
+        WHITESPACE@[36; 41) "\n    "
-        R_CURLY@[37; 38) "}"
+        LET_STMT@[41; 55)
-  WHITESPACE@[38; 39) "\n"
+          LET_KW@[41; 44) "let"
+          WHITESPACE@[44; 45) " "
+          TUPLE_PAT@[45; 49)
+            L_PAREN@[45; 46) "("
+            BIND_PAT@[46; 47)
+              NAME@[46; 47)
+                IDENT@[46; 47) "a"
+            COMMA@[47; 48) ","
+            R_PAREN@[48; 49) ")"
+          WHITESPACE@[49; 50) " "
+          EQ@[50; 51) "="
+          WHITESPACE@[51; 52) " "
+          TUPLE_EXPR@[52; 54)
+            L_PAREN@[52; 53) "("
+            R_PAREN@[53; 54) ")"
+          SEMI@[54; 55) ";"
+        WHITESPACE@[55; 60) "\n    "
+        LET_STMT@[60; 74)
+          LET_KW@[60; 63) "let"
+          WHITESPACE@[63; 64) " "
+          TUPLE_PAT@[64; 68)
+            L_PAREN@[64; 65) "("
+            DOT_DOT_PAT@[65; 67)
+              DOTDOT@[65; 67) ".."
+            R_PAREN@[67; 68) ")"
+          WHITESPACE@[68; 69) " "
+          EQ@[69; 70) "="
+          WHITESPACE@[70; 71) " "
+          TUPLE_EXPR@[71; 73)
+            L_PAREN@[71; 72) "("
+            R_PAREN@[72; 73) ")"
+          SEMI@[73; 74) ";"
+        WHITESPACE@[74; 79) "\n    "
+        LET_STMT@[79; 91)
+          LET_KW@[79; 82) "let"
+          WHITESPACE@[82; 83) " "
+          TUPLE_PAT@[83; 85)
+            L_PAREN@[83; 84) "("
+            R_PAREN@[84; 85) ")"
+          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; 92) "\n"
+        R_CURLY@[92; 93) "}"
+  WHITESPACE@[93; 94) "\n"
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0156_or_pattern.rs b/crates/ra_syntax/test_data/parser/inline/ok/0156_or_pattern.rs
new file mode 100644
index 000000000..a26316605
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0156_or_pattern.rs
@@ -0,0 +1,8 @@
+fn main() {
+    match () {
+        (_ | _) => (),
+        &(_ | _) => (),
+        (_ | _,) => (),
+        [_ | _,] => (),
+    }
+}
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0156_or_pattern.txt b/crates/ra_syntax/test_data/parser/inline/ok/0156_or_pattern.txt
new file mode 100644
index 000000000..3a196d3c0
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0156_or_pattern.txt
@@ -0,0 +1,112 @@
+SOURCE_FILE@[0; 130)
+  FN_DEF@[0; 129)
+    FN_KW@[0; 2) "fn"
+    WHITESPACE@[2; 3) " "
+    NAME@[3; 7)
+      IDENT@[3; 7) "main"
+    PARAM_LIST@[7; 9)
+      L_PAREN@[7; 8) "("
+      R_PAREN@[8; 9) ")"
+    WHITESPACE@[9; 10) " "
+    BLOCK_EXPR@[10; 129)
+      BLOCK@[10; 129)
+        L_CURLY@[10; 11) "{"
+        WHITESPACE@[11; 16) "\n    "
+        MATCH_EXPR@[16; 127)
+          MATCH_KW@[16; 21) "match"
+          WHITESPACE@[21; 22) " "
+          TUPLE_EXPR@[22; 24)
+            L_PAREN@[22; 23) "("
+            R_PAREN@[23; 24) ")"
+          WHITESPACE@[24; 25) " "
+          MATCH_ARM_LIST@[25; 127)
+            L_CURLY@[25; 26) "{"
+            WHITESPACE@[26; 35) "\n        "
+            MATCH_ARM@[35; 48)
+              PAREN_PAT@[35; 42)
+                L_PAREN@[35; 36) "("
+                OR_PAT@[36; 41)
+                  PLACEHOLDER_PAT@[36; 37)
+                    UNDERSCORE@[36; 37) "_"
+                  WHITESPACE@[37; 38) " "
+                  PIPE@[38; 39) "|"
+                  WHITESPACE@[39; 40) " "
+                  PLACEHOLDER_PAT@[40; 41)
+                    UNDERSCORE@[40; 41) "_"
+                R_PAREN@[41; 42) ")"
+              WHITESPACE@[42; 43) " "
+              FAT_ARROW@[43; 45) "=>"
+              WHITESPACE@[45; 46) " "
+              TUPLE_EXPR@[46; 48)
+                L_PAREN@[46; 47) "("
+                R_PAREN@[47; 48) ")"
+            COMMA@[48; 49) ","
+            WHITESPACE@[49; 58) "\n        "
+            MATCH_ARM@[58; 72)
+              REF_PAT@[58; 66)
+                AMP@[58; 59) "&"
+                PAREN_PAT@[59; 66)
+                  L_PAREN@[59; 60) "("
+                  OR_PAT@[60; 65)
+                    PLACEHOLDER_PAT@[60; 61)
+                      UNDERSCORE@[60; 61) "_"
+                    WHITESPACE@[61; 62) " "
+                    PIPE@[62; 63) "|"
+                    WHITESPACE@[63; 64) " "
+                    PLACEHOLDER_PAT@[64; 65)
+                      UNDERSCORE@[64; 65) "_"
+                  R_PAREN@[65; 66) ")"
+              WHITESPACE@[66; 67) " "
+              FAT_ARROW@[67; 69) "=>"
+              WHITESPACE@[69; 70) " "
+              TUPLE_EXPR@[70; 72)
+                L_PAREN@[70; 71) "("
+                R_PAREN@[71; 72) ")"
+            COMMA@[72; 73) ","
+            WHITESPACE@[73; 82) "\n        "
+            MATCH_ARM@[82; 96)
+              TUPLE_PAT@[82; 90)
+                L_PAREN@[82; 83) "("
+                OR_PAT@[83; 88)
+                  PLACEHOLDER_PAT@[83; 84)
+                    UNDERSCORE@[83; 84) "_"
+                  WHITESPACE@[84; 85) " "
+                  PIPE@[85; 86) "|"
+                  WHITESPACE@[86; 87) " "
+                  PLACEHOLDER_PAT@[87; 88)
+                    UNDERSCORE@[87; 88) "_"
+                COMMA@[88; 89) ","
+                R_PAREN@[89; 90) ")"
+              WHITESPACE@[90; 91) " "
+              FAT_ARROW@[91; 93) "=>"
+              WHITESPACE@[93; 94) " "
+              TUPLE_EXPR@[94; 96)
+                L_PAREN@[94; 95) "("
+                R_PAREN@[95; 96) ")"
+            COMMA@[96; 97) ","
+            WHITESPACE@[97; 106) "\n        "
+            MATCH_ARM@[106; 120)
+              SLICE_PAT@[106; 114)
+                L_BRACK@[106; 107) "["
+                OR_PAT@[107; 112)
+                  PLACEHOLDER_PAT@[107; 108)
+                    UNDERSCORE@[107; 108) "_"
+                  WHITESPACE@[108; 109) " "
+                  PIPE@[109; 110) "|"
+                  WHITESPACE@[110; 111) " "
+                  PLACEHOLDER_PAT@[111; 112)
+                    UNDERSCORE@[111; 112) "_"
+                COMMA@[112; 113) ","
+                R_BRACK@[113; 114) "]"
+              WHITESPACE@[114; 115) " "
+              FAT_ARROW@[115; 117) "=>"
+              WHITESPACE@[117; 118) " "
+              TUPLE_EXPR@[118; 120)
+                L_PAREN@[118; 119) "("
+                R_PAREN@[119; 120) ")"
+            COMMA@[120; 121) ","
+            WHITESPACE@[121; 126) "\n    "
+            R_CURLY@[126; 127) "}"
+        WHITESPACE@[127; 128) "\n"
+        R_CURLY@[128; 129) "}"
+  WHITESPACE@[129; 130) "\n"
author	bors[bot] <26634292+bors[bot]@users.noreply.github.com>	2020-02-10 20:14:08 +0000
committer	GitHub <[email protected]>	2020-02-10 20:14:08 +0000
commit	f8d6d6f23bfb15021be91031ba983da19f0d3ada (patch)
tree	9c6ab9425ba72c440b2a475d92ed984ccf1aebcc /crates/ra_syntax/test_data/parser
parent	29f5e7eebf606c1929d5a77ad66624cd4f3fcf49 (diff)
parent	49b53cd7a0861cdba65643e3da441eefbe18d6e6 (diff)

diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0030_cond.txt b/crates/ra_syntax/test_data/parser/inline/ok/0030_cond.txt index 4028ca243..6fd49c7bc 100644 --- a/crates/ra_syntax/test_data/parser/inline/ok/0030_cond.txt +++ b/crates/ra_syntax/test_data/parser/inline/ok/0030_cond.txt
@@ -63,27 +63,28 @@ SOURCE_FILE@[0; 197)
63	CONDITION@[56; 84)	63	CONDITION@[56; 84)
64	LET_KW@[56; 59) "let"	64	LET_KW@[56; 59) "let"
65	WHITESPACE@[59; 60) " "	65	WHITESPACE@[59; 60) " "
66	TUPLE_STRUCT_PAT@[60; 67)	66	OR_PAT@[60; 77)
67	PATH@[60; 64)	67	TUPLE_STRUCT_PAT@[60; 67)
68	PATH_SEGMENT@[60; 64)	68	PATH@[60; 64)
69	NAME_REF@[60; 64)	69	PATH_SEGMENT@[60; 64)
70	IDENT@[60; 64) "Some"	70	NAME_REF@[60; 64)
71	L_PAREN@[64; 65) "("	71	IDENT@[60; 64) "Some"
72	PLACEHOLDER_PAT@[65; 66)	72	L_PAREN@[64; 65) "("
73	UNDERSCORE@[65; 66) "_"	73	PLACEHOLDER_PAT@[65; 66)
74	R_PAREN@[66; 67) ")"	74	UNDERSCORE@[65; 66) "_"
75	WHITESPACE@[67; 68) " "	75	R_PAREN@[66; 67) ")"
76	PIPE@[68; 69) "\|"	76	WHITESPACE@[67; 68) " "
77	WHITESPACE@[69; 70) " "	77	PIPE@[68; 69) "\|"
78	TUPLE_STRUCT_PAT@[70; 77)	78	WHITESPACE@[69; 70) " "
79	PATH@[70; 74)	79	TUPLE_STRUCT_PAT@[70; 77)
80	PATH_SEGMENT@[70; 74)	80	PATH@[70; 74)
81	NAME_REF@[70; 74)	81	PATH_SEGMENT@[70; 74)
82	IDENT@[70; 74) "Some"	82	NAME_REF@[70; 74)
83	L_PAREN@[74; 75) "("	83	IDENT@[70; 74) "Some"
84	PLACEHOLDER_PAT@[75; 76)	84	L_PAREN@[74; 75) "("
85	UNDERSCORE@[75; 76) "_"	85	PLACEHOLDER_PAT@[75; 76)
86	R_PAREN@[76; 77) ")"	86	UNDERSCORE@[75; 76) "_"
		87	R_PAREN@[76; 77) ")"
87	WHITESPACE@[77; 78) " "	88	WHITESPACE@[77; 78) " "
88	EQ@[78; 79) "="	89	EQ@[78; 79) "="
89	WHITESPACE@[79; 80) " "	90	WHITESPACE@[79; 80) " "
@@ -137,27 +138,28 @@ SOURCE_FILE@[0; 197)
137	CONDITION@[129; 157)	138	CONDITION@[129; 157)
138	LET_KW@[129; 132) "let"	139	LET_KW@[129; 132) "let"
139	WHITESPACE@[132; 133) " "	140	WHITESPACE@[132; 133) " "
140	TUPLE_STRUCT_PAT@[133; 140)	141	OR_PAT@[133; 150)
141	PATH@[133; 137)	142	TUPLE_STRUCT_PAT@[133; 140)
142	PATH_SEGMENT@[133; 137)	143	PATH@[133; 137)
143	NAME_REF@[133; 137)	144	PATH_SEGMENT@[133; 137)
144	IDENT@[133; 137) "Some"	145	NAME_REF@[133; 137)
145	L_PAREN@[137; 138) "("	146	IDENT@[133; 137) "Some"
146	PLACEHOLDER_PAT@[138; 139)	147	L_PAREN@[137; 138) "("
147	UNDERSCORE@[138; 139) "_"	148	PLACEHOLDER_PAT@[138; 139)
148	R_PAREN@[139; 140) ")"	149	UNDERSCORE@[138; 139) "_"
149	WHITESPACE@[140; 141) " "	150	R_PAREN@[139; 140) ")"
150	PIPE@[141; 142) "\|"	151	WHITESPACE@[140; 141) " "
151	WHITESPACE@[142; 143) " "	152	PIPE@[141; 142) "\|"
152	TUPLE_STRUCT_PAT@[143; 150)	153	WHITESPACE@[142; 143) " "
153	PATH@[143; 147)	154	TUPLE_STRUCT_PAT@[143; 150)
154	PATH_SEGMENT@[143; 147)	155	PATH@[143; 147)
155	NAME_REF@[143; 147)	156	PATH_SEGMENT@[143; 147)
156	IDENT@[143; 147) "Some"	157	NAME_REF@[143; 147)
157	L_PAREN@[147; 148) "("	158	IDENT@[143; 147) "Some"
158	PLACEHOLDER_PAT@[148; 149)	159	L_PAREN@[147; 148) "("
159	UNDERSCORE@[148; 149) "_"	160	PLACEHOLDER_PAT@[148; 149)
160	R_PAREN@[149; 150) ")"	161	UNDERSCORE@[148; 149) "_"
		162	R_PAREN@[149; 150) ")"
161	WHITESPACE@[150; 151) " "	163	WHITESPACE@[150; 151) " "
162	EQ@[151; 152) "="	164	EQ@[151; 152) "="
163	WHITESPACE@[152; 153) " "	165	WHITESPACE@[152; 153) " "


diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0066_match_arm.txt b/crates/ra_syntax/test_data/parser/inline/ok/0066_match_arm.txt index 87272917b..2f07af4e1 100644 --- a/crates/ra_syntax/test_data/parser/inline/ok/0066_match_arm.txt +++ b/crates/ra_syntax/test_data/parser/inline/ok/0066_match_arm.txt
@@ -74,15 +74,16 @@ SOURCE_FILE@[0; 167)
74	COMMA@[83; 84) ","	74	COMMA@[83; 84) ","
75	WHITESPACE@[84; 93) "\n "	75	WHITESPACE@[84; 93) "\n "
76	MATCH_ARM@[93; 109)	76	MATCH_ARM@[93; 109)
77	BIND_PAT@[93; 94)	77	OR_PAT@[93; 98)
78	NAME@[93; 94)	78	BIND_PAT@[93; 94)
79	IDENT@[93; 94) "X"	79	NAME@[93; 94)
80	WHITESPACE@[94; 95) " "	80	IDENT@[93; 94) "X"
81	PIPE@[95; 96) "\|"	81	WHITESPACE@[94; 95) " "
82	WHITESPACE@[96; 97) " "	82	PIPE@[95; 96) "\|"
83	BIND_PAT@[97; 98)	83	WHITESPACE@[96; 97) " "
84	NAME@[97; 98)	84	BIND_PAT@[97; 98)
85	IDENT@[97; 98) "Y"	85	NAME@[97; 98)
		86	IDENT@[97; 98) "Y"
86	WHITESPACE@[98; 99) " "	87	WHITESPACE@[98; 99) " "
87	MATCH_GUARD@[99; 103)	88	MATCH_GUARD@[99; 103)
88	IF_KW@[99; 101) "if"	89	IF_KW@[99; 101) "if"
@@ -103,15 +104,16 @@ SOURCE_FILE@[0; 167)
103	MATCH_ARM@[119; 137)	104	MATCH_ARM@[119; 137)
104	PIPE@[119; 120) "\|"	105	PIPE@[119; 120) "\|"
105	WHITESPACE@[120; 121) " "	106	WHITESPACE@[120; 121) " "
106	BIND_PAT@[121; 122)	107	OR_PAT@[121; 126)
107	NAME@[121; 122)	108	BIND_PAT@[121; 122)
108	IDENT@[121; 122) "X"	109	NAME@[121; 122)
109	WHITESPACE@[122; 123) " "	110	IDENT@[121; 122) "X"
110	PIPE@[123; 124) "\|"	111	WHITESPACE@[122; 123) " "
111	WHITESPACE@[124; 125) " "	112	PIPE@[123; 124) "\|"
112	BIND_PAT@[125; 126)	113	WHITESPACE@[124; 125) " "
113	NAME@[125; 126)	114	BIND_PAT@[125; 126)
114	IDENT@[125; 126) "Y"	115	NAME@[125; 126)
		116	IDENT@[125; 126) "Y"
115	WHITESPACE@[126; 127) " "	117	WHITESPACE@[126; 127) " "
116	MATCH_GUARD@[127; 131)	118	MATCH_GUARD@[127; 131)
117	IF_KW@[127; 129) "if"	119	IF_KW@[127; 129) "if"


diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0111_tuple_pat.rs b/crates/ra_syntax/test_data/parser/inline/ok/0111_tuple_pat.rs index f785acd36..ba719879d 100644 --- a/crates/ra_syntax/test_data/parser/inline/ok/0111_tuple_pat.rs +++ b/crates/ra_syntax/test_data/parser/inline/ok/0111_tuple_pat.rs
@@ -1,3 +1,6 @@
1	fn main() {	1	fn main() {
2	let (a, b, ..) = ();	2	let (a, b, ..) = ();
		3	let (a,) = ();
		4	let (..) = ();
		5	let () = ();
3	}	6	}


diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0111_tuple_pat.txt b/crates/ra_syntax/test_data/parser/inline/ok/0111_tuple_pat.txt index 674dec493..4680c267e 100644 --- a/crates/ra_syntax/test_data/parser/inline/ok/0111_tuple_pat.txt +++ b/crates/ra_syntax/test_data/parser/inline/ok/0111_tuple_pat.txt
@@ -1,5 +1,5 @@
1	SOURCE_FILE@[0; 39)	1	SOURCE_FILE@[0; 94)
2	FN_DEF@[0; 38)	2	FN_DEF@[0; 93)
3	FN_KW@[0; 2) "fn"	3	FN_KW@[0; 2) "fn"
4	WHITESPACE@[2; 3) " "	4	WHITESPACE@[2; 3) " "
5	NAME@[3; 7)	5	NAME@[3; 7)
@@ -8,8 +8,8 @@ SOURCE_FILE@[0; 39)
8	L_PAREN@[7; 8) "("	8	L_PAREN@[7; 8) "("
9	R_PAREN@[8; 9) ")"	9	R_PAREN@[8; 9) ")"
10	WHITESPACE@[9; 10) " "	10	WHITESPACE@[9; 10) " "
11	BLOCK_EXPR@[10; 38)	11	BLOCK_EXPR@[10; 93)
12	BLOCK@[10; 38)	12	BLOCK@[10; 93)
13	L_CURLY@[10; 11) "{"	13	L_CURLY@[10; 11) "{"
14	WHITESPACE@[11; 16) "\n "	14	WHITESPACE@[11; 16) "\n "
15	LET_STMT@[16; 36)	15	LET_STMT@[16; 36)
@@ -37,6 +37,54 @@ SOURCE_FILE@[0; 39)
37	L_PAREN@[33; 34) "("	37	L_PAREN@[33; 34) "("
38	R_PAREN@[34; 35) ")"	38	R_PAREN@[34; 35) ")"
39	SEMI@[35; 36) ";"	39	SEMI@[35; 36) ";"
40	WHITESPACE@[36; 37) "\n"	40	WHITESPACE@[36; 41) "\n "
41	R_CURLY@[37; 38) "}"	41	LET_STMT@[41; 55)
42	WHITESPACE@[38; 39) "\n"	42	LET_KW@[41; 44) "let"
		43	WHITESPACE@[44; 45) " "
		44	TUPLE_PAT@[45; 49)
		45	L_PAREN@[45; 46) "("
		46	BIND_PAT@[46; 47)
		47	NAME@[46; 47)
		48	IDENT@[46; 47) "a"
		49	COMMA@[47; 48) ","
		50	R_PAREN@[48; 49) ")"
		51	WHITESPACE@[49; 50) " "
		52	EQ@[50; 51) "="
		53	WHITESPACE@[51; 52) " "
		54	TUPLE_EXPR@[52; 54)
		55	L_PAREN@[52; 53) "("
		56	R_PAREN@[53; 54) ")"
		57	SEMI@[54; 55) ";"
		58	WHITESPACE@[55; 60) "\n "
		59	LET_STMT@[60; 74)
		60	LET_KW@[60; 63) "let"
		61	WHITESPACE@[63; 64) " "
		62	TUPLE_PAT@[64; 68)
		63	L_PAREN@[64; 65) "("
		64	DOT_DOT_PAT@[65; 67)
		65	DOTDOT@[65; 67) ".."
		66	R_PAREN@[67; 68) ")"
		67	WHITESPACE@[68; 69) " "
		68	EQ@[69; 70) "="
		69	WHITESPACE@[70; 71) " "
		70	TUPLE_EXPR@[71; 73)
		71	L_PAREN@[71; 72) "("
		72	R_PAREN@[72; 73) ")"
		73	SEMI@[73; 74) ";"
		74	WHITESPACE@[74; 79) "\n "
		75	LET_STMT@[79; 91)
		76	LET_KW@[79; 82) "let"
		77	WHITESPACE@[82; 83) " "
		78	TUPLE_PAT@[83; 85)
		79	L_PAREN@[83; 84) "("
		80	R_PAREN@[84; 85) ")"
		81	WHITESPACE@[85; 86) " "
		82	EQ@[86; 87) "="
		83	WHITESPACE@[87; 88) " "
		84	TUPLE_EXPR@[88; 90)
		85	L_PAREN@[88; 89) "("
		86	R_PAREN@[89; 90) ")"
		87	SEMI@[90; 91) ";"
		88	WHITESPACE@[91; 92) "\n"
		89	R_CURLY@[92; 93) "}"
		90	WHITESPACE@[93; 94) "\n"


diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0156_or_pattern.rs b/crates/ra_syntax/test_data/parser/inline/ok/0156_or_pattern.rs new file mode 100644 index 000000000..a26316605 --- /dev/null +++ b/crates/ra_syntax/test_data/parser/inline/ok/0156_or_pattern.rs
@@ -0,0 +1,8 @@
		1	fn main() {
		2	match () {
		3	(_ \| _) => (),
		4	&(_ \| _) => (),
		5	(_ \| _,) => (),
		6	[_ \| _,] => (),
		7	}
		8	}


diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0156_or_pattern.txt b/crates/ra_syntax/test_data/parser/inline/ok/0156_or_pattern.txt new file mode 100644 index 000000000..3a196d3c0 --- /dev/null +++ b/crates/ra_syntax/test_data/parser/inline/ok/0156_or_pattern.txt
@@ -0,0 +1,112 @@
		1	SOURCE_FILE@[0; 130)
		2	FN_DEF@[0; 129)
		3	FN_KW@[0; 2) "fn"
		4	WHITESPACE@[2; 3) " "
		5	NAME@[3; 7)
		6	IDENT@[3; 7) "main"
		7	PARAM_LIST@[7; 9)
		8	L_PAREN@[7; 8) "("
		9	R_PAREN@[8; 9) ")"
		10	WHITESPACE@[9; 10) " "
		11	BLOCK_EXPR@[10; 129)
		12	BLOCK@[10; 129)
		13	L_CURLY@[10; 11) "{"
		14	WHITESPACE@[11; 16) "\n "
		15	MATCH_EXPR@[16; 127)
		16	MATCH_KW@[16; 21) "match"
		17	WHITESPACE@[21; 22) " "
		18	TUPLE_EXPR@[22; 24)
		19	L_PAREN@[22; 23) "("
		20	R_PAREN@[23; 24) ")"
		21	WHITESPACE@[24; 25) " "
		22	MATCH_ARM_LIST@[25; 127)
		23	L_CURLY@[25; 26) "{"
		24	WHITESPACE@[26; 35) "\n "
		25	MATCH_ARM@[35; 48)
		26	PAREN_PAT@[35; 42)
		27	L_PAREN@[35; 36) "("
		28	OR_PAT@[36; 41)
		29	PLACEHOLDER_PAT@[36; 37)
		30	UNDERSCORE@[36; 37) "_"
		31	WHITESPACE@[37; 38) " "
		32	PIPE@[38; 39) "\|"
		33	WHITESPACE@[39; 40) " "
		34	PLACEHOLDER_PAT@[40; 41)
		35	UNDERSCORE@[40; 41) "_"
		36	R_PAREN@[41; 42) ")"
		37	WHITESPACE@[42; 43) " "
		38	FAT_ARROW@[43; 45) "=>"
		39	WHITESPACE@[45; 46) " "
		40	TUPLE_EXPR@[46; 48)
		41	L_PAREN@[46; 47) "("
		42	R_PAREN@[47; 48) ")"
		43	COMMA@[48; 49) ","
		44	WHITESPACE@[49; 58) "\n "
		45	MATCH_ARM@[58; 72)
		46	REF_PAT@[58; 66)
		47	AMP@[58; 59) "&"
		48	PAREN_PAT@[59; 66)
		49	L_PAREN@[59; 60) "("
		50	OR_PAT@[60; 65)
		51	PLACEHOLDER_PAT@[60; 61)
		52	UNDERSCORE@[60; 61) "_"
		53	WHITESPACE@[61; 62) " "
		54	PIPE@[62; 63) "\|"
		55	WHITESPACE@[63; 64) " "
		56	PLACEHOLDER_PAT@[64; 65)
		57	UNDERSCORE@[64; 65) "_"
		58	R_PAREN@[65; 66) ")"
		59	WHITESPACE@[66; 67) " "
		60	FAT_ARROW@[67; 69) "=>"
		61	WHITESPACE@[69; 70) " "
		62	TUPLE_EXPR@[70; 72)
		63	L_PAREN@[70; 71) "("
		64	R_PAREN@[71; 72) ")"
		65	COMMA@[72; 73) ","
		66	WHITESPACE@[73; 82) "\n "
		67	MATCH_ARM@[82; 96)
		68	TUPLE_PAT@[82; 90)
		69	L_PAREN@[82; 83) "("
		70	OR_PAT@[83; 88)
		71	PLACEHOLDER_PAT@[83; 84)
		72	UNDERSCORE@[83; 84) "_"
		73	WHITESPACE@[84; 85) " "
		74	PIPE@[85; 86) "\|"
		75	WHITESPACE@[86; 87) " "
		76	PLACEHOLDER_PAT@[87; 88)
		77	UNDERSCORE@[87; 88) "_"
		78	COMMA@[88; 89) ","
		79	R_PAREN@[89; 90) ")"
		80	WHITESPACE@[90; 91) " "
		81	FAT_ARROW@[91; 93) "=>"
		82	WHITESPACE@[93; 94) " "
		83	TUPLE_EXPR@[94; 96)
		84	L_PAREN@[94; 95) "("
		85	R_PAREN@[95; 96) ")"
		86	COMMA@[96; 97) ","
		87	WHITESPACE@[97; 106) "\n "
		88	MATCH_ARM@[106; 120)
		89	SLICE_PAT@[106; 114)
		90	L_BRACK@[106; 107) "["
		91	OR_PAT@[107; 112)
		92	PLACEHOLDER_PAT@[107; 108)
		93	UNDERSCORE@[107; 108) "_"
		94	WHITESPACE@[108; 109) " "
		95	PIPE@[109; 110) "\|"
		96	WHITESPACE@[110; 111) " "
		97	PLACEHOLDER_PAT@[111; 112)
		98	UNDERSCORE@[111; 112) "_"
		99	COMMA@[112; 113) ","
		100	R_BRACK@[113; 114) "]"
		101	WHITESPACE@[114; 115) " "
		102	FAT_ARROW@[115; 117) "=>"
		103	WHITESPACE@[117; 118) " "
		104	TUPLE_EXPR@[118; 120)
		105	L_PAREN@[118; 119) "("
		106	R_PAREN@[119; 120) ")"
		107	COMMA@[120; 121) ","
		108	WHITESPACE@[121; 126) "\n "
		109	R_CURLY@[126; 127) "}"
		110	WHITESPACE@[127; 128) "\n"
		111	R_CURLY@[128; 129) "}"
		112	WHITESPACE@[129; 130) "\n"