4 files changed, 63 insertions, 20 deletions
diff --git a/crates/ra_syntax/tests/data/parser/err/0027_incomplere_where_for.txt b/crates/ra_syntax/tests/data/parser/err/0027_incomplere_where_for.txt
index 694295a60..8a2a73b9b 100644
--- a/crates/ra_syntax/tests/data/parser/err/0027_incomplere_where_for.txt
+++ b/crates/ra_syntax/tests/data/parser/err/0027_incomplere_where_for.txt
@@ -12,14 +12,15 @@ SOURCE_FILE@[0; 30)
      WHERE_KW@[13; 18)
      WHITESPACE@[18; 19)
      WHERE_PRED@[19; 26)
-        FOR_KW@[19; 22)
+        FOR_TYPE@[19; 26)
-        TYPE_PARAM_LIST@[22; 26)
+          FOR_KW@[19; 22)
-          L_ANGLE@[22; 23)
+          TYPE_PARAM_LIST@[22; 26)
-          LIFETIME_PARAM@[23; 25)
+            L_ANGLE@[22; 23)
-            LIFETIME@[23; 25) "'a"
+            LIFETIME_PARAM@[23; 25)
-          R_ANGLE@[25; 26)
+              LIFETIME@[23; 25) "'a"
-          err: `expected a type`
+            R_ANGLE@[25; 26)
-          err: `expected colon`
+            err: `expected a path`
+            err: `expected colon`
    WHITESPACE@[26; 27)
    BLOCK@[27; 29)
      L_CURLY@[27; 28)
diff --git a/crates/ra_syntax/tests/data/parser/inline/ok/0003_where_pred_for.txt b/crates/ra_syntax/tests/data/parser/inline/ok/0003_where_pred_for.txt
index 921bdacf4..41420ea92 100644
--- a/crates/ra_syntax/tests/data/parser/inline/ok/0003_where_pred_for.txt
+++ b/crates/ra_syntax/tests/data/parser/inline/ok/0003_where_pred_for.txt
@@ -18,18 +18,19 @@ SOURCE_FILE@[0; 49)
      WHERE_KW@[13; 18)
      WHITESPACE@[18; 22)
      WHERE_PRED@[22; 44)
-        FOR_KW@[22; 25)
+        FOR_TYPE@[22; 31)
-        TYPE_PARAM_LIST@[25; 29)
+          FOR_KW@[22; 25)
-          L_ANGLE@[25; 26)
+          TYPE_PARAM_LIST@[25; 29)
-          LIFETIME_PARAM@[26; 28)
+            L_ANGLE@[25; 26)
-            LIFETIME@[26; 28) "'a"
+            LIFETIME_PARAM@[26; 28)
-          R_ANGLE@[28; 29)
+              LIFETIME@[26; 28) "'a"
-        WHITESPACE@[29; 30)
+            R_ANGLE@[28; 29)
-        PATH_TYPE@[30; 31)
+          WHITESPACE@[29; 30)
-          PATH@[30; 31)
+          PATH_TYPE@[30; 31)
-            PATH_SEGMENT@[30; 31)
+            PATH@[30; 31)
-              NAME_REF@[30; 31)
+              PATH_SEGMENT@[30; 31)
-                IDENT@[30; 31) "F"
+                NAME_REF@[30; 31)
+                  IDENT@[30; 31) "F"
        COLON@[31; 32)
        WHITESPACE@[32; 33)
        PATH_TYPE@[33; 44)
diff --git a/crates/ra_syntax/tests/data/parser/ok/0038_where_pred_type.rs b/crates/ra_syntax/tests/data/parser/ok/0038_where_pred_type.rs
new file mode 100644
index 000000000..8bfc341a5
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/ok/0038_where_pred_type.rs
@@ -0,0 +1 @@
+fn test() where (u64, u64): Foo {}
+\ No newline at end of file
diff --git a/crates/ra_syntax/tests/data/parser/ok/0038_where_pred_type.txt b/crates/ra_syntax/tests/data/parser/ok/0038_where_pred_type.txt
new file mode 100644
index 000000000..4842e9b90
--- /dev/null
+++ b/crates/ra_syntax/tests/data/parser/ok/0038_where_pred_type.txt
@@ -0,0 +1,40 @@
+SOURCE_FILE@[0; 34)
+  FN_DEF@[0; 34)
+    FN_KW@[0; 2)
+    WHITESPACE@[2; 3)
+    NAME@[3; 7)
+      IDENT@[3; 7) "test"
+    PARAM_LIST@[7; 9)
+      L_PAREN@[7; 8)
+      R_PAREN@[8; 9)
+    WHITESPACE@[9; 10)
+    WHERE_CLAUSE@[10; 31)
+      WHERE_KW@[10; 15)
+      WHITESPACE@[15; 16)
+      WHERE_PRED@[16; 31)
+        TUPLE_TYPE@[16; 26)
+          L_PAREN@[16; 17)
+          PATH_TYPE@[17; 20)
+            PATH@[17; 20)
+              PATH_SEGMENT@[17; 20)
+                NAME_REF@[17; 20)
+                  IDENT@[17; 20) "u64"
+          COMMA@[20; 21)
+          WHITESPACE@[21; 22)
+          PATH_TYPE@[22; 25)
+            PATH@[22; 25)
+              PATH_SEGMENT@[22; 25)
+                NAME_REF@[22; 25)
+                  IDENT@[22; 25) "u64"
+          R_PAREN@[25; 26)
+        COLON@[26; 27)
+        WHITESPACE@[27; 28)
+        PATH_TYPE@[28; 31)
+          PATH@[28; 31)
+            PATH_SEGMENT@[28; 31)
+              NAME_REF@[28; 31)
+                IDENT@[28; 31) "Foo"
+    WHITESPACE@[31; 32)
+    BLOCK@[32; 34)
+      L_CURLY@[32; 33)
+      R_CURLY@[33; 34)

diff --git a/crates/ra_syntax/tests/data/parser/err/0027_incomplere_where_for.txt b/crates/ra_syntax/tests/data/parser/err/0027_incomplere_where_for.txt index 694295a60..8a2a73b9b 100644 --- a/crates/ra_syntax/tests/data/parser/err/0027_incomplere_where_for.txt +++ b/crates/ra_syntax/tests/data/parser/err/0027_incomplere_where_for.txt
@@ -12,14 +12,15 @@ SOURCE_FILE@[0; 30)
12	WHERE_KW@[13; 18)	12	WHERE_KW@[13; 18)
13	WHITESPACE@[18; 19)	13	WHITESPACE@[18; 19)
14	WHERE_PRED@[19; 26)	14	WHERE_PRED@[19; 26)
15	FOR_KW@[19; 22)	15	FOR_TYPE@[19; 26)
16	TYPE_PARAM_LIST@[22; 26)	16	FOR_KW@[19; 22)
17	L_ANGLE@[22; 23)	17	TYPE_PARAM_LIST@[22; 26)
18	LIFETIME_PARAM@[23; 25)	18	L_ANGLE@[22; 23)
19	LIFETIME@[23; 25) "'a"	19	LIFETIME_PARAM@[23; 25)
20	R_ANGLE@[25; 26)	20	LIFETIME@[23; 25) "'a"
21	err: `expected a type`	21	R_ANGLE@[25; 26)
22	err: `expected colon`	22	err: `expected a path`
		23	err: `expected colon`
23	WHITESPACE@[26; 27)	24	WHITESPACE@[26; 27)
24	BLOCK@[27; 29)	25	BLOCK@[27; 29)
25	L_CURLY@[27; 28)	26	L_CURLY@[27; 28)


diff --git a/crates/ra_syntax/tests/data/parser/inline/ok/0003_where_pred_for.txt b/crates/ra_syntax/tests/data/parser/inline/ok/0003_where_pred_for.txt index 921bdacf4..41420ea92 100644 --- a/crates/ra_syntax/tests/data/parser/inline/ok/0003_where_pred_for.txt +++ b/crates/ra_syntax/tests/data/parser/inline/ok/0003_where_pred_for.txt
@@ -18,18 +18,19 @@ SOURCE_FILE@[0; 49)
18	WHERE_KW@[13; 18)	18	WHERE_KW@[13; 18)
19	WHITESPACE@[18; 22)	19	WHITESPACE@[18; 22)
20	WHERE_PRED@[22; 44)	20	WHERE_PRED@[22; 44)
21	FOR_KW@[22; 25)	21	FOR_TYPE@[22; 31)
22	TYPE_PARAM_LIST@[25; 29)	22	FOR_KW@[22; 25)
23	L_ANGLE@[25; 26)	23	TYPE_PARAM_LIST@[25; 29)
24	LIFETIME_PARAM@[26; 28)	24	L_ANGLE@[25; 26)
25	LIFETIME@[26; 28) "'a"	25	LIFETIME_PARAM@[26; 28)
26	R_ANGLE@[28; 29)	26	LIFETIME@[26; 28) "'a"
27	WHITESPACE@[29; 30)	27	R_ANGLE@[28; 29)
28	PATH_TYPE@[30; 31)	28	WHITESPACE@[29; 30)
29	PATH@[30; 31)	29	PATH_TYPE@[30; 31)
30	PATH_SEGMENT@[30; 31)	30	PATH@[30; 31)
31	NAME_REF@[30; 31)	31	PATH_SEGMENT@[30; 31)
32	IDENT@[30; 31) "F"	32	NAME_REF@[30; 31)
		33	IDENT@[30; 31) "F"
33	COLON@[31; 32)	34	COLON@[31; 32)
34	WHITESPACE@[32; 33)	35	WHITESPACE@[32; 33)
35	PATH_TYPE@[33; 44)	36	PATH_TYPE@[33; 44)


diff --git a/crates/ra_syntax/tests/data/parser/ok/0038_where_pred_type.rs b/crates/ra_syntax/tests/data/parser/ok/0038_where_pred_type.rs new file mode 100644 index 000000000..8bfc341a5 --- /dev/null +++ b/crates/ra_syntax/tests/data/parser/ok/0038_where_pred_type.rs
@@ -0,0 +1 @@
			fn test() where (u64, u64): Foo {} \ No newline at end of file


diff --git a/crates/ra_syntax/tests/data/parser/ok/0038_where_pred_type.txt b/crates/ra_syntax/tests/data/parser/ok/0038_where_pred_type.txt new file mode 100644 index 000000000..4842e9b90 --- /dev/null +++ b/crates/ra_syntax/tests/data/parser/ok/0038_where_pred_type.txt
@@ -0,0 +1,40 @@
		1	SOURCE_FILE@[0; 34)
		2	FN_DEF@[0; 34)
		3	FN_KW@[0; 2)
		4	WHITESPACE@[2; 3)
		5	NAME@[3; 7)
		6	IDENT@[3; 7) "test"
		7	PARAM_LIST@[7; 9)
		8	L_PAREN@[7; 8)
		9	R_PAREN@[8; 9)
		10	WHITESPACE@[9; 10)
		11	WHERE_CLAUSE@[10; 31)
		12	WHERE_KW@[10; 15)
		13	WHITESPACE@[15; 16)
		14	WHERE_PRED@[16; 31)
		15	TUPLE_TYPE@[16; 26)
		16	L_PAREN@[16; 17)
		17	PATH_TYPE@[17; 20)
		18	PATH@[17; 20)
		19	PATH_SEGMENT@[17; 20)
		20	NAME_REF@[17; 20)
		21	IDENT@[17; 20) "u64"
		22	COMMA@[20; 21)
		23	WHITESPACE@[21; 22)
		24	PATH_TYPE@[22; 25)
		25	PATH@[22; 25)
		26	PATH_SEGMENT@[22; 25)
		27	NAME_REF@[22; 25)
		28	IDENT@[22; 25) "u64"
		29	R_PAREN@[25; 26)
		30	COLON@[26; 27)
		31	WHITESPACE@[27; 28)
		32	PATH_TYPE@[28; 31)
		33	PATH@[28; 31)
		34	PATH_SEGMENT@[28; 31)
		35	NAME_REF@[28; 31)
		36	IDENT@[28; 31) "Foo"
		37	WHITESPACE@[31; 32)
		38	BLOCK@[32; 34)
		39	L_CURLY@[32; 33)
		40	R_CURLY@[33; 34)