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

diff --git a/crates/ra_syntax/tests/data/parser/inline/ok/0028_impl_trait_type.txt b/crates/ra_syntax/tests/data/parser/inline/ok/0028_impl_trait_type.txt
index 3b676fb4c..31dbbe96c 100644
--- a/crates/ra_syntax/tests/data/parser/inline/ok/0028_impl_trait_type.txt
+++ b/crates/ra_syntax/tests/data/parser/inline/ok/0028_impl_trait_type.txt
@@ -10,31 +10,34 @@ SOURCE_FILE@[0; 43)
     IMPL_TRAIT_TYPE@[9; 41)
       IMPL_KW@[9; 13)
       WHITESPACE@[13; 14)
-      PATH_TYPE@[14; 41)
-        PATH@[14; 36)
-          PATH_SEGMENT@[14; 36)
-            NAME_REF@[14; 22)
-              IDENT@[14; 22) "Iterator"
-            TYPE_ARG_LIST@[22; 36)
-              L_ANGLE@[22; 23)
-              ASSOC_TYPE_ARG@[23; 35)
-                NAME_REF@[23; 27)
-                  IDENT@[23; 27) "Item"
-                EQ@[27; 28)
-                PATH_TYPE@[28; 35)
-                  PATH@[28; 35)
-                    PATH_SEGMENT@[28; 35)
-                      NAME_REF@[28; 31)
-                        IDENT@[28; 31) "Foo"
-                      TYPE_ARG_LIST@[31; 35)
-                        L_ANGLE@[31; 32)
-                        LIFETIME_ARG@[32; 34)
-                          LIFETIME@[32; 34) "'a"
-                        R_ANGLE@[34; 35)
-              R_ANGLE@[35; 36)
+      TYPE_BOUND_LIST@[14; 41)
+        TYPE_BOUND@[14; 36)
+          PATH_TYPE@[14; 36)
+            PATH@[14; 36)
+              PATH_SEGMENT@[14; 36)
+                NAME_REF@[14; 22)
+                  IDENT@[14; 22) "Iterator"
+                TYPE_ARG_LIST@[22; 36)
+                  L_ANGLE@[22; 23)
+                  ASSOC_TYPE_ARG@[23; 35)
+                    NAME_REF@[23; 27)
+                      IDENT@[23; 27) "Item"
+                    EQ@[27; 28)
+                    PATH_TYPE@[28; 35)
+                      PATH@[28; 35)
+                        PATH_SEGMENT@[28; 35)
+                          NAME_REF@[28; 31)
+                            IDENT@[28; 31) "Foo"
+                          TYPE_ARG_LIST@[31; 35)
+                            L_ANGLE@[31; 32)
+                            LIFETIME_ARG@[32; 34)
+                              LIFETIME@[32; 34) "'a"
+                            R_ANGLE@[34; 35)
+                  R_ANGLE@[35; 36)
         WHITESPACE@[36; 37)
         PLUS@[37; 38)
         WHITESPACE@[38; 39)
-        LIFETIME@[39; 41) "'a"
+        TYPE_BOUND@[39; 41)
+          LIFETIME@[39; 41) "'a"
     SEMI@[41; 42)
   WHITESPACE@[42; 43)