tsc-ts 0.0.6 → 0.0.7

package/dist/api/compiler/transformers/type-eraser.js

@@ -1,6 +1,6 @@
 // Removes TypeScript-only syntax: type annotations and declarations, `declare`d statements,
 // type-only imports and exports, and modifiers such as `public` and `readonly`.
-import { CallExpression, ClassDeclaration, ClassExpression, ConstructorDeclaration, ExportDeclaration, ExportSpecifier, ExpressionWithTypeArguments, FunctionDeclaration, FunctionExpression, GetAccessorDeclaration, HeritageClause, Identifier, ImportClause, ImportDeclaration, ImportAttributes, ImportEqualsDeclaration, ImportSpecifier, JsxAttributes, JsxOpeningElement, JsxSelfClosingElement, MethodDeclaration, ModuleDeclaration, NamedExports, NamedImports, NewExpression, ParameterDeclaration, ParenthesizedExpression, PartiallyEmittedExpression, PropertyDeclaration, SetAccessorDeclaration, TaggedTemplateExpression, VariableDeclaration, ArrowFunction, getExpression, } from '../ast.js';
+import { CallExpression, ClassDeclaration, ClassExpression, ConstructorDeclaration, ExportDeclaration, ExportSpecifier, ExpressionWithTypeArguments, FunctionDeclaration, FunctionExpression, GetAccessorDeclaration, HeritageClause, Identifier, ImportClause, ImportDeclaration, ImportAttributes, ImportEqualsDeclaration, ImportSpecifier, JsxAttributes, JsxOpeningElement, JsxSelfClosingElement, MethodDeclaration, ModuleDeclaration, NamedExports, NamedImports, NewExpression, ParameterDeclaration, ParenthesizedExpression, PartiallyEmittedExpression, PropertyDeclaration, SetAccessorDeclaration, TaggedTemplateExpression, VariableDeclaration, ArrowFunction, getExpression, callQuestionDotToken, } from '../ast.js';
 import { nodeIsMissing } from '../ast-utilities.js';
 import { shouldPreserveConstEnums } from '../options.js';
 import { isStatement } from '../printer/utilities.js';
@@ -176,7 +176,7 @@ export class TypeEraser extends Transformer {
                 break;
             case 214 /* SyntaxKind.CallExpression */:
                 if (node instanceof CallExpression)
-                    return factory.updateCallExpression(node, this.required(node.expression), node.questionDotToken, undefined, this.visitNodes(node.arguments), node.flags);
+                    return factory.updateCallExpression(node, this.required(node.expression), callQuestionDotToken(node), undefined, this.visitNodes(node.arguments), node.flags);
                 break;
             case 215 /* SyntaxKind.NewExpression */:
                 if (node instanceof NewExpression)

package/dist/api/compiler/transformers/visitor-base.js

@@ -1,5 +1,5 @@
 // Generated by scripts/generate-visitor.mjs; do not edit.
-import { ArrayLiteralExpression, ArrayTypeNode, ArrowFunction, AsExpression, AwaitExpression, BinaryExpression, BindingElement, BindingPattern, Block, BreakStatement, CallExpression, CallSignatureDeclaration, CaseBlock, CaseOrDefaultClause, CatchClause, ClassDeclaration, ClassExpression, ClassStaticBlockDeclaration, ComputedPropertyName, ConditionalExpression, ConditionalTypeNode, ConstructSignatureDeclaration, ConstructorDeclaration, ConstructorTypeNode, ContinueStatement, Decorator, DeleteExpression, DoStatement, ElementAccessExpression, EnumDeclaration, EnumMember, ExportAssignment, ExportDeclaration, ExportSpecifier, ExpressionStatement, ExpressionWithTypeArguments, ExternalModuleReference, ForInOrOfStatement, ForStatement, FunctionDeclaration, FunctionExpression, FunctionTypeNode, GetAccessorDeclaration, HeritageClause, Identifier, IfStatement, ImportAttribute, ImportAttributes, ImportClause, ImportDeclaration, ImportEqualsDeclaration, ImportSpecifier, ImportTypeNode, IndexSignatureDeclaration, IndexedAccessTypeNode, InferTypeNode, InterfaceDeclaration, IntersectionTypeNode, JSDoc, JSDocAugmentsTag, JSDocCallbackTag, JSDocDeprecatedTag, JSDocImplementsTag, JSDocImportTag, JSDocLink, JSDocLinkCode, JSDocLinkPlain, JSDocNameReference, JSDocNonNullableType, JSDocNullableType, JSDocOptionalType, JSDocOverloadTag, JSDocOverrideTag, JSDocParameterOrPropertyTag, JSDocPrivateTag, JSDocProtectedTag, JSDocPublicTag, JSDocReadonlyTag, JSDocReturnTag, JSDocSatisfiesTag, JSDocSeeTag, JSDocSignature, JSDocTemplateTag, JSDocThisTag, JSDocThrowsTag, JSDocTypeExpression, JSDocTypeTag, JSDocTypedefTag, JSDocUnknownTag, JSDocVariadicType, JsxAttribute, JsxAttributes, JsxClosingElement, JsxClosingFragment, JsxElement, JsxExpression, JsxFragment, JsxNamespacedName, JsxOpeningElement, JsxOpeningFragment, JsxSelfClosingElement, JsxSpreadAttribute, LabeledStatement, LiteralTypeNode, MappedTypeNode, MetaProperty, MethodDeclaration, MethodSignatureDeclaration, MissingDeclaration, ModuleBlock, ModuleDeclaration, NamedExports, NamedImports, NamedTupleMember, NamespaceExport, NamespaceExportDeclaration, NamespaceImport, NewExpression, NonNullExpression, ObjectLiteralExpression, OptionalTypeNode, ParameterDeclaration, ParenthesizedExpression, ParenthesizedTypeNode, PartiallyEmittedExpression, PostfixUnaryExpression, PrefixUnaryExpression, PropertyAccessExpression, PropertyAssignment, PropertyDeclaration, PropertySignatureDeclaration, QualifiedName, RestTypeNode, ReturnStatement, SatisfiesExpression, SetAccessorDeclaration, ShorthandPropertyAssignment, SourceFile, SpreadAssignment, SpreadElement, SwitchStatement, SyntheticReferenceExpression, TaggedTemplateExpression, TemplateExpression, TemplateHead, TemplateLiteralTypeNode, TemplateLiteralTypeSpan, TemplateSpan, ThrowStatement, Token, TryStatement, TupleTypeNode, TypeAliasDeclaration, TypeAssertion, TypeLiteralNode, TypeOfExpression, TypeOperatorNode, TypeParameterDeclaration, TypePredicateNode, TypeQueryNode, TypeReferenceNode, UnionTypeNode, VariableDeclaration, VariableDeclarationList, VariableStatement, VoidExpression, WhileStatement, WithStatement, YieldExpression, } from '../ast.js';
+import { ArrayLiteralExpression, ArrayTypeNode, ArrowFunction, AsExpression, AwaitExpression, BinaryExpression, BindingElement, BindingPattern, Block, BreakStatement, CallExpression, CallSignatureDeclaration, CaseBlock, CaseOrDefaultClause, CatchClause, ClassDeclaration, ClassExpression, ClassStaticBlockDeclaration, ComputedPropertyName, ConditionalExpression, ConditionalTypeNode, ConstructSignatureDeclaration, ConstructorDeclaration, ConstructorTypeNode, ContinueStatement, Decorator, DeleteExpression, DoStatement, ElementAccessExpression, EnumDeclaration, EnumMember, ExportAssignment, ExportDeclaration, ExportSpecifier, ExpressionStatement, ExpressionWithTypeArguments, ExternalModuleReference, ForInOrOfStatement, ForStatement, FunctionDeclaration, FunctionExpression, FunctionTypeNode, GetAccessorDeclaration, HeritageClause, Identifier, IfStatement, ImportAttribute, ImportAttributes, ImportClause, ImportDeclaration, ImportEqualsDeclaration, ImportSpecifier, ImportTypeNode, IndexSignatureDeclaration, IndexedAccessTypeNode, InferTypeNode, InterfaceDeclaration, IntersectionTypeNode, JSDoc, JSDocAugmentsTag, JSDocCallbackTag, JSDocDeprecatedTag, JSDocImplementsTag, JSDocImportTag, JSDocLink, JSDocLinkCode, JSDocLinkPlain, JSDocNameReference, JSDocNonNullableType, JSDocNullableType, JSDocOptionalType, JSDocOverloadTag, JSDocOverrideTag, JSDocParameterOrPropertyTag, JSDocPrivateTag, JSDocProtectedTag, JSDocPublicTag, JSDocReadonlyTag, JSDocReturnTag, JSDocSatisfiesTag, JSDocSeeTag, JSDocSignature, JSDocTemplateTag, JSDocThisTag, JSDocThrowsTag, JSDocTypeExpression, JSDocTypeTag, JSDocTypedefTag, JSDocUnknownTag, JSDocVariadicType, JsxAttribute, JsxAttributes, JsxClosingElement, JsxClosingFragment, JsxElement, JsxExpression, JsxFragment, JsxNamespacedName, JsxOpeningElement, JsxOpeningFragment, JsxSelfClosingElement, JsxSpreadAttribute, LabeledStatement, LiteralTypeNode, MappedTypeNode, MetaProperty, MethodDeclaration, MethodSignatureDeclaration, MissingDeclaration, ModuleBlock, ModuleDeclaration, NamedExports, NamedImports, NamedTupleMember, NamespaceExport, NamespaceExportDeclaration, NamespaceImport, NewExpression, NonNullExpression, ObjectLiteralExpression, OptionalTypeNode, ParameterDeclaration, ParenthesizedExpression, ParenthesizedTypeNode, PartiallyEmittedExpression, PostfixUnaryExpression, PrefixUnaryExpression, PropertyAccessExpression, PropertyAssignment, PropertyDeclaration, PropertySignatureDeclaration, QualifiedName, RestTypeNode, ReturnStatement, SatisfiesExpression, SetAccessorDeclaration, ShorthandPropertyAssignment, SourceFile, SpreadAssignment, SpreadElement, SwitchStatement, SyntheticReferenceExpression, TaggedTemplateExpression, TemplateExpression, TemplateHead, TemplateLiteralTypeNode, TemplateLiteralTypeSpan, TemplateSpan, ThrowStatement, Token, TryStatement, TupleTypeNode, TypeAliasDeclaration, TypeAssertion, TypeLiteralNode, TypeOfExpression, TypeOperatorNode, TypeParameterDeclaration, TypePredicateNode, TypeQueryNode, TypeReferenceNode, UnionTypeNode, VariableDeclaration, VariableDeclarationList, VariableStatement, VoidExpression, WhileStatement, WithStatement, YieldExpression, propertyAssignmentPostfixToken, propertyAssignmentType, callQuestionDotToken, propertyAssignmentModifiers, callTypeArguments, } from '../ast.js';
 import { VisitorHooks } from './visitor-hooks.js';
 // A removed required child keeps the original, as tsgo's nil child is never printed.
 function required(node, original) {
@@ -192,7 +192,7 @@ export class VisitorBase extends VisitorHooks {
                 break;
             case 214 /* SyntaxKind.CallExpression */:
                 if (node instanceof CallExpression)
-                    return this.factory.updateCallExpression(node, required(this.visitNode(node.expression), node.expression), asOptionalToken(this.visitNode(node.questionDotToken)), this.visitNodes(node.typeArguments), this.visitNodes(node.arguments), node.flags);
+                    return this.factory.updateCallExpression(node, required(this.visitNode(node.expression), node.expression), asOptionalToken(this.visitNode(callQuestionDotToken(node))), this.visitNodes(callTypeArguments(node)), this.visitNodes(node.arguments), node.flags);
                 break;
             case 180 /* SyntaxKind.CallSignature */:
                 if (node instanceof CallSignatureDeclaration)
@@ -656,7 +656,7 @@ export class VisitorBase extends VisitorHooks {
                 break;
             case 303 /* SyntaxKind.PropertyAssignment */:
                 if (node instanceof PropertyAssignment)
-                    return this.factory.updatePropertyAssignment(node, this.visitModifiers(node.modifiers), required(this.visitNode(node.name), node.name), asOptionalToken(this.visitNode(node.postfixToken)), this.visitNode(node.type), required(this.visitNode(node.initializer), node.initializer));
+                    return this.factory.updatePropertyAssignment(node, this.visitModifiers(propertyAssignmentModifiers(node)), required(this.visitNode(node.name), node.name), asOptionalToken(this.visitNode(propertyAssignmentPostfixToken(node))), this.visitNode(propertyAssignmentType(node)), required(this.visitNode(node.initializer), node.initializer));
                 break;
             case 173 /* SyntaxKind.PropertyDeclaration */:
                 if (node instanceof PropertyDeclaration)

package/dist/api/compiler/tsconfig.js

@@ -6,7 +6,7 @@
  * const config = new ConfigParser(fs, '/app').parseConfigFile('/app/tsconfig.json', {}, undefined, errors);
  * ```
  */
-import { ArrayLiteralExpression, ComputedPropertyName, ExpressionStatement, ExternalModuleIndicatorOptions, getText, Identifier, NumericLiteral, ObjectLiteralExpression, ParseOptions, PrefixUnaryExpression, PropertyAssignment, StringLiteral, } from './ast.js';
+import { ArrayLiteralExpression, ComputedPropertyName, ExpressionStatement, ExternalModuleIndicatorOptions, getText, Identifier, NumericLiteral, ObjectLiteralExpression, ParseOptions, PrefixUnaryExpression, PropertyAssignment, StringLiteral, propertyAssignmentPostfixToken, } from './ast.js';
 import { enumNamesList } from './command-line.js';
 import { compareCodePoints, createCompilerDiagnostic, Diagnostic, } from './diagnostics.js';
 import { isValidLocale } from './locale.js';
@@ -767,7 +767,7 @@ class ConfigFileConverter {
                 this.errors.push(diagnosticAtRange(this.file, element, 102 /* Diagnostics.Property_assignment_expected */));
                 continue;
             }
-            const postfix = element.postfixToken;
+            const postfix = propertyAssignmentPostfixToken(element);
             if (postfix !== undefined && postfix.kind === 57 /* SyntaxKind.QuestionToken */) {
                 this.errors.push(diagnosticAtRange(this.file, postfix, 1741 /* Diagnostics.The_0_modifier_can_only_be_used_in_TypeScript_files */, '?'));
             }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "tsc-ts",
-  "version": "0.0.6",
+  "version": "0.0.7",
   "description": "The TypeScript 7 compiler, ported to TypeScript and compiled to a native executable.",
   "license": "Apache-2.0",
   "repository": {
@@ -35,12 +35,12 @@
     "node": ">=20"
   },
   "optionalDependencies": {
-    "@tsc-ts/darwin-arm64": "0.0.6",
-    "@tsc-ts/darwin-x64": "0.0.6",
-    "@tsc-ts/linux-arm64-gnu": "0.0.6",
-    "@tsc-ts/linux-arm64-musl": "0.0.6",
-    "@tsc-ts/linux-x64-gnu": "0.0.6",
-    "@tsc-ts/linux-x64-musl": "0.0.6",
-    "@tsc-ts/win32-x64-msvc": "0.0.6"
+    "@tsc-ts/darwin-arm64": "0.0.7",
+    "@tsc-ts/darwin-x64": "0.0.7",
+    "@tsc-ts/linux-arm64-gnu": "0.0.7",
+    "@tsc-ts/linux-arm64-musl": "0.0.7",
+    "@tsc-ts/linux-x64-gnu": "0.0.7",
+    "@tsc-ts/linux-x64-musl": "0.0.7",
+    "@tsc-ts/win32-x64-msvc": "0.0.7"
   }
 }

package/src/compiler/ast.ts

@@ -4075,9 +4075,45 @@ export class ElementAccessExpression extends Node {
 
 export class CallExpression extends Node {
   expression: Expression;
+  arguments: NodeList;
+
+  constructor(expression: Expression, args: NodeList, flags: NodeFlags) {
+    super(SyntaxKind.CallExpression);
+    this.expression = expression;
+    this.arguments = args;
+    this.flags |= flags & NodeFlags.OptionalChain;
+  }
+
+  forEachChild(v: NodeVisitor): boolean {
+    if (v.visitNode(this.expression)) return true;
+    return v.visitList(this.arguments);
+  }
+
+  setParentOfChildren(): void {
+    this.expression.parent = this;
+    setParents(this.arguments.nodes, this);
+  }
+
+  deepClone(): Node {
+    return this.copy();
+  }
+
+  copy(): CallExpression {
+    const node = new CallExpression(this.expression.deepClone(), cloneList(this.arguments), this.flags);
+    node.flags = this.flags;
+    node.pos = this.pos;
+    node.end = this.end;
+    return node;
+  }
+}
+
+/**
+ * A call with `?.` or type arguments, or in a JavaScript file, where the binder can declare a symbol
+ * for it (`Object.defineProperty`). Other calls are a plain `CallExpression`, without these fields.
+ */
+export class FullCallExpression extends CallExpression {
   questionDotToken: Token | undefined;
   typeArguments: NodeList | undefined;
-  arguments: NodeList;
   // Set by the binder.
   symbol: Symbol | undefined;
 
@@ -4088,12 +4124,9 @@ export class CallExpression extends Node {
     args: NodeList,
     flags: NodeFlags,
   ) {
-    super(SyntaxKind.CallExpression);
-    this.expression = expression;
+    super(expression, args, flags);
     this.questionDotToken = questionDotToken;
     this.typeArguments = typeArguments;
-    this.arguments = args;
-    this.flags |= flags & NodeFlags.OptionalChain;
     this.symbol = undefined;
   }
 
@@ -4111,12 +4144,8 @@ export class CallExpression extends Node {
     setParents(this.arguments.nodes, this);
   }
 
-  deepClone(): Node {
-    return this.copy();
-  }
-
   copy(): CallExpression {
-    const node = new CallExpression(
+    const node = new FullCallExpression(
       this.expression.deepClone(),
       this.questionDotToken === undefined ? undefined : this.questionDotToken.copy(),
       this.typeArguments === undefined ? undefined : cloneList(this.typeArguments),
@@ -4130,6 +4159,28 @@ export class CallExpression extends Node {
   }
 }
 
+/** A `FullCallExpression` when one of its fields is set or `inJavaScript`, else a `CallExpression`. */
+export function newCallExpression(
+  expression: Expression,
+  questionDotToken: Token | undefined,
+  typeArguments: NodeList | undefined,
+  args: NodeList,
+  flags: NodeFlags,
+  inJavaScript: boolean,
+): CallExpression {
+  if (inJavaScript || questionDotToken !== undefined || typeArguments !== undefined)
+    return new FullCallExpression(expression, questionDotToken, typeArguments, args, flags);
+  return new CallExpression(expression, args, flags);
+}
+
+export function callQuestionDotToken(node: CallExpression): Token | undefined {
+  return node instanceof FullCallExpression ? node.questionDotToken : undefined;
+}
+
+export function callTypeArguments(node: CallExpression): NodeList | undefined {
+  return node instanceof FullCallExpression ? node.typeArguments : undefined;
+}
+
 export class NewExpression extends Node {
   expression: Expression;
   typeArguments: NodeList | undefined;
@@ -4511,14 +4562,51 @@ export class SpreadAssignment extends Node {
 }
 
 export class PropertyAssignment extends Node {
-  modifiers: ModifierList | undefined;
   name: PropertyName;
-  postfixToken: Token | undefined;
-  type: TypeNode | undefined;
   initializer: Expression;
   // Set by the binder.
   symbol: Symbol | undefined;
 
+  constructor(name: PropertyName, initializer: Expression) {
+    super(SyntaxKind.PropertyAssignment);
+    this.name = name;
+    this.initializer = initializer;
+    this.symbol = undefined;
+  }
+
+  forEachChild(v: NodeVisitor): boolean {
+    if (v.visitNode(this.name)) return true;
+    return v.visitNode(this.initializer);
+  }
+
+  setParentOfChildren(): void {
+    this.name.parent = this;
+    this.initializer.parent = this;
+  }
+
+  deepClone(): Node {
+    return this.copy();
+  }
+
+  copy(): PropertyAssignment {
+    const node = new PropertyAssignment(this.name.deepClone(), this.initializer.deepClone());
+    node.flags = this.flags;
+    node.pos = this.pos;
+    node.end = this.end;
+    return node;
+  }
+}
+
+/**
+ * A property assignment with modifiers, a `?` or `!`, or a type annotation (which the grammar checker
+ * reports), or in a JavaScript file, where JSDoc can give it a type or modifiers. Other property
+ * assignments are a plain `PropertyAssignment`, without these fields.
+ */
+export class FullPropertyAssignment extends PropertyAssignment {
+  modifiers: ModifierList | undefined;
+  postfixToken: Token | undefined;
+  type: TypeNode | undefined;
+
   constructor(
     modifiers: ModifierList | undefined,
     name: PropertyName,
@@ -4526,13 +4614,10 @@ export class PropertyAssignment extends Node {
     type: TypeNode | undefined,
     initializer: Expression,
   ) {
-    super(SyntaxKind.PropertyAssignment);
+    super(name, initializer);
     this.modifiers = modifiers;
-    this.name = name;
     this.postfixToken = postfixToken;
     this.type = type;
-    this.initializer = initializer;
-    this.symbol = undefined;
   }
 
   forEachChild(v: NodeVisitor): boolean {
@@ -4551,12 +4636,8 @@ export class PropertyAssignment extends Node {
     this.initializer.parent = this;
   }
 
-  deepClone(): Node {
-    return this.copy();
-  }
-
   copy(): PropertyAssignment {
-    const node = new PropertyAssignment(
+    const node = new FullPropertyAssignment(
       this.modifiers === undefined ? undefined : cloneModifiers(this.modifiers),
       this.name.deepClone(),
       this.postfixToken === undefined ? undefined : this.postfixToken.copy(),
@@ -4570,6 +4651,32 @@ export class PropertyAssignment extends Node {
   }
 }
 
+/** A `FullPropertyAssignment` when one of its fields is set or `inJavaScript`, else a `PropertyAssignment`. */
+export function newPropertyAssignment(
+  modifiers: ModifierList | undefined,
+  name: PropertyName,
+  postfixToken: Token | undefined,
+  type: TypeNode | undefined,
+  initializer: Expression,
+  inJavaScript: boolean,
+): PropertyAssignment {
+  if (inJavaScript || modifiers !== undefined || postfixToken !== undefined || type !== undefined)
+    return new FullPropertyAssignment(modifiers, name, postfixToken, type, initializer);
+  return new PropertyAssignment(name, initializer);
+}
+
+export function propertyAssignmentModifiers(node: PropertyAssignment): ModifierList | undefined {
+  return node instanceof FullPropertyAssignment ? node.modifiers : undefined;
+}
+
+export function propertyAssignmentPostfixToken(node: PropertyAssignment): Token | undefined {
+  return node instanceof FullPropertyAssignment ? node.postfixToken : undefined;
+}
+
+export function propertyAssignmentType(node: PropertyAssignment): TypeNode | undefined {
+  return node instanceof FullPropertyAssignment ? node.type : undefined;
+}
+
 export class ShorthandPropertyAssignment extends Node {
   modifiers: ModifierList | undefined;
   name: PropertyName;
@@ -8109,6 +8216,24 @@ export class JSDocParameterOrPropertyTag extends Node {
   }
 }
 
+// The lists of a source file that has none. Most files have no diagnostics, references, pragmas
+// or ambient modules, so they share these instead of holding empty arrays of their own. A list
+// that grows replaces an empty one rather than pushing to it (appendToList).
+export const emptyDiagnostics: readonly Diagnostic[] = [];
+export const emptyNodes: readonly Node[] = [];
+export const emptyStrings: readonly string[] = [];
+export const emptyCommentDirectives: readonly CommentDirective[] = [];
+export const emptyPragmas: readonly Pragma[] = [];
+export const emptyFileReferences: readonly FileReference[] = [];
+export const emptyPatternAmbientModules: readonly PatternAmbientModule[] = [];
+
+/** `list` with `item` appended: a new array when `list` is empty (it may be shared), else `list` itself. */
+export function appendToList<T>(list: readonly T[], item: T): readonly T[] {
+  if (list.length === 0) return [item];
+  (list as T[]).push(item);
+  return list;
+}
+
 export class SourceFile extends Node {
   readonly fileName: string;
   readonly path: string;
@@ -8118,10 +8243,10 @@ export class SourceFile extends Node {
   endOfFileToken: Token;
 
   // Set by the parser.
-  diagnostics: Diagnostic[];
+  diagnostics: readonly Diagnostic[];
   /** Diagnostics for TypeScript-only syntax in JavaScript files. */
-  jsDiagnostics: Diagnostic[];
-  jsDocDiagnostics: Diagnostic[];
+  jsDiagnostics: readonly Diagnostic[];
+  jsDocDiagnostics: readonly Diagnostic[];
   languageVariant: LanguageVariant;
   scriptKind: ScriptKind;
   isDeclarationFile: boolean;
@@ -8136,20 +8261,20 @@ export class SourceFile extends Node {
   /** Module specifiers of imports, exports, `require` calls and `import()` types, in source order. */
   imports: Node[];
   /** Names of `declare module "x"` augmentations and `declare global` blocks in modules. */
-  moduleAugmentations: Node[];
-  ambientModuleNames: string[];
+  moduleAugmentations: readonly Node[];
+  ambientModuleNames: readonly string[];
   commentDirectives: readonly CommentDirective[];
-  pragmas: Pragma[];
-  referencedFiles: FileReference[];
-  typeReferenceDirectives: FileReference[];
-  libReferenceDirectives: FileReference[];
+  pragmas: readonly Pragma[];
+  referencedFiles: readonly FileReference[];
+  typeReferenceDirectives: readonly FileReference[];
+  libReferenceDirectives: readonly FileReference[];
   checkJsDirective: CheckJsDirective | undefined;
   /** The first CommonJS `module.exports`/`exports.x` use in a JavaScript file. */
   commonJSModuleIndicator: Node | undefined;
   /** What makes this file a module: an import or export statement, `import.meta`, a JSX tag, or the file itself when forced. */
   externalModuleIndicator: Node | undefined;
   /** Nodes cloned by JSDoc reparsing, sorted by position. */
-  reparsedClones: Node[];
+  reparsedClones: readonly Node[];
   /** Whether JSDoc of TypeScript files is parsed on first use. */
   hasLazyJSDoc: boolean;
   /**
@@ -8164,12 +8289,12 @@ export class SourceFile extends Node {
   locals: SymbolTable | undefined;
   nextContainer: Node | undefined;
   isBound: boolean;
-  bindDiagnostics: Diagnostic[];
+  bindDiagnostics: readonly Diagnostic[];
   /** The flow at the end of the file. */
   endFlowNode: FlowNode | undefined;
   symbolCount: number;
   /** Ambient modules with a `*` in their name, like `declare module "*.css"`. */
-  patternAmbientModules: PatternAmbientModule[];
+  patternAmbientModules: readonly PatternAmbientModule[];
   /** UMD exports from `export as namespace N`. */
   globalExports: SymbolTable | undefined;
 
@@ -8188,9 +8313,9 @@ export class SourceFile extends Node {
     this.externalModuleIndicatorOptions = externalModuleIndicatorOptions;
     this.statements = statements;
     this.endOfFileToken = endOfFileToken;
-    this.diagnostics = [];
-    this.jsDiagnostics = [];
-    this.jsDocDiagnostics = [];
+    this.diagnostics = emptyDiagnostics;
+    this.jsDiagnostics = emptyDiagnostics;
+    this.jsDocDiagnostics = emptyDiagnostics;
     this.languageVariant = 0;
     this.scriptKind = ScriptKind.Unknown;
     this.isDeclarationFile = false;
@@ -8201,17 +8326,17 @@ export class SourceFile extends Node {
     this.nodeCount = 0;
     this.textCount = 0;
     this.imports = [];
-    this.moduleAugmentations = [];
-    this.ambientModuleNames = [];
-    this.commentDirectives = [];
-    this.pragmas = [];
-    this.referencedFiles = [];
-    this.typeReferenceDirectives = [];
-    this.libReferenceDirectives = [];
+    this.moduleAugmentations = emptyNodes;
+    this.ambientModuleNames = emptyStrings;
+    this.commentDirectives = emptyCommentDirectives;
+    this.pragmas = emptyPragmas;
+    this.referencedFiles = emptyFileReferences;
+    this.typeReferenceDirectives = emptyFileReferences;
+    this.libReferenceDirectives = emptyFileReferences;
     this.checkJsDirective = undefined;
     this.commonJSModuleIndicator = undefined;
     this.externalModuleIndicator = undefined;
-    this.reparsedClones = [];
+    this.reparsedClones = emptyNodes;
     this.hasLazyJSDoc = false;
     this.jsDocs = undefined;
     this.diagnosticFileCache = undefined;
@@ -8219,10 +8344,10 @@ export class SourceFile extends Node {
     this.locals = undefined;
     this.nextContainer = undefined;
     this.isBound = false;
-    this.bindDiagnostics = [];
+    this.bindDiagnostics = emptyDiagnostics;
     this.endFlowNode = undefined;
     this.symbolCount = 0;
-    this.patternAmbientModules = [];
+    this.patternAmbientModules = emptyPatternAmbientModules;
     this.globalExports = undefined;
   }
 
@@ -8703,8 +8828,8 @@ export function getModifiers(node: Node): ModifierList | undefined {
       }
       break;
     case SyntaxKind.PropertyAssignment:
-      if (node instanceof PropertyAssignment) {
-        const holder: PropertyAssignment = node;
+      if (node instanceof FullPropertyAssignment) {
+        const holder: FullPropertyAssignment = node;
         return holder.modifiers;
       }
       break;
@@ -9077,8 +9202,8 @@ export function getType(node: Node): Node | undefined {
       }
       break;
     case SyntaxKind.PropertyAssignment:
-      if (node instanceof PropertyAssignment) {
-        const holder: PropertyAssignment = node;
+      if (node instanceof FullPropertyAssignment) {
+        const holder: FullPropertyAssignment = node;
         return holder.type;
       }
       break;
@@ -9566,8 +9691,8 @@ export function getPostfixToken(node: Node): Node | undefined {
       }
       break;
     case SyntaxKind.PropertyAssignment:
-      if (node instanceof PropertyAssignment) {
-        const holder: PropertyAssignment = node;
+      if (node instanceof FullPropertyAssignment) {
+        const holder: FullPropertyAssignment = node;
         return holder.postfixToken;
       }
       break;
@@ -9584,8 +9709,8 @@ export function getPostfixToken(node: Node): Node | undefined {
 export function getTypeArguments(node: Node): NodeList | undefined {
   switch (node.kind) {
     case SyntaxKind.CallExpression:
-      if (node instanceof CallExpression) {
-        const holder: CallExpression = node;
+      if (node instanceof FullCallExpression) {
+        const holder: FullCallExpression = node;
         return holder.typeArguments;
       }
       break;
@@ -10839,8 +10964,8 @@ export function getSymbol(node: Node): Symbol | undefined {
       }
       break;
     case SyntaxKind.CallExpression:
-      if (node instanceof CallExpression) {
-        const holder: CallExpression = node;
+      if (node instanceof FullCallExpression) {
+        const holder: FullCallExpression = node;
         return holder.symbol;
       }
       break;
@@ -11171,8 +11296,8 @@ export function setSymbol(node: Node, value: Symbol | undefined): void {
       }
       break;
     case SyntaxKind.CallExpression:
-      if (node instanceof CallExpression) {
-        const target: CallExpression = node;
+      if (node instanceof FullCallExpression) {
+        const target: FullCallExpression = node;
         target.symbol = value;
       }
       break;

package/src/compiler/binder-utilities.ts

@@ -47,6 +47,7 @@ import {
   getTagName,
   getText,
   getType,
+  callQuestionDotToken,
 } from './ast.js';
 import { getJSDoc } from './parser.js';
 import { isAssignmentOperator, isLeftHandSideExpression, isStringLiteralLike, nodeIsMissing } from './ast-utilities.js';
@@ -343,7 +344,7 @@ export function skipParentheses(node: Node): Node {
 function getQuestionDotToken(node: Node): Node | undefined {
   if (node instanceof PropertyAccessExpression) return (node as PropertyAccessExpression).questionDotToken;
   if (node instanceof ElementAccessExpression) return (node as ElementAccessExpression).questionDotToken;
-  if (node instanceof CallExpression) return (node as CallExpression).questionDotToken;
+  if (node instanceof CallExpression) return callQuestionDotToken(node as CallExpression);
   if (node instanceof TaggedTemplateExpression) return (node as TaggedTemplateExpression).questionDotToken;
   return undefined;
 }

package/src/compiler/binder.ts

@@ -4,6 +4,7 @@
 // Fields of `instanceof`-narrowed nodes are read through `as` casts: scriptc reads them
 // statically, but reads fields of a narrowed value dynamically.
 import {
+  appendToList,
   BinaryExpression,
   BindingElement,
   CallExpression,
@@ -72,6 +73,8 @@ import {
   setNextContainer,
   setReturnFlowNode,
   setSymbol,
+  callQuestionDotToken,
+  callTypeArguments,
 } from './ast.js';
 import {
   isAmbientModule,
@@ -795,7 +798,7 @@ class Binder extends NodeVisitor {
   }
 
   addDiagnostic(diagnostic: Diagnostic): void {
-    this.file.bindDiagnostics.push(diagnostic);
+    this.file.bindDiagnostics = appendToList(this.file.bindDiagnostics, diagnostic);
   }
 
   // Traversal
@@ -1885,8 +1888,8 @@ class Binder extends NodeVisitor {
       this.bindOptional((node as ElementAccessExpression).questionDotToken);
       this.bind((node as ElementAccessExpression).argumentExpression);
     } else if (node instanceof CallExpression) {
-      this.bindOptional((node as CallExpression).questionDotToken);
-      this.bindNodes((node as CallExpression).typeArguments);
+      this.bindOptional(callQuestionDotToken(node as CallExpression));
+      this.bindNodes(callTypeArguments(node as CallExpression));
       this.bindNodes((node as CallExpression).arguments);
     }
   }
@@ -1897,7 +1900,7 @@ class Binder extends NodeVisitor {
       // An IIFE's flow node includes the evaluation of its arguments.
       const callee = skipParentheses(node.expression);
       if (callee.kind === SyntaxKind.FunctionExpression || callee.kind === SyntaxKind.ArrowFunction) {
-        this.bindNodes(node.typeArguments);
+        this.bindNodes(callTypeArguments(node));
         this.bindNodes(node.arguments);
         this.bind(node.expression);
       } else {
@@ -1973,7 +1976,10 @@ class Binder extends NodeVisitor {
         if (starIndex >= 0 && text.indexOf('*', starIndex + 1) >= 0)
           this.errorOnFirstToken(name, Diagnostics.Pattern_0_can_have_at_most_one_Asterisk_character, [text]);
         else if (starIndex >= 0)
-          this.file.patternAmbientModules.push(new PatternAmbientModule(text, starIndex, symbol));
+          this.file.patternAmbientModules = appendToList(
+            this.file.patternAmbientModules,
+            new PatternAmbientModule(text, starIndex, symbol),
+          );
       }
       return;
     }

package/src/compiler/checker-calls.ts

@@ -25,6 +25,8 @@ import {
   getNodeId,
   getBody,
   getSymbol,
+  callQuestionDotToken,
+  callTypeArguments,
 } from './ast.js';
 import {
   canHaveDecorators,
@@ -238,7 +240,7 @@ export function checkCallExpression(c: Checker, node: Node, checkMode: CheckMode
     return getESSymbolLikeTypeForNode(c, walkUpParenthesizedExpressions(node.parent!));
   // An assertion call must name its target through explicitly typed declarations.
   if (
-    call.questionDotToken === undefined &&
+    callQuestionDotToken(call) === undefined &&
     node.parent!.kind === SyntaxKind.ExpressionStatement &&
     (returnType.flags & TypeFlags.Void) !== 0 &&
     getTypePredicateOfSignature(c, signature) !== undefined
@@ -368,7 +370,7 @@ function resolveCallExpression(c: Checker, node: CallExpression, checkMode: Chec
   const callSignatures = getSignaturesOfType(c, apparentType, SignatureKind.Call);
   const numConstructSignatures = getSignaturesOfType(c, apparentType, SignatureKind.Construct).length;
   if (isUntypedFunctionCall(c, funcType, apparentType, callSignatures.length, numConstructSignatures)) {
-    if (!isErrorType(c, funcType) && node.typeArguments !== undefined)
+    if (!isErrorType(c, funcType) && callTypeArguments(node) !== undefined)
       c.error(node, Diagnostics.Untyped_function_calls_may_not_accept_type_arguments);
     return resolveUntypedCall(c, node);
   }
@@ -382,7 +384,7 @@ function resolveCallExpression(c: Checker, node: CallExpression, checkMode: Chec
   // inferences can flow through function composition.
   if (
     (checkMode & CheckMode.SkipGenericFunctions) !== 0 &&
-    node.typeArguments === undefined &&
+    callTypeArguments(node) === undefined &&
     someGenericFunctionReturningFunction(c, callSignatures)
   ) {
     skippedGenericFunction(c, node, checkMode);

package/src/compiler/checker-contextual.ts

@@ -277,7 +277,7 @@ export function checkExpressionWithContextualType(
     checkMode | CheckMode.Contextual | (inferenceContext !== undefined ? CheckMode.Inferential : 0),
   );
   // Intra-expression inference sites only matter during this check.
-  if (inferenceContext !== undefined) inferenceContext.intraExpressionInferenceSites = [];
+  if (inferenceContext !== undefined) inferenceContext.intraExpressionInferenceSites = undefined;
   // Contextually typed literals keep their literal types rather than widening during inference.
   if (
     maybeTypeOfKind(t, TypeFlags.Literal) &&