Merge pull request #177 from amaanq/fix-array-constraint

Fix array constraint

Author: aryx

corpus/declarations.txt

@@ -2137,3 +2137,36 @@ struct A {
         (scoped_type_identifier
           (identifier)
           (type_identifier))))))
+
+================================================================================
+Array Constraint in Where Clause
+================================================================================
+
+fn foo<D>(val: D)
+where   
+    [u8; 32]: From<D>,
+
+{}
+
+--------------------------------------------------------------------------------
+
+(source_file
+  (function_item
+    (identifier)
+    (type_parameters
+      (type_identifier))
+    (parameters
+      (parameter
+        (identifier)
+        (type_identifier)))
+    (where_clause
+      (where_predicate
+        (array_type
+          (primitive_type)
+          (integer_literal))
+        (trait_bounds
+          (generic_type
+            (type_identifier)
+            (type_arguments
+              (type_identifier))))))
+    (block)))

grammar.js

@@ -440,6 +440,7 @@ module.exports = grammar({
         $.reference_type,
         $.pointer_type,
         $.tuple_type,
+        $.array_type,
         $.higher_ranked_trait_bound,
         alias(choice(...primitive_types), $.primitive_type)
       )),

src/grammar.json

@@ -2346,6 +2346,10 @@
                 "type": "SYMBOL",
                 "name": "tuple_type"
               },
+              {
+                "type": "SYMBOL",
+                "name": "array_type"
+              },
               {
                 "type": "SYMBOL",
                 "name": "higher_ranked_trait_bound"

src/node-types.json

@@ -4571,6 +4571,10 @@
         "multiple": false,
         "required": true,
         "types": [
+          {
+            "type": "array_type",
+            "named": true
+          },
           {
             "type": "generic_type",
             "named": true