Fix extends (#204)

* support extends (abstract)

* regenerate parser

Co-authored-by: resolritter <[email protected]>

Author: resolritter

common/corpus/types.txt

@@ -1356,3 +1356,54 @@ type T = Foo<any, unknown, number, string, void, true, false, null, undefined, 0
         (literal_type
           (string
             (string_fragment)))))))
+
+==================================
+Extends
+==================================
+
+type Foo<T extends abstract new (...args: any) => any> = T;
+type Foo<T extends new (...args: any) => any> = T;
+
+---
+
+(program
+  (type_alias_declaration
+    (type_identifier)
+    (type_parameters
+      (type_parameter
+        (type_identifier)
+        (constraint
+          (constructor_type
+            (formal_parameters
+              (required_parameter
+                (rest_pattern
+                  (identifier))
+                (type_annotation
+                  (predefined_type))))
+            (predefined_type)))))
+    (type_identifier))
+  (type_alias_declaration
+    (type_identifier)
+    (type_parameters
+      (type_parameter
+        (type_identifier)
+        (constraint
+          (constructor_type
+            (formal_parameters
+              (required_parameter
+                (rest_pattern
+                  (identifier))
+                (type_annotation
+                  (predefined_type))))
+            (predefined_type)))))
+    (type_identifier)))
+
+========
+Abstract
+========
+
+type Foo<T> = abstract new () => T;
+
+---
+
+(program (type_alias_declaration (type_identifier) (type_parameters (type_parameter (type_identifier))) (constructor_type (formal_parameters) (type_identifier)))) 

common/define-grammar.js

@@ -624,6 +624,7 @@ module.exports = function defineGrammar(dialect) {
       ),
 
       constructor_type: $ => prec.left(seq(
+        optional('abstract'),
         'new',
         field('type_parameters', optional($.type_parameters)),
         field('parameters', $.formal_parameters),
@@ -857,6 +858,7 @@ module.exports = function defineGrammar(dialect) {
       ),
 
       construct_signature: $ => seq(
+        optional('abstract'),
         'new',
         field('type_parameters', optional($.type_parameters)),
         field('parameters', $.formal_parameters),

tsx/src/grammar.json

@@ -8503,6 +8503,18 @@
       "content": {
         "type": "SEQ",
         "members": [
+          {
+            "type": "CHOICE",
+            "members": [
+              {
+                "type": "STRING",
+                "value": "abstract"
+              },
+              {
+                "type": "BLANK"
+              }
+            ]
+          },
           {
             "type": "STRING",
             "value": "new"
@@ -9787,6 +9799,18 @@
     "construct_signature": {
       "type": "SEQ",
       "members": [
+        {
+          "type": "CHOICE",
+          "members": [
+            {
+              "type": "STRING",
+              "value": "abstract"
+            },
+            {
+              "type": "BLANK"
+            }
+          ]
+        },
         {
           "type": "STRING",
           "value": "new"