Create a separate higher-precedence '<' token for generics

Fixes #73

Author: maxbrunsfeld

corpus/types.txt

@@ -211,3 +211,27 @@ type c = A<&dyn Fn(&B) -> C>;
       (type_arguments
         (reference_type
           (dynamic_type (function_type (type_identifier) (parameters (reference_type (type_identifier))) (type_identifier))))))))
+
+====================================
+Type cast expressions with generics
+====================================
+
+a as B<C>;
+d as *mut E<<F as E>::G>;
+
+---
+
+(source_file
+  (type_cast_expression
+    (identifier)
+    (generic_type (type_identifier) (type_arguments (type_identifier))))
+  (type_cast_expression
+    (identifier)
+    (pointer_type
+      (mutable_specifier)
+      (generic_type
+        (type_identifier)
+        (type_arguments
+          (scoped_type_identifier
+            (bracketed_type (qualified_type (type_identifier) (type_identifier)))
+          (type_identifier)))))))

grammar.js

@@ -606,7 +606,7 @@ module.exports = grammar({
           $.variadic_parameter,
           '_',
           $._type
-      ))),
+        ))),
       optional(','),
       ')'
     ),
@@ -652,7 +652,7 @@ module.exports = grammar({
             ')'
           )),
         ),
-    )),
+      )),
 
     // Section - Types
 
@@ -705,7 +705,7 @@ module.exports = grammar({
     for_lifetimes: $ => seq(
       'for',
       '<',
-      sepBy1(',', $.lifetime,),
+      sepBy1(',', $.lifetime),
       optional(','),
       '>'
     ),
@@ -771,7 +771,7 @@ module.exports = grammar({
     )),
 
     type_arguments: $ => seq(
-      '<',
+      token(prec(1, '<')),
       sepBy1(',', choice(
         $._type,
         $.type_binding,
@@ -943,7 +943,7 @@ module.exports = grammar({
         [PREC.bitand, '&'],
         [PREC.bitor, '|'],
         [PREC.bitxor, '^'],
-        [PREC.comparative,  choice('==', '!=', '<', '<=', '>', '>=')],
+        [PREC.comparative, choice('==', '!=', '<', '<=', '>', '>=')],
         [PREC.shift, choice('<<', '>>')],
         [PREC.additive, choice('+', '-')],
         [PREC.multiplicative, choice('*', '/', '%')],

src/grammar.json

@@ -4310,8 +4310,15 @@
       "type": "SEQ",
       "members": [
         {
-          "type": "STRING",
-          "value": "<"
+          "type": "TOKEN",
+          "content": {
+            "type": "PREC",
+            "value": 1,
+            "content": {
+              "type": "STRING",
+              "value": "<"
+            }
+          }
         },
         {
           "type": "SEQ",