1 files changed, 16 insertions, 12 deletions

diff --git a/crates/ra_syntax/src/grammar/type_params.rs b/crates/ra_syntax/src/grammar/type_params.rs
index f33ec10f5..a7eacf97a 100644
--- a/crates/ra_syntax/src/grammar/type_params.rs
+++ b/crates/ra_syntax/src/grammar/type_params.rs
@@ -105,27 +105,31 @@ pub(super) fn opt_where_clause(p: &mut Parser) {
     let m = p.start();
     p.bump();
 
-    if is_where_clause_end(p) {
-        // Empty where clause
-    } else {
-        loop {
-            where_predicate(p);
+    while is_where_predicate(p) {
+        where_predicate(p);
 
-            let comma = p.eat(COMMA);
+        let comma = p.eat(COMMA);
 
-            if is_where_clause_end(p) {
-                break;
-            }
+        if is_where_clause_end(p) {
+            break;
+        }
 
-            if !comma {
-                p.error("expected comma");
-            }
+        if !comma {
+            p.error("expected comma");
         }
     }
 
     m.complete(p, WHERE_CLAUSE);
 }
 
+fn is_where_predicate(p: &mut Parser) -> bool {
+    match p.current() {
+        LIFETIME => true,
+        IMPL_KW => false,
+        _ => types::is_type_start(p),
+    }
+}
+
 fn is_where_clause_end(p: &mut Parser) -> bool {
     p.current() == L_CURLY || p.current() == SEMI || p.current() == EQ
 }