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, 36 insertions, 31 deletions

diff --git a/crates/ra_syntax/tests/data/parser/ok/0032_where_for.txt b/crates/ra_syntax/tests/data/parser/ok/0032_where_for.txt
index 150a9e483..7236d9e62 100644
--- a/crates/ra_syntax/tests/data/parser/ok/0032_where_for.txt
+++ b/crates/ra_syntax/tests/data/parser/ok/0032_where_for.txt
@@ -25,43 +25,48 @@ SOURCE_FILE@[0; 116)
                 IDENT@[39; 42) "SER"
         COLON@[42; 43)
         WHITESPACE@[43; 44)
-        PATH_TYPE@[44; 111)
-          PATH@[44; 53)
-            PATH_SEGMENT@[44; 53)
-              NAME_REF@[44; 53)
-                IDENT@[44; 53) "Serialize"
+        TYPE_BOUND_LIST@[44; 111)
+          TYPE_BOUND@[44; 53)
+            PATH_TYPE@[44; 53)
+              PATH@[44; 53)
+                PATH_SEGMENT@[44; 53)
+                  NAME_REF@[44; 53)
+                    IDENT@[44; 53) "Serialize"
           WHITESPACE@[53; 54)
           PLUS@[54; 55)
           WHITESPACE@[55; 56)
-          FOR_TYPE@[56; 81)
-            FOR_KW@[56; 59)
-            TYPE_PARAM_LIST@[59; 64)
-              L_ANGLE@[59; 60)
-              LIFETIME_PARAM@[60; 63)
-                LIFETIME@[60; 63) "'de"
-              R_ANGLE@[63; 64)
-            WHITESPACE@[64; 65)
-            PATH_TYPE@[65; 81)
-              PATH@[65; 81)
-                PATH_SEGMENT@[65; 81)
-                  NAME_REF@[65; 76)
-                    IDENT@[65; 76) "Deserialize"
-                  TYPE_ARG_LIST@[76; 81)
-                    L_ANGLE@[76; 77)
-                    LIFETIME_ARG@[77; 80)
-                      LIFETIME@[77; 80) "'de"
-                    R_ANGLE@[80; 81)
+          TYPE_BOUND@[56; 81)
+            FOR_TYPE@[56; 81)
+              FOR_KW@[56; 59)
+              TYPE_PARAM_LIST@[59; 64)
+                L_ANGLE@[59; 60)
+                LIFETIME_PARAM@[60; 63)
+                  LIFETIME@[60; 63) "'de"
+                R_ANGLE@[63; 64)
+              WHITESPACE@[64; 65)
+              PATH_TYPE@[65; 81)
+                PATH@[65; 81)
+                  PATH_SEGMENT@[65; 81)
+                    NAME_REF@[65; 76)
+                      IDENT@[65; 76) "Deserialize"
+                    TYPE_ARG_LIST@[76; 81)
+                      L_ANGLE@[76; 77)
+                      LIFETIME_ARG@[77; 80)
+                        LIFETIME@[77; 80) "'de"
+                      R_ANGLE@[80; 81)
           WHITESPACE@[81; 82)
           PLUS@[82; 83)
           WHITESPACE@[83; 84)
-          PATH_TYPE@[84; 111)
-            PATH@[84; 93)
-              PATH_SEGMENT@[84; 93)
-                NAME_REF@[84; 93)
-                  IDENT@[84; 93) "PartialEq"
-            WHITESPACE@[93; 94)
-            PLUS@[94; 95)
-            WHITESPACE@[95; 96)
+          TYPE_BOUND@[84; 93)
+            PATH_TYPE@[84; 93)
+              PATH@[84; 93)
+                PATH_SEGMENT@[84; 93)
+                  NAME_REF@[84; 93)
+                    IDENT@[84; 93) "PartialEq"
+          WHITESPACE@[93; 94)
+          PLUS@[94; 95)
+          WHITESPACE@[95; 96)
+          TYPE_BOUND@[96; 111)
             PATH_TYPE@[96; 111)
               PATH@[96; 111)
                 PATH@[96; 104)