1 files changed, 126 insertions, 0 deletions
diff --git a/crates/ra_syntax/test_data/parser/ok/0054_qual_path_in_type_arg.rast b/crates/ra_syntax/test_data/parser/ok/0054_qual_path_in_type_arg.rast
new file mode 100644
index 000000000..7e1af254c
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/ok/0054_qual_path_in_type_arg.rast
@@ -0,0 +1,126 @@
+SOURCE_FILE@[0; 88)
+  FN_DEF@[0; 26)
+    FN_KW@[0; 2) "fn"
+    WHITESPACE@[2; 3) " "
+    NAME@[3; 4)
+      IDENT@[3; 4) "a"
+    PARAM_LIST@[4; 6)
+      L_PAREN@[4; 5) "("
+      R_PAREN@[5; 6) ")"
+    WHITESPACE@[6; 7) " "
+    RET_TYPE@[7; 23)
+      THIN_ARROW@[7; 9) "->"
+      WHITESPACE@[9; 10) " "
+      PATH_TYPE@[10; 23)
+        PATH@[10; 23)
+          PATH_SEGMENT@[10; 23)
+            NAME_REF@[10; 13)
+              IDENT@[10; 13) "Foo"
+            TYPE_ARG_LIST@[13; 23)
+              L_ANGLE@[13; 14) "<"
+              TYPE_ARG@[14; 22)
+                PATH_TYPE@[14; 22)
+                  PATH@[14; 22)
+                    PATH@[14; 17)
+                      PATH_SEGMENT@[14; 17)
+                        NAME_REF@[14; 17)
+                          IDENT@[14; 17) "bar"
+                    COLONCOLON@[17; 19) "::"
+                    PATH_SEGMENT@[19; 22)
+                      NAME_REF@[19; 22)
+                        IDENT@[19; 22) "Baz"
+              R_ANGLE@[22; 23) ">"
+    WHITESPACE@[23; 24) " "
+    BLOCK_EXPR@[24; 26)
+      BLOCK@[24; 26)
+        L_CURLY@[24; 25) "{"
+        R_CURLY@[25; 26) "}"
+  WHITESPACE@[26; 28) "\n\n"
+  FN_DEF@[28; 56)
+    FN_KW@[28; 30) "fn"
+    WHITESPACE@[30; 31) " "
+    NAME@[31; 32)
+      IDENT@[31; 32) "b"
+    PARAM_LIST@[32; 53)
+      L_PAREN@[32; 33) "("
+      PARAM@[33; 52)
+        PLACEHOLDER_PAT@[33; 34)
+          UNDERSCORE@[33; 34) "_"
+        COLON@[34; 35) ":"
+        WHITESPACE@[35; 36) " "
+        IMPL_TRAIT_TYPE@[36; 52)
+          IMPL_KW@[36; 40) "impl"
+          WHITESPACE@[40; 41) " "
+          TYPE_BOUND_LIST@[41; 52)
+            TYPE_BOUND@[41; 52)
+              PATH_TYPE@[41; 52)
+                PATH@[41; 52)
+                  PATH_SEGMENT@[41; 52)
+                    NAME_REF@[41; 46)
+                      IDENT@[41; 46) "FnMut"
+                    PARAM_LIST@[46; 52)
+                      L_PAREN@[46; 47) "("
+                      PARAM@[47; 51)
+                        PATH_TYPE@[47; 51)
+                          PATH@[47; 51)
+                            PATH@[47; 48)
+                              PATH_SEGMENT@[47; 48)
+                                NAME_REF@[47; 48)
+                                  IDENT@[47; 48) "x"
+                            COLONCOLON@[48; 50) "::"
+                            PATH_SEGMENT@[50; 51)
+                              NAME_REF@[50; 51)
+                                IDENT@[50; 51) "Y"
+                      R_PAREN@[51; 52) ")"
+      R_PAREN@[52; 53) ")"
+    WHITESPACE@[53; 54) " "
+    BLOCK_EXPR@[54; 56)
+      BLOCK@[54; 56)
+        L_CURLY@[54; 55) "{"
+        R_CURLY@[55; 56) "}"
+  WHITESPACE@[56; 58) "\n\n"
+  FN_DEF@[58; 87)
+    FN_KW@[58; 60) "fn"
+    WHITESPACE@[60; 61) " "
+    NAME@[61; 62)
+      IDENT@[61; 62) "c"
+    PARAM_LIST@[62; 84)
+      L_PAREN@[62; 63) "("
+      PARAM@[63; 83)
+        PLACEHOLDER_PAT@[63; 64)
+          UNDERSCORE@[63; 64) "_"
+        COLON@[64; 65) ":"
+        WHITESPACE@[65; 66) " "
+        IMPL_TRAIT_TYPE@[66; 83)
+          IMPL_KW@[66; 70) "impl"
+          WHITESPACE@[70; 71) " "
+          TYPE_BOUND_LIST@[71; 83)
+            TYPE_BOUND@[71; 83)
+              PATH_TYPE@[71; 83)
+                PATH@[71; 83)
+                  PATH_SEGMENT@[71; 83)
+                    NAME_REF@[71; 76)
+                      IDENT@[71; 76) "FnMut"
+                    PARAM_LIST@[76; 83)
+                      L_PAREN@[76; 77) "("
+                      PARAM@[77; 82)
+                        REFERENCE_TYPE@[77; 82)
+                          AMP@[77; 78) "&"
+                          PATH_TYPE@[78; 82)
+                            PATH@[78; 82)
+                              PATH@[78; 79)
+                                PATH_SEGMENT@[78; 79)
+                                  NAME_REF@[78; 79)
+                                    IDENT@[78; 79) "x"
+                              COLONCOLON@[79; 81) "::"
+                              PATH_SEGMENT@[81; 82)
+                                NAME_REF@[81; 82)
+                                  IDENT@[81; 82) "Y"
+                      R_PAREN@[82; 83) ")"
+      R_PAREN@[83; 84) ")"
+    WHITESPACE@[84; 85) " "
+    BLOCK_EXPR@[85; 87)
+      BLOCK@[85; 87)
+        L_CURLY@[85; 86) "{"
+        R_CURLY@[86; 87) "}"
+  WHITESPACE@[87; 88) "\n"

diff --git a/crates/ra_syntax/test_data/parser/ok/0054_qual_path_in_type_arg.rast b/crates/ra_syntax/test_data/parser/ok/0054_qual_path_in_type_arg.rast new file mode 100644 index 000000000..7e1af254c --- /dev/null +++ b/crates/ra_syntax/test_data/parser/ok/0054_qual_path_in_type_arg.rast
@@ -0,0 +1,126 @@
	1	SOURCE_FILE@[0; 88)
	2	FN_DEF@[0; 26)
	3	FN_KW@[0; 2) "fn"
	4	WHITESPACE@[2; 3) " "
	5	NAME@[3; 4)
	6	IDENT@[3; 4) "a"
	7	PARAM_LIST@[4; 6)
	8	L_PAREN@[4; 5) "("
	9	R_PAREN@[5; 6) ")"
	10	WHITESPACE@[6; 7) " "
	11	RET_TYPE@[7; 23)
	12	THIN_ARROW@[7; 9) "->"
	13	WHITESPACE@[9; 10) " "
	14	PATH_TYPE@[10; 23)
	15	PATH@[10; 23)
	16	PATH_SEGMENT@[10; 23)
	17	NAME_REF@[10; 13)
	18	IDENT@[10; 13) "Foo"
	19	TYPE_ARG_LIST@[13; 23)
	20	L_ANGLE@[13; 14) "<"
	21	TYPE_ARG@[14; 22)
	22	PATH_TYPE@[14; 22)
	23	PATH@[14; 22)
	24	PATH@[14; 17)
	25	PATH_SEGMENT@[14; 17)
	26	NAME_REF@[14; 17)
	27	IDENT@[14; 17) "bar"
	28	COLONCOLON@[17; 19) "::"
	29	PATH_SEGMENT@[19; 22)
	30	NAME_REF@[19; 22)
	31	IDENT@[19; 22) "Baz"
	32	R_ANGLE@[22; 23) ">"
	33	WHITESPACE@[23; 24) " "
	34	BLOCK_EXPR@[24; 26)
	35	BLOCK@[24; 26)
	36	L_CURLY@[24; 25) "{"
	37	R_CURLY@[25; 26) "}"
	38	WHITESPACE@[26; 28) "\n\n"
	39	FN_DEF@[28; 56)
	40	FN_KW@[28; 30) "fn"
	41	WHITESPACE@[30; 31) " "
	42	NAME@[31; 32)
	43	IDENT@[31; 32) "b"
	44	PARAM_LIST@[32; 53)
	45	L_PAREN@[32; 33) "("
	46	PARAM@[33; 52)
	47	PLACEHOLDER_PAT@[33; 34)
	48	UNDERSCORE@[33; 34) "_"
	49	COLON@[34; 35) ":"
	50	WHITESPACE@[35; 36) " "
	51	IMPL_TRAIT_TYPE@[36; 52)
	52	IMPL_KW@[36; 40) "impl"
	53	WHITESPACE@[40; 41) " "
	54	TYPE_BOUND_LIST@[41; 52)
	55	TYPE_BOUND@[41; 52)
	56	PATH_TYPE@[41; 52)
	57	PATH@[41; 52)
	58	PATH_SEGMENT@[41; 52)
	59	NAME_REF@[41; 46)
	60	IDENT@[41; 46) "FnMut"
	61	PARAM_LIST@[46; 52)
	62	L_PAREN@[46; 47) "("
	63	PARAM@[47; 51)
	64	PATH_TYPE@[47; 51)
	65	PATH@[47; 51)
	66	PATH@[47; 48)
	67	PATH_SEGMENT@[47; 48)
	68	NAME_REF@[47; 48)
	69	IDENT@[47; 48) "x"
	70	COLONCOLON@[48; 50) "::"
	71	PATH_SEGMENT@[50; 51)
	72	NAME_REF@[50; 51)
	73	IDENT@[50; 51) "Y"
	74	R_PAREN@[51; 52) ")"
	75	R_PAREN@[52; 53) ")"
	76	WHITESPACE@[53; 54) " "
	77	BLOCK_EXPR@[54; 56)
	78	BLOCK@[54; 56)
	79	L_CURLY@[54; 55) "{"
	80	R_CURLY@[55; 56) "}"
	81	WHITESPACE@[56; 58) "\n\n"
	82	FN_DEF@[58; 87)
	83	FN_KW@[58; 60) "fn"
	84	WHITESPACE@[60; 61) " "
	85	NAME@[61; 62)
	86	IDENT@[61; 62) "c"
	87	PARAM_LIST@[62; 84)
	88	L_PAREN@[62; 63) "("
	89	PARAM@[63; 83)
	90	PLACEHOLDER_PAT@[63; 64)
	91	UNDERSCORE@[63; 64) "_"
	92	COLON@[64; 65) ":"
	93	WHITESPACE@[65; 66) " "
	94	IMPL_TRAIT_TYPE@[66; 83)
	95	IMPL_KW@[66; 70) "impl"
	96	WHITESPACE@[70; 71) " "
	97	TYPE_BOUND_LIST@[71; 83)
	98	TYPE_BOUND@[71; 83)
	99	PATH_TYPE@[71; 83)
	100	PATH@[71; 83)
	101	PATH_SEGMENT@[71; 83)
	102	NAME_REF@[71; 76)
	103	IDENT@[71; 76) "FnMut"
	104	PARAM_LIST@[76; 83)
	105	L_PAREN@[76; 77) "("
	106	PARAM@[77; 82)
	107	REFERENCE_TYPE@[77; 82)
	108	AMP@[77; 78) "&"
	109	PATH_TYPE@[78; 82)
	110	PATH@[78; 82)
	111	PATH@[78; 79)
	112	PATH_SEGMENT@[78; 79)
	113	NAME_REF@[78; 79)
	114	IDENT@[78; 79) "x"
	115	COLONCOLON@[79; 81) "::"
	116	PATH_SEGMENT@[81; 82)
	117	NAME_REF@[81; 82)
	118	IDENT@[81; 82) "Y"
	119	R_PAREN@[82; 83) ")"
	120	R_PAREN@[83; 84) ")"
	121	WHITESPACE@[84; 85) " "
	122	BLOCK_EXPR@[85; 87)
	123	BLOCK@[85; 87)
	124	L_CURLY@[85; 86) "{"
	125	R_CURLY@[86; 87) "}"
	126	WHITESPACE@[87; 88) "\n"