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, 23 insertions, 15 deletions

diff --git a/crates/ra_syntax/tests/data/parser/inline/ok/0056_where_clause.txt b/crates/ra_syntax/tests/data/parser/inline/ok/0056_where_clause.txt
index 68485dc0b..e04b61eb3 100644
--- a/crates/ra_syntax/tests/data/parser/inline/ok/0056_where_clause.txt
+++ b/crates/ra_syntax/tests/data/parser/inline/ok/0056_where_clause.txt
@@ -30,22 +30,26 @@ SOURCE_FILE@[0; 116)
                 IDENT@[34; 35) "T"
         COLON@[35; 36)
         WHITESPACE@[36; 37)
-        PATH_TYPE@[37; 59)
-          PATH@[37; 42)
-            PATH_SEGMENT@[37; 42)
-              NAME_REF@[37; 42)
-                IDENT@[37; 42) "Clone"
+        TYPE_BOUND_LIST@[37; 59)
+          TYPE_BOUND@[37; 42)
+            PATH_TYPE@[37; 42)
+              PATH@[37; 42)
+                PATH_SEGMENT@[37; 42)
+                  NAME_REF@[37; 42)
+                    IDENT@[37; 42) "Clone"
           WHITESPACE@[42; 43)
           PLUS@[43; 44)
           WHITESPACE@[44; 45)
-          PATH_TYPE@[45; 59)
-            PATH@[45; 49)
-              PATH_SEGMENT@[45; 49)
-                NAME_REF@[45; 49)
-                  IDENT@[45; 49) "Copy"
-            WHITESPACE@[49; 50)
-            PLUS@[50; 51)
-            WHITESPACE@[51; 52)
+          TYPE_BOUND@[45; 49)
+            PATH_TYPE@[45; 49)
+              PATH@[45; 49)
+                PATH_SEGMENT@[45; 49)
+                  NAME_REF@[45; 49)
+                    IDENT@[45; 49) "Copy"
+          WHITESPACE@[49; 50)
+          PLUS@[50; 51)
+          WHITESPACE@[51; 52)
+          TYPE_BOUND@[52; 59)
             LIFETIME@[52; 59) "'static"
       COMMA@[59; 60)
       WHITESPACE@[60; 64)
@@ -62,7 +66,9 @@ SOURCE_FILE@[0; 116)
                 IDENT@[74; 78) "Item"
         COLON@[78; 79)
         WHITESPACE@[79; 80)
-        LIFETIME@[80; 82) "'a"
+        TYPE_BOUND_LIST@[80; 82)
+          TYPE_BOUND@[80; 82)
+            LIFETIME@[80; 82) "'a"
       COMMA@[82; 83)
       WHITESPACE@[83; 87)
       WHERE_PRED@[87; 112)
@@ -91,7 +97,9 @@ SOURCE_FILE@[0; 116)
                 IDENT@[104; 108) "Item"
         COLON@[108; 109)
         WHITESPACE@[109; 110)
-        LIFETIME@[110; 112) "'a"
+        TYPE_BOUND_LIST@[110; 112)
+          TYPE_BOUND@[110; 112)
+            LIFETIME@[110; 112) "'a"
     WHITESPACE@[112; 113)
     BLOCK@[113; 115)
       L_CURLY@[113; 114)