@danielx/civet 0.7.28 → 0.7.29

package/dist/main.mjs

@@ -60,7 +60,7 @@ var require_machine = __commonJS({
       $N: () => $N2,
       $P: () => $P2,
       $Q: () => $Q2,
-      $R: () => $R98,
+      $R: () => $R100,
       $R$0: () => $R$02,
       $S: () => $S2,
       $T: () => $T2,
@@ -97,7 +97,7 @@ var require_machine = __commonJS({
         return;
       };
     }
-    function $R98(regExp) {
+    function $R100(regExp) {
       return function(_ctx, state2) {
         const { input, pos } = state2;
         regExp.lastIndex = state2.pos;
@@ -491,6 +491,7 @@ __export(lib_exports, {
   addPostfixStatement: () => addPostfixStatement,
   adjustBindingElements: () => adjustBindingElements,
   adjustIndexAccess: () => adjustIndexAccess,
+  append: () => append,
   attachPostfixStatementAsExpression: () => attachPostfixStatementAsExpression,
   blockWithPrefix: () => blockWithPrefix,
   convertNamedImportsToObject: () => convertNamedImportsToObject,
@@ -779,7 +780,7 @@ function getTrimmingSpace(target) {
   return;
 }
 function prepend(prefix, node) {
-  if (!(prefix && prefix.length)) {
+  if (!prefix || Array.isArray(prefix) && len(prefix, 0)) {
     return node;
   }
   if (Array.isArray(node)) {
@@ -793,6 +794,21 @@ function prepend(prefix, node) {
     return [prefix, node];
   }
 }
+function append(node, suffix) {
+  if (!suffix || Array.isArray(suffix) && len(suffix, 0)) {
+    return node;
+  }
+  if (Array.isArray(node)) {
+    return [...node, suffix];
+  } else if (isParent(node)) {
+    return {
+      ...node,
+      children: [...node.children, suffix]
+    };
+  } else {
+    return [node, suffix];
+  }
+}
 function inplacePrepend(prefix, node) {
   if (!prefix) {
     return;
@@ -3257,26 +3273,24 @@ function nonMatcherBindings(pattern) {
 function aggregateDuplicateBindings(bindings) {
   const props = gatherRecursiveAll(bindings, ($10) => $10.type === "BindingProperty");
   const arrayBindings = gatherRecursiveAll(bindings, ($11) => $11.type === "ArrayBindingPattern");
-  arrayBindings.forEach((a) => {
-    const { elements } = a;
-    return elements.forEach((element) => {
+  for (let i5 = 0, len4 = arrayBindings.length; i5 < len4; i5++) {
+    const { elements } = arrayBindings[i5];
+    for (let i6 = 0, len5 = elements.length; i6 < len5; i6++) {
+      const element = elements[i6];
       if (Array.isArray(element)) {
         const [, e] = element;
         if (e.type === "Identifier") {
-          return props.push(e);
+          props.push(e);
         } else if (e.type === "BindingRestElement") {
-          return props.push(e);
+          props.push(e);
         }
-        ;
-        return;
       }
-      ;
-      return;
-    });
-  });
+    }
+  }
   const declarations = [];
   const propsGroupedByName = /* @__PURE__ */ new Map();
-  for (const p of props) {
+  for (let i7 = 0, len6 = props.length; i7 < len6; i7++) {
+    const p = props[i7];
     const { name, value } = p;
     let m1;
     if (m1 = value?.type, m1 === "ArrayBindingPattern" || m1 === "ObjectBindingPattern") {
@@ -3298,9 +3312,10 @@ function aggregateDuplicateBindings(bindings) {
       pos: 0,
       input: key
     })) {
-      shared.forEach((p) => {
-        return aliasBinding(p, makeRef(`_${key}`, key));
-      });
+      for (let i8 = 0, len7 = shared.length; i8 < len7; i8++) {
+        const p = shared[i8];
+        aliasBinding(p, makeRef(`_${key}`, key));
+      }
       return;
     }
     if (shared.length === 1) {
@@ -5178,9 +5193,8 @@ function expressionizeIfStatement(statement) {
     children
   });
 }
-function expressionizeTypeIf([ws, ifOp, condition, t, e]) {
+function expressionizeTypeIf([ifOp, condition, t, e]) {
   const children = [
-    ws,
     "(",
     insertTrimmingSpace(condition, ""),
     "?"
@@ -7137,6 +7151,8 @@ var grammar = {
   TypePredicate,
   Type,
   TypeBinary,
+  NestedTypeBinaryChain,
+  NestedTypeBinary,
   TypeUnary,
   TypeUnarySuffix,
   TypeUnaryOp,
@@ -7145,13 +7161,21 @@ var grammar = {
   TypePrimary,
   ImportType,
   TypeTuple,
-  TypeList,
+  TypeTupleContent,
+  TypeElementListWithIndentedApplicationForbidden,
+  TypeElementList,
   TypeElement,
-  NestedTypeList,
-  NestedType,
+  NestedTypeElementList,
+  NestedTypeElement,
+  NestedTypeBulletedTuple,
+  TypeBulletedTuple,
+  NestedTypeBullet,
+  TypeBullet,
+  TypeWithPostfix,
   TypeConditional,
   TypeCondition,
   TypeIfThenElse,
+  TypeIfClause,
   TypeElse,
   TypeBlock,
   TypeTemplateSubstitution,
@@ -7166,6 +7190,14 @@ var grammar = {
   TypeFunction,
   TypeArrowFunction,
   TypeArguments,
+  ImplicitTypeArguments,
+  TypeApplicationStart,
+  ForbiddenImplicitTypeCalls,
+  TypeArgumentList,
+  NestedTypeArgumentList,
+  NestedTypeArgument,
+  SingleLineTypeArgumentList,
+  TypeArgumentDelimited,
   TypeArgument,
   TypeArgumentDelimiter,
   TypeParameters,
@@ -7194,6 +7226,8 @@ var grammar = {
   InsertCloseBrace,
   InsertOpenBracket,
   InsertCloseBracket,
+  InsertOpenAngleBracket,
+  InsertCloseAngleBracket,
   InsertComma,
   InsertSpaceEquals,
   InsertConst,
@@ -7235,7 +7269,8 @@ var grammar = {
   IndentedFurther,
   IndentedAtLeast,
   NotDedented,
-  Dedented
+  Dedented,
+  PushExtraIndent1
 };
 var $L0 = (0, import_lib3.$L)("");
 var $L1 = (0, import_lib3.$L)("{");
@@ -7482,7 +7517,7 @@ var $R2 = (0, import_lib3.$R)(new RegExp("(as|of|satisfies|then|when|implements|
 var $R3 = (0, import_lib3.$R)(new RegExp("[0-9]", "suy"));
 var $R4 = (0, import_lib3.$R)(new RegExp("(?!\\p{ID_Start}|[_$0-9(\\[{])", "suy"));
 var $R5 = (0, import_lib3.$R)(new RegExp("[ \\t]", "suy"));
-var $R6 = (0, import_lib3.$R)(new RegExp("\\p{ID_Continue}|[\\u200C\\u200D$.#{]", "suy"));
+var $R6 = (0, import_lib3.$R)(new RegExp("\\p{ID_Continue}|[\\u200C\\u200D$.#{=]", "suy"));
 var $R7 = (0, import_lib3.$R)(new RegExp("[&=]", "suy"));
 var $R8 = (0, import_lib3.$R)(new RegExp("(?=['\"`])", "suy"));
 var $R9 = (0, import_lib3.$R)(new RegExp("(?=[\\/?])", "suy"));
@@ -7566,14 +7601,16 @@ var $R86 = (0, import_lib3.$R)(new RegExp("(?:-[^-]|[^-]*)*", "suy"));
 var $R87 = (0, import_lib3.$R)(new RegExp("[^{}<>\\r\\n]+", "suy"));
 var $R88 = (0, import_lib3.$R)(new RegExp("[+-]?", "suy"));
 var $R89 = (0, import_lib3.$R)(new RegExp("(?=if|unless)", "suy"));
-var $R90 = (0, import_lib3.$R)(new RegExp("#![^\\r\\n]*", "suy"));
-var $R91 = (0, import_lib3.$R)(new RegExp("[\\t ]*", "suy"));
-var $R92 = (0, import_lib3.$R)(new RegExp("[\\s]*", "suy"));
-var $R93 = (0, import_lib3.$R)(new RegExp("\\s+([+-]?)([a-zA-Z0-9-]+)(\\s*=\\s*([a-zA-Z0-9.+-]*))?", "suy"));
-var $R94 = (0, import_lib3.$R)(new RegExp("\\/\\/\\/[^\\r\\n]*", "suy"));
-var $R95 = (0, import_lib3.$R)(new RegExp("(?=[ \\t\\r\\n\\/#]|$)", "suy"));
-var $R96 = (0, import_lib3.$R)(new RegExp("\\r\\n|\\n|\\r|$", "suy"));
-var $R97 = (0, import_lib3.$R)(new RegExp("[^]*", "suy"));
+var $R90 = (0, import_lib3.$R)(new RegExp("[|&<!=\\-\u21D2\u2192]", "suy"));
+var $R91 = (0, import_lib3.$R)(new RegExp("(extends|not|is)(?!\\p{ID_Continue}|[\\u200C\\u200D$])", "suy"));
+var $R92 = (0, import_lib3.$R)(new RegExp("#![^\\r\\n]*", "suy"));
+var $R93 = (0, import_lib3.$R)(new RegExp("[\\t ]*", "suy"));
+var $R94 = (0, import_lib3.$R)(new RegExp("[\\s]*", "suy"));
+var $R95 = (0, import_lib3.$R)(new RegExp("\\s+([+-]?)([a-zA-Z0-9-]+)(\\s*=\\s*([a-zA-Z0-9.+-]*))?", "suy"));
+var $R96 = (0, import_lib3.$R)(new RegExp("\\/\\/\\/[^\\r\\n]*", "suy"));
+var $R97 = (0, import_lib3.$R)(new RegExp("(?=[ \\t\\r\\n\\/#]|$)", "suy"));
+var $R98 = (0, import_lib3.$R)(new RegExp("\\r\\n|\\n|\\r|$", "suy"));
+var $R99 = (0, import_lib3.$R)(new RegExp("[^]*", "suy"));
 var Program$0 = (0, import_lib3.$TS)((0, import_lib3.$S)(Reset, Init, (0, import_lib3.$E)(EOS), TopLevelStatements, __), function($skip, $loc, $0, $1, $2, $3, $4, $5) {
   var reset = $1;
   var init = $2;
@@ -7760,6 +7797,9 @@ var ImplicitArguments$0 = (0, import_lib3.$TS)((0, import_lib3.$S)(ApplicationSt
   var close = $5;
   if (skipImplicitArguments(args))
     return $skip;
+  let last = args[args.length - 1];
+  if (last?.token === "," && last.implicit)
+    args = args.slice(0, -1);
   return {
     type: "Call",
     args,
@@ -8114,7 +8154,7 @@ var NWTypePostfix$0 = (0, import_lib3.$TS)((0, import_lib3.$S)(As, _, Tuple), fu
     children: [{ $loc: $1.$loc, token: "satisfies" }, $2, $3]
   };
 });
-var NWTypePostfix$1 = (0, import_lib3.$TS)((0, import_lib3.$S)(As, (0, import_lib3.$E)(ExclamationPoint), Type), function($skip, $loc, $0, $1, $2, $3) {
+var NWTypePostfix$1 = (0, import_lib3.$TS)((0, import_lib3.$S)(As, (0, import_lib3.$E)(ExclamationPoint), (0, import_lib3.$C)(Type, (0, import_lib3.$S)(__, Const))), function($skip, $loc, $0, $1, $2, $3) {
   var as = $1;
   var ex = $2;
   var type = $3;
@@ -8468,7 +8508,7 @@ var ParenthesizedExpression$0 = (0, import_lib3.$TS)((0, import_lib3.$S)(OpenPar
 function ParenthesizedExpression(ctx, state2) {
   return (0, import_lib3.$EVENT)(ctx, state2, "ParenthesizedExpression", ParenthesizedExpression$0);
 }
-var Placeholder$0 = (0, import_lib3.$TS)((0, import_lib3.$S)(Dot, (0, import_lib3.$N)((0, import_lib3.$EXPECT)($R6, "Placeholder /\\p{ID_Continue}|[\\u200C\\u200D$.#{]/")), (0, import_lib3.$E)(PlaceholderTypeSuffix)), function($skip, $loc, $0, $1, $2, $3) {
+var Placeholder$0 = (0, import_lib3.$TS)((0, import_lib3.$S)(Dot, (0, import_lib3.$N)((0, import_lib3.$EXPECT)($R6, "Placeholder /\\p{ID_Continue}|[\\u200C\\u200D$.#{=]/")), (0, import_lib3.$E)(PlaceholderTypeSuffix)), function($skip, $loc, $0, $1, $2, $3) {
   var dot = $1;
   var typeSuffix = $3;
   return {
@@ -9421,18 +9461,18 @@ var NonEmptyParameters$0 = (0, import_lib3.$TS)((0, import_lib3.$S)((0, import_l
   var params = $3;
   var close = $4;
   let tt, before = [], rest, after = [], errors = [];
-  function append(p) {
+  function append2(p) {
     (rest ? after : before).push(p);
   }
   for (const param of params) {
     switch (param.type) {
       case "ThisType":
         if (tt) {
-          append({
+          append2({
             type: "Error",
             message: "Only one typed this parameter is allowed"
           });
-          append(param);
+          append2(param);
         } else {
           tt = trimFirstSpace(param);
           if (before.length || rest) {
@@ -9450,17 +9490,17 @@ var NonEmptyParameters$0 = (0, import_lib3.$TS)((0, import_lib3.$S)((0, import_l
         break;
       case "FunctionRestParameter":
         if (rest) {
-          append({
+          append2({
             type: "Error",
             message: "Only one rest parameter is allowed"
           });
-          append(param);
+          append2(param);
         } else {
           rest = param;
         }
         break;
       default:
-        append(param);
+        append2(param);
     }
   }
   const names = before.flatMap((p) => p.names);
@@ -10965,15 +11005,10 @@ var NestedElement$0 = (0, import_lib3.$TS)((0, import_lib3.$S)(Nested, ElementLi
   if (!length)
     return $skip;
   return list.map((e, i) => {
-    if (i === 0 && i === length - 1) {
-      return { ...e, children: [indent, ...e.children, delimiter] };
-    }
-    if (i === 0) {
-      return { ...e, children: [indent, ...e.children] };
-    }
-    if (i === length - 1) {
-      return { ...e, children: [...e.children, delimiter] };
-    }
+    if (i === 0)
+      e = prepend(indent, e);
+    if (i === length - 1)
+      e = append(e, delimiter);
     return e;
   });
 });
@@ -11003,19 +11038,13 @@ var ElementList$0 = (0, import_lib3.$T)((0, import_lib3.$S)(BulletedArray), func
 var ElementList$1 = (0, import_lib3.$TS)((0, import_lib3.$S)((0, import_lib3.$N)(EOS), ArrayElementExpression, (0, import_lib3.$Q)(ElementListRest)), function($skip, $loc, $0, $1, $2, $3) {
   var first = $2;
   var rest = $3;
-  if (rest.length) {
-    return [{
-      ...first,
-      children: [...first.children, rest[0][0]]
-    }].concat(rest.map(([_2, e], i) => {
-      const delim = rest[i + 1]?.[0];
-      return {
-        ...e,
-        children: [...e.children, delim]
-      };
-    }));
-  }
-  return [first];
+  if (!rest.length)
+    return [first];
+  return [
+    append(first, rest[0][0])
+  ].concat(
+    rest.map(([_2, e], i) => append(e, rest[i + 1]?.[0]))
+  );
 });
 var ElementList$$ = [ElementList$0, ElementList$1];
 function ElementList(ctx, state2) {
@@ -11076,9 +11105,10 @@ var NestedBulletedArray$0 = (0, import_lib3.$TS)((0, import_lib3.$S)((0, import_
   if (!content.length)
     return $skip;
   content = content.flat();
-  const { children } = content[content.length - 1];
-  if (children.at(-1).implicit)
-    children.pop();
+  const last = content[content.length - 1];
+  if (last.children?.at(-1)?.implicit) {
+    last.children = last.children.slice(0, -1);
+  }
   return {
     type: "ArrayExpression",
     children: [...open, ...content, close]
@@ -11098,9 +11128,10 @@ var BulletedArray$0 = (0, import_lib3.$TS)((0, import_lib3.$S)(InsertOpenBracket
     // replace first space with bracket
     ...content[1].flat()
   ];
-  const { children } = content[content.length - 1];
-  if (children.at(-1).implicit)
-    children.pop();
+  const last = content[content.length - 1];
+  if (last.children?.at(-1)?.implicit) {
+    last.children = last.children.slice(0, -1);
+  }
   return {
     type: "ArrayExpression",
     children: [open, ...content, close]
@@ -11112,7 +11143,7 @@ function BulletedArray(ctx, state2) {
 var NestedArrayBullet$0 = (0, import_lib3.$TS)((0, import_lib3.$S)(Nested, ArrayBullet), function($skip, $loc, $0, $1, $2) {
   var indent = $1;
   var list = $2;
-  return list.map((e, i) => i === 0 ? { ...e, children: [indent, ...e.children] } : e);
+  return list.map((e, i) => i === 0 ? prepend(indent, e) : e);
 });
 function NestedArrayBullet(ctx, state2) {
   return (0, import_lib3.$EVENT)(ctx, state2, "NestedArrayBullet", NestedArrayBullet$0);
@@ -11123,15 +11154,13 @@ var ArrayBullet$0 = (0, import_lib3.$TS)((0, import_lib3.$S)(BulletIndent, (0, i
   if (!content)
     return $skip;
   let [list, delimiter] = content;
-  if (list.type === "ArrayExpression")
-    list = [list];
   if (!list.length)
     return $skip;
   list = list.slice();
-  list[0] = { ...list[0], children: [bullet, ...list[0].children] };
+  list[0] = prepend(bullet, list[0]);
   if (delimiter) {
     const last = list.length - 1;
-    list[last] = { ...list[last], children: [...list[last].children, delimiter] };
+    list[last] = append(list[last], delimiter);
   }
   return list;
 });
@@ -15924,9 +15953,42 @@ var JSXText$0 = (0, import_lib3.$TR)((0, import_lib3.$EXPECT)($R87, "JSXText /[^
 function JSXText(ctx, state2) {
   return (0, import_lib3.$EVENT)(ctx, state2, "JSXText", JSXText$0);
 }
-var JSXChildExpression$0 = (0, import_lib3.$S)((0, import_lib3.$E)(Whitespace), (0, import_lib3.$E)((0, import_lib3.$S)(DotDotDot, (0, import_lib3.$E)(Whitespace))), PostfixedExpression);
+var JSXChildExpression$0 = (0, import_lib3.$TS)((0, import_lib3.$S)((0, import_lib3.$E)(Whitespace), LexicalDeclaration), function($skip, $loc, $0, $1, $2) {
+  var d = $2;
+  let names = d.names.concat(
+    d.thisAssignments.map((a) => a[1][1])
+  );
+  names.sort();
+  names = names.filter((name, i) => i === 0 || name !== names[i - 1]);
+  d = {
+    ...d,
+    hoistDec: {
+      type: "Declaration",
+      children: [
+        "let ",
+        names.map((n, i) => i === 0 ? [n] : [",", n]).flat()
+      ]
+    },
+    children: d.children.slice(1)
+    // drop LetOrConst
+  };
+  if (d.thisAssignments?.length) {
+    d.children.push(...d.splices, ",", ...d.thisAssignments.map(
+      (a, i) => a[a.length - 1] === ";" ? [
+        ...a.slice(0, -1),
+        i === d.thisAssignments.length - 1 ? "" : ","
+      ] : a
+    ));
+  } else if (d.splices?.length) {
+    d.children.push(...d.splices);
+  }
+  d.children.push(",void 0");
+  return d;
+});
+var JSXChildExpression$1 = (0, import_lib3.$S)((0, import_lib3.$E)(Whitespace), (0, import_lib3.$E)((0, import_lib3.$S)(DotDotDot, (0, import_lib3.$E)(Whitespace))), PostfixedExpression);
+var JSXChildExpression$$ = [JSXChildExpression$0, JSXChildExpression$1];
 function JSXChildExpression(ctx, state2) {
-  return (0, import_lib3.$EVENT)(ctx, state2, "JSXChildExpression", JSXChildExpression$0);
+  return (0, import_lib3.$EVENT_C)(ctx, state2, "JSXChildExpression", JSXChildExpression$$);
 }
 var IndentedJSXChildExpression$0 = (0, import_lib3.$TS)((0, import_lib3.$S)(PushIndent, (0, import_lib3.$E)(NestedJSXChildExpression), PopIndent), function($skip, $loc, $0, $1, $2, $3) {
   if (!$2)
@@ -16423,14 +16485,16 @@ var TypeSuffix$$ = [TypeSuffix$0, TypeSuffix$1, TypeSuffix$2];
 function TypeSuffix(ctx, state2) {
   return (0, import_lib3.$EVENT_C)(ctx, state2, "TypeSuffix", TypeSuffix$$);
 }
-var MaybeNestedType$0 = NestedInterfaceBlock;
-var MaybeNestedType$1 = (0, import_lib3.$TS)((0, import_lib3.$S)(PushIndent, (0, import_lib3.$E)((0, import_lib3.$S)(Nested, Type)), PopIndent), function($skip, $loc, $0, $1, $2, $3) {
+var MaybeNestedType$0 = NestedTypeBulletedTuple;
+var MaybeNestedType$1 = NestedInterfaceBlock;
+var MaybeNestedType$2 = NestedTypeBinaryChain;
+var MaybeNestedType$3 = (0, import_lib3.$TS)((0, import_lib3.$S)(PushIndent, (0, import_lib3.$E)((0, import_lib3.$S)(Nested, Type)), PopIndent), function($skip, $loc, $0, $1, $2, $3) {
   if (!$2)
     return $skip;
   return $2;
 });
-var MaybeNestedType$2 = Type;
-var MaybeNestedType$$ = [MaybeNestedType$0, MaybeNestedType$1, MaybeNestedType$2];
+var MaybeNestedType$4 = Type;
+var MaybeNestedType$$ = [MaybeNestedType$0, MaybeNestedType$1, MaybeNestedType$2, MaybeNestedType$3, MaybeNestedType$4];
 function MaybeNestedType(ctx, state2) {
   return (0, import_lib3.$EVENT_C)(ctx, state2, "MaybeNestedType", MaybeNestedType$$);
 }
@@ -16446,9 +16510,11 @@ var ReturnTypeSuffix$0 = (0, import_lib3.$TS)((0, import_lib3.$S)((0, import_lib
 function ReturnTypeSuffix(ctx, state2) {
   return (0, import_lib3.$EVENT)(ctx, state2, "ReturnTypeSuffix", ReturnTypeSuffix$0);
 }
-var ReturnType$0 = (0, import_lib3.$TS)((0, import_lib3.$S)((0, import_lib3.$E)((0, import_lib3.$S)(__, (0, import_lib3.$EXPECT)($L232, 'ReturnType "asserts"'), NonIdContinue)), TypePredicate), function($skip, $loc, $0, $1, $2) {
+var ReturnType$0 = (0, import_lib3.$TS)((0, import_lib3.$S)((0, import_lib3.$E)((0, import_lib3.$S)(__, (0, import_lib3.$EXPECT)($L232, 'ReturnType "asserts"'), NonIdContinue)), ForbidIndentedApplication, (0, import_lib3.$E)(TypePredicate), RestoreIndentedApplication), function($skip, $loc, $0, $1, $2, $3, $4) {
   var asserts = $1;
-  var t = $2;
+  var t = $3;
+  if (!t)
+    return $skip;
   if (asserts) {
     t = {
       type: "AssertsType",
@@ -16467,7 +16533,7 @@ var ReturnType$0 = (0, import_lib3.$TS)((0, import_lib3.$S)((0, import_lib3.$E)(
 function ReturnType(ctx, state2) {
   return (0, import_lib3.$EVENT)(ctx, state2, "ReturnType", ReturnType$0);
 }
-var TypePredicate$0 = (0, import_lib3.$TS)((0, import_lib3.$S)(MaybeNestedType, (0, import_lib3.$E)((0, import_lib3.$S)(__, (0, import_lib3.$EXPECT)($L174, 'TypePredicate "is"'), NonIdContinue, Type))), function($skip, $loc, $0, $1, $2) {
+var TypePredicate$0 = (0, import_lib3.$TS)((0, import_lib3.$S)(MaybeNestedType, (0, import_lib3.$E)((0, import_lib3.$S)(__, Is, Type))), function($skip, $loc, $0, $1, $2) {
   var lhs = $1;
   var rhs = $2;
   if (!rhs)
@@ -16482,11 +16548,11 @@ var TypePredicate$0 = (0, import_lib3.$TS)((0, import_lib3.$S)(MaybeNestedType,
 function TypePredicate(ctx, state2) {
   return (0, import_lib3.$EVENT)(ctx, state2, "TypePredicate", TypePredicate$0);
 }
-var Type$0 = TypeConditional;
+var Type$0 = TypeWithPostfix;
 function Type(ctx, state2) {
   return (0, import_lib3.$EVENT)(ctx, state2, "Type", Type$0);
 }
-var TypeBinary$0 = (0, import_lib3.$TS)((0, import_lib3.$S)((0, import_lib3.$E)((0, import_lib3.$S)(__, TypeBinaryOp, __)), TypeUnary, (0, import_lib3.$Q)((0, import_lib3.$S)(__, TypeBinaryOp, __, TypeUnary))), function($skip, $loc, $0, $1, $2, $3) {
+var TypeBinary$0 = (0, import_lib3.$TS)((0, import_lib3.$S)((0, import_lib3.$E)((0, import_lib3.$S)(NotDedented, TypeBinaryOp, __)), TypeUnary, (0, import_lib3.$Q)((0, import_lib3.$S)(NotDedented, TypeBinaryOp, __, TypeUnary))), function($skip, $loc, $0, $1, $2, $3) {
   var optionalPrefix = $1;
   var t = $2;
   var ops = $3;
@@ -16501,6 +16567,25 @@ var TypeBinary$0 = (0, import_lib3.$TS)((0, import_lib3.$S)((0, import_lib3.$E)(
 function TypeBinary(ctx, state2) {
   return (0, import_lib3.$EVENT)(ctx, state2, "TypeBinary", TypeBinary$0);
 }
+var NestedTypeBinaryChain$0 = (0, import_lib3.$TS)((0, import_lib3.$S)(PushIndent, (0, import_lib3.$Q)(NestedTypeBinary), PopIndent), function($skip, $loc, $0, $1, $2, $3) {
+  if (!$2.length)
+    return $skip;
+  return $2;
+});
+function NestedTypeBinaryChain(ctx, state2) {
+  return (0, import_lib3.$EVENT)(ctx, state2, "NestedTypeBinaryChain", NestedTypeBinaryChain$0);
+}
+var NestedTypeBinary$0 = (0, import_lib3.$TS)((0, import_lib3.$S)(Nested, TypeBinaryOp, PushExtraIndent1, (0, import_lib3.$E)(TypeUnary), PopIndent), function($skip, $loc, $0, $1, $2, $3, $4, $5) {
+  var indent = $1;
+  var op = $2;
+  var t = $4;
+  if (!t)
+    return $skip;
+  return [indent, op, t];
+});
+function NestedTypeBinary(ctx, state2) {
+  return (0, import_lib3.$EVENT)(ctx, state2, "NestedTypeBinary", NestedTypeBinary$0);
+}
 var TypeUnary$0 = (0, import_lib3.$TS)((0, import_lib3.$S)((0, import_lib3.$Q)((0, import_lib3.$S)(__, TypeUnaryOp)), TypePrimary, (0, import_lib3.$Q)(TypeUnarySuffix)), function($skip, $loc, $0, $1, $2, $3) {
   var prefix = $1;
   var t = $2;
@@ -16570,7 +16655,7 @@ var TypePrimary$1 = (0, import_lib3.$TS)((0, import_lib3.$S)((0, import_lib3.$E)
   };
 });
 var TypePrimary$2 = (0, import_lib3.$TS)((0, import_lib3.$S)((0, import_lib3.$E)(_), TypeTuple), function($skip, $loc, $0, $1, $2) {
-  return { ...$2, children: [$1, ...$2.children] };
+  return prepend($1, $2);
 });
 var TypePrimary$3 = InterfaceBlock;
 var TypePrimary$4 = (0, import_lib3.$S)((0, import_lib3.$E)(_), TypeFunction);
@@ -16599,7 +16684,7 @@ var TypePrimary$8 = (0, import_lib3.$TS)((0, import_lib3.$S)((0, import_lib3.$E)
     args: void 0
   };
 });
-var TypePrimary$9 = (0, import_lib3.$TS)((0, import_lib3.$S)((0, import_lib3.$E)(_), IdentifierName, (0, import_lib3.$Q)((0, import_lib3.$S)(Dot, IdentifierName)), (0, import_lib3.$E)(TypeArguments)), function($skip, $loc, $0, $1, $2, $3, $4) {
+var TypePrimary$9 = (0, import_lib3.$TS)((0, import_lib3.$S)((0, import_lib3.$E)(_), Identifier, (0, import_lib3.$Q)((0, import_lib3.$S)(Dot, IdentifierName)), (0, import_lib3.$E)((0, import_lib3.$C)(TypeArguments, ImplicitTypeArguments))), function($skip, $loc, $0, $1, $2, $3, $4) {
   var args = $4;
   return {
     type: "IdentifierType",
@@ -16608,10 +16693,13 @@ var TypePrimary$9 = (0, import_lib3.$TS)((0, import_lib3.$S)((0, import_lib3.$E)
     args
   };
 });
-var TypePrimary$10 = (0, import_lib3.$TS)((0, import_lib3.$S)((0, import_lib3.$E)(_), OpenParen, (0, import_lib3.$C)(Type, (0, import_lib3.$S)(EOS, Type)), __, CloseParen), function($skip, $loc, $0, $1, $2, $3, $4, $5) {
+var TypePrimary$10 = (0, import_lib3.$TS)((0, import_lib3.$S)((0, import_lib3.$E)(_), OpenParen, AllowAll, (0, import_lib3.$E)((0, import_lib3.$C)(Type, (0, import_lib3.$S)(EOS, Type))), RestoreAll, __, CloseParen), function($skip, $loc, $0, $1, $2, $3, $4, $5, $6, $7) {
+  if (!$4)
+    return $skip;
   return {
     type: "ParenthesizedType",
-    children: $0
+    children: [$1, $2, $4, $6, $7]
+    // omit AllowAll/RestoreAll
   };
 });
 var TypePrimary$$ = [TypePrimary$0, TypePrimary$1, TypePrimary$2, TypePrimary$3, TypePrimary$4, TypePrimary$5, TypePrimary$6, TypePrimary$7, TypePrimary$8, TypePrimary$9, TypePrimary$10];
@@ -16624,18 +16712,58 @@ var ImportType$$ = [ImportType$0, ImportType$1];
 function ImportType(ctx, state2) {
   return (0, import_lib3.$EVENT_C)(ctx, state2, "ImportType", ImportType$$);
 }
-var TypeTuple$0 = (0, import_lib3.$TS)((0, import_lib3.$S)(OpenBracket, (0, import_lib3.$C)(NestedTypeList, (0, import_lib3.$E)(TypeList)), __, CloseBracket), function($skip, $loc, $0, $1, $2, $3, $4) {
+var TypeTuple$0 = (0, import_lib3.$TS)((0, import_lib3.$S)(OpenBracket, AllowAll, (0, import_lib3.$E)((0, import_lib3.$S)(TypeTupleContent, __, CloseBracket)), RestoreAll), function($skip, $loc, $0, $1, $2, $3, $4) {
+  if (!$3)
+    return $skip;
   return {
     type: "TypeTuple",
-    children: $0
+    children: [$1, ...$3]
   };
 });
 function TypeTuple(ctx, state2) {
   return (0, import_lib3.$EVENT)(ctx, state2, "TypeTuple", TypeTuple$0);
 }
-var TypeList$0 = (0, import_lib3.$S)(TypeElement, (0, import_lib3.$Q)((0, import_lib3.$S)(__, Comma, TypeElement)));
-function TypeList(ctx, state2) {
-  return (0, import_lib3.$EVENT)(ctx, state2, "TypeList", TypeList$0);
+var TypeTupleContent$0 = (0, import_lib3.$S)(NestedTypeElementList, (0, import_lib3.$Y)((0, import_lib3.$S)(__, CloseBracket)));
+var TypeTupleContent$1 = (0, import_lib3.$TS)((0, import_lib3.$S)(TypeElementListWithIndentedApplicationForbidden, ArrayElementDelimiter, (0, import_lib3.$E)(NestedTypeElementList), (0, import_lib3.$Y)((0, import_lib3.$S)(__, CloseBracket))), function($skip, $loc, $0, $1, $2, $3, $4) {
+  var list = $1;
+  var delimiter = $2;
+  var nested = $3;
+  if (!nested)
+    return list;
+  return [...list, delimiter, ...nested];
+});
+var TypeTupleContent$2 = (0, import_lib3.$TV)((0, import_lib3.$Q)((0, import_lib3.$S)(__, TypeElementListWithIndentedApplicationForbidden, ArrayElementDelimiter)), function($skip, $loc, $0, $1) {
+  return $1.flat();
+});
+var TypeTupleContent$$ = [TypeTupleContent$0, TypeTupleContent$1, TypeTupleContent$2];
+function TypeTupleContent(ctx, state2) {
+  return (0, import_lib3.$EVENT_C)(ctx, state2, "TypeTupleContent", TypeTupleContent$$);
+}
+var TypeElementListWithIndentedApplicationForbidden$0 = (0, import_lib3.$TS)((0, import_lib3.$S)(ForbidIndentedApplication, (0, import_lib3.$E)(TypeElementList), RestoreIndentedApplication), function($skip, $loc, $0, $1, $2, $3) {
+  if ($2)
+    return $2;
+  return $skip;
+});
+function TypeElementListWithIndentedApplicationForbidden(ctx, state2) {
+  return (0, import_lib3.$EVENT)(ctx, state2, "TypeElementListWithIndentedApplicationForbidden", TypeElementListWithIndentedApplicationForbidden$0);
+}
+var TypeElementList$0 = (0, import_lib3.$T)((0, import_lib3.$S)(TypeBulletedTuple), function(value) {
+  return [value[0]];
+});
+var TypeElementList$1 = (0, import_lib3.$TS)((0, import_lib3.$S)((0, import_lib3.$N)(EOS), TypeElement, (0, import_lib3.$Q)((0, import_lib3.$S)((0, import_lib3.$S)((0, import_lib3.$E)(_), Comma, (0, import_lib3.$N)(EOS)), TypeElement))), function($skip, $loc, $0, $1, $2, $3) {
+  var first = $2;
+  var rest = $3;
+  if (!rest.length)
+    return [first];
+  return [
+    append(first, rest[0][0])
+  ].concat(
+    rest.map(([_2, e], i) => append(e, rest[i + 1]?.[0]))
+  );
+});
+var TypeElementList$$ = [TypeElementList$0, TypeElementList$1];
+function TypeElementList(ctx, state2) {
+  return (0, import_lib3.$EVENT_C)(ctx, state2, "TypeElementList", TypeElementList$$);
 }
 var TypeElement$0 = (0, import_lib3.$TS)((0, import_lib3.$S)(__, (0, import_lib3.$E)((0, import_lib3.$S)(DotDotDot, __)), IdentifierName, (0, import_lib3.$E)((0, import_lib3.$S)((0, import_lib3.$E)(_), DotDotDot)), (0, import_lib3.$S)(__, (0, import_lib3.$E)((0, import_lib3.$S)(QuestionMark, (0, import_lib3.$E)(_))), Colon, __), Type), function($skip, $loc, $0, $1, $2, $3, $4, $5, $6) {
   var ws = $1;
@@ -16669,21 +16797,129 @@ var TypeElement$$ = [TypeElement$0, TypeElement$1, TypeElement$2];
 function TypeElement(ctx, state2) {
   return (0, import_lib3.$EVENT_C)(ctx, state2, "TypeElement", TypeElement$$);
 }
-var NestedTypeList$0 = (0, import_lib3.$TS)((0, import_lib3.$S)(PushIndent, (0, import_lib3.$Q)(NestedType), PopIndent), function($skip, $loc, $0, $1, $2, $3) {
+var NestedTypeElementList$0 = (0, import_lib3.$TS)((0, import_lib3.$S)(PushIndent, (0, import_lib3.$Q)(NestedTypeElement), PopIndent), function($skip, $loc, $0, $1, $2, $3) {
   var types = $2;
   if (types.length)
     return types;
   return $skip;
 });
-function NestedTypeList(ctx, state2) {
-  return (0, import_lib3.$EVENT)(ctx, state2, "NestedTypeList", NestedTypeList$0);
+function NestedTypeElementList(ctx, state2) {
+  return (0, import_lib3.$EVENT)(ctx, state2, "NestedTypeElementList", NestedTypeElementList$0);
+}
+var NestedTypeElement$0 = (0, import_lib3.$TS)((0, import_lib3.$S)(Nested, TypeElementList, ArrayElementDelimiter), function($skip, $loc, $0, $1, $2, $3) {
+  var indent = $1;
+  var list = $2;
+  var delimiter = $3;
+  const { length } = list;
+  if (!length)
+    return $skip;
+  return list.map((e, i) => {
+    if (i === 0)
+      e = prepend(indent, e);
+    if (i === length - 1)
+      e = append(e, delimiter);
+    return e;
+  });
+});
+function NestedTypeElement(ctx, state2) {
+  return (0, import_lib3.$EVENT)(ctx, state2, "NestedTypeElement", NestedTypeElement$0);
+}
+var NestedTypeBulletedTuple$0 = (0, import_lib3.$TS)((0, import_lib3.$S)((0, import_lib3.$S)(InsertSpace, InsertOpenBracket), PushIndent, (0, import_lib3.$Q)(NestedTypeBullet), InsertCloseBracket, PopIndent), function($skip, $loc, $0, $1, $2, $3, $4, $5) {
+  var open = $1;
+  var content = $3;
+  var close = $4;
+  if (!content.length)
+    return $skip;
+  content = content.flat();
+  const last = content[content.length - 1];
+  let children = Array.isArray(last) ? last : last?.children;
+  if (children?.at(-1).implicit) {
+    children = children.slice(0, -1);
+    if (Array.isArray(last)) {
+      content[content.length - 1] = children;
+    } else {
+      content[content.length - 1] = { ...last, children };
+    }
+  }
+  return {
+    type: "TypeTuple",
+    children: [...open, ...content, close]
+  };
+});
+function NestedTypeBulletedTuple(ctx, state2) {
+  return (0, import_lib3.$EVENT)(ctx, state2, "NestedTypeBulletedTuple", NestedTypeBulletedTuple$0);
+}
+var TypeBulletedTuple$0 = (0, import_lib3.$TS)((0, import_lib3.$S)(InsertOpenBracket, (0, import_lib3.$E)((0, import_lib3.$S)(TypeBullet, (0, import_lib3.$Q)(NestedTypeBullet))), InsertCloseBracket), function($skip, $loc, $0, $1, $2, $3) {
+  var open = $1;
+  var content = $2;
+  var close = $3;
+  if (!content)
+    return $skip;
+  content = [
+    ...trimFirstSpace(content[0]),
+    // replace first space with bracket
+    ...content[1].flat()
+  ];
+  const last = content[content.length - 1];
+  let children = Array.isArray(last) ? last : last?.children;
+  if (children?.at(-1).implicit) {
+    children = children.slice(0, -1);
+    if (Array.isArray(last)) {
+      content[content.length - 1] = children;
+    } else {
+      content[content.length - 1] = { ...last, children };
+    }
+  }
+  return {
+    type: "TypeTuple",
+    children: [open, ...content, close]
+  };
+});
+function TypeBulletedTuple(ctx, state2) {
+  return (0, import_lib3.$EVENT)(ctx, state2, "TypeBulletedTuple", TypeBulletedTuple$0);
+}
+var NestedTypeBullet$0 = (0, import_lib3.$TS)((0, import_lib3.$S)(Nested, TypeBullet), function($skip, $loc, $0, $1, $2) {
+  var indent = $1;
+  var list = $2;
+  return list.map((e, i) => i === 0 ? prepend(indent, e) : e);
+});
+function NestedTypeBullet(ctx, state2) {
+  return (0, import_lib3.$EVENT)(ctx, state2, "NestedTypeBullet", NestedTypeBullet$0);
+}
+var TypeBullet$0 = (0, import_lib3.$TS)((0, import_lib3.$S)(BulletIndent, (0, import_lib3.$E)((0, import_lib3.$S)(TypeElementList, ArrayBulletDelimiter)), PopIndent), function($skip, $loc, $0, $1, $2, $3) {
+  var bullet = $1;
+  var content = $2;
+  if (!content)
+    return $skip;
+  let [list, delimiter] = content;
+  if (!list.length)
+    return $skip;
+  list = list.slice();
+  list[0] = prepend(bullet, list[0]);
+  if (delimiter) {
+    const last = list.length - 1;
+    list[last] = append(list[last], delimiter);
+  }
+  return list;
+});
+function TypeBullet(ctx, state2) {
+  return (0, import_lib3.$EVENT)(ctx, state2, "TypeBullet", TypeBullet$0);
 }
-var NestedType$0 = (0, import_lib3.$S)(Nested, TypeElement, ArrayElementDelimiter);
-function NestedType(ctx, state2) {
-  return (0, import_lib3.$EVENT)(ctx, state2, "NestedType", NestedType$0);
+var TypeWithPostfix$0 = (0, import_lib3.$TS)((0, import_lib3.$S)(TypeConditional, (0, import_lib3.$E)((0, import_lib3.$S)((0, import_lib3.$E)((0, import_lib3.$C)(_, IndentedFurther)), TypeIfClause))), function($skip, $loc, $0, $1, $2) {
+  var t = $1;
+  var postfix = $2;
+  if (!postfix)
+    return t;
+  return prepend(
+    postfix[0],
+    expressionizeTypeIf([...postfix[1], $1, void 0])
+  );
+});
+function TypeWithPostfix(ctx, state2) {
+  return (0, import_lib3.$EVENT)(ctx, state2, "TypeWithPostfix", TypeWithPostfix$0);
 }
 var TypeConditional$0 = (0, import_lib3.$TS)((0, import_lib3.$S)((0, import_lib3.$E)(_), (0, import_lib3.$EXPECT)($R89, "TypeConditional /(?=if|unless)/"), TypeIfThenElse), function($skip, $loc, $0, $1, $2, $3) {
-  return [$1, expressionizeTypeIf($3)];
+  return prepend($1, expressionizeTypeIf($3));
 });
 var TypeConditional$1 = (0, import_lib3.$TS)((0, import_lib3.$S)(TypeCondition, NotDedented, QuestionMark, __, Type, __, Colon, __, Type), function($skip, $loc, $0, $1, $2, $3, $4, $5, $6, $7, $8, $9) {
   if ($1.negated)
@@ -16695,7 +16931,7 @@ var TypeConditional$$ = [TypeConditional$0, TypeConditional$1, TypeConditional$2
 function TypeConditional(ctx, state2) {
   return (0, import_lib3.$EVENT_C)(ctx, state2, "TypeConditional", TypeConditional$$);
 }
-var TypeCondition$0 = (0, import_lib3.$TS)((0, import_lib3.$S)(TypeBinary, (0, import_lib3.$E)(IndentedFurther), (0, import_lib3.$C)(ExtendsToken, NotExtendsToken), Type), function($skip, $loc, $0, $1, $2, $3, $4) {
+var TypeCondition$0 = (0, import_lib3.$TS)((0, import_lib3.$S)(TypeBinary, (0, import_lib3.$E)(IndentedFurther), (0, import_lib3.$C)(ExtendsToken, NotExtendsToken), TypeConditional), function($skip, $loc, $0, $1, $2, $3, $4) {
   return {
     type: "TypeCondition",
     negated: $3.negated,
@@ -16705,13 +16941,27 @@ var TypeCondition$0 = (0, import_lib3.$TS)((0, import_lib3.$S)(TypeBinary, (0, i
 function TypeCondition(ctx, state2) {
   return (0, import_lib3.$EVENT)(ctx, state2, "TypeCondition", TypeCondition$0);
 }
-var TypeIfThenElse$0 = (0, import_lib3.$TS)((0, import_lib3.$S)((0, import_lib3.$E)(_), (0, import_lib3.$C)(If, Unless), (0, import_lib3.$S)(OpenParen, TypeCondition, CloseParen), TypeBlock, (0, import_lib3.$E)(TypeElse)), function($skip, $loc, $0, $1, $2, $3, $4, $5) {
-  return [$1, $2, $3[1], $4, $5];
+var TypeIfThenElse$0 = (0, import_lib3.$TS)((0, import_lib3.$S)(TypeIfClause, TypeBlock, (0, import_lib3.$E)(TypeElse)), function($skip, $loc, $0, $1, $2, $3) {
+  return [...$1, $2, $3];
 });
-var TypeIfThenElse$1 = (0, import_lib3.$S)((0, import_lib3.$E)(_), (0, import_lib3.$C)(If, Unless), TypeCondition, TypeBlock, (0, import_lib3.$E)(TypeElse));
-var TypeIfThenElse$$ = [TypeIfThenElse$0, TypeIfThenElse$1];
 function TypeIfThenElse(ctx, state2) {
-  return (0, import_lib3.$EVENT_C)(ctx, state2, "TypeIfThenElse", TypeIfThenElse$$);
+  return (0, import_lib3.$EVENT)(ctx, state2, "TypeIfThenElse", TypeIfThenElse$0);
+}
+var TypeIfClause$0 = (0, import_lib3.$TS)((0, import_lib3.$S)((0, import_lib3.$C)(If, Unless), OpenParen, AllowAll, (0, import_lib3.$E)(TypeCondition), RestoreAll, CloseParen), function($skip, $loc, $0, $1, $2, $3, $4, $5, $6) {
+  var condition = $4;
+  if (!condition)
+    return $skip;
+  return [$1, condition];
+});
+var TypeIfClause$1 = (0, import_lib3.$TS)((0, import_lib3.$S)((0, import_lib3.$C)(If, Unless), ForbidIndentedApplication, (0, import_lib3.$E)(TypeCondition), RestoreIndentedApplication), function($skip, $loc, $0, $1, $2, $3, $4) {
+  var condition = $3;
+  if (!condition)
+    return $skip;
+  return [$1, condition];
+});
+var TypeIfClause$$ = [TypeIfClause$0, TypeIfClause$1];
+function TypeIfClause(ctx, state2) {
+  return (0, import_lib3.$EVENT_C)(ctx, state2, "TypeIfClause", TypeIfClause$$);
 }
 var TypeElse$0 = (0, import_lib3.$S)(NotDedented, Else, TypeBlock);
 function TypeElse(ctx, state2) {
@@ -16811,12 +17061,18 @@ var TypeBinaryOp$$ = [TypeBinaryOp$0, TypeBinaryOp$1];
 function TypeBinaryOp(ctx, state2) {
   return (0, import_lib3.$EVENT_C)(ctx, state2, "TypeBinaryOp", TypeBinaryOp$$);
 }
-var TypeFunction$0 = (0, import_lib3.$TS)((0, import_lib3.$S)((0, import_lib3.$E)((0, import_lib3.$S)((0, import_lib3.$E)((0, import_lib3.$S)(Abstract, (0, import_lib3.$E)(_))), New, (0, import_lib3.$E)(_))), Parameters, __, TypeArrowFunction, (0, import_lib3.$E)(ReturnType)), function($skip, $loc, $0, $1, $2, $3, $4, $5) {
-  var type = $5;
-  if (type) {
-    return $0;
+var TypeFunction$0 = (0, import_lib3.$TS)((0, import_lib3.$S)((0, import_lib3.$E)((0, import_lib3.$S)(Abstract, (0, import_lib3.$E)(_))), (0, import_lib3.$E)((0, import_lib3.$S)(New, (0, import_lib3.$E)(_))), Parameters, __, TypeArrowFunction, (0, import_lib3.$E)(ReturnType)), function($skip, $loc, $0, $1, $2, $3, $4, $5, $6) {
+  var type = $6;
+  const ret = [...$0];
+  if ($1 && !$2) {
+    ret[1] = {
+      type: "Error",
+      message: "abstract function types must be constructors (abstract new)"
+    };
   }
-  return [...$0, "void"];
+  if (!type)
+    ret.push("void");
+  return ret;
 });
 function TypeFunction(ctx, state2) {
   return (0, import_lib3.$EVENT)(ctx, state2, "TypeFunction", TypeFunction$0);
@@ -16827,8 +17083,9 @@ var TypeArrowFunction$0 = (0, import_lib3.$TV)((0, import_lib3.$C)((0, import_li
 function TypeArrowFunction(ctx, state2) {
   return (0, import_lib3.$EVENT)(ctx, state2, "TypeArrowFunction", TypeArrowFunction$0);
 }
-var TypeArguments$0 = (0, import_lib3.$TS)((0, import_lib3.$S)(OpenAngleBracket, (0, import_lib3.$P)(TypeArgument), __, CloseAngleBracket), function($skip, $loc, $0, $1, $2, $3, $4) {
+var TypeArguments$0 = (0, import_lib3.$TS)((0, import_lib3.$S)(OpenAngleBracket, (0, import_lib3.$P)((0, import_lib3.$S)(__, TypeArgumentDelimited)), __, CloseAngleBracket), function($skip, $loc, $0, $1, $2, $3, $4) {
   var args = $2;
+  args = args.map(([ws, arg]) => [ws, ...arg]);
   return {
     type: "TypeArguments",
     ts: true,
@@ -16839,7 +17096,91 @@ var TypeArguments$0 = (0, import_lib3.$TS)((0, import_lib3.$S)(OpenAngleBracket,
 function TypeArguments(ctx, state2) {
   return (0, import_lib3.$EVENT)(ctx, state2, "TypeArguments", TypeArguments$0);
 }
-var TypeArgument$0 = (0, import_lib3.$S)(__, Type, TypeArgumentDelimiter);
+var ImplicitTypeArguments$0 = (0, import_lib3.$TS)((0, import_lib3.$S)(TypeApplicationStart, InsertOpenAngleBracket, (0, import_lib3.$E)(Trimmed_), TypeArgumentList, InsertCloseAngleBracket), function($skip, $loc, $0, $1, $2, $3, $4, $5) {
+  var open = $2;
+  var ws = $3;
+  var args = $4;
+  var close = $5;
+  let last = args[args.length - 1];
+  if (last?.token === ",")
+    args = args.slice(0, -1);
+  return [open, ws, args, close];
+});
+function ImplicitTypeArguments(ctx, state2) {
+  return (0, import_lib3.$EVENT)(ctx, state2, "ImplicitTypeArguments", ImplicitTypeArguments$0);
+}
+var TypeApplicationStart$0 = (0, import_lib3.$S)(IndentedApplicationAllowed, (0, import_lib3.$Y)((0, import_lib3.$S)(IndentedFurther, (0, import_lib3.$N)(ForbiddenImplicitTypeCalls))));
+var TypeApplicationStart$1 = (0, import_lib3.$S)((0, import_lib3.$N)(EOS), (0, import_lib3.$Y)((0, import_lib3.$S)(_, (0, import_lib3.$N)(ForbiddenImplicitTypeCalls))));
+var TypeApplicationStart$$ = [TypeApplicationStart$0, TypeApplicationStart$1];
+function TypeApplicationStart(ctx, state2) {
+  return (0, import_lib3.$EVENT_C)(ctx, state2, "TypeApplicationStart", TypeApplicationStart$$);
+}
+var ForbiddenImplicitTypeCalls$0 = ReservedBinary;
+var ForbiddenImplicitTypeCalls$1 = (0, import_lib3.$R$0)((0, import_lib3.$EXPECT)($R90, "ForbiddenImplicitTypeCalls /[|&<!=\\-\u21D2\u2192]/"));
+var ForbiddenImplicitTypeCalls$2 = (0, import_lib3.$R$0)((0, import_lib3.$EXPECT)($R91, "ForbiddenImplicitTypeCalls /(extends|not|is)(?!\\p{ID_Continue}|[\\u200C\\u200D$])/"));
+var ForbiddenImplicitTypeCalls$$ = [ForbiddenImplicitTypeCalls$0, ForbiddenImplicitTypeCalls$1, ForbiddenImplicitTypeCalls$2];
+function ForbiddenImplicitTypeCalls(ctx, state2) {
+  return (0, import_lib3.$EVENT_C)(ctx, state2, "ForbiddenImplicitTypeCalls", ForbiddenImplicitTypeCalls$$);
+}
+var TypeArgumentList$0 = (0, import_lib3.$TS)((0, import_lib3.$S)((0, import_lib3.$N)(EOS), TypeArgument, (0, import_lib3.$Q)((0, import_lib3.$S)(CommaDelimiter, (0, import_lib3.$N)(EOS), (0, import_lib3.$E)(_), TypeArgument)), (0, import_lib3.$P)((0, import_lib3.$S)(CommaDelimiter, (0, import_lib3.$C)(NestedTypeBulletedTuple, NestedInterfaceBlock, NestedTypeArgumentList)))), function($skip, $loc, $0, $1, $2, $3, $4) {
+  return [
+    $2,
+    ...$3.flatMap(([comma, eos, ws, arg]) => [comma, prepend(ws, arg)]),
+    ...$4.flatMap(
+      ([comma, args]) => Array.isArray(args) ? [comma, ...args] : [comma, args]
+    )
+  ];
+});
+var TypeArgumentList$1 = (0, import_lib3.$TS)((0, import_lib3.$S)((0, import_lib3.$C)(NestedTypeBulletedTuple, NestedInterfaceBlock), (0, import_lib3.$Q)((0, import_lib3.$S)(CommaDelimiter, (0, import_lib3.$C)(NestedTypeBulletedTuple, NestedInterfaceBlock, NestedTypeArgumentList)))), function($skip, $loc, $0, $1, $2) {
+  return [
+    trimFirstSpace($1),
+    ...$2.flatMap(
+      ([comma, args]) => Array.isArray(args) ? [comma, ...args] : [comma, args]
+    )
+  ];
+});
+var TypeArgumentList$2 = NestedTypeArgumentList;
+var TypeArgumentList$3 = (0, import_lib3.$TS)((0, import_lib3.$S)(TypeArgument, (0, import_lib3.$Q)((0, import_lib3.$S)(CommaDelimiter, (0, import_lib3.$E)(_), TypeArgument))), function($skip, $loc, $0, $1, $2) {
+  return [
+    $1,
+    ...$2.flatMap(([comma, ws, arg]) => [comma, prepend(ws, arg)])
+  ];
+});
+var TypeArgumentList$$ = [TypeArgumentList$0, TypeArgumentList$1, TypeArgumentList$2, TypeArgumentList$3];
+function TypeArgumentList(ctx, state2) {
+  return (0, import_lib3.$EVENT_C)(ctx, state2, "TypeArgumentList", TypeArgumentList$$);
+}
+var NestedTypeArgumentList$0 = (0, import_lib3.$TS)((0, import_lib3.$S)(PushIndent, (0, import_lib3.$Q)(NestedTypeArgument), PopIndent), function($skip, $loc, $0, $1, $2, $3) {
+  var args = $2;
+  if (!args.length)
+    return $skip;
+  return args.flat();
+});
+function NestedTypeArgumentList(ctx, state2) {
+  return (0, import_lib3.$EVENT)(ctx, state2, "NestedTypeArgumentList", NestedTypeArgumentList$0);
+}
+var NestedTypeArgument$0 = (0, import_lib3.$TS)((0, import_lib3.$S)(Nested, SingleLineTypeArgumentList, TypeArgumentDelimiter), function($skip, $loc, $0, $1, $2, $3) {
+  var indent = $1;
+  var args = $2;
+  var comma = $3;
+  let [arg0, ...rest] = args;
+  arg0 = prepend(indent, arg0);
+  return [arg0, ...rest, comma];
+});
+function NestedTypeArgument(ctx, state2) {
+  return (0, import_lib3.$EVENT)(ctx, state2, "NestedTypeArgument", NestedTypeArgument$0);
+}
+var SingleLineTypeArgumentList$0 = (0, import_lib3.$TS)((0, import_lib3.$S)((0, import_lib3.$S)((0, import_lib3.$E)(_), TypeArgument), (0, import_lib3.$Q)((0, import_lib3.$S)((0, import_lib3.$S)((0, import_lib3.$E)(_), Comma), (0, import_lib3.$S)((0, import_lib3.$E)(_), TypeArgument)))), function($skip, $loc, $0, $1, $2) {
+  return [$1, ...$2.flat()];
+});
+function SingleLineTypeArgumentList(ctx, state2) {
+  return (0, import_lib3.$EVENT)(ctx, state2, "SingleLineTypeArgumentList", SingleLineTypeArgumentList$0);
+}
+var TypeArgumentDelimited$0 = (0, import_lib3.$S)(TypeArgument, TypeArgumentDelimiter);
+function TypeArgumentDelimited(ctx, state2) {
+  return (0, import_lib3.$EVENT)(ctx, state2, "TypeArgumentDelimited", TypeArgumentDelimited$0);
+}
+var TypeArgument$0 = Type;
 function TypeArgument(ctx, state2) {
   return (0, import_lib3.$EVENT)(ctx, state2, "TypeArgument", TypeArgument$0);
 }
@@ -16886,15 +17227,15 @@ var ThisType$0 = (0, import_lib3.$T)((0, import_lib3.$S)((0, import_lib3.$E)(_),
 function ThisType(ctx, state2) {
   return (0, import_lib3.$EVENT)(ctx, state2, "ThisType", ThisType$0);
 }
-var Shebang$0 = (0, import_lib3.$S)((0, import_lib3.$R$0)((0, import_lib3.$EXPECT)($R90, "Shebang /#![^\\r\\n]*/")), EOL);
+var Shebang$0 = (0, import_lib3.$S)((0, import_lib3.$R$0)((0, import_lib3.$EXPECT)($R92, "Shebang /#![^\\r\\n]*/")), EOL);
 function Shebang(ctx, state2) {
   return (0, import_lib3.$EVENT)(ctx, state2, "Shebang", Shebang$0);
 }
-var CivetPrologue$0 = (0, import_lib3.$T)((0, import_lib3.$S)((0, import_lib3.$EXPECT)($R91, "CivetPrologue /[\\t ]*/"), DoubleQuote, CivetPrologueContent, DoubleQuote, SimpleStatementDelimiter, (0, import_lib3.$EXPECT)($R20, "CivetPrologue /[ \\t]*/"), (0, import_lib3.$C)(EOL, (0, import_lib3.$Y)(RestOfLine))), function(value) {
+var CivetPrologue$0 = (0, import_lib3.$T)((0, import_lib3.$S)((0, import_lib3.$EXPECT)($R93, "CivetPrologue /[\\t ]*/"), DoubleQuote, CivetPrologueContent, DoubleQuote, SimpleStatementDelimiter, (0, import_lib3.$EXPECT)($R20, "CivetPrologue /[ \\t]*/"), (0, import_lib3.$C)(EOL, (0, import_lib3.$Y)(RestOfLine))), function(value) {
   var content = value[2];
   return content;
 });
-var CivetPrologue$1 = (0, import_lib3.$T)((0, import_lib3.$S)((0, import_lib3.$EXPECT)($R91, "CivetPrologue /[\\t ]*/"), SingleQuote, CivetPrologueContent, SingleQuote, SimpleStatementDelimiter, (0, import_lib3.$EXPECT)($R20, "CivetPrologue /[ \\t]*/"), (0, import_lib3.$C)(EOL, (0, import_lib3.$Y)(RestOfLine))), function(value) {
+var CivetPrologue$1 = (0, import_lib3.$T)((0, import_lib3.$S)((0, import_lib3.$EXPECT)($R93, "CivetPrologue /[\\t ]*/"), SingleQuote, CivetPrologueContent, SingleQuote, SimpleStatementDelimiter, (0, import_lib3.$EXPECT)($R20, "CivetPrologue /[ \\t]*/"), (0, import_lib3.$C)(EOL, (0, import_lib3.$Y)(RestOfLine))), function(value) {
   var content = value[2];
   return content;
 });
@@ -16902,7 +17243,7 @@ var CivetPrologue$$ = [CivetPrologue$0, CivetPrologue$1];
 function CivetPrologue(ctx, state2) {
   return (0, import_lib3.$EVENT_C)(ctx, state2, "CivetPrologue", CivetPrologue$$);
 }
-var CivetPrologueContent$0 = (0, import_lib3.$TS)((0, import_lib3.$S)((0, import_lib3.$EXPECT)($L238, 'CivetPrologueContent "civet"'), NonIdContinue, (0, import_lib3.$Q)(CivetOption), (0, import_lib3.$EXPECT)($R92, "CivetPrologueContent /[\\s]*/")), function($skip, $loc, $0, $1, $2, $3, $4) {
+var CivetPrologueContent$0 = (0, import_lib3.$TS)((0, import_lib3.$S)((0, import_lib3.$EXPECT)($L238, 'CivetPrologueContent "civet"'), NonIdContinue, (0, import_lib3.$Q)(CivetOption), (0, import_lib3.$EXPECT)($R94, "CivetPrologueContent /[\\s]*/")), function($skip, $loc, $0, $1, $2, $3, $4) {
   var options = $3;
   return {
     type: "CivetPrologue",
@@ -16913,7 +17254,7 @@ var CivetPrologueContent$0 = (0, import_lib3.$TS)((0, import_lib3.$S)((0, import
 function CivetPrologueContent(ctx, state2) {
   return (0, import_lib3.$EVENT)(ctx, state2, "CivetPrologueContent", CivetPrologueContent$0);
 }
-var CivetOption$0 = (0, import_lib3.$TR)((0, import_lib3.$EXPECT)($R93, "CivetOption /\\s+([+-]?)([a-zA-Z0-9-]+)(\\s*=\\s*([a-zA-Z0-9.+-]*))?/"), function($skip, $loc, $0, $1, $2, $3, $4, $5, $6, $7, $8, $9) {
+var CivetOption$0 = (0, import_lib3.$TR)((0, import_lib3.$EXPECT)($R95, "CivetOption /\\s+([+-]?)([a-zA-Z0-9-]+)(\\s*=\\s*([a-zA-Z0-9.+-]*))?/"), function($skip, $loc, $0, $1, $2, $3, $4, $5, $6, $7, $8, $9) {
   const optionName = $2.replace(/-+([a-z]?)/g, (_2, l) => {
     if (l)
       return l.toUpperCase();
@@ -16930,11 +17271,11 @@ var CivetOption$0 = (0, import_lib3.$TR)((0, import_lib3.$EXPECT)($R93, "CivetOp
 function CivetOption(ctx, state2) {
   return (0, import_lib3.$EVENT)(ctx, state2, "CivetOption", CivetOption$0);
 }
-var UnknownPrologue$0 = (0, import_lib3.$S)((0, import_lib3.$R$0)((0, import_lib3.$EXPECT)($R91, "UnknownPrologue /[\\t ]*/")), StringLiteral, (0, import_lib3.$TEXT)(SimpleStatementDelimiter), EOS);
+var UnknownPrologue$0 = (0, import_lib3.$S)((0, import_lib3.$R$0)((0, import_lib3.$EXPECT)($R93, "UnknownPrologue /[\\t ]*/")), StringLiteral, (0, import_lib3.$TEXT)(SimpleStatementDelimiter), EOS);
 function UnknownPrologue(ctx, state2) {
   return (0, import_lib3.$EVENT)(ctx, state2, "UnknownPrologue", UnknownPrologue$0);
 }
-var TripleSlashDirective$0 = (0, import_lib3.$S)((0, import_lib3.$R$0)((0, import_lib3.$EXPECT)($R94, "TripleSlashDirective /\\/\\/\\/[^\\r\\n]*/")), (0, import_lib3.$E)(EOS));
+var TripleSlashDirective$0 = (0, import_lib3.$S)((0, import_lib3.$R$0)((0, import_lib3.$EXPECT)($R96, "TripleSlashDirective /\\/\\/\\/[^\\r\\n]*/")), (0, import_lib3.$E)(EOS));
 function TripleSlashDirective(ctx, state2) {
   return (0, import_lib3.$EVENT)(ctx, state2, "TripleSlashDirective", TripleSlashDirective$0);
 }
@@ -16950,13 +17291,13 @@ var PrologueString$$ = [PrologueString$0, PrologueString$1];
 function PrologueString(ctx, state2) {
   return (0, import_lib3.$EVENT_C)(ctx, state2, "PrologueString", PrologueString$$);
 }
-var EOS$0 = (0, import_lib3.$T)((0, import_lib3.$S)((0, import_lib3.$EXPECT)($R95, "EOS /(?=[ \\t\\r\\n\\/#]|$)/"), (0, import_lib3.$P)(RestOfLine)), function(value) {
+var EOS$0 = (0, import_lib3.$T)((0, import_lib3.$S)((0, import_lib3.$EXPECT)($R97, "EOS /(?=[ \\t\\r\\n\\/#]|$)/"), (0, import_lib3.$P)(RestOfLine)), function(value) {
   return value[1];
 });
 function EOS(ctx, state2) {
   return (0, import_lib3.$EVENT)(ctx, state2, "EOS", EOS$0);
 }
-var EOL$0 = (0, import_lib3.$TR)((0, import_lib3.$EXPECT)($R96, "EOL /\\r\\n|\\n|\\r|$/"), function($skip, $loc, $0, $1, $2, $3, $4, $5, $6, $7, $8, $9) {
+var EOL$0 = (0, import_lib3.$TR)((0, import_lib3.$EXPECT)($R98, "EOL /\\r\\n|\\n|\\r|$/"), function($skip, $loc, $0, $1, $2, $3, $4, $5, $6, $7, $8, $9) {
   return { $loc, token: $0 };
 });
 function EOL(ctx, state2) {
@@ -17022,6 +17363,18 @@ var InsertCloseBracket$0 = (0, import_lib3.$TV)((0, import_lib3.$EXPECT)($L0, 'I
 function InsertCloseBracket(ctx, state2) {
   return (0, import_lib3.$EVENT)(ctx, state2, "InsertCloseBracket", InsertCloseBracket$0);
 }
+var InsertOpenAngleBracket$0 = (0, import_lib3.$TV)((0, import_lib3.$EXPECT)($L0, 'InsertOpenAngleBracket ""'), function($skip, $loc, $0, $1) {
+  return { $loc, token: "<" };
+});
+function InsertOpenAngleBracket(ctx, state2) {
+  return (0, import_lib3.$EVENT)(ctx, state2, "InsertOpenAngleBracket", InsertOpenAngleBracket$0);
+}
+var InsertCloseAngleBracket$0 = (0, import_lib3.$TV)((0, import_lib3.$EXPECT)($L0, 'InsertCloseAngleBracket ""'), function($skip, $loc, $0, $1) {
+  return { $loc, token: ">" };
+});
+function InsertCloseAngleBracket(ctx, state2) {
+  return (0, import_lib3.$EVENT)(ctx, state2, "InsertCloseAngleBracket", InsertCloseAngleBracket$0);
+}
 var InsertComma$0 = (0, import_lib3.$TV)((0, import_lib3.$EXPECT)($L0, 'InsertComma ""'), function($skip, $loc, $0, $1) {
   return { $loc, token: ",", implicit: true };
 });
@@ -17354,7 +17707,7 @@ var Prologue$0 = (0, import_lib3.$Q)((0, import_lib3.$C)(TripleSlashDirective, (
 function Prologue(ctx, state2) {
   return (0, import_lib3.$EVENT)(ctx, state2, "Prologue", Prologue$0);
 }
-var ProloguePrefix$0 = (0, import_lib3.$S)(Prologue, (0, import_lib3.$R$0)((0, import_lib3.$EXPECT)($R97, "ProloguePrefix /[^]*/")));
+var ProloguePrefix$0 = (0, import_lib3.$S)(Prologue, (0, import_lib3.$R$0)((0, import_lib3.$EXPECT)($R99, "ProloguePrefix /[^]*/")));
 function ProloguePrefix(ctx, state2) {
   return (0, import_lib3.$EVENT)(ctx, state2, "ProloguePrefix", ProloguePrefix$0);
 }
@@ -17444,6 +17797,20 @@ var Dedented$0 = (0, import_lib3.$T)((0, import_lib3.$S)((0, import_lib3.$N)(Ind
 function Dedented(ctx, state2) {
   return (0, import_lib3.$EVENT)(ctx, state2, "Dedented", Dedented$0);
 }
+var PushExtraIndent1$0 = (0, import_lib3.$TV)((0, import_lib3.$EXPECT)($L0, 'PushExtraIndent1 ""'), function($skip, $loc, $0, $1) {
+  const indent = {
+    token: "",
+    $loc,
+    level: state.currentIndent.level + 1
+  };
+  if (config.verbose)
+    console.log("pushing bonus indent", indent);
+  state.indentLevels.push(indent);
+  return indent;
+});
+function PushExtraIndent1(ctx, state2) {
+  return (0, import_lib3.$EVENT)(ctx, state2, "PushExtraIndent1", PushExtraIndent1$0);
+}
 var parser = function() {
   const { fail, validate, reset } = (0, import_lib3.Validator)();
   let ctx = { expectation: "", fail };
@@ -17903,6 +18270,7 @@ var uncacheable = /* @__PURE__ */ new Set([
   "PopIndent",
   "TrackIndented",
   "BulletIndent",
+  "PushExtraIndent1",
   // JSX
   "PushJSXOpeningElement",
   "PushJSXOpeningFragment",