1 files changed, 196 insertions, 0 deletions
diff --git a/crates/ra_syntax/test_data/parser/ok/0063_trait_fn_patterns.txt b/crates/ra_syntax/test_data/parser/ok/0063_trait_fn_patterns.txt
new file mode 100644
index 000000000..eb2e3a503
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/ok/0063_trait_fn_patterns.txt
@@ -0,0 +1,196 @@
+SOURCE_FILE@[0; 170)
+  TRAIT_DEF@[0; 169)
+    TRAIT_KW@[0; 5) "trait"
+    WHITESPACE@[5; 6) " "
+    NAME@[6; 7)
+      IDENT@[6; 7) "T"
+    WHITESPACE@[7; 8) " "
+    ITEM_LIST@[8; 169)
+      L_CURLY@[8; 9) "{"
+      WHITESPACE@[9; 14) "\n    "
+      FN_DEF@[14; 46)
+        FN_KW@[14; 16) "fn"
+        WHITESPACE@[16; 17) " "
+        NAME@[17; 19)
+          IDENT@[17; 19) "f1"
+        PARAM_LIST@[19; 43)
+          L_PAREN@[19; 20) "("
+          PARAM@[20; 42)
+            TUPLE_PAT@[20; 26)
+              L_PAREN@[20; 21) "("
+              BIND_PAT@[21; 22)
+                NAME@[21; 22)
+                  IDENT@[21; 22) "a"
+              COMMA@[22; 23) ","
+              WHITESPACE@[23; 24) " "
+              BIND_PAT@[24; 25)
+                NAME@[24; 25)
+                  IDENT@[24; 25) "b"
+              R_PAREN@[25; 26) ")"
+            COLON@[26; 27) ":"
+            WHITESPACE@[27; 28) " "
+            TUPLE_TYPE@[28; 42)
+              L_PAREN@[28; 29) "("
+              PATH_TYPE@[29; 34)
+                PATH@[29; 34)
+                  PATH_SEGMENT@[29; 34)
+                    NAME_REF@[29; 34)
+                      IDENT@[29; 34) "usize"
+              COMMA@[34; 35) ","
+              WHITESPACE@[35; 36) " "
+              PATH_TYPE@[36; 41)
+                PATH@[36; 41)
+                  PATH_SEGMENT@[36; 41)
+                    NAME_REF@[36; 41)
+                      IDENT@[36; 41) "usize"
+              R_PAREN@[41; 42) ")"
+          R_PAREN@[42; 43) ")"
+        WHITESPACE@[43; 44) " "
+        BLOCK_EXPR@[44; 46)
+          BLOCK@[44; 46)
+            L_CURLY@[44; 45) "{"
+            R_CURLY@[45; 46) "}"
+      WHITESPACE@[46; 51) "\n    "
+      FN_DEF@[51; 74)
+        FN_KW@[51; 53) "fn"
+        WHITESPACE@[53; 54) " "
+        NAME@[54; 56)
+          IDENT@[54; 56) "f2"
+        PARAM_LIST@[56; 71)
+          L_PAREN@[56; 57) "("
+          PARAM@[57; 70)
+            RECORD_PAT@[57; 67)
+              PATH@[57; 58)
+                PATH_SEGMENT@[57; 58)
+                  NAME_REF@[57; 58)
+                    IDENT@[57; 58) "S"
+              WHITESPACE@[58; 59) " "
+              RECORD_FIELD_PAT_LIST@[59; 67)
+                L_CURLY@[59; 60) "{"
+                WHITESPACE@[60; 61) " "
+                BIND_PAT@[61; 62)
+                  NAME@[61; 62)
+                    IDENT@[61; 62) "a"
+                COMMA@[62; 63) ","
+                WHITESPACE@[63; 64) " "
+                BIND_PAT@[64; 65)
+                  NAME@[64; 65)
+                    IDENT@[64; 65) "b"
+                WHITESPACE@[65; 66) " "
+                R_CURLY@[66; 67) "}"
+            COLON@[67; 68) ":"
+            WHITESPACE@[68; 69) " "
+            PATH_TYPE@[69; 70)
+              PATH@[69; 70)
+                PATH_SEGMENT@[69; 70)
+                  NAME_REF@[69; 70)
+                    IDENT@[69; 70) "S"
+          R_PAREN@[70; 71) ")"
+        WHITESPACE@[71; 72) " "
+        BLOCK_EXPR@[72; 74)
+          BLOCK@[72; 74)
+            L_CURLY@[72; 73) "{"
+            R_CURLY@[73; 74) "}"
+      WHITESPACE@[74; 79) "\n    "
+      FN_DEF@[79; 108)
+        FN_KW@[79; 81) "fn"
+        WHITESPACE@[81; 82) " "
+        NAME@[82; 84)
+          IDENT@[82; 84) "f3"
+        PARAM_LIST@[84; 105)
+          L_PAREN@[84; 85) "("
+          PARAM@[85; 104)
+            TUPLE_STRUCT_PAT@[85; 95)
+              PATH@[85; 92)
+                PATH_SEGMENT@[85; 92)
+                  NAME_REF@[85; 92)
+                    IDENT@[85; 92) "NewType"
+              L_PAREN@[92; 93) "("
+              BIND_PAT@[93; 94)
+                NAME@[93; 94)
+                  IDENT@[93; 94) "a"
+              R_PAREN@[94; 95) ")"
+            COLON@[95; 96) ":"
+            WHITESPACE@[96; 97) " "
+            PATH_TYPE@[97; 104)
+              PATH@[97; 104)
+                PATH_SEGMENT@[97; 104)
+                  NAME_REF@[97; 104)
+                    IDENT@[97; 104) "NewType"
+          R_PAREN@[104; 105) ")"
+        WHITESPACE@[105; 106) " "
+        BLOCK_EXPR@[106; 108)
+          BLOCK@[106; 108)
+            L_CURLY@[106; 107) "{"
+            R_CURLY@[107; 108) "}"
+      WHITESPACE@[108; 113) "\n    "
+      FN_DEF@[113; 135)
+        FN_KW@[113; 115) "fn"
+        WHITESPACE@[115; 116) " "
+        NAME@[116; 118)
+          IDENT@[116; 118) "f4"
+        PARAM_LIST@[118; 132)
+          L_PAREN@[118; 119) "("
+          PARAM@[119; 131)
+            REF_PAT@[119; 122)
+              AMP@[119; 120) "&"
+              REF_PAT@[120; 122)
+                AMP@[120; 121) "&"
+                BIND_PAT@[121; 122)
+                  NAME@[121; 122)
+                    IDENT@[121; 122) "a"
+            COLON@[122; 123) ":"
+            WHITESPACE@[123; 124) " "
+            REFERENCE_TYPE@[124; 131)
+              AMP@[124; 125) "&"
+              REFERENCE_TYPE@[125; 131)
+                AMP@[125; 126) "&"
+                PATH_TYPE@[126; 131)
+                  PATH@[126; 131)
+                    PATH_SEGMENT@[126; 131)
+                      NAME_REF@[126; 131)
+                        IDENT@[126; 131) "usize"
+          R_PAREN@[131; 132) ")"
+        WHITESPACE@[132; 133) " "
+        BLOCK_EXPR@[133; 135)
+          BLOCK@[133; 135)
+            L_CURLY@[133; 134) "{"
+            R_CURLY@[134; 135) "}"
+      WHITESPACE@[135; 140) "\n    "
+      FN_DEF@[140; 167)
+        FN_KW@[140; 142) "fn"
+        WHITESPACE@[142; 143) " "
+        NAME@[143; 146)
+          IDENT@[143; 146) "bar"
+        PARAM_LIST@[146; 166)
+          L_PAREN@[146; 147) "("
+          PARAM@[147; 153)
+            PLACEHOLDER_PAT@[147; 148)
+              UNDERSCORE@[147; 148) "_"
+            COLON@[148; 149) ":"
+            WHITESPACE@[149; 150) " "
+            PATH_TYPE@[150; 153)
+              PATH@[150; 153)
+                PATH_SEGMENT@[150; 153)
+                  NAME_REF@[150; 153)
+                    IDENT@[150; 153) "u64"
+          COMMA@[153; 154) ","
+          WHITESPACE@[154; 155) " "
+          PARAM@[155; 165)
+            BIND_PAT@[155; 160)
+              MUT_KW@[155; 158) "mut"
+              WHITESPACE@[158; 159) " "
+              NAME@[159; 160)
+                IDENT@[159; 160) "x"
+            COLON@[160; 161) ":"
+            WHITESPACE@[161; 162) " "
+            PATH_TYPE@[162; 165)
+              PATH@[162; 165)
+                PATH_SEGMENT@[162; 165)
+                  NAME_REF@[162; 165)
+                    IDENT@[162; 165) "i32"
+          R_PAREN@[165; 166) ")"
+        SEMI@[166; 167) ";"
+      WHITESPACE@[167; 168) "\n"
+      R_CURLY@[168; 169) "}"
+  WHITESPACE@[169; 170) "\n"

diff --git a/crates/ra_syntax/test_data/parser/ok/0063_trait_fn_patterns.txt b/crates/ra_syntax/test_data/parser/ok/0063_trait_fn_patterns.txt new file mode 100644 index 000000000..eb2e3a503 --- /dev/null +++ b/crates/ra_syntax/test_data/parser/ok/0063_trait_fn_patterns.txt
@@ -0,0 +1,196 @@
	1	SOURCE_FILE@[0; 170)
	2	TRAIT_DEF@[0; 169)
	3	TRAIT_KW@[0; 5) "trait"
	4	WHITESPACE@[5; 6) " "
	5	NAME@[6; 7)
	6	IDENT@[6; 7) "T"
	7	WHITESPACE@[7; 8) " "
	8	ITEM_LIST@[8; 169)
	9	L_CURLY@[8; 9) "{"
	10	WHITESPACE@[9; 14) "\n "
	11	FN_DEF@[14; 46)
	12	FN_KW@[14; 16) "fn"
	13	WHITESPACE@[16; 17) " "
	14	NAME@[17; 19)
	15	IDENT@[17; 19) "f1"
	16	PARAM_LIST@[19; 43)
	17	L_PAREN@[19; 20) "("
	18	PARAM@[20; 42)
	19	TUPLE_PAT@[20; 26)
	20	L_PAREN@[20; 21) "("
	21	BIND_PAT@[21; 22)
	22	NAME@[21; 22)
	23	IDENT@[21; 22) "a"
	24	COMMA@[22; 23) ","
	25	WHITESPACE@[23; 24) " "
	26	BIND_PAT@[24; 25)
	27	NAME@[24; 25)
	28	IDENT@[24; 25) "b"
	29	R_PAREN@[25; 26) ")"
	30	COLON@[26; 27) ":"
	31	WHITESPACE@[27; 28) " "
	32	TUPLE_TYPE@[28; 42)
	33	L_PAREN@[28; 29) "("
	34	PATH_TYPE@[29; 34)
	35	PATH@[29; 34)
	36	PATH_SEGMENT@[29; 34)
	37	NAME_REF@[29; 34)
	38	IDENT@[29; 34) "usize"
	39	COMMA@[34; 35) ","
	40	WHITESPACE@[35; 36) " "
	41	PATH_TYPE@[36; 41)
	42	PATH@[36; 41)
	43	PATH_SEGMENT@[36; 41)
	44	NAME_REF@[36; 41)
	45	IDENT@[36; 41) "usize"
	46	R_PAREN@[41; 42) ")"
	47	R_PAREN@[42; 43) ")"
	48	WHITESPACE@[43; 44) " "
	49	BLOCK_EXPR@[44; 46)
	50	BLOCK@[44; 46)
	51	L_CURLY@[44; 45) "{"
	52	R_CURLY@[45; 46) "}"
	53	WHITESPACE@[46; 51) "\n "
	54	FN_DEF@[51; 74)
	55	FN_KW@[51; 53) "fn"
	56	WHITESPACE@[53; 54) " "
	57	NAME@[54; 56)
	58	IDENT@[54; 56) "f2"
	59	PARAM_LIST@[56; 71)
	60	L_PAREN@[56; 57) "("
	61	PARAM@[57; 70)
	62	RECORD_PAT@[57; 67)
	63	PATH@[57; 58)
	64	PATH_SEGMENT@[57; 58)
	65	NAME_REF@[57; 58)
	66	IDENT@[57; 58) "S"
	67	WHITESPACE@[58; 59) " "
	68	RECORD_FIELD_PAT_LIST@[59; 67)
	69	L_CURLY@[59; 60) "{"
	70	WHITESPACE@[60; 61) " "
	71	BIND_PAT@[61; 62)
	72	NAME@[61; 62)
	73	IDENT@[61; 62) "a"
	74	COMMA@[62; 63) ","
	75	WHITESPACE@[63; 64) " "
	76	BIND_PAT@[64; 65)
	77	NAME@[64; 65)
	78	IDENT@[64; 65) "b"
	79	WHITESPACE@[65; 66) " "
	80	R_CURLY@[66; 67) "}"
	81	COLON@[67; 68) ":"
	82	WHITESPACE@[68; 69) " "
	83	PATH_TYPE@[69; 70)
	84	PATH@[69; 70)
	85	PATH_SEGMENT@[69; 70)
	86	NAME_REF@[69; 70)
	87	IDENT@[69; 70) "S"
	88	R_PAREN@[70; 71) ")"
	89	WHITESPACE@[71; 72) " "
	90	BLOCK_EXPR@[72; 74)
	91	BLOCK@[72; 74)
	92	L_CURLY@[72; 73) "{"
	93	R_CURLY@[73; 74) "}"
	94	WHITESPACE@[74; 79) "\n "
	95	FN_DEF@[79; 108)
	96	FN_KW@[79; 81) "fn"
	97	WHITESPACE@[81; 82) " "
	98	NAME@[82; 84)
	99	IDENT@[82; 84) "f3"
	100	PARAM_LIST@[84; 105)
	101	L_PAREN@[84; 85) "("
	102	PARAM@[85; 104)
	103	TUPLE_STRUCT_PAT@[85; 95)
	104	PATH@[85; 92)
	105	PATH_SEGMENT@[85; 92)
	106	NAME_REF@[85; 92)
	107	IDENT@[85; 92) "NewType"
	108	L_PAREN@[92; 93) "("
	109	BIND_PAT@[93; 94)
	110	NAME@[93; 94)
	111	IDENT@[93; 94) "a"
	112	R_PAREN@[94; 95) ")"
	113	COLON@[95; 96) ":"
	114	WHITESPACE@[96; 97) " "
	115	PATH_TYPE@[97; 104)
	116	PATH@[97; 104)
	117	PATH_SEGMENT@[97; 104)
	118	NAME_REF@[97; 104)
	119	IDENT@[97; 104) "NewType"
	120	R_PAREN@[104; 105) ")"
	121	WHITESPACE@[105; 106) " "
	122	BLOCK_EXPR@[106; 108)
	123	BLOCK@[106; 108)
	124	L_CURLY@[106; 107) "{"
	125	R_CURLY@[107; 108) "}"
	126	WHITESPACE@[108; 113) "\n "
	127	FN_DEF@[113; 135)
	128	FN_KW@[113; 115) "fn"
	129	WHITESPACE@[115; 116) " "
	130	NAME@[116; 118)
	131	IDENT@[116; 118) "f4"
	132	PARAM_LIST@[118; 132)
	133	L_PAREN@[118; 119) "("
	134	PARAM@[119; 131)
	135	REF_PAT@[119; 122)
	136	AMP@[119; 120) "&"
	137	REF_PAT@[120; 122)
	138	AMP@[120; 121) "&"
	139	BIND_PAT@[121; 122)
	140	NAME@[121; 122)
	141	IDENT@[121; 122) "a"
	142	COLON@[122; 123) ":"
	143	WHITESPACE@[123; 124) " "
	144	REFERENCE_TYPE@[124; 131)
	145	AMP@[124; 125) "&"
	146	REFERENCE_TYPE@[125; 131)
	147	AMP@[125; 126) "&"
	148	PATH_TYPE@[126; 131)
	149	PATH@[126; 131)
	150	PATH_SEGMENT@[126; 131)
	151	NAME_REF@[126; 131)
	152	IDENT@[126; 131) "usize"
	153	R_PAREN@[131; 132) ")"
	154	WHITESPACE@[132; 133) " "
	155	BLOCK_EXPR@[133; 135)
	156	BLOCK@[133; 135)
	157	L_CURLY@[133; 134) "{"
	158	R_CURLY@[134; 135) "}"
	159	WHITESPACE@[135; 140) "\n "
	160	FN_DEF@[140; 167)
	161	FN_KW@[140; 142) "fn"
	162	WHITESPACE@[142; 143) " "
	163	NAME@[143; 146)
	164	IDENT@[143; 146) "bar"
	165	PARAM_LIST@[146; 166)
	166	L_PAREN@[146; 147) "("
	167	PARAM@[147; 153)
	168	PLACEHOLDER_PAT@[147; 148)
	169	UNDERSCORE@[147; 148) "_"
	170	COLON@[148; 149) ":"
	171	WHITESPACE@[149; 150) " "
	172	PATH_TYPE@[150; 153)
	173	PATH@[150; 153)
	174	PATH_SEGMENT@[150; 153)
	175	NAME_REF@[150; 153)
	176	IDENT@[150; 153) "u64"
	177	COMMA@[153; 154) ","
	178	WHITESPACE@[154; 155) " "
	179	PARAM@[155; 165)
	180	BIND_PAT@[155; 160)
	181	MUT_KW@[155; 158) "mut"
	182	WHITESPACE@[158; 159) " "
	183	NAME@[159; 160)
	184	IDENT@[159; 160) "x"
	185	COLON@[160; 161) ":"
	186	WHITESPACE@[161; 162) " "
	187	PATH_TYPE@[162; 165)
	188	PATH@[162; 165)
	189	PATH_SEGMENT@[162; 165)
	190	NAME_REF@[162; 165)
	191	IDENT@[162; 165) "i32"
	192	R_PAREN@[165; 166) ")"
	193	SEMI@[166; 167) ";"
	194	WHITESPACE@[167; 168) "\n"
	195	R_CURLY@[168; 169) "}"
	196	WHITESPACE@[169; 170) "\n"