tsc-ts 0.0.10 → 0.1.0

package/src/compiler/show-config.ts

@@ -21,6 +21,7 @@ import {
   isIncremental,
   shouldPreserveConstEnums,
   type CompilerOptions,
+  type PluginImport,
 } from './options.js';
 import { getDirectoryPath, getNormalizedAbsolutePath, getRelativePathFromFile } from './path.js';
 
@@ -45,6 +46,8 @@ const hiddenOptions = new Set([
   'init',
   'listFilesOnly',
   'listEmittedFiles',
+  // TypeScript 7.1's generated serializer has no `listFiles`.
+  'listFiles',
   'project',
   'build',
   'version',
@@ -85,7 +88,12 @@ export function showConfig(input: ShowConfigInput, configFileName: string): stri
     if (option === undefined || hiddenOptions.has(option.name)) continue;
     if (option.category === Diagnostics.Command_line_Options || option.category === Diagnostics.Output_Formatting)
       continue;
-    const json = name === 'paths' ? pathsJson(input.options.paths) : optionJson(option, input.options, paths);
+    const json =
+      name === 'paths'
+        ? pathsJson(input.options.paths)
+        : name === 'plugins'
+          ? pluginsJson(input.options.plugins)
+          : optionJson(option, input.options, paths);
     if (json !== undefined) shown.set(option.name, json);
   }
 
@@ -228,6 +236,15 @@ function jsonArray(items: readonly string[], level: number): string {
   return '[\n' + inner + items.map((item) => JSON.stringify(item)).join(',\n' + inner) + '\n' + indent(level) + ']';
 }
 
+function pluginsJson(plugins: readonly PluginImport[] | undefined): string | undefined {
+  if (plugins === undefined) return undefined;
+  if (plugins.length === 0) return '[]';
+  const items = plugins.map(
+    (plugin) => indent(3) + '{\n' + indent(4) + '"name": ' + JSON.stringify(plugin.name) + '\n' + indent(3) + '}',
+  );
+  return '[\n' + items.join(',\n') + '\n' + indent(2) + ']';
+}
+
 function pathsJson(paths: ReadonlyMap<string, readonly string[] | undefined> | undefined): string | undefined {
   if (paths === undefined) return undefined;
   if (paths.size === 0) return '{}';

package/src/compiler/sourcemap.ts

@@ -255,8 +255,8 @@ export class SourceMapGenerator {
     let json =
       '{"version":3,"file":' +
       jsonString(this.file) +
-      ',"sourceRoot":' +
-      jsonString(this.sourceRoot) +
+      // An empty source root is left out, as tsgo's `omitzero` does.
+      (this.sourceRoot === '' ? '' : ',"sourceRoot":' + jsonString(this.sourceRoot)) +
       ',"sources":' +
       jsonStrings(this.sources) +
       ',"names":' +

package/src/compiler/symbol-accessibility.ts

@@ -39,7 +39,11 @@ import { type Checker, ExternalModuleContainerIndex, SymbolAccessibilityCaches,
 import { getEffectiveDeclarationFlags } from './checker-declarations.js';
 import { getDeclaredTypeOfSymbol } from './checker-declared-types.js';
 import { checkExpressionCached } from './checker-expressions.js';
-import { resolveExternalModuleName, resolveExternalModuleSymbol } from './checker-modules.js';
+import {
+  getImportAttributesTypeForModuleSpecifier,
+  resolveExternalModuleName,
+  resolveExternalModuleSymbol,
+} from './checker-modules.js';
 import {
   getExportsOfSymbol,
   getMergedSymbol,
@@ -351,7 +355,13 @@ function getAlternativeContainingModules(c: Checker, symbol: Symbol, enclosingDe
     for (const importRef of containingFile.imports) {
       // Synthesized specifiers can't be resolved.
       if ((importRef.flags & NodeFlags.Synthesized) !== 0) continue;
-      const resolvedModule = resolveExternalModuleName(c, enclosingDeclaration, importRef, true);
+      const resolvedModule = resolveExternalModuleName(
+        c,
+        enclosingDeclaration,
+        importRef,
+        true,
+        getImportAttributesTypeForModuleSpecifier(c, importRef),
+      );
       if (resolvedModule === undefined) continue;
       if (getAliasForSymbolInContainer(c, resolvedModule, symbol) === undefined) continue;
       results.push(resolvedModule);
@@ -718,11 +728,24 @@ class ChainSearch {
   isAccessible(fromTable: Symbol, resolvedAlias: Symbol | undefined, ignoreQualification: boolean): boolean {
     const c = this.c;
     const symbol = getMergedSymbol(c, this.symbol);
-    const likeSymbols =
+    let likeSymbols =
       this.symbol === resolvedAlias ||
       this.symbol === fromTable ||
       (resolvedAlias !== undefined && symbol === getMergedSymbol(c, resolvedAlias)) ||
       symbol === getMergedSymbol(c, fromTable);
+    // An alias of an alias, such as `export =` of a class that a top-level export also names, resolves further.
+    if (!likeSymbols && resolvedAlias !== undefined && (resolvedAlias.flags & SymbolFlags.Alias) !== 0) {
+      const seen = new Set<Symbol>();
+      let alias = resolvedAlias;
+      while ((alias.flags & SymbolFlags.Alias) !== 0 && !seen.has(alias)) {
+        seen.add(alias);
+        alias = getMergedSymbol(c, resolveAlias(c, alias));
+        if (symbol === alias) {
+          likeSymbols = true;
+          break;
+        }
+      }
+    }
     if (!likeSymbols) return false;
     // An external module in the global table isn't accessible by name; otherwise the name must be qualifiable.
     return (

package/src/compiler/symbol.ts

@@ -124,22 +124,26 @@ export const enum CheckFlags {
   ContainsPublic = 1 << 8,
   ContainsProtected = 1 << 9,
   ContainsPrivate = 1 << 10,
-  ContainsStatic = 1 << 11,
+  /** A synthetic property with public, protected or private write access in a constituent. */
+  ContainsWritePublic = 1 << 11,
+  ContainsWriteProtected = 1 << 12,
+  ContainsWritePrivate = 1 << 13,
+  ContainsStatic = 1 << 14,
   /** Late-bound from a computed property name. */
-  Late = 1 << 12,
-  ReverseMapped = 1 << 13,
-  OptionalParameter = 1 << 14,
-  RestParameter = 1 << 15,
+  Late = 1 << 15,
+  ReverseMapped = 1 << 16,
+  OptionalParameter = 1 << 17,
+  RestParameter = 1 << 18,
   /** The type is computed on demand. */
-  DeferredType = 1 << 16,
-  HasNeverType = 1 << 17,
-  Mapped = 1 << 18,
-  StripOptional = 1 << 19,
-  Unresolved = 1 << 20,
-  IsDiscriminantComputed = 1 << 21,
-  IsDiscriminant = 1 << 22,
+  DeferredType = 1 << 19,
+  HasNeverType = 1 << 20,
+  Mapped = 1 << 21,
+  StripOptional = 1 << 22,
+  Unresolved = 1 << 23,
+  IsDiscriminantComputed = 1 << 24,
+  IsDiscriminant = 1 << 25,
   /** Created from an index signature. */
-  IndexSymbol = 1 << 23,
+  IndexSymbol = 1 << 26,
   Synthetic = SyntheticProperty | SyntheticMethod,
   NonUniformAndLiteral = HasNonUniformType | HasLiteralType,
   Partial = ReadPartial | WritePartial,
@@ -320,7 +324,7 @@ export class Symbol implements ProgramLifetime {
 
   /** Whether this is the symbol of an external module, named by its quoted path. */
   isExternalModule(): boolean {
-    return (this.flags & SymbolFlags.Module) !== 0 && this.name.charCodeAt(0) === 0x22;
+    return (this.flags & SymbolFlags.Module) !== 0 && tryGetAmbientModuleNameFromSymbolName(this.name) !== undefined;
   }
 
   /** The flags of this symbol and its export symbol. */
@@ -504,6 +508,19 @@ export function getMembers(symbol: Symbol): SymbolTable {
  */
 export const internalSymbolNamePrefix = '￾';
 
+/**
+ * The module name of an ambient module symbol's name: `"name"`, or for a pattern module with import
+ * attributes, the internal symbol name prefix, `"name"pattern@` and the id of the attributes node.
+ */
+export function tryGetAmbientModuleNameFromSymbolName(name: string): string | undefined {
+  if (name.length >= 2 && name.charCodeAt(0) === 0x22 && name.charCodeAt(name.length - 1) === 0x22)
+    return name.substring(1, name.length - 1);
+  if (!name.startsWith(internalSymbolNamePrefix + '"')) return undefined;
+  const markerIndex = name.lastIndexOf('"pattern@');
+  if (markerIndex < internalSymbolNamePrefix.length + 2) return undefined;
+  return name.substring(internalSymbolNamePrefix.length + 1, markerIndex);
+}
+
 export const enum InternalSymbolName {
   /** Call signatures. */
   Call = '￾call',

package/src/compiler/syntax-kind.ts

@@ -169,191 +169,192 @@ export const enum SyntaxKind {
   OverrideKeyword = 164,
   OfKeyword = 165,
   DeferKeyword = 166,
-  QualifiedName = 167,
-  ComputedPropertyName = 168,
-  TypeParameter = 169,
-  Parameter = 170,
-  Decorator = 171,
-  PropertySignature = 172,
-  PropertyDeclaration = 173,
-  MethodSignature = 174,
-  MethodDeclaration = 175,
-  ClassStaticBlockDeclaration = 176,
-  Constructor = 177,
-  GetAccessor = 178,
-  SetAccessor = 179,
-  CallSignature = 180,
-  ConstructSignature = 181,
-  IndexSignature = 182,
-  TypePredicate = 183,
-  TypeReference = 184,
-  FunctionType = 185,
-  ConstructorType = 186,
-  TypeQuery = 187,
-  TypeLiteral = 188,
-  ArrayType = 189,
-  TupleType = 190,
-  OptionalType = 191,
-  RestType = 192,
-  UnionType = 193,
-  IntersectionType = 194,
-  ConditionalType = 195,
-  InferType = 196,
-  ParenthesizedType = 197,
-  ThisType = 198,
-  TypeOperator = 199,
-  IndexedAccessType = 200,
-  MappedType = 201,
-  LiteralType = 202,
-  NamedTupleMember = 203,
-  TemplateLiteralType = 204,
-  TemplateLiteralTypeSpan = 205,
-  ImportType = 206,
-  ObjectBindingPattern = 207,
-  ArrayBindingPattern = 208,
-  BindingElement = 209,
-  ArrayLiteralExpression = 210,
-  ObjectLiteralExpression = 211,
-  PropertyAccessExpression = 212,
-  ElementAccessExpression = 213,
-  CallExpression = 214,
-  NewExpression = 215,
-  TaggedTemplateExpression = 216,
-  TypeAssertionExpression = 217,
-  ParenthesizedExpression = 218,
-  FunctionExpression = 219,
-  ArrowFunction = 220,
-  DeleteExpression = 221,
-  TypeOfExpression = 222,
-  VoidExpression = 223,
-  AwaitExpression = 224,
-  PrefixUnaryExpression = 225,
-  PostfixUnaryExpression = 226,
-  BinaryExpression = 227,
-  ConditionalExpression = 228,
-  TemplateExpression = 229,
-  YieldExpression = 230,
-  SpreadElement = 231,
-  ClassExpression = 232,
-  OmittedExpression = 233,
-  ExpressionWithTypeArguments = 234,
-  AsExpression = 235,
-  NonNullExpression = 236,
-  MetaProperty = 237,
-  SyntheticExpression = 238,
-  SatisfiesExpression = 239,
-  TemplateSpan = 240,
-  SemicolonClassElement = 241,
-  Block = 242,
-  EmptyStatement = 243,
-  VariableStatement = 244,
-  ExpressionStatement = 245,
-  IfStatement = 246,
-  DoStatement = 247,
-  WhileStatement = 248,
-  ForStatement = 249,
-  ForInStatement = 250,
-  ForOfStatement = 251,
-  ContinueStatement = 252,
-  BreakStatement = 253,
-  ReturnStatement = 254,
-  WithStatement = 255,
-  SwitchStatement = 256,
-  LabeledStatement = 257,
-  ThrowStatement = 258,
-  TryStatement = 259,
-  DebuggerStatement = 260,
-  VariableDeclaration = 261,
-  VariableDeclarationList = 262,
-  FunctionDeclaration = 263,
-  ClassDeclaration = 264,
-  InterfaceDeclaration = 265,
-  TypeAliasDeclaration = 266,
-  EnumDeclaration = 267,
-  ModuleDeclaration = 268,
-  ModuleBlock = 269,
-  CaseBlock = 270,
-  NamespaceExportDeclaration = 271,
-  ImportEqualsDeclaration = 272,
-  ImportDeclaration = 273,
-  ImportClause = 274,
-  NamespaceImport = 275,
-  NamedImports = 276,
-  ImportSpecifier = 277,
-  ExportAssignment = 278,
-  ExportDeclaration = 279,
-  NamedExports = 280,
-  NamespaceExport = 281,
-  ExportSpecifier = 282,
-  MissingDeclaration = 283,
-  ExternalModuleReference = 284,
-  JsxElement = 285,
-  JsxSelfClosingElement = 286,
-  JsxOpeningElement = 287,
-  JsxClosingElement = 288,
-  JsxFragment = 289,
-  JsxOpeningFragment = 290,
-  JsxClosingFragment = 291,
-  JsxAttribute = 292,
-  JsxAttributes = 293,
-  JsxSpreadAttribute = 294,
-  JsxExpression = 295,
-  JsxNamespacedName = 296,
-  CaseClause = 297,
-  DefaultClause = 298,
-  HeritageClause = 299,
-  CatchClause = 300,
-  ImportAttributes = 301,
-  ImportAttribute = 302,
-  PropertyAssignment = 303,
-  ShorthandPropertyAssignment = 304,
-  SpreadAssignment = 305,
-  EnumMember = 306,
-  SourceFile = 307,
-  JSDocTypeExpression = 308,
-  JSDocNameReference = 309,
-  JSDocAllType = 310,
-  JSDocNullableType = 311,
-  JSDocNonNullableType = 312,
-  JSDocOptionalType = 313,
-  JSDocVariadicType = 314,
-  JSDoc = 315,
-  JSDocText = 316,
-  JSDocTypeLiteral = 317,
-  JSDocSignature = 318,
-  JSDocLink = 319,
-  JSDocLinkCode = 320,
-  JSDocLinkPlain = 321,
-  JSDocUnknownTag = 322,
-  JSDocAugmentsTag = 323,
-  JSDocImplementsTag = 324,
-  JSDocDeprecatedTag = 325,
-  JSDocPublicTag = 326,
-  JSDocPrivateTag = 327,
-  JSDocProtectedTag = 328,
-  JSDocReadonlyTag = 329,
-  JSDocOverrideTag = 330,
-  JSDocCallbackTag = 331,
-  JSDocOverloadTag = 332,
-  JSDocParameterTag = 333,
-  JSDocReturnTag = 334,
-  JSDocThisTag = 335,
-  JSDocTypeTag = 336,
-  JSDocTemplateTag = 337,
-  JSDocTypedefTag = 338,
-  JSDocSeeTag = 339,
-  JSDocPropertyTag = 340,
-  JSDocThrowsTag = 341,
-  JSDocSatisfiesTag = 342,
-  JSDocImportTag = 343,
-  SyntaxList = 344,
-  JSTypeAliasDeclaration = 345,
-  JSImportDeclaration = 346,
-  NotEmittedStatement = 347,
-  PartiallyEmittedExpression = 348,
-  SyntheticReferenceExpression = 349,
-  NotEmittedTypeElement = 350,
-  Count = 351,
+  SourceKeyword = 167,
+  QualifiedName = 168,
+  ComputedPropertyName = 169,
+  TypeParameter = 170,
+  Parameter = 171,
+  Decorator = 172,
+  PropertySignature = 173,
+  PropertyDeclaration = 174,
+  MethodSignature = 175,
+  MethodDeclaration = 176,
+  ClassStaticBlockDeclaration = 177,
+  Constructor = 178,
+  GetAccessor = 179,
+  SetAccessor = 180,
+  CallSignature = 181,
+  ConstructSignature = 182,
+  IndexSignature = 183,
+  TypePredicate = 184,
+  TypeReference = 185,
+  FunctionType = 186,
+  ConstructorType = 187,
+  TypeQuery = 188,
+  TypeLiteral = 189,
+  ArrayType = 190,
+  TupleType = 191,
+  OptionalType = 192,
+  RestType = 193,
+  UnionType = 194,
+  IntersectionType = 195,
+  ConditionalType = 196,
+  InferType = 197,
+  ParenthesizedType = 198,
+  ThisType = 199,
+  TypeOperator = 200,
+  IndexedAccessType = 201,
+  MappedType = 202,
+  LiteralType = 203,
+  NamedTupleMember = 204,
+  TemplateLiteralType = 205,
+  TemplateLiteralTypeSpan = 206,
+  ImportType = 207,
+  ObjectBindingPattern = 208,
+  ArrayBindingPattern = 209,
+  BindingElement = 210,
+  ArrayLiteralExpression = 211,
+  ObjectLiteralExpression = 212,
+  PropertyAccessExpression = 213,
+  ElementAccessExpression = 214,
+  CallExpression = 215,
+  NewExpression = 216,
+  TaggedTemplateExpression = 217,
+  TypeAssertionExpression = 218,
+  ParenthesizedExpression = 219,
+  FunctionExpression = 220,
+  ArrowFunction = 221,
+  DeleteExpression = 222,
+  TypeOfExpression = 223,
+  VoidExpression = 224,
+  AwaitExpression = 225,
+  PrefixUnaryExpression = 226,
+  PostfixUnaryExpression = 227,
+  BinaryExpression = 228,
+  ConditionalExpression = 229,
+  TemplateExpression = 230,
+  YieldExpression = 231,
+  SpreadElement = 232,
+  ClassExpression = 233,
+  OmittedExpression = 234,
+  ExpressionWithTypeArguments = 235,
+  AsExpression = 236,
+  NonNullExpression = 237,
+  MetaProperty = 238,
+  SyntheticExpression = 239,
+  SatisfiesExpression = 240,
+  TemplateSpan = 241,
+  SemicolonClassElement = 242,
+  Block = 243,
+  EmptyStatement = 244,
+  VariableStatement = 245,
+  ExpressionStatement = 246,
+  IfStatement = 247,
+  DoStatement = 248,
+  WhileStatement = 249,
+  ForStatement = 250,
+  ForInStatement = 251,
+  ForOfStatement = 252,
+  ContinueStatement = 253,
+  BreakStatement = 254,
+  ReturnStatement = 255,
+  WithStatement = 256,
+  SwitchStatement = 257,
+  LabeledStatement = 258,
+  ThrowStatement = 259,
+  TryStatement = 260,
+  DebuggerStatement = 261,
+  VariableDeclaration = 262,
+  VariableDeclarationList = 263,
+  FunctionDeclaration = 264,
+  ClassDeclaration = 265,
+  InterfaceDeclaration = 266,
+  TypeAliasDeclaration = 267,
+  EnumDeclaration = 268,
+  ModuleDeclaration = 269,
+  ModuleBlock = 270,
+  CaseBlock = 271,
+  NamespaceExportDeclaration = 272,
+  ImportEqualsDeclaration = 273,
+  ImportDeclaration = 274,
+  ImportClause = 275,
+  NamespaceImport = 276,
+  NamedImports = 277,
+  ImportSpecifier = 278,
+  ExportAssignment = 279,
+  ExportDeclaration = 280,
+  NamedExports = 281,
+  NamespaceExport = 282,
+  ExportSpecifier = 283,
+  MissingDeclaration = 284,
+  ExternalModuleReference = 285,
+  JsxElement = 286,
+  JsxSelfClosingElement = 287,
+  JsxOpeningElement = 288,
+  JsxClosingElement = 289,
+  JsxFragment = 290,
+  JsxOpeningFragment = 291,
+  JsxClosingFragment = 292,
+  JsxAttribute = 293,
+  JsxAttributes = 294,
+  JsxSpreadAttribute = 295,
+  JsxExpression = 296,
+  JsxNamespacedName = 297,
+  CaseClause = 298,
+  DefaultClause = 299,
+  HeritageClause = 300,
+  CatchClause = 301,
+  ImportAttributes = 302,
+  ImportAttribute = 303,
+  PropertyAssignment = 304,
+  ShorthandPropertyAssignment = 305,
+  SpreadAssignment = 306,
+  EnumMember = 307,
+  SourceFile = 308,
+  JSDocTypeExpression = 309,
+  JSDocNameReference = 310,
+  JSDocAllType = 311,
+  JSDocNullableType = 312,
+  JSDocNonNullableType = 313,
+  JSDocOptionalType = 314,
+  JSDocVariadicType = 315,
+  JSDoc = 316,
+  JSDocText = 317,
+  JSDocTypeLiteral = 318,
+  JSDocSignature = 319,
+  JSDocLink = 320,
+  JSDocLinkCode = 321,
+  JSDocLinkPlain = 322,
+  JSDocUnknownTag = 323,
+  JSDocAugmentsTag = 324,
+  JSDocImplementsTag = 325,
+  JSDocDeprecatedTag = 326,
+  JSDocPublicTag = 327,
+  JSDocPrivateTag = 328,
+  JSDocProtectedTag = 329,
+  JSDocReadonlyTag = 330,
+  JSDocOverrideTag = 331,
+  JSDocCallbackTag = 332,
+  JSDocOverloadTag = 333,
+  JSDocParameterTag = 334,
+  JSDocReturnTag = 335,
+  JSDocThisTag = 336,
+  JSDocTypeTag = 337,
+  JSDocTemplateTag = 338,
+  JSDocTypedefTag = 339,
+  JSDocSeeTag = 340,
+  JSDocPropertyTag = 341,
+  JSDocThrowsTag = 342,
+  JSDocSatisfiesTag = 343,
+  JSDocImportTag = 344,
+  SyntaxList = 345,
+  JSTypeAliasDeclaration = 346,
+  JSImportDeclaration = 347,
+  NotEmittedStatement = 348,
+  PartiallyEmittedExpression = 349,
+  SyntheticReferenceExpression = 350,
+  NotEmittedTypeElement = 351,
+  Count = 352,
   FirstAssignment = EqualsToken,
   LastAssignment = CaretEqualsToken,
   FirstCompoundAssignment = PlusEqualsToken,
@@ -361,7 +362,7 @@ export const enum SyntaxKind {
   FirstReservedWord = BreakKeyword,
   LastReservedWord = WithKeyword,
   FirstKeyword = BreakKeyword,
-  LastKeyword = DeferKeyword,
+  LastKeyword = SourceKeyword,
   FirstFutureReservedWord = ImplementsKeyword,
   LastFutureReservedWord = YieldKeyword,
   FirstTypeNode = TypePredicate,
@@ -384,7 +385,7 @@ export const enum SyntaxKind {
   FirstJSDocTagNode = JSDocUnknownTag,
   LastJSDocTagNode = JSDocImportTag,
   FirstContextualKeyword = AbstractKeyword,
-  LastContextualKeyword = DeferKeyword,
+  LastContextualKeyword = SourceKeyword,
   LastUnaryOperator = TildeToken,
   FirstTriviaToken = SingleLineCommentTrivia,
   LastTriviaToken = ConflictMarkerTrivia,

package/src/compiler/thread-entry.ts

@@ -24,6 +24,7 @@ import { CheckedProgram } from './program-checker.js';
 import type { Program } from './program.js';
 import { assignSymbolIdsAtCreation, reserveSymbolIds, shareSymbolIds } from './symbol.js';
 import { mark, setTimelineThread } from './timeline.js';
+import { setThreadSharingData, type ThreadSharingData } from './shared-results.js';
 
 /** What threads need from the command line that starts them. */
 export interface ThreadDrivers {
@@ -56,8 +57,12 @@ export interface CheckerThreadData {
   readonly emitKinds: number[] | undefined;
   readonly checking: boolean;
   readonly units: number[];
+  /** See `CheckedProgram.globalsInFileDiagnostics`. */
+  readonly globalsInFileDiagnostics: boolean;
   /** The main thread's report format (`formattedReports`), which the thread formats its diagnostics in. */
   readonly reportFormat: DiagnosticFormatOptions | undefined;
+  /** TSC_TS_SHARE: what the thread shares results with the other checker threads through. */
+  readonly sharing: ThreadSharingData | undefined;
 }
 
 export interface EmitThreadData {
@@ -103,6 +108,8 @@ export function startThreads(spawn: ThreadSpawn, drivers: ThreadDrivers, args: r
     emitKinds,
     checking,
     units,
+    globalsInFileDiagnostics,
+    sharing,
   ) =>
     spawn({
       kind: 'check',
@@ -118,7 +125,9 @@ export function startThreads(spawn: ThreadSpawn, drivers: ThreadDrivers, args: r
       emitKinds,
       checking,
       units,
+      globalsInFileDiagnostics,
       reportFormat: formattedReports.format,
+      sharing,
     });
   if (sharesPublishedGraphs) {
     parallelEmit.spawn = (program, index, counter, files, kinds, nodeIds, symbolIds) =>
@@ -203,11 +212,18 @@ function runCheckerThread(job: CheckerThreadData, drivers: ThreadDrivers): void
     mark('program received');
   } else program = drivers.programOfCommandLine(job.args);
   // Without a program this thread checks nothing; the main thread checks the files it would have.
+  let checked: CheckedProgram | undefined = undefined;
+  if (program !== undefined) {
+    // The checker the program creates shares results with the other checker threads.
+    setThreadSharingData(job.sharing);
+    checked = new CheckedProgram(program);
+    checked.globalsInFileDiagnostics = job.globalsInFileDiagnostics;
+  }
   const result =
-    program === undefined
+    checked === undefined
       ? new CheckerResult(job.index, [], [], [], [], 0, [])
       : checkFromQueue(
-          new CheckedProgram(program),
+          checked,
           job.index,
           new Int32Array(job.counter),
           job.order,
@@ -219,6 +235,7 @@ function runCheckerThread(job: CheckerThreadData, drivers: ThreadDrivers): void
           job.emitKinds,
           job.checking,
           job.units,
+          job.sharing,
         );
   // Packed results are copied: nothing this thread allocated stays reachable after it ends.
   if (packsResults) parentPort!.postMessage(packResult(result, program!));