Separating parsing of `for` in predicates and types

1 files changed, 21 insertions, 1 deletions

diff --git a/crates/ra_parser/src/grammar/type_params.rs b/crates/ra_parser/src/grammar/type_params.rs
index 50e4900c3..b3508c732 100644
--- a/crates/ra_parser/src/grammar/type_params.rs
+++ b/crates/ra_parser/src/grammar/type_params.rs
@@ -191,10 +191,30 @@ fn where_predicate(p: &mut Parser) {
         }
         _ => {
             // test where_pred_for
-            // fn test<F>()
+            // fn for_trait<F>()
             // where
             //    for<'a> F: Fn(&'a str)
             // { }
+            // fn for_ref<F>()
+            // where
+            //    for<'a> &'a F: Debug
+            // { }
+            // fn for_parens<F>()
+            // where
+            //    for<'a> (&'a F): Fn(&'a str)
+            // { }
+            // fn for_slice<F>()
+            // where
+            //    for<'a> [&'a F]: Eq
+            // { }
+            // fn for_qpath<T>(_t: &T)
+            // where
+            //     for<'a> <&'a T as Baz>::Foo: Iterator
+            // { }
+            if p.at(T![for]) {
+                types::for_binder(p);
+            }
+
             types::type_(p);
 
             if p.at(T![:]) {