@scriptc/compiler 0.2.6 → 0.2.8

package/dist/frontend/lowering/union-narrow.js

@@ -1,4 +1,13 @@
 import { BOOL, STRING, isUnitType, typeEquals } from "../../ir/ir.js";
+/** The TypeError message for a checked extraction that finds `arm`. */
+export function unionNarrowFailureMessage(arm, formatType) {
+    const what = isUnitType(arm)
+        ? arm.kind === "undefinedT"
+            ? "undefined"
+            : "null"
+        : `a '${formatType(arm)}' value`;
+    return `${what} is not representable in the target union (a value narrowed or asserted past it still held it)`;
+}
 /** Build checked extraction from a union's actual storage. Successful reads
  * retain reference payloads through unionNarrow; every other valid tag
  * throws before the payload can be interpreted as the target type.
@@ -38,11 +47,6 @@ export function buildUnionNarrow(name, from, target, loc, formatType, undefinedD
             branch = [{ kind: "return", value: undefinedDefault, loc }];
         }
         else {
-            const what = isUnitType(arm)
-                ? arm.kind === "undefinedT"
-                    ? "undefined"
-                    : "null"
-                : `a '${formatType(arm)}' value`;
             branch = [
                 {
                     kind: "throw",
@@ -52,7 +56,7 @@ export function buildUnionNarrow(name, from, target, loc, formatType, undefinedD
                         args: [
                             {
                                 kind: "strLit",
-                                value: `${what} is not representable in the target union (a value narrowed or asserted past it still held it)`,
+                                value: unionNarrowFailureMessage(arm, formatType),
                                 type: STRING,
                                 loc,
                             },

package/dist/frontend/lowering/union-narrow.js.map

@@ -1 +1 @@
-{"version":3,"file":"union-narrow.js","sourceRoot":"","sources":["../../../src/frontend/lowering/union-narrow.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAGtE;;;;;;kEAMkE;AAClE,MAAM,UAAU,gBAAgB,CAC9B,IAAY,EACZ,IAAgB,EAChB,MAAc,EACd,GAAW,EACX,UAAoC,EACpC,gBAAgB,GAAkB,IAAI;IAEtC,IAAI,UAAU,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IAC9D,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC;IACxE,IAAI,SAAS,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/B,IAAI,gBAAgB,KAAK,IAAI,EAAE,CAAC;QAC9B,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK;YAAE,OAAO,IAAI,CAAC;QACjE,IACE,CAAC,UAAU,CAAC,gBAAgB,CAAC,IAAI,EAAE,MAAM,CAAC;YAC1C,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,YAAY,CAAC;YAEnD,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,MAAM,SAAS,GAAW,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC;IAC9D,MAAM,KAAK,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC;IAC/E,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,KAAK,IAAI,GAAG,GAAG,CAAC,EAAE,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE,CAAC;QAChD,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAE,CAAC;QAC5B,IAAI,MAAgB,CAAC;QACrB,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACtB,MAAM,GAAG;gBACP;oBACE,IAAI,EAAE,QAAQ;oBACd,KAAK,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;oBACtF,GAAG;iBACJ;aACF,CAAC;QACJ,CAAC;aAAM,IAAI,GAAG,CAAC,IAAI,KAAK,YAAY,IAAI,gBAAgB,KAAK,IAAI,EAAE,CAAC;YAClE,MAAM,GAAG,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,gBAAgB,EAAE,GAAG,EAAE,CAAC,CAAC;QAC9D,CAAC;aAAM,CAAC;YACN,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC;gBAC1B,CAAC,CAAC,GAAG,CAAC,IAAI,KAAK,YAAY;oBACzB,CAAC,CAAC,WAAW;oBACb,CAAC,CAAC,MAAM;gBACV,CAAC,CAAC,MAAM,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC;YACnC,MAAM,GAAG;gBACP;oBACE,IAAI,EAAE,OAAO;oBACb,KAAK,EAAE;wBACL,IAAI,EAAE,SAAS;wBACf,EAAE,EAAE,WAAW;wBACf,IAAI,EAAE;4BACJ;gCACE,IAAI,EAAE,QAAQ;gCACd,KAAK,EAAE,GAAG,IAAI,gGAAgG;gCAC9G,IAAI,EAAE,MAAM;gCACZ,GAAG;6BACJ;yBACF;wBACD,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,YAAY,EAAE;wBACjD,GAAG;qBACJ;oBACD,GAAG;iBACJ;aACF,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,IAAI,CAAC;YACR,IAAI,EAAE,IAAI;YACV,IAAI,EAAE;gBACJ,IAAI,EAAE,YAAY;gBAClB,OAAO,EAAE,IAAI,CAAC,EAAE;gBAChB,GAAG;gBACH,OAAO,EAAE,KAAK;gBACd,KAAK,EAAE,KAAK;gBACZ,IAAI,EAAE,IAAI;gBACV,GAAG;aACJ;YACD,IAAI,EAAE,MAAM;YACZ,KAAK,EAAE,IAAI;YACX,GAAG;SACJ,CAAC,CAAC;IACL,CAAC;IACD,IAAI,CAAC,IAAI,CAAC;QACR,IAAI,EAAE,OAAO;QACb,KAAK,EAAE;YACL,IAAI,EAAE,QAAQ;YACd,KAAK,EAAE,4CAA4C;YACnD,IAAI,EAAE,MAAM;YACZ,GAAG;SACJ;QACD,GAAG;KACJ,CAAC,CAAC;IACH,OAAO;QACL,IAAI;QACJ,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QACxD,UAAU,EAAE,MAAM;QAClB,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;QACnE,IAAI;QACJ,GAAG;KACJ,CAAC;AACJ,CAAC"}
+{"version":3,"file":"union-narrow.js","sourceRoot":"","sources":["../../../src/frontend/lowering/union-narrow.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAGtE,uEAAuE;AACvE,MAAM,UAAU,yBAAyB,CACvC,GAAW,EACX,UAAoC;IAEpC,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC;QAC1B,CAAC,CAAC,GAAG,CAAC,IAAI,KAAK,YAAY;YACzB,CAAC,CAAC,WAAW;YACb,CAAC,CAAC,MAAM;QACV,CAAC,CAAC,MAAM,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC;IACnC,OAAO,GAAG,IAAI,gGAAgG,CAAC;AACjH,CAAC;AAED;;;;;;kEAMkE;AAClE,MAAM,UAAU,gBAAgB,CAC9B,IAAY,EACZ,IAAgB,EAChB,MAAc,EACd,GAAW,EACX,UAAoC,EACpC,gBAAgB,GAAkB,IAAI;IAEtC,IAAI,UAAU,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IAC9D,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC;IACxE,IAAI,SAAS,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/B,IAAI,gBAAgB,KAAK,IAAI,EAAE,CAAC;QAC9B,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK;YAAE,OAAO,IAAI,CAAC;QACjE,IACE,CAAC,UAAU,CAAC,gBAAgB,CAAC,IAAI,EAAE,MAAM,CAAC;YAC1C,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,YAAY,CAAC;YAEnD,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,MAAM,SAAS,GAAW,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC;IAC9D,MAAM,KAAK,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC;IAC/E,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,KAAK,IAAI,GAAG,GAAG,CAAC,EAAE,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE,CAAC;QAChD,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAE,CAAC;QAC5B,IAAI,MAAgB,CAAC;QACrB,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACtB,MAAM,GAAG;gBACP;oBACE,IAAI,EAAE,QAAQ;oBACd,KAAK,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;oBACtF,GAAG;iBACJ;aACF,CAAC;QACJ,CAAC;aAAM,IAAI,GAAG,CAAC,IAAI,KAAK,YAAY,IAAI,gBAAgB,KAAK,IAAI,EAAE,CAAC;YAClE,MAAM,GAAG,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,gBAAgB,EAAE,GAAG,EAAE,CAAC,CAAC;QAC9D,CAAC;aAAM,CAAC;YACN,MAAM,GAAG;gBACP;oBACE,IAAI,EAAE,OAAO;oBACb,KAAK,EAAE;wBACL,IAAI,EAAE,SAAS;wBACf,EAAE,EAAE,WAAW;wBACf,IAAI,EAAE;4BACJ;gCACE,IAAI,EAAE,QAAQ;gCACd,KAAK,EAAE,yBAAyB,CAAC,GAAG,EAAE,UAAU,CAAC;gCACjD,IAAI,EAAE,MAAM;gCACZ,GAAG;6BACJ;yBACF;wBACD,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,YAAY,EAAE;wBACjD,GAAG;qBACJ;oBACD,GAAG;iBACJ;aACF,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,IAAI,CAAC;YACR,IAAI,EAAE,IAAI;YACV,IAAI,EAAE;gBACJ,IAAI,EAAE,YAAY;gBAClB,OAAO,EAAE,IAAI,CAAC,EAAE;gBAChB,GAAG;gBACH,OAAO,EAAE,KAAK;gBACd,KAAK,EAAE,KAAK;gBACZ,IAAI,EAAE,IAAI;gBACV,GAAG;aACJ;YACD,IAAI,EAAE,MAAM;YACZ,KAAK,EAAE,IAAI;YACX,GAAG;SACJ,CAAC,CAAC;IACL,CAAC;IACD,IAAI,CAAC,IAAI,CAAC;QACR,IAAI,EAAE,OAAO;QACb,KAAK,EAAE;YACL,IAAI,EAAE,QAAQ;YACd,KAAK,EAAE,4CAA4C;YACnD,IAAI,EAAE,MAAM;YACZ,GAAG;SACJ;QACD,GAAG;KACJ,CAAC,CAAC;IACH,OAAO;QACL,IAAI;QACJ,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QACxD,UAAU,EAAE,MAAM;QAClB,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;QACnE,IAAI;QACJ,GAAG;KACJ,CAAC;AACJ,CAAC"}

package/dist/frontend/program-analysis.d.ts

@@ -1,5 +1,11 @@
 import type { ExportDeclaration, SourceFile, VariableDeclaration } from "./ts7/ast-types.js";
 import type { ModuleSourceCandidates } from "./module-source-candidates.js";
+import type { CycleEarlyBinding } from "./program.js";
+/** Early bindings computed for one module order of a program. */
+export interface EarlyBindingsMemo {
+    key: string;
+    bindings: CycleEarlyBinding[];
+}
 /** Facts owned by one program snapshot. Strong collections are bounded by
  * the program lifecycle, so neither GC finalizers nor native weak handles
  * are needed, and newer snapshots cannot inherit stale package decisions. */
@@ -8,5 +14,9 @@ export declare class ProgramAnalysis {
     readonly nodeEsmFiles: Map<SourceFile, boolean>;
     readonly prunedNpmReexports: Set<ExportDeclaration>;
     readonly moduleSourceCandidates: Map<SourceFile, ModuleSourceCandidates>;
+    /** The modules of every import cycle the exact initialization rule admitted. */
+    readonly exactCycleMembers: Set<SourceFile>;
+    cycleEarlyBindings: EarlyBindingsMemo | null;
+    moduleEarlyBindings: EarlyBindingsMemo | null;
     clear(): void;
 }

package/dist/frontend/program-analysis.js

@@ -6,11 +6,18 @@ export class ProgramAnalysis {
     nodeEsmFiles = new Map();
     prunedNpmReexports = new Set();
     moduleSourceCandidates = new Map();
+    /** The modules of every import cycle the exact initialization rule admitted. */
+    exactCycleMembers = new Set();
+    cycleEarlyBindings = null;
+    moduleEarlyBindings = null;
     clear() {
         this.createRequireReasons.clear();
         this.nodeEsmFiles.clear();
         this.prunedNpmReexports.clear();
         this.moduleSourceCandidates.clear();
+        this.exactCycleMembers.clear();
+        this.cycleEarlyBindings = null;
+        this.moduleEarlyBindings = null;
     }
 }
 //# sourceMappingURL=program-analysis.js.map

package/dist/frontend/program-analysis.js.map

@@ -1 +1 @@
-{"version":3,"file":"program-analysis.js","sourceRoot":"","sources":["../../src/frontend/program-analysis.ts"],"names":[],"mappings":"AAGA;;6EAE6E;AAC7E,MAAM,OAAO,eAAe;IACjB,oBAAoB,GAAG,IAAI,GAAG,EAAsC,CAAC;IACrE,YAAY,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC9C,kBAAkB,GAAG,IAAI,GAAG,EAAqB,CAAC;IAClD,sBAAsB,GAAG,IAAI,GAAG,EAAsC,CAAC;IAEhF,KAAK;QACH,IAAI,CAAC,oBAAoB,CAAC,KAAK,EAAE,CAAC;QAClC,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,CAAC;QAC1B,IAAI,CAAC,kBAAkB,CAAC,KAAK,EAAE,CAAC;QAChC,IAAI,CAAC,sBAAsB,CAAC,KAAK,EAAE,CAAC;IACtC,CAAC;CACF"}
+{"version":3,"file":"program-analysis.js","sourceRoot":"","sources":["../../src/frontend/program-analysis.ts"],"names":[],"mappings":"AAUA;;6EAE6E;AAC7E,MAAM,OAAO,eAAe;IACjB,oBAAoB,GAAG,IAAI,GAAG,EAAsC,CAAC;IACrE,YAAY,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC9C,kBAAkB,GAAG,IAAI,GAAG,EAAqB,CAAC;IAClD,sBAAsB,GAAG,IAAI,GAAG,EAAsC,CAAC;IAChF,gFAAgF;IACvE,iBAAiB,GAAG,IAAI,GAAG,EAAc,CAAC;IACnD,kBAAkB,GAA6B,IAAI,CAAC;IACpD,mBAAmB,GAA6B,IAAI,CAAC;IAErD,KAAK;QACH,IAAI,CAAC,oBAAoB,CAAC,KAAK,EAAE,CAAC;QAClC,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,CAAC;QAC1B,IAAI,CAAC,kBAAkB,CAAC,KAAK,EAAE,CAAC;QAChC,IAAI,CAAC,sBAAsB,CAAC,KAAK,EAAE,CAAC;QACpC,IAAI,CAAC,iBAAiB,CAAC,KAAK,EAAE,CAAC;QAC/B,IAAI,CAAC,kBAAkB,GAAG,IAAI,CAAC;QAC/B,IAAI,CAAC,mBAAmB,GAAG,IAAI,CAAC;IAClC,CAAC;CACF"}

package/dist/frontend/program.d.ts

@@ -1,6 +1,14 @@
 import * as ts from "./ts7/adapter.js";
 import type { ScrDiagnostic } from "../diagnostics/diagnostic.js";
 import type { FrontendServices } from "./services.js";
+export interface TypeWorldDifferences {
+    /** No @types/node: the bundled fallback declarations type Node. */
+    nodeFallback: boolean;
+    /** The project tsconfig's "lib" entries (scriptc checks with its own). */
+    projectLib: readonly string[] | null;
+    /** The project disables strictNullChecks; scriptc forces it on. */
+    forcedStrictNullChecks: boolean;
+}
 export interface LoadResult {
     program: ts.Program;
     entry: ts.SourceFile;
@@ -23,6 +31,9 @@ export interface LoadResult {
      * checkPreflight. */
     startupCrash?: StartupCrash | null;
     configDiags: ScrDiagnostic[];
+    /** How scriptc's type world differs from the project's own tsc setup —
+     * used only to label the TypeScript errors those differences cause. */
+    typeWorld?: TypeWorldDifferences;
     /** Coverage-only external host modules: exact bare specifier → local
      * declaration file. These participate in checker resolution but never
      * become runtime module edges. */
@@ -139,17 +150,67 @@ export interface CycleEdge {
  * e.dep already mid-initialization in a depth-first walk), answers null
  * to ADMIT the cycle — the guarded %init calls reproduce Node's cache-hit
  * order and nothing can observe the partial initialization — or the
- * human-readable reason it keeps the SC1016 fence. Two admission chances:
+ * human-readable reason it keeps the SC1016 fence. Three admission chances:
  *  - the CHEAP PER-EDGE rule: the closing statement binds nothing (a
  *    side-effect import) or binds only namespace objects whose every use
  *    is a bare expression statement — no read crosses the edge at all;
  *  - the DECLARATION-ONLY INIT WINDOW rule (the admission block above):
  *    every cluster member is an ES module with an inert top level, and
- *    the closing edge's bindings are used only in deferred positions.
+ *    the closing edge's bindings are used only in deferred positions;
+ *  - the EXACT INITIALIZATION rule (exactCycleRefusal7): partial
+ *    initialization is observable, but every observation is modeled —
+ *    the lowering checks each binding cycleEarlyBindings reports.
  * Tarjan SCCs (lazy, rooted at each queried importer) and cluster
  * verdicts are memoized across calls, so `edgesOf` must answer the same
  * edges for the same file every time. */
 export declare function makeCycleAdmission(program: ts.Program, edgesOf: (sf: ts.SourceFile) => readonly CycleEdge[]): (importer: ts.SourceFile, e: CycleEdge) => string | null;
+/** The modules of `program` whose import cycles were admitted by the
+ * exact initialization rule (not the declaration-only rule). */
+export declare function exactCycleMembers(program: ts.Program): ReadonlySet<ts.SourceFile>;
+/** A module-scope binding of an exactly-initialized cycle that some read
+ * or write can reach before its declaration ran. */
+export interface CycleEarlyBinding {
+    symbol: ts.Symbol;
+    /** The declaration's name. */
+    name: ts.Identifier;
+    kind: "lexical" | "var" | "class";
+    module: ts.SourceFile;
+    /** One reference that can run before the declaration. */
+    reference: ts.Identifier;
+    /** A reference in a position the lowering may resolve at compile time
+     * from the binding's type (a property key, a `typeof` operand). */
+    folded?: ts.Identifier;
+    /** Modules whose TOP-LEVEL code runs only after the declaration ran:
+     * modules outside the cycle and cycle members evaluated later. */
+    settled: ReadonlySet<ts.SourceFile>;
+}
+/** Every binding of the program's exactly-initialized cycles that can be
+ * observed before its declaration executes. `order` is the compiled module
+ * order; `singleRoot` is false when more than one module graph root runs
+ * (fork or worker entries), so a cycle can be entered at different
+ * members. With one root and a purely ES-module graph the evaluation order
+ * is static and the analysis is precise up to "user code may run": a
+ * binding needs its check when its declaration completes after some
+ * top-level code that can call user functions and a deferred position
+ * (function body, parameter default, instance field) references it, or
+ * when the top level of a cycle member evaluated before it reads it.
+ * Otherwise every deferred reference and every top-level reference from
+ * another member counts. */
+export declare function cycleEarlyBindings(program: ts.Program, entry: ts.SourceFile, order: readonly ts.SourceFile[], singleRoot: boolean): CycleEarlyBinding[];
+/** Top-level let/const bindings, in modules outside the exactly-initialized
+ * cycles, that code running before their declaration completes can read.
+ * Function declarations are callable from the module's start, so a call
+ * made by earlier top-level code (or by the declaration's own initializer)
+ * can observe the temporal dead zone. Reachability is syntactic: a stored
+ * callable (a function or class declaration, or a function, class or
+ * object-literal method stored by a variable initializer) becomes reachable
+ * once reachable code names its binding, and every other function-like in
+ * reachable code counts as reachable because it may be handed to a callee.
+ * A binding is reported only when one of its references in a deferred
+ * position is reachable before the declaration ran, so modules that call
+ * nothing early report nothing. Bindings of exactly-initialized cycles are
+ * covered by cycleEarlyBindings. */
+export declare function moduleEarlyBindings(program: ts.Program, order: readonly ts.SourceFile[]): CycleEarlyBinding[];
 /** Resolves an import specifier from `from` to a source file of the
  * program, or null (unresolvable / outside the program). Exported (as
  * resolveImport) for the lowering: CommonJS require statements lower to