From 23fdc562bf06bd001ec728d63a8f5b945bd96700 Mon Sep 17 00:00:00 2001
From: Ville Penttinen <villem.penttinen@gmail.com>
Date: Sat, 30 Mar 2019 17:11:21 +0200
Subject: Add new TYPE_BOUND_LIST and TYPE_BOUND syntax kinds

These are now used when parsing type bounds. In addition parsing paths inside a
bound now does not recursively parse paths, rather they are treated as separate
bounds, separated by +.
---
 crates/ra_parser/src/grammar/items/traits.rs |  1 +
 crates/ra_parser/src/grammar/type_params.rs  | 11 +++++++++--
 2 files changed, 10 insertions(+), 2 deletions(-)

(limited to 'crates/ra_parser/src/grammar')

diff --git a/crates/ra_parser/src/grammar/items/traits.rs b/crates/ra_parser/src/grammar/items/traits.rs
index f49615f6b..d03a6be0d 100644
--- a/crates/ra_parser/src/grammar/items/traits.rs
+++ b/crates/ra_parser/src/grammar/items/traits.rs
@@ -2,6 +2,7 @@ use super::*;
 
 // test trait_item
 // trait T<U>: Hash + Clone where U: Copy {}
+// trait X<U: Debug + Display>: Hash + Clone where U: Copy {}
 pub(super) fn trait_def(p: &mut Parser) {
     assert!(p.at(TRAIT_KW));
     p.bump();
diff --git a/crates/ra_parser/src/grammar/type_params.rs b/crates/ra_parser/src/grammar/type_params.rs
index 40f998682..e28c124cd 100644
--- a/crates/ra_parser/src/grammar/type_params.rs
+++ b/crates/ra_parser/src/grammar/type_params.rs
@@ -80,22 +80,29 @@ fn lifetime_bounds(p: &mut Parser) {
 }
 
 pub(super) fn bounds_without_colon(p: &mut Parser) {
+    let outer = p.start();
     loop {
+        let inner = p.start();
         let has_paren = p.eat(L_PAREN);
         p.eat(QUESTION);
         match p.current() {
             LIFETIME => p.bump(),
             FOR_KW => types::for_type(p),
-            _ if paths::is_path_start(p) => types::path_type(p),
-            _ => break,
+            _ if paths::is_path_start(p) => types::path_type_(p, false),
+            _ => {
+                inner.abandon(p);
+                break;
+            }
         }
         if has_paren {
             p.expect(R_PAREN);
         }
+        inner.complete(p, TYPE_BOUND);
         if !p.eat(PLUS) {
             break;
         }
     }
+    outer.complete(p, TYPE_BOUND_LIST);
 }
 
 // test where_clause
-- 
cgit v1.2.3