Merge #1077

1077: Improve parsing of type bounds r=matklad a=vipentti

This adds 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 +.

Basically now the generic params `struct S<T: 'a + ?Sized + (Copy)>;` in will be parsed as 

```
TYPE_PARAM_LIST@[8; 33)
  L_ANGLE@[8; 9)
  TYPE_PARAM@[9; 32)
    NAME@[9; 10)
      IDENT@[9; 10) "T"
    COLON@[10; 11)
    WHITESPACE@[11; 12)
    TYPE_BOUND_LIST@[12; 32)
      TYPE_BOUND@[12; 14)
        LIFETIME@[12; 14) "'a"
      WHITESPACE@[14; 15)
      PLUS@[15; 16)
      WHITESPACE@[16; 17)
      TYPE_BOUND@[17; 23)
        QUESTION@[17; 18)
        PATH_TYPE@[18; 23)
          PATH@[18; 23)
            PATH_SEGMENT@[18; 23)
              NAME_REF@[18; 23)
                IDENT@[18; 23) "Sized"
      WHITESPACE@[23; 24)
      PLUS@[24; 25)
      WHITESPACE@[25; 26)
      TYPE_BOUND@[26; 32)
        L_PAREN@[26; 27)
        PATH_TYPE@[27; 31)
          PATH@[27; 31)
            PATH_SEGMENT@[27; 31)
              NAME_REF@[27; 31)
                IDENT@[27; 31) "Copy"
        R_PAREN@[31; 32)
  R_ANGLE@[32; 33)
```

Previously it was parsed, with the paths nested:

```
TYPE_PARAM_LIST@[8; 33)
  L_ANGLE@[8; 9)
  TYPE_PARAM@[9; 32)
    NAME@[9; 10)
      IDENT@[9; 10) "T"
    COLON@[10; 11)
    WHITESPACE@[11; 12)
    LIFETIME@[12; 14) "'a"
    WHITESPACE@[14; 15)
    PLUS@[15; 16)
    WHITESPACE@[16; 17)
    QUESTION@[17; 18)
    PATH_TYPE@[18; 32)
      PATH@[18; 23)
        PATH_SEGMENT@[18; 23)
          NAME_REF@[18; 23)
            IDENT@[18; 23) "Sized"
      WHITESPACE@[23; 24)
      PLUS@[24; 25)
      WHITESPACE@[25; 26)
      L_PAREN@[26; 27)
      PATH_TYPE@[27; 31)
        PATH@[27; 31)
          PATH_SEGMENT@[27; 31)
            NAME_REF@[27; 31)
              IDENT@[27; 31) "Copy"
      R_PAREN@[31; 32)
  R_ANGLE@[32; 33)
```

Looking for feedback.



Co-authored-by: Ville Penttinen <[email protected]>

1 files changed, 92 insertions, 16 deletions

diff --git a/crates/ra_syntax/tests/data/parser/inline/ok/0041_trait_item.txt b/crates/ra_syntax/tests/data/parser/inline/ok/0041_trait_item.txt
index 333a737ec..56cfea5b3 100644
--- a/crates/ra_syntax/tests/data/parser/inline/ok/0041_trait_item.txt
+++ b/crates/ra_syntax/tests/data/parser/inline/ok/0041_trait_item.txt
@@ -1,4 +1,4 @@
-SOURCE_FILE@[0; 42)
+SOURCE_FILE@[0; 101)
   TRAIT_DEF@[0; 41)
     TRAIT_KW@[0; 5)
     WHITESPACE@[5; 6)
@@ -12,19 +12,22 @@ SOURCE_FILE@[0; 42)
       R_ANGLE@[9; 10)
     COLON@[10; 11)
     WHITESPACE@[11; 12)
-    PATH_TYPE@[12; 24)
-      PATH@[12; 16)
-        PATH_SEGMENT@[12; 16)
-          NAME_REF@[12; 16)
-            IDENT@[12; 16) "Hash"
+    TYPE_BOUND_LIST@[12; 24)
+      TYPE_BOUND@[12; 16)
+        PATH_TYPE@[12; 16)
+          PATH@[12; 16)
+            PATH_SEGMENT@[12; 16)
+              NAME_REF@[12; 16)
+                IDENT@[12; 16) "Hash"
       WHITESPACE@[16; 17)
       PLUS@[17; 18)
       WHITESPACE@[18; 19)
-      PATH_TYPE@[19; 24)
-        PATH@[19; 24)
-          PATH_SEGMENT@[19; 24)
-            NAME_REF@[19; 24)
-              IDENT@[19; 24) "Clone"
+      TYPE_BOUND@[19; 24)
+        PATH_TYPE@[19; 24)
+          PATH@[19; 24)
+            PATH_SEGMENT@[19; 24)
+              NAME_REF@[19; 24)
+                IDENT@[19; 24) "Clone"
     WHITESPACE@[24; 25)
     WHERE_CLAUSE@[25; 38)
       WHERE_KW@[25; 30)
@@ -37,13 +40,86 @@ SOURCE_FILE@[0; 42)
                 IDENT@[31; 32) "U"
         COLON@[32; 33)
         WHITESPACE@[33; 34)
-        PATH_TYPE@[34; 38)
-          PATH@[34; 38)
-            PATH_SEGMENT@[34; 38)
-              NAME_REF@[34; 38)
-                IDENT@[34; 38) "Copy"
+        TYPE_BOUND_LIST@[34; 38)
+          TYPE_BOUND@[34; 38)
+            PATH_TYPE@[34; 38)
+              PATH@[34; 38)
+                PATH_SEGMENT@[34; 38)
+                  NAME_REF@[34; 38)
+                    IDENT@[34; 38) "Copy"
     WHITESPACE@[38; 39)
     ITEM_LIST@[39; 41)
       L_CURLY@[39; 40)
       R_CURLY@[40; 41)
   WHITESPACE@[41; 42)
+  TRAIT_DEF@[42; 100)
+    TRAIT_KW@[42; 47)
+    WHITESPACE@[47; 48)
+    NAME@[48; 49)
+      IDENT@[48; 49) "X"
+    TYPE_PARAM_LIST@[49; 69)
+      L_ANGLE@[49; 50)
+      TYPE_PARAM@[50; 68)
+        NAME@[50; 51)
+          IDENT@[50; 51) "U"
+        COLON@[51; 52)
+        WHITESPACE@[52; 53)
+        TYPE_BOUND_LIST@[53; 68)
+          TYPE_BOUND@[53; 58)
+            PATH_TYPE@[53; 58)
+              PATH@[53; 58)
+                PATH_SEGMENT@[53; 58)
+                  NAME_REF@[53; 58)
+                    IDENT@[53; 58) "Debug"
+          WHITESPACE@[58; 59)
+          PLUS@[59; 60)
+          WHITESPACE@[60; 61)
+          TYPE_BOUND@[61; 68)
+            PATH_TYPE@[61; 68)
+              PATH@[61; 68)
+                PATH_SEGMENT@[61; 68)
+                  NAME_REF@[61; 68)
+                    IDENT@[61; 68) "Display"
+      R_ANGLE@[68; 69)
+    COLON@[69; 70)
+    WHITESPACE@[70; 71)
+    TYPE_BOUND_LIST@[71; 83)
+      TYPE_BOUND@[71; 75)
+        PATH_TYPE@[71; 75)
+          PATH@[71; 75)
+            PATH_SEGMENT@[71; 75)
+              NAME_REF@[71; 75)
+                IDENT@[71; 75) "Hash"
+      WHITESPACE@[75; 76)
+      PLUS@[76; 77)
+      WHITESPACE@[77; 78)
+      TYPE_BOUND@[78; 83)
+        PATH_TYPE@[78; 83)
+          PATH@[78; 83)
+            PATH_SEGMENT@[78; 83)
+              NAME_REF@[78; 83)
+                IDENT@[78; 83) "Clone"
+    WHITESPACE@[83; 84)
+    WHERE_CLAUSE@[84; 97)
+      WHERE_KW@[84; 89)
+      WHITESPACE@[89; 90)
+      WHERE_PRED@[90; 97)
+        PATH_TYPE@[90; 91)
+          PATH@[90; 91)
+            PATH_SEGMENT@[90; 91)
+              NAME_REF@[90; 91)
+                IDENT@[90; 91) "U"
+        COLON@[91; 92)
+        WHITESPACE@[92; 93)
+        TYPE_BOUND_LIST@[93; 97)
+          TYPE_BOUND@[93; 97)
+            PATH_TYPE@[93; 97)
+              PATH@[93; 97)
+                PATH_SEGMENT@[93; 97)
+                  NAME_REF@[93; 97)
+                    IDENT@[93; 97) "Copy"
+    WHITESPACE@[97; 98)
+    ITEM_LIST@[98; 100)
+      L_CURLY@[98; 99)
+      R_CURLY@[99; 100)
+  WHITESPACE@[100; 101)