tsc-ts 0.0.6 → 0.0.7

package/src/compiler/encoder.ts

@@ -186,6 +186,11 @@ import {
   YieldExpression,
   BigIntLiteral,
   Identifier,
+  propertyAssignmentPostfixToken,
+  propertyAssignmentType,
+  callQuestionDotToken,
+  propertyAssignmentModifiers,
+  callTypeArguments,
 } from './ast.js';
 import { getJSDoc } from './parser.js';
 import { SyntaxKind } from './syntax-kind.js';
@@ -883,8 +888,8 @@ function childrenPropertyMask(node: Node): number {
     case SyntaxKind.CallExpression:
       return node instanceof CallExpression
         ? ((node as CallExpression).expression !== undefined ? 1 : 0) |
-            ((node as CallExpression).questionDotToken !== undefined ? 2 : 0) |
-            ((node as CallExpression).typeArguments !== undefined ? 4 : 0) |
+            (callQuestionDotToken(node as CallExpression) !== undefined ? 2 : 0) |
+            (callTypeArguments(node as CallExpression) !== undefined ? 4 : 0) |
             ((node as CallExpression).arguments !== undefined ? 8 : 0)
         : 0;
     case SyntaxKind.NewExpression:
@@ -938,10 +943,10 @@ function childrenPropertyMask(node: Node): number {
       return node instanceof SpreadAssignment ? ((node as SpreadAssignment).expression !== undefined ? 1 : 0) : 0;
     case SyntaxKind.PropertyAssignment:
       return node instanceof PropertyAssignment
-        ? (hasModifiers((node as PropertyAssignment).modifiers) ? 1 : 0) |
+        ? (hasModifiers(propertyAssignmentModifiers(node as PropertyAssignment)) ? 1 : 0) |
             ((node as PropertyAssignment).name !== undefined ? 2 : 0) |
-            ((node as PropertyAssignment).postfixToken !== undefined ? 4 : 0) |
-            ((node as PropertyAssignment).type !== undefined ? 8 : 0) |
+            (propertyAssignmentPostfixToken(node as PropertyAssignment) !== undefined ? 4 : 0) |
+            (propertyAssignmentType(node as PropertyAssignment) !== undefined ? 8 : 0) |
             ((node as PropertyAssignment).initializer !== undefined ? 16 : 0)
         : 0;
     case SyntaxKind.ShorthandPropertyAssignment:

package/src/compiler/parallel-parse.ts

@@ -494,7 +494,9 @@ export class ParseSession {
   }
 
   private post(i: number, chunk: LoadMessage): void {
-    this.workers[i]!.postMessage(chunk);
+    // Published, the chunk reaches the thread by pointer: copying its names into the message took the
+    // main thread 25-45 us per chunk, which during config read delays the matching of root files.
+    this.workers[i]!.postMessage(publish(chunk));
     this.outstanding[i] = this.outstanding[i]! + 1;
     if (chunk.kinds[0] === LoadKind.Library && largeLibraries.has(chunk.names[0]!)) this.blocked[i] = true;
     this.busy++;

package/src/compiler/parser.ts

@@ -6,6 +6,7 @@
 // for (const statement of file.statements.nodes) console.log(statement.kind);
 // ```
 import {
+  appendToList,
   ArrayLiteralExpression,
   ArrayTypeNode,
   ArrowFunction,
@@ -38,6 +39,11 @@ import {
   DeleteExpression,
   DoStatement,
   ElementAccessExpression,
+  emptyCommentDirectives,
+  emptyDiagnostics,
+  emptyFileReferences,
+  emptyNodes,
+  emptyPragmas,
   EmptyStatement,
   EnumDeclaration,
   EnumMember,
@@ -193,6 +199,8 @@ import {
   type Expression,
   type Statement,
   type TypeNode,
+  newCallExpression,
+  newPropertyAssignment,
 } from './ast.js';
 import {
   OperatorPrecedence,
@@ -392,6 +400,11 @@ function appendRange(to: Node[], from: readonly Node[], start: number, end: numb
   for (let i = start; i < end; i += 1) to.push(from[i]!);
 }
 
+// The nodes of every empty parsed list. A list's nodes are pushed into a new `[]`, which natively
+// reserves room for its first elements (112 bytes); a parsed list never changes, so an empty one
+// keeps this shared array instead and its builder is freed.
+const emptyListNodes: Node[] = [];
+
 /** Parses `text` as the file `fileName`. The script kind defaults to the one implied by the extension. */
 export function parseSourceFile(fileName: string, text: string, options?: ParseOptions): SourceFile {
   const path = options === undefined ? fileName : options.path;
@@ -759,11 +772,11 @@ export class Parser extends ScannerErrorReporter {
   // Nodes
 
   newNodeList(pos: number, end: number, nodes: Node[]): NodeList {
-    return new NodeList(pos, end, nodes);
+    return new NodeList(pos, end, nodes.length === 0 ? emptyListNodes : nodes);
   }
 
   newModifierList(pos: number, end: number, nodes: Node[]): ModifierList {
-    return new ModifierList(pos, end, nodes, modifiersToFlags(nodes));
+    return new ModifierList(pos, end, nodes.length === 0 ? emptyListNodes : nodes, modifiersToFlags(nodes));
   }
 
   finishNode(node: Node, pos: number): Node {
@@ -839,7 +852,8 @@ export class Parser extends ScannerErrorReporter {
   }
 
   finishSourceFile(result: SourceFile, isDeclarationFile: boolean): void {
-    result.commentDirectives = this.scanner.getCommentDirectives();
+    const commentDirectives = this.scanner.getCommentDirectives();
+    result.commentDirectives = commentDirectives.length === 0 ? emptyCommentDirectives : commentDirectives;
     result.pragmas = getCommentPragmas(this.sourceText);
     this.processPragmasIntoFields(result);
     result.diagnostics = attachFileToDiagnostics(this.diagnostics, result);
@@ -857,9 +871,12 @@ export class Parser extends ScannerErrorReporter {
     // The table stays with the parser: when top-level await reparsing produces a second source
     // file, it finishes with the same table, which still holds the JSDoc of retained statements.
     result.jsDocs = this.jsDocTable;
-    const clones = this.reparsedClones.slice();
-    clones.sort(compareNodePositions);
-    result.reparsedClones = clones;
+    if (this.reparsedClones.length === 0) result.reparsedClones = emptyNodes;
+    else {
+      const clones = this.reparsedClones.slice();
+      clones.sort(compareNodePositions);
+      result.reparsedClones = clones;
+    }
     setExternalModuleIndicator(result);
   }
 
@@ -5520,12 +5537,13 @@ export class Parser extends ScannerErrorReporter {
         const isOptionalChain = questionDotToken !== undefined || this.tryReparseOptionalChain(expression);
         expression = this.checkJSSyntax(
           this.finishNode(
-            new CallExpression(
+            newCallExpression(
               expression,
               questionDotToken,
               typeArguments,
               argumentList,
               isOptionalChain ? NodeFlags.OptionalChain : NodeFlags.None,
+              (this.contextFlags & NodeFlags.JavaScriptFile) !== 0,
             ),
             pos,
           ),
@@ -5753,7 +5771,14 @@ export class Parser extends ScannerErrorReporter {
     } else {
       this.parseExpected(SyntaxKind.ColonToken);
       const initializer = this.parseAssignmentExpressionOrHigherAllowIn();
-      node = new PropertyAssignment(modifiers, name, postfixToken, undefined, initializer);
+      node = newPropertyAssignment(
+        modifiers,
+        name,
+        postfixToken,
+        undefined,
+        initializer,
+        (this.contextFlags & NodeFlags.JavaScriptFile) !== 0,
+      );
     }
     return this.finishWithJSDoc(node, pos, jsdoc);
   }
@@ -6802,9 +6827,9 @@ export class Parser extends ScannerErrorReporter {
 
   processPragmasIntoFields(file: SourceFile): void {
     file.checkJsDirective = undefined;
-    file.referencedFiles = [];
-    file.typeReferenceDirectives = [];
-    file.libReferenceDirectives = [];
+    file.referencedFiles = emptyFileReferences;
+    file.typeReferenceDirectives = emptyFileReferences;
+    file.libReferenceDirectives = emptyFileReferences;
     for (const pragma of file.pragmas) {
       switch (pragma.name) {
         case 'reference': {
@@ -6823,15 +6848,20 @@ export class Parser extends ScannerErrorReporter {
               resolutionMode !== undefined
                 ? this.parseResolutionMode(resolutionMode.value, resolutionMode.pos, resolutionMode.end)
                 : ModuleKind.None;
-            file.typeReferenceDirectives.push(
+            file.typeReferenceDirectives = appendToList(
+              file.typeReferenceDirectives,
               new FileReference(types.pos, types.end, types.value, parsed, isPreserved),
             );
           } else if (lib !== undefined) {
-            file.libReferenceDirectives.push(
+            file.libReferenceDirectives = appendToList(
+              file.libReferenceDirectives,
               new FileReference(lib.pos, lib.end, lib.value, ModuleKind.None, isPreserved),
             );
           } else if (path !== undefined) {
-            file.referencedFiles.push(new FileReference(path.pos, path.end, path.value, ModuleKind.None, isPreserved));
+            file.referencedFiles = appendToList(
+              file.referencedFiles,
+              new FileReference(path.pos, path.end, path.value, ModuleKind.None, isPreserved),
+            );
           } else {
             this.parseErrorAt(pragma.range.pos, pragma.range.end, Diagnostics.Invalid_reference_directive_syntax);
           }
@@ -7042,8 +7072,8 @@ function typeHasBlockingError(node: TypeNode | undefined): boolean {
   return node !== undefined && typeHasArrowFunctionBlockingParseError(node);
 }
 
-function attachFileToDiagnostics(diagnostics: Diagnostic[], file: SourceFile): Diagnostic[] {
-  if (diagnostics.length === 0) return diagnostics;
+function attachFileToDiagnostics(diagnostics: Diagnostic[], file: SourceFile): readonly Diagnostic[] {
+  if (diagnostics.length === 0) return emptyDiagnostics;
   const diagnosticFile = file.diagnosticFile();
   for (const d of diagnostics) {
     d.file = diagnosticFile;
@@ -7354,12 +7384,12 @@ function nextTokenIsNotColon(p: Parser): boolean {
 
 // Pragmas
 
-function getCommentPragmas(sourceText: string): Pragma[] {
-  const pragmas: Pragma[] = [];
+function getCommentPragmas(sourceText: string): readonly Pragma[] {
   const ranges = getLeadingCommentRanges(sourceText, 0);
-  if (ranges !== undefined)
-    for (const range of ranges) extractPragmas(range, sourceText.substring(range.pos, range.end), pragmas);
-  return pragmas;
+  if (ranges === undefined) return emptyPragmas;
+  const pragmas: Pragma[] = [];
+  for (const range of ranges) extractPragmas(range, sourceText.substring(range.pos, range.end), pragmas);
+  return pragmas.length === 0 ? emptyPragmas : pragmas;
 }
 
 function extractPragmas(range: CommentRange, text: string, pragmas: Pragma[]): void {
@@ -7528,9 +7558,9 @@ function collectModuleReferences(file: SourceFile, node: Statement, inAmbientMod
   ) {
     const nameText = getText((node as ModuleDeclaration).name);
     if (file.externalModuleIndicator !== undefined || (inAmbientModule && !isExternalModuleNameRelative(nameText))) {
-      file.moduleAugmentations.push((node as ModuleDeclaration).name);
+      file.moduleAugmentations = appendToList(file.moduleAugmentations, (node as ModuleDeclaration).name);
     } else if (!inAmbientModule) {
-      file.ambientModuleNames.push(nameText);
+      file.ambientModuleNames = appendToList(file.ambientModuleNames, nameText);
       const body = (node as ModuleDeclaration).body;
       if (body !== undefined) {
         const statements = getStatements(body);

package/src/compiler/printer/factory-base.ts

@@ -199,6 +199,13 @@ import {
   type Node,
   type NodeList,
   type Token,
+  propertyAssignmentPostfixToken,
+  propertyAssignmentType,
+  callQuestionDotToken,
+  propertyAssignmentModifiers,
+  callTypeArguments,
+  newCallExpression,
+  newPropertyAssignment,
 } from '../ast.js';
 import type { SyntaxKind } from '../syntax-kind.js';
 
@@ -359,12 +366,12 @@ export abstract class NodeFactoryBase {
   ): CallExpression {
     if (
       expression !== node.expression ||
-      questionDotToken !== node.questionDotToken ||
-      typeArguments !== node.typeArguments ||
+      questionDotToken !== callQuestionDotToken(node) ||
+      typeArguments !== callTypeArguments(node) ||
       args !== node.arguments ||
       flags !== node.flags
     ) {
-      const updated = new CallExpression(expression, questionDotToken, typeArguments, args, flags);
+      const updated = newCallExpression(expression, questionDotToken, typeArguments, args, flags, false);
       this.finishUpdate(updated, node);
       return updated;
     }
@@ -2057,13 +2064,13 @@ export abstract class NodeFactoryBase {
     initializer: Expression,
   ): PropertyAssignment {
     if (
-      modifiers !== node.modifiers ||
+      modifiers !== propertyAssignmentModifiers(node) ||
       name !== node.name ||
-      postfixToken !== node.postfixToken ||
-      typeNode !== node.type ||
+      postfixToken !== propertyAssignmentPostfixToken(node) ||
+      typeNode !== propertyAssignmentType(node) ||
       initializer !== node.initializer
     ) {
-      const updated = new PropertyAssignment(modifiers, name, postfixToken, typeNode, initializer);
+      const updated = newPropertyAssignment(modifiers, name, postfixToken, typeNode, initializer, false);
       this.finishUpdate(updated, node);
       return updated;
     }

package/src/compiler/printer/factory.ts

@@ -45,6 +45,8 @@ import {
   VariableDeclarationList,
   VariableStatement,
   VoidExpression,
+  newCallExpression,
+  newPropertyAssignment,
 } from '../ast.js';
 import { modifierToFlag } from '../ast-utilities.js';
 import { getNameOfDeclaration, getNonAssignedNameOfDeclaration, hasSyntacticModifier } from '../binder-utilities.js';
@@ -166,7 +168,7 @@ export abstract class NodeFactory extends NodeFactoryBase {
 
   createCallExpression(expression: Node, args: Node[]): CallExpression {
     return this.created(
-      new CallExpression(expression, undefined, undefined, this.createNodeList(args), NodeFlags.None),
+      newCallExpression(expression, undefined, undefined, this.createNodeList(args), NodeFlags.None, false),
     );
   }
 
@@ -265,7 +267,7 @@ export abstract class NodeFactory extends NodeFactoryBase {
   }
 
   createPropertyAssignment(name: Node, initializer: Node): PropertyAssignment {
-    return this.created(new PropertyAssignment(undefined, name, undefined, undefined, initializer));
+    return this.created(newPropertyAssignment(undefined, name, undefined, undefined, initializer, false));
   }
 
   createParameter(name: Node): ParameterDeclaration {
@@ -546,7 +548,7 @@ export abstract class NodeFactory extends NodeFactoryBase {
   createMethodCall(object: Node, method: string, args: Node[]): CallExpression {
     const callee = this.createPropertyAccessExpression(object, this.createIdentifier(method));
     const flags = object instanceof CallExpression ? object.flags & NodeFlags.OptionalChain : NodeFlags.None;
-    return this.created(new CallExpression(callee, undefined, undefined, this.createNodeList(args), flags));
+    return this.created(newCallExpression(callee, undefined, undefined, this.createNodeList(args), flags, false));
   }
 
   /** `Global.method(...args)`, such as `Math.pow(a, b)`. */

package/src/compiler/printer/printer.ts

@@ -157,6 +157,8 @@ import {
   getProperties,
   getStatements,
   getModifiers,
+  callQuestionDotToken,
+  callTypeArguments,
 } from '../ast.js';
 import { OperatorPrecedence } from '../ast-utilities.js';
 import {
@@ -2248,8 +2250,8 @@ export class Printer extends NameGeneratorHost {
   private emitCallExpression(node: CallExpression): boolean {
     const state = this.enterNode(node);
     this.emitCallee(node.expression, node);
-    this.emitOptionalToken(node.questionDotToken);
-    this.emitTypeArguments(node, node.typeArguments);
+    this.emitOptionalToken(callQuestionDotToken(node));
+    this.emitTypeArguments(node, callTypeArguments(node));
     this.emitList(ListItem.Argument, node, node.arguments, ListFormat.CallExpressionArguments);
     this.exitNode(node, state);
     return true;
@@ -2653,8 +2655,8 @@ export class Printer extends NameGeneratorHost {
       return factory.updateCallExpression(
         node,
         this.parenthesizeExpressionForNoAsi(node.expression),
-        node.questionDotToken,
-        node.typeArguments,
+        callQuestionDotToken(node),
+        callTypeArguments(node),
         node.arguments,
         node.flags,
       );
@@ -2921,8 +2923,8 @@ export class Printer extends NameGeneratorHost {
         this.write1('(');
         this.emitExpression(call.expression, OperatorPrecedence.Lowest);
         this.write1(')');
-        this.emitOptionalToken(call.questionDotToken);
-        this.emitTypeArguments(call, call.typeArguments);
+        this.emitOptionalToken(callQuestionDotToken(call));
+        this.emitTypeArguments(call, callTypeArguments(call));
         this.emitList(ListItem.Argument, call, call.arguments, ListFormat.CallExpressionArguments);
         this.exitNode(call, callState);
       }

package/src/compiler/program-checker.ts

@@ -32,6 +32,11 @@ import { CommentDirectiveKind } from './types.js';
 /** What the checker needs, answered by a program. */
 export class ProgramCheckerHost extends CheckerHost {
   private specifierHost: ProgramModuleSpecifierHost | undefined = undefined;
+  /**
+   * `getSourceFileForResolvedModule` by resolved file name (null when there is none): every import of
+   * a module asks again, and the program finds a file by its path, which it computes from the name.
+   */
+  private readonly resolvedSourceFiles = new Map<string, SourceFile | null>();
 
   constructor(readonly program: Program) {
     super();
@@ -54,7 +59,11 @@ export class ProgramCheckerHost extends CheckerHost {
   }
 
   getSourceFileForResolvedModule(fileName: string): SourceFile | undefined {
-    return this.program.getSourceFileForResolvedModule(fileName);
+    const known = this.resolvedSourceFiles.get(fileName);
+    if (known !== undefined) return known ?? undefined;
+    const file = this.program.getSourceFileForResolvedModule(fileName);
+    this.resolvedSourceFiles.set(fileName, file ?? null);
+    return file;
   }
 
   getModeForUsageLocation(file: SourceFile, location: Node): ModuleKind {

package/src/compiler/relations.ts

@@ -129,6 +129,8 @@ import {
   getResolvedMember,
   hasResolvedProperties,
   resolvedPropertiesAreOptional,
+  positionsOfNamesFoundInSource,
+  firstUnmatchedProperty,
 } from './checker-members.js';
 import {
   getParentOfSymbol,
@@ -2822,7 +2824,13 @@ export class Relater extends TypeComparer {
       !isObjectLiteralType(source) &&
       !isEmptyArrayLiteralType(c, source) &&
       !isTupleType(source);
-    const unmatchedProperty = getUnmatchedProperty(c, source, target, requireOptionalProperties, false);
+    const targetProperties = getPropertiesOfType(c, target);
+    // Where it is known which target names the source has, nothing else is looked up by name.
+    const found = positionsOfNamesFoundInSource(c, source, target, targetProperties);
+    const unmatchedProperty =
+      found !== undefined
+        ? firstUnmatchedProperty(c, targetProperties, found, requireOptionalProperties)
+        : getUnmatchedProperty(c, source, target, requireOptionalProperties, false);
     if (unmatchedProperty !== undefined) {
       if (reportErrors && shouldReportUnmatchedPropertyError(c, source, target))
         this.reportUnmatchedProperty(source, target, unmatchedProperty, requireOptionalProperties);
@@ -2842,7 +2850,7 @@ export class Relater extends TypeComparer {
       }
     }
     const numericNamesOnly = isTupleType(source) && isTupleType(target);
-    for (const targetProp of getPropertiesOfType(c, target)) {
+    for (const targetProp of found !== undefined ? found.map((i) => targetProperties[i]!) : targetProperties) {
       if (excludedProperties !== undefined && excludedProperties.has(targetProp.name)) continue;
       const name = targetProp.name;
       if (

package/src/compiler/reparser.ts

@@ -84,6 +84,7 @@ import {
   getTypeExpression,
   getTypeParameters,
   type TypeNode,
+  FullPropertyAssignment,
 } from './ast.js';
 import {
   isAssignmentOperator,
@@ -855,10 +856,14 @@ export class Reparser {
     if (parent.kind !== SyntaxKind.ClassDeclaration && parent.kind !== SyntaxKind.ClassExpression) return false;
     const className = tag.className;
     const heritageClauses = getHeritageClauses(parent);
+    // Parsed lists may share their nodes array (empty ones do), so a longer list is a new list.
     if (heritageClauses !== undefined) {
       for (const clause of heritageClauses.nodes)
         if (clause instanceof HeritageClause && (clause as HeritageClause).token === SyntaxKind.ImplementsKeyword) {
-          (clause as HeritageClause).types.nodes.push(this.addDeepCloneReparse(className));
+          const types = (clause as HeritageClause).types;
+          const nodes = types.nodes.slice();
+          nodes.push(this.addDeepCloneReparse(className));
+          (clause as HeritageClause).types = this.p.newNodeList(types.pos, types.end, nodes);
           this.finishMutatedNode(clause);
           return true;
         }
@@ -868,7 +873,11 @@ export class Reparser {
     this.finishReparsedNode(heritageClause, className);
     if (heritageClauses === undefined)
       setHeritageClauses(parent, this.p.newNodeList(className.pos, className.end, [heritageClause]));
-    else heritageClauses.nodes.push(heritageClause);
+    else {
+      const nodes = heritageClauses.nodes.slice();
+      nodes.push(heritageClause);
+      setHeritageClauses(parent, this.p.newNodeList(heritageClauses.pos, heritageClauses.end, nodes));
+    }
     this.finishMutatedNode(parent);
     return true;
   }
@@ -1420,8 +1429,9 @@ function setType(node: Node, value: Node): boolean {
     (node as PropertyDeclaration).type = value;
     return true;
   }
-  if (node instanceof PropertyAssignment) {
-    (node as PropertyAssignment).type = value;
+  // Property assignments in JavaScript files, which are the ones reparsed, are full ones.
+  if (node instanceof FullPropertyAssignment) {
+    (node as FullPropertyAssignment).type = value;
     return true;
   }
   if (node instanceof ShorthandPropertyAssignment) {

package/src/compiler/transformers/class-fields.ts

@@ -55,6 +55,9 @@ import {
   getMembers,
   getModifiers,
   getName,
+  callQuestionDotToken,
+  callTypeArguments,
+  newCallExpression,
 } from '../ast.js';
 import { isLeftHandSideExpression } from '../ast-utilities.js';
 import {
@@ -1209,7 +1212,14 @@ export class ClassFieldsTransformer extends Transformer {
     if (node instanceof CallExpression)
       return factory.cloneNode(
         node,
-        new CallExpression(node.expression, node.questionDotToken, node.typeArguments, node.arguments, node.flags),
+        newCallExpression(
+          node.expression,
+          callQuestionDotToken(node),
+          callTypeArguments(node),
+          node.arguments,
+          node.flags,
+          false,
+        ),
       );
     return factory.cloneNode(node, node.deepClone());
   }
@@ -1232,7 +1242,7 @@ export class ClassFieldsTransformer extends Transformer {
       const call = factory.created(
         new PropertyAccessExpression(
           target,
-          optional ? node.questionDotToken : undefined,
+          optional ? callQuestionDotToken(node) : undefined,
           factory.createIdentifier('call'),
           optional ? NodeFlags.OptionalChain : NodeFlags.None,
         ),

package/src/compiler/transformers/commonjs-module.ts

@@ -63,6 +63,7 @@ import {
   ModifierList,
   getElements,
   getName,
+  callQuestionDotToken,
 } from '../ast.js';
 import { getExternalModuleName, isImportCall, isInJSFile, isRequireCall } from '../ast-utilities.js';
 import { isAssignmentExpression, isDestructuringAssignment } from '../binder-utilities.js';
@@ -1248,7 +1249,7 @@ export class CommonJSModuleTransformer extends Transformer {
       const updated = this.factory.updateCallExpression(
         node,
         expression,
-        node.questionDotToken,
+        callQuestionDotToken(node),
         undefined,
         this.visitNodes(node.arguments)!,
         node.flags,
@@ -1340,7 +1341,7 @@ export class CommonJSModuleTransformer extends Transformer {
       if (rewritten !== first || visitedRest !== rest)
         args = new NodeList(args.pos, args.end, [rewritten].concat(visitedRest));
     }
-    return factory.updateCallExpression(node, expression, node.questionDotToken, undefined, args, node.flags);
+    return factory.updateCallExpression(node, expression, callQuestionDotToken(node), undefined, args, node.flags);
   }
 
   private visitTaggedTemplateExpression(node: TaggedTemplateExpression): Node {

package/src/compiler/transformers/declarations-pseudo.ts

@@ -33,6 +33,7 @@ import {
   getSymbol,
   getType,
   getTypeParameters,
+  propertyAssignmentPostfixToken,
 } from '../ast.js';
 import { isFunctionLike, nodeIsMissing } from '../ast-utilities.js';
 import { getCombinedNodeFlags, hasSyntacticModifier, isIdentifierNamed } from '../binder-utilities.js';
@@ -544,7 +545,7 @@ export class PseudoChecker {
         }
         case SyntaxKind.PropertyAssignment: {
           const assignment = property as PropertyAssignment;
-          const postfix = assignment.postfixToken;
+          const postfix = propertyAssignmentPostfixToken(assignment);
           members.push(
             new PseudoMember(
               PseudoMemberKind.Property,

package/src/compiler/transformers/declarations.ts

@@ -2751,7 +2751,7 @@ const modifierKindsInOrder: SyntaxKind[] = [
   SyntaxKind.OutKeyword,
 ];
 
-function preservedReferences(references: FileReference[]): FileReference[] {
+function preservedReferences(references: readonly FileReference[]): FileReference[] {
   const result: FileReference[] = [];
   for (const reference of references)
     if (reference.preserve)

package/src/compiler/transformers/module.ts

@@ -26,6 +26,7 @@ import {
   StringLiteral,
   NoSubstitutionTemplateLiteral,
   Identifier,
+  callQuestionDotToken,
 } from '../ast.js';
 import { isAnyImportOrReExport, isImportCall, isInJSFile, isRequireCall } from '../ast-utilities.js';
 import { type CompilerOptions, JsxEmit, ModuleKind, getEmitModuleKind, getIsolatedModules } from '../options.js';
@@ -392,7 +393,7 @@ export class ESModuleTransformer extends Transformer {
     return factory.updateCallExpression(
       node,
       this.visitNode(node.expression)!,
-      node.questionDotToken,
+      callQuestionDotToken(node),
       undefined,
       new NodeList(node.arguments.pos, node.arguments.end, [argument].concat(rest)),
       node.flags,

package/src/compiler/transformers/optional-chain.ts

@@ -9,6 +9,8 @@ import {
   PropertyAccessExpression,
   SyntheticReferenceExpression,
   TaggedTemplateExpression,
+  callQuestionDotToken,
+  newCallExpression,
 } from '../ast.js';
 import { skipParentheses } from '../binder-utilities.js';
 import type { EmitContext } from '../printer/emit-context.js';
@@ -201,12 +203,13 @@ export class OptionalChainTransformer extends Transformer {
           );
         } else
           rightExpression = factory.created(
-            new CallExpression(
+            newCallExpression(
               rightExpression,
               undefined,
               undefined,
               this.visitNodes(segment.arguments)!,
               NodeFlags.None,
+              false,
             ),
           );
       }
@@ -231,7 +234,7 @@ export class OptionalChainTransformer extends Transformer {
 function questionDotTokenOf(node: Node): Node | undefined {
   if (node instanceof PropertyAccessExpression) return node.questionDotToken;
   if (node instanceof ElementAccessExpression) return node.questionDotToken;
-  if (node instanceof CallExpression) return node.questionDotToken;
+  if (node instanceof CallExpression) return callQuestionDotToken(node);
   return undefined;
 }
 

package/src/compiler/transformers/subtree-facts.ts

@@ -32,6 +32,7 @@ import {
   JsxSelfClosingElement,
   HeritageClause,
   getModifiers,
+  callTypeArguments,
 } from '../ast.js';
 import { ClusteredIntLinkTable } from '../link-tables.js';
 import { isTypeNodeKind } from '../printer/utilities.js';
@@ -233,7 +234,7 @@ function ownFacts(node: Node): Facts {
         ? Facts.TypeScript
         : Facts.None;
     case SyntaxKind.CallExpression:
-      return node instanceof CallExpression && node.typeArguments !== undefined ? Facts.TypeScript : Facts.None;
+      return node instanceof CallExpression && callTypeArguments(node) !== undefined ? Facts.TypeScript : Facts.None;
     case SyntaxKind.NewExpression:
       return node instanceof NewExpression && node.typeArguments !== undefined ? Facts.TypeScript : Facts.None;
     case SyntaxKind.TaggedTemplateExpression:

package/src/compiler/transformers/tagged-template.ts

@@ -2,7 +2,6 @@
 // calls with a `__makeTemplateObject` template object.
 import {
   ArrayLiteralExpression,
-  CallExpression,
   type Node,
   NodeFlags,
   NoSubstitutionTemplateLiteral,
@@ -13,6 +12,7 @@ import {
   TemplateMiddle,
   TemplateSpan,
   TemplateTail,
+  newCallExpression,
 } from '../ast.js';
 import type { EmitContext } from '../printer/emit-context.js';
 import { getSourceTextOfNode } from '../printer/utilities.js';
@@ -106,7 +106,7 @@ export class TaggedTemplateTransformer extends Transformer {
       templateObject = factory.createLogicalOr(name, factory.createAssignment(name, helperCall));
     }
     args.unshift(templateObject);
-    const call = factory.created(new CallExpression(tag, undefined, undefined, factory.createNodeList(args), 0));
+    const call = factory.created(newCallExpression(tag, undefined, undefined, factory.createNodeList(args), 0, false));
     call.pos = node.pos;
     call.end = node.end;
     return call;