tsc-ts 0.0.5 → 0.0.7

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.5",
+  "version": "0.0.7",
   "description": "The TypeScript 7 compiler, ported to TypeScript and compiled to a native executable.",
   "license": "Apache-2.0",
   "repository": {
@@ -29,18 +29,18 @@
     "./package.json": "./package.json"
   },
   "dependencies": {
-    "@scriptc/threads": "0.3.6"
+    "@scriptc/threads": "0.4.1"
   },
   "engines": {
     "node": ">=20"
   },
   "optionalDependencies": {
-    "@tsc-ts/darwin-arm64": "0.0.5",
-    "@tsc-ts/darwin-x64": "0.0.5",
-    "@tsc-ts/linux-arm64-gnu": "0.0.5",
-    "@tsc-ts/linux-arm64-musl": "0.0.5",
-    "@tsc-ts/linux-x64-gnu": "0.0.5",
-    "@tsc-ts/linux-x64-musl": "0.0.5",
-    "@tsc-ts/win32-x64-msvc": "0.0.5"
+    "@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

@@ -450,13 +450,10 @@ export class Token extends Node {
 
 export class Identifier extends Node {
   text: string;
-  // Set by the binder.
-  flowNode: FlowNode | undefined;
 
   constructor(text: string) {
     super(SyntaxKind.Identifier);
     this.text = text;
-    this.flowNode = undefined;
   }
 
   forEachChild(_v: NodeVisitor): boolean {
@@ -478,6 +475,29 @@ export class Identifier extends Node {
   }
 }
 
+/**
+ * An identifier that can be read as a reference, such as an expression or a shorthand property
+ * name, and so holds the binder's flow node. The parser creates a plain `Identifier` for names
+ * whose flow node nothing reads: declaration names, property names and property access names.
+ */
+export class ReferenceIdentifier extends Identifier {
+  // Set by the binder.
+  flowNode: FlowNode | undefined;
+
+  constructor(text: string) {
+    super(text);
+    this.flowNode = undefined;
+  }
+
+  copy(): Identifier {
+    const node = new ReferenceIdentifier(this.text);
+    node.flags = this.flags;
+    node.pos = this.pos;
+    node.end = this.end;
+    return node;
+  }
+}
+
 export class PrivateIdentifier extends Node {
   text: string;
 
@@ -4055,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;
 
@@ -4068,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;
   }
 
@@ -4091,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),
@@ -4110,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;
@@ -4491,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,
@@ -4506,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 {
@@ -4531,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(),
@@ -4550,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;
@@ -8089,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;
@@ -8098,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;
@@ -8116,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;
   /**
@@ -8144,20 +8289,14 @@ 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;
-  /**
-   * By name, the first property of the unions of the file's object literals that leave the name
-   * missing (checker-symbol-types.ts `scanSiblingProperties`), where a parse thread scanned the file
-   * and could resolve the enums the scan needed.
-   */
-  siblingProperties: Map<string, Node> | undefined;
 
   constructor(
     fileName: string,
@@ -8174,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;
@@ -8187,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;
@@ -8205,12 +8344,11 @@ 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;
-    this.siblingProperties = undefined;
   }
 
   forEachChild(v: NodeVisitor): boolean {
@@ -8239,11 +8377,6 @@ export class SourceFile extends Node {
     this.diagnosticFile().computeCaches();
   }
 
-  /** Like `computeCaches`, from the UTF-16 code units of the text (at least `text.length` of them). */
-  computeCachesFromUnits(units: Uint16Array): void {
-    this.diagnosticFile().computeCachesFromUnits(units);
-  }
-
   /** The file as diagnostics see it. */
   diagnosticFile(): DiagnosticFile {
     let file = this.diagnosticFileCache;
@@ -8695,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;
@@ -9069,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;
@@ -9558,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;
@@ -9576,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;
@@ -10831,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;
@@ -11163,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;
@@ -12153,8 +12286,8 @@ export function setNextContainer(node: Node, value: Node | undefined): void {
 export function getFlowNode(node: Node): FlowNode | undefined {
   switch (node.kind) {
     case SyntaxKind.Identifier:
-      if (node instanceof Identifier) {
-        const holder: Identifier = node;
+      if (node instanceof ReferenceIdentifier) {
+        const holder: ReferenceIdentifier = node;
         return holder.flowNode;
       }
       break;
@@ -12425,8 +12558,8 @@ export function getFlowNode(node: Node): FlowNode | undefined {
 export function setFlowNode(node: Node, value: FlowNode | undefined): void {
   switch (node.kind) {
     case SyntaxKind.Identifier:
-      if (node instanceof Identifier) {
-        const target: Identifier = node;
+      if (node instanceof ReferenceIdentifier) {
+        const target: ReferenceIdentifier = node;
         target.flowNode = value;
       }
       break;

package/src/compiler/binder-utilities.ts

@@ -47,12 +47,13 @@ import {
   getTagName,
   getText,
   getType,
+  callQuestionDotToken,
 } from './ast.js';
 import { getJSDoc } from './parser.js';
 import { isAssignmentOperator, isLeftHandSideExpression, isStringLiteralLike, nodeIsMissing } from './ast-utilities.js';
 import { Scanner, computeLineOfPosition, skipTrivia } from './scanner.js';
 import { SyntaxKind } from './syntax-kind.js';
-import { InternalSymbolName, type Symbol } from './symbol.js';
+import { getDeclarations, InternalSymbolName, type Symbol } from './symbol.js';
 
 // Modifiers and flags
 
@@ -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;
 }
@@ -1003,7 +1004,7 @@ export function moduleExportNameIsDefault(node: Node): boolean {
 }
 
 export function getDeclarationOfKind(symbol: Symbol, kind: SyntaxKind): Node | undefined {
-  for (const declaration of symbol.declarations) if (declaration.kind === kind) return declaration;
+  for (const declaration of getDeclarations(symbol)) if (declaration.kind === kind) return declaration;
   return undefined;
 }