@scriptc/compiler 0.4.5 → 0.4.6

package/dist/frontend/shape-inference/index.js

@@ -1,11 +1,23 @@
-import { analyzeShapes } from "./analyze.js";
+import { npmStaticPackageOfPath } from "../npm-static.js";
+import { isShapelessPackage } from "../package-shims.js";
+import { analyzeShapes, isPackageJsFile } from "./analyze.js";
+import { createHash } from "node:crypto";
+import { hasShapeOverlayProtectedSpans, OVERLAY_MARK, planOnRewrittenTexts, planShapeOverlay, renderShapeOverlay, } from "./overlay.js";
+import { attributeOverlayRefusals } from "./fallback.js";
+import { checksInferredFact } from "./inferred-checks.js";
+import { planStaticObjectRewrites, rewrittenPosition, } from "./static-objects.js";
+import { isJsSourceFile } from "../program.js";
 import { buildShapeReport } from "./report.js";
 import { computeConstantGraphs, constantGraphReport } from "./constant-graphs.js";
+import { overlayMemoKey, readOverlayMemo, shapeOverlayMemoEnabled, textHash, writeOverlayMemo, } from "./memo.js";
 export { analyzeShapes } from "./analyze.js";
 export { buildShapeReport } from "./report.js";
+export { setShapeOverlayMemoDir } from "./memo.js";
+export { setShapeOverlayProtectedSpans } from "./overlay.js";
 /** SCRIPTC_DEBUG_SHAPES: `1` reports package code in hot functions,
  * `verbose` every package site, `all` user files too, any other value only
- * files whose path contains it. Writes to stderr; changes nothing else. */
+ * files whose path contains it. Writes to stderr; changes nothing else. The
+ * build cache does not key on the variable: use SCRIPTC_NO_CACHE=1. */
 export function reportShapes(program, filter) {
     const start = performance.now();
     const analysis = analyzeShapes(program, program.getTypeChecker());
@@ -16,4 +28,521 @@ export function reportShapes(program, filter) {
     const ms = (performance.now() - start).toFixed(0);
     process.stderr.write(`[shapes] ${ms} ms\n${lines.map((l) => `[shapes] ${l}`).join("\n")}\n`);
 }
+/* The overlay's files for the current load: the lowering treats them as
+ * checked JavaScript (their JSDoc types are the analysis's proven facts). */
+let overlayFiles = new Set();
+let overlayAnnotations = 0;
+let overlayDeadBranches = 0;
+export function isShapeOverlayFile(fileName) {
+    return overlayFiles.has(fileName);
+}
+/** Whether a statement or declaration carries an overlay annotation. */
+export function shapeOverlayAnnotated(node) {
+    const sf = node.getSourceFile();
+    if (!overlayFiles.has(sf.fileName))
+        return false;
+    return sf.text.slice(node.pos, node.getStart(sf)).includes(OVERLAY_MARK);
+}
+export function shapeOverlayFileNames() {
+    return [...overlayFiles];
+}
+export function shapeOverlayAnnotationCount() {
+    return overlayAnnotations;
+}
+export function captureShapeOverlayState() {
+    return {
+        renderedFiles,
+        staticRewriteFiles,
+        staticObjectStats,
+        overlayDone,
+        overlayFiles,
+        overlayAnnotations,
+        overlayDeadBranches,
+    };
+}
+export function restoreShapeOverlayState(state) {
+    renderedFiles = state.renderedFiles;
+    staticRewriteFiles = state.staticRewriteFiles;
+    staticObjectStats = state.staticObjectStats;
+    overlayDone = state.overlayDone;
+    overlayFiles = state.overlayFiles;
+    overlayAnnotations = state.overlayAnnotations;
+    overlayDeadBranches = state.overlayDeadBranches;
+}
+export function resetShapeOverlay() {
+    renderedFiles = new Set();
+    staticRewriteFiles = new Set();
+    staticObjectStats = {
+        classes: 0,
+        functions: 0,
+        directCalls: 0,
+        tableDispatches: 0,
+        foldedReads: 0,
+    };
+    overlayDone = false;
+    overlayFiles = new Set();
+    overlayAnnotations = 0;
+    overlayDeadBranches = 0;
+    inferredFactChecks = 0;
+}
+/** Whether the overlay runs. While it is new it is opt-in
+ * (SCRIPTC_SHAPE_OVERLAY=1); `--no-shape-overlay` (the `shapeOverlay:
+ * false` build option) sets the variable to 0 for the build. */
+export function shapeOverlayEnabled() {
+    return process.env["SCRIPTC_SHAPE_OVERLAY"] === "1";
+}
+/* The build's fallback state (fallback.ts): annotations and files whose
+ * lowering was refused, and whether the build dropped the overlay. It
+ * outlives the loads of one build. */
+let exclusions = {
+    annotations: new Map(),
+    files: new Set(),
+};
+let overlayDropped = false;
+let droppedAnnotations = 0;
+/* The annotations dropped before a comparison load turned the overlay off
+ * for a moment (setShapeOverlayDropped). */
+let droppedBeforeComparison = 0;
+/* The build's memo (memo.ts): its key, what an earlier build recorded, the
+ * hashes of the JavaScript files as written, and the last overlay plan. */
+let memoKey = null;
+let memo = null;
+let memoOff = false;
+let asWrittenHashes = new Map();
+let lastPlan = null;
+let memoSeededPlan = null;
+/** Starts a build: no annotation is excluded yet. */
+export function beginShapeOverlayBuild() {
+    overlayCache = new Map();
+    exclusions = { annotations: new Map(), files: new Set() };
+    overlayDropped = false;
+    droppedAnnotations = 0;
+    droppedBeforeComparison = 0;
+    memoKey = null;
+    memo = null;
+    memoOff = false;
+    asWrittenHashes = new Map();
+    lastPlan = null;
+    memoSeededPlan = null;
+}
+/** Turns the overlay off for the rest of the build (true), or back on
+ * (false): the pipeline compares a load without it when the overlay's
+ * program fails a check the program without it passes. */
+export function setShapeOverlayDropped(dropped) {
+    if (dropped && !overlayDropped)
+        droppedBeforeComparison = droppedAnnotations;
+    overlayDropped = dropped;
+    droppedAnnotations = dropped ? overlayAnnotations : droppedBeforeComparison;
+}
+/** The memo's deferred refusals of the build without the overlay, if an
+ * earlier build of the same JavaScript recorded them. */
+export function shapeOverlayMemoPlainFences() {
+    return memo === null || memo.plainFences.length === 0 ? null : new Set(memo.plainFences);
+}
+/** Records the build's verdicts for the next build of the same
+ * JavaScript (memo.ts): the refused annotations and files, whether the
+ * build compiled without the overlay, and the deferred refusals of the
+ * build without it (`plainFences`, from a comparison). */
+export function recordShapeOverlayMemo(plainFences) {
+    if (memoKey === null || !shapeOverlayMemoEnabled() || memoOff)
+        return;
+    const annotations = [];
+    for (const [file, ids] of exclusions.annotations) {
+        const part = lastPlan?.parts.get(file);
+        if (part === undefined || ids.size === 0)
+            continue;
+        annotations.push({ file, hash: textHash(part.text), ids: [...ids].sort((a, b) => a - b) });
+    }
+    annotations.sort((a, b) => (a.file < b.file ? -1 : a.file > b.file ? 1 : 0));
+    const files = [];
+    for (const file of [...exclusions.files].sort()) {
+        const hash = asWrittenHashes.get(file);
+        if (hash !== undefined)
+            files.push({ file, hash });
+    }
+    const plain = new Set(memo?.plainFences ?? []);
+    for (const k of plainFences ?? [])
+        plain.add(k);
+    const next = {
+        off: overlayDropped,
+        annotations,
+        files,
+        plainFences: [...plain].sort(),
+    };
+    if (memo !== null && JSON.stringify(memo) === JSON.stringify(next))
+        return;
+    writeOverlayMemo(memoKey, next);
+    memo = next;
+}
+/* Round 0 of a load: the memo of the program's JavaScript, read once per
+ * key. A memo that says the build compiled without the overlay turns it
+ * off before any analysis; whole-file exclusions apply to files whose text
+ * is unchanged. */
+function readMemoFor(program) {
+    if (!shapeOverlayMemoEnabled())
+        return;
+    const js = program.getSourceFiles().filter((sf) => !sf.isDeclarationFile && isJsSourceFile(sf));
+    const key = overlayMemoKey(js.map((sf) => [sf.fileName, sf.text]));
+    if (key === memoKey)
+        return;
+    memoKey = key;
+    asWrittenHashes = new Map(js.map((sf) => [sf.fileName, textHash(sf.text)]));
+    memo = readOverlayMemo(key);
+    memoOff = false;
+    if (memo === null)
+        return;
+    if (memo.off) {
+        memoOff = true;
+        overlayDropped = true;
+        return;
+    }
+    for (const f of memo.files)
+        if (asWrittenHashes.get(f.file) === f.hash)
+            exclusions.files.add(f.file);
+}
+/* Applies the memo's refused annotations to a plan, once per plan: ids
+ * count only for a file whose overlay input text is unchanged. */
+function seedMemoAnnotations(plan) {
+    if (memo === null || memoSeededPlan === plan)
+        return;
+    memoSeededPlan = plan;
+    for (const a of memo.annotations) {
+        const part = plan.parts.get(a.file);
+        if (part === undefined || textHash(part.text) !== a.hash)
+            continue;
+        let set = exclusions.annotations.get(a.file);
+        if (set === undefined)
+            exclusions.annotations.set(a.file, (set = new Set()));
+        for (const id of a.ids) {
+            if (set.has(id))
+                continue;
+            set.add(id);
+            droppedAnnotations++;
+        }
+    }
+}
+/** Whether the current load has overlay files or structural rewrites. */
+export function shapeOverlayActive() {
+    const { classes, functions } = staticObjectStats;
+    return (overlayFiles.size > 0 ||
+        renderedFiles.size > 0 ||
+        staticRewriteFiles.size > 0 ||
+        classes + functions > 0);
+}
+/** The overlay's answer to refused lowering diagnostics: it excludes what
+ * the refusals depend on, at the given level, and says whether a reload
+ * can change anything.
+ * - "annotations": the blamed annotations (or, for a blamed file without
+ *   blamed annotations, that file);
+ * - "fences": like "annotations", for refusals deferred to run time, and
+ *   never a whole file;
+ * - "files": every overlay file involved;
+ * - "all": the whole overlay. */
+export function excludeRefusedOverlay(program, diagnostics, level) {
+    if (overlayDropped)
+        return false;
+    const files = new Set([...overlayFiles, ...renderedFiles]);
+    // Files with structural rewrites only also count as overlay files.
+    for (const f of staticRewriteFiles)
+        files.add(f);
+    if (level === "all") {
+        overlayDropped = true;
+        droppedAnnotations = overlayAnnotations;
+        return true;
+    }
+    const blame = attributeOverlayRefusals(program, diagnostics, files, level !== "fences");
+    if (process.env["SCRIPTC_DEBUG_SHAPE_FALLBACK"] === "all")
+        for (const [file, ids] of blame.annotations)
+            process.stderr.write(`[shape-fallback] ${level} blames ${file.split("/").slice(-2).join("/")}: ${[...ids].join(",")}\n`);
+    let changed = false;
+    for (const file of blame.files) {
+        const ids = blame.annotations.get(file);
+        // Deferred refusals drop only the annotations they are blamed on.
+        if (level === "fences" && ids === undefined)
+            continue;
+        if (level === "files" || ids === undefined) {
+            if (!exclusions.files.has(file)) {
+                exclusions.files.add(file);
+                changed = true;
+            }
+            continue;
+        }
+        let set = exclusions.annotations.get(file);
+        if (set === undefined)
+            exclusions.annotations.set(file, (set = new Set()));
+        for (const id of ids) {
+            if (set.has(id))
+                continue;
+            set.add(id);
+            droppedAnnotations++;
+            changed = true;
+        }
+    }
+    return changed;
+}
+let staticRewriteFiles = new Set();
+/** Every file the typed round rewrote (typed or only neutralized). */
+let renderedFiles = new Set();
+function overlayExclusions() {
+    return exclusions;
+}
+let overlayCache = new Map();
+function programTextKey(program) {
+    const hash = createHash("sha256");
+    for (const sf of program.getSourceFiles()) {
+        if (sf.isDeclarationFile)
+            continue;
+        hash.update(sf.fileName).update("\0").update(sf.text).update("\0");
+    }
+    return hash.digest("hex");
+}
+/** Per-call-site clones serve the constant-graph facts (stage 3); the
+ * overlay's rewrites and types do not use them yet, so its analyses run
+ * without them unless SCRIPTC_SHAPE_SITE_CLONES asks. */
+function overlaySiteClones() {
+    const env = process.env["SCRIPTC_SHAPE_SITE_CLONES"];
+    return env === undefined ? 0 : Number(env);
+}
+function overlayJsFiles(analysis) {
+    // Package JavaScript of packages that keep shapes on, and the program's
+    // own JavaScript files.
+    return analysis.files.filter((sf) => {
+        if (sf.isDeclarationFile || !isJsSourceFile(sf))
+            return false;
+        if (!isPackageJsFile(sf))
+            return !sf.fileName.includes("/node_modules/");
+        const pkg = npmStaticPackageOfPath(sf.fileName);
+        return pkg === null || !isShapelessPackage(pkg);
+    });
+}
+/** loadProgram7's overlayer: analyze, plan, and register the overlay files. */
+export function shapeOverlayer(program, round) {
+    if (round === 0) {
+        resetShapeOverlay();
+        readMemoFor(program);
+    }
+    if (overlayDropped)
+        return null;
+    const key = `${programTextKey(program)}|${[...exclusions.files].sort().join(",")}`;
+    const cached = overlayCache.get(key);
+    const entry = cached ?? {};
+    if (cached === undefined)
+        overlayCache.set(key, entry);
+    if (entry.budgetExceeded === true)
+        return null;
+    let analysis = null;
+    const analyzed = () => {
+        if (analysis === null) {
+            const t0 = performance.now();
+            analysis = analyzeShapes(program, program.getTypeChecker(), {
+                siteClones: overlaySiteClones(),
+            });
+            if (process.env["SCRIPTC_DEBUG_SHAPE_TIME"] !== undefined)
+                process.stderr.write(`[shape-time] round ${round} analysis ${(performance.now() - t0).toFixed(0)} ms\n`);
+        }
+        if (analysis.budgetExceeded) {
+            entry.budgetExceeded = true;
+            return null;
+        }
+        return analysis;
+    };
+    // Round 0: the structural rewrites (static-objects.ts); the program is
+    // rebuilt from them and analyzed again before the typed overlay.
+    if (round === 0 && process.env["SCRIPTC_SHAPE_STATIC_OBJECTS"] !== "0") {
+        if (entry.rewrites === undefined) {
+            const a = analyzed();
+            if (a === null)
+                return null;
+            entry.rewrites = planStaticObjectRewrites(a, 
+            // Files a project type patch edited stay as served: the patch's
+            // spans are offsets in that text.
+            overlayJsFiles(a).filter((sf) => !exclusions.files.has(sf.fileName) && !hasShapeOverlayProtectedSpans(sf.fileName)));
+        }
+        const rewrites = entry.rewrites;
+        staticRewriteFiles = new Set(rewrites.files.keys());
+        staticObjectStats = {
+            classes: rewrites.classes,
+            functions: rewrites.functions,
+            directCalls: rewrites.directCalls,
+            tableDispatches: rewrites.tableDispatches,
+            foldedReads: rewrites.foldedReads,
+        };
+        if (process.env["SCRIPTC_DEBUG_SHAPE_OVERLAY"] !== undefined) {
+            for (const k of rewrites.kept)
+                process.stderr.write(`[static-objects] kept ${k}\n`);
+            for (const [file, text] of rewrites.files)
+                process.stderr.write(`[static-objects] ${file}\n${text}\n`);
+        }
+        if (rewrites.files.size > 0) {
+            // Rewrites that only replace constant reads keep every declaration
+            // where it is: the typed overlay is planned on this analysis and
+            // moved onto the rewritten texts, so the program is rebuilt and
+            // analyzed once instead of twice. Hoisting classes or functions
+            // changes the declarations: the rewritten program is analyzed again.
+            const compose = rewrites.classes + rewrites.functions === 0 && process.env["SCRIPTC_SHAPE_COMPOSE"] !== "0";
+            if (!compose)
+                return rewrites.files;
+            if (entry.plan === undefined) {
+                const a = analyzed();
+                if (a === null)
+                    return null;
+                const report = buildShapeReport(a, "1");
+                const plan = planShapeOverlay(a, report.sites, overlayJsFiles(a), {
+                    annotations: new Map(),
+                    files: exclusions.files,
+                });
+                const moved = new Map();
+                for (const [file, text] of rewrites.files) {
+                    const edits = rewrites.edits.get(file) ?? [];
+                    moved.set(file, { text, map: (pos) => rewrittenPosition(edits, pos) });
+                }
+                entry.plan = planOnRewrittenTexts(plan, moved);
+            }
+            const files = renderTyped(entry.plan);
+            for (const [file, text] of rewrites.files)
+                if (!files.has(file))
+                    files.set(file, text);
+            renderedFiles = new Set(files.keys());
+            return files;
+        }
+    }
+    if (round > 1)
+        return null;
+    if (entry.plan === undefined) {
+        const a = analyzed();
+        if (a === null)
+            return null;
+        const report = buildShapeReport(a, "1");
+        entry.plan = planShapeOverlay(a, report.sites, overlayJsFiles(a), {
+            annotations: new Map(),
+            files: exclusions.files,
+        });
+    }
+    const files = renderTyped(entry.plan);
+    return files.size > 0 ? files : null;
+}
+/* Renders a typed plan with the build's exclusions and registers the
+ * overlay files; the typed overlay is a load's last round. */
+function renderTyped(plan) {
+    lastPlan = plan;
+    seedMemoAnnotations(plan);
+    const overlay = renderShapeOverlay(plan, overlayExclusions());
+    overlayFiles = new Set(overlay.typed);
+    renderedFiles = new Set(overlay.files.keys());
+    overlayAnnotations = overlay.annotations;
+    overlayDeadBranches = overlay.deadBranches;
+    if (process.env["SCRIPTC_DEBUG_SHAPE_OVERLAY"] !== undefined) {
+        for (const [file, text] of overlay.files)
+            process.stderr.write(`[shape-overlay] ${file}\n${text}\n`);
+    }
+    // The typed overlay is the last round.
+    overlayDone = true;
+    return overlay.files;
+}
+let staticObjectStats = {
+    classes: 0,
+    functions: 0,
+    directCalls: 0,
+    tableDispatches: 0,
+    foldedReads: 0,
+};
+let overlayDone = false;
+/** Whether the overlay has written its last round for this load. */
+export function shapeOverlayDone() {
+    return overlayDone;
+}
+/** Marks the checked conversions lowered in overlay files: each checks an
+ * analysis-proven fact, so its failure names the site as an analysis bug. */
+export function markInferredFactChecks(functions, program) {
+    if (overlayFiles.size === 0)
+        return 0;
+    let count = 0;
+    const lines = new Map();
+    const lineOf = (file, pos) => {
+        let f = lines.get(file);
+        if (f === undefined) {
+            const sf = program.getSourceFile(file);
+            f = sf === undefined ? () => 0 : (p) => sf.getLineAndCharacterOfPosition(p).line + 1;
+            lines.set(file, f);
+        }
+        return f(pos);
+    };
+    const visit = (x) => {
+        if (Array.isArray(x)) {
+            for (const v of x)
+                visit(v);
+            return;
+        }
+        if (x === null || typeof x !== "object")
+            return;
+        const node = x;
+        if (node.kind === "dynCheck" &&
+            node.loc !== undefined &&
+            checksInferredFact(program, node.loc.file, node.loc.start, node.loc.end)) {
+            const pkg = npmStaticPackageOfPath(node.loc.file) ?? "";
+            const rel = node.loc.file.split("/node_modules/").pop() ?? node.loc.file;
+            node.inferredSite = `${pkg} ${rel}:${lineOf(node.loc.file, node.loc.start)}`;
+            count++;
+        }
+        for (const v of Object.values(x))
+            if (v !== null && typeof v === "object")
+                visit(v);
+    };
+    for (const fn of functions)
+        visit(fn.body);
+    inferredFactChecks = count;
+    return count;
+}
+let inferredFactChecks = 0;
+/** Inferred-fact checks inserted by the last build (the build report). */
+export function shapeInferredFactCheckCount() {
+    return inferredFactChecks;
+}
+/** SC6103, the overlay's build report: what the overlay typed and how many
+ * checks of inferred facts the build inserted. A note, never a failure. */
+export function shapeOverlayReport(entryFile) {
+    const { classes, functions, directCalls, tableDispatches, foldedReads } = staticObjectStats;
+    // Annotations whose lowering was refused (fallback.ts); they compile
+    // untyped.
+    const fallback = overlayDropped
+        ? memoOff
+            ? "an earlier build of the same JavaScript compiled without the overlay, so this build does too"
+            : "the lowering refused code the overlay typed, so the build compiles without it"
+        : droppedAnnotations + exclusions.files.size > 0
+            ? `it dropped ${droppedAnnotations} annotation${droppedAnnotations === 1 ? "" : "s"}` +
+                (exclusions.files.size > 0
+                    ? ` and the overlay of ${exclusions.files.size} file${exclusions.files.size === 1 ? "" : "s"}`
+                    : "") +
+                " whose lowering was refused"
+            : null;
+    if (overlayDropped)
+        return [
+            {
+                code: "SC6103",
+                message: `shape inference: ${fallback}`,
+                loc: { file: entryFile, start: 0, end: 0 },
+                hint: "--no-shape-overlay compiles without the overlay",
+            },
+        ];
+    if (overlayFiles.size === 0 && classes + functions === 0)
+        return [];
+    const packages = new Set([...overlayFiles].map((f) => npmStaticPackageOfPath(f) ?? "the program"));
+    return [
+        {
+            code: "SC6103",
+            message: `shape inference typed ${overlayAnnotations} declarations in ${overlayFiles.size} files of ${packages.size} ` +
+                `package${packages.size === 1 ? "" : "s"} (${[...packages].sort().join(", ")}); the build checks ` +
+                `${inferredFactChecks} inferred fact${inferredFactChecks === 1 ? "" : "s"} at run time` +
+                (overlayDeadBranches > 0
+                    ? ` and replaces ${overlayDeadBranches} branch${overlayDeadBranches === 1 ? "" : "es"} it proved unreachable with checks`
+                    : "") +
+                (classes + functions > 0
+                    ? `; it compiled ${classes} constructor function${classes === 1 ? "" : "s"} as classes and ${functions} namespace function${functions === 1 ? "" : "s"} as direct functions (${directCalls} direct call${directCalls === 1 ? "" : "s"}${tableDispatches > 0 ? `, ${tableDispatches} function table call${tableDispatches === 1 ? "" : "s"}` : ""}${foldedReads > 0 ? `, ${foldedReads} constant read${foldedReads === 1 ? "" : "s"}` : ""})`
+                    : "") +
+                (fallback !== null ? `; ${fallback}` : ""),
+            loc: { file: entryFile, start: 0, end: 0 },
+            hint: "a failing check reports a scriptc analysis bug; --no-shape-overlay compiles without the overlay",
+        },
+    ];
+}
 //# sourceMappingURL=index.js.map

package/dist/frontend/shape-inference/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/frontend/shape-inference/index.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAC7C,OAAO,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAC/C,OAAO,EAAE,qBAAqB,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAElF,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAC7C,OAAO,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAE/C;;2EAE2E;AAC3E,MAAM,UAAU,YAAY,CAAC,OAAmB,EAAE,MAAc;IAC9D,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,EAAE,CAAC;IAChC,MAAM,QAAQ,GAAG,aAAa,CAAC,OAAO,EAAE,OAAO,CAAC,cAAc,EAAE,CAAC,CAAC;IAClE,6EAA6E;IAC7E,MAAM,KAAK,GACT,MAAM,KAAK,OAAO;QAChB,CAAC,CAAC,mBAAmB,CAAC,QAAQ,EAAE,qBAAqB,CAAC,QAAQ,CAAC,CAAC;QAChE,CAAC,CAAC,gBAAgB,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC;IAC/C,MAAM,EAAE,GAAG,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IAClD,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,YAAY,EAAE,QAAQ,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC/F,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/frontend/shape-inference/index.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,sBAAsB,EAAE,MAAM,kBAAkB,CAAC;AAC1D,OAAO,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AACzD,OAAO,EAAE,aAAa,EAAE,eAAe,EAAsB,MAAM,cAAc,CAAC;AAClF,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EACL,6BAA6B,EAC7B,YAAY,EACZ,oBAAoB,EACpB,gBAAgB,EAChB,kBAAkB,GAGnB,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,wBAAwB,EAAE,MAAM,eAAe,CAAC;AACzD,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAC1D,OAAO,EACL,wBAAwB,EACxB,iBAAiB,GAElB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAC/C,OAAO,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAC/C,OAAO,EAAE,qBAAqB,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAClF,OAAO,EACL,cAAc,EACd,eAAe,EACf,uBAAuB,EACvB,QAAQ,EACR,gBAAgB,GAEjB,MAAM,WAAW,CAAC;AAEnB,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAC7C,OAAO,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAC/C,OAAO,EAAE,sBAAsB,EAAE,MAAM,WAAW,CAAC;AACnD,OAAO,EAAE,6BAA6B,EAAE,MAAM,cAAc,CAAC;AAE7D;;;uEAGuE;AACvE,MAAM,UAAU,YAAY,CAAC,OAAmB,EAAE,MAAc;IAC9D,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,EAAE,CAAC;IAChC,MAAM,QAAQ,GAAG,aAAa,CAAC,OAAO,EAAE,OAAO,CAAC,cAAc,EAAE,CAAC,CAAC;IAClE,6EAA6E;IAC7E,MAAM,KAAK,GACT,MAAM,KAAK,OAAO;QAChB,CAAC,CAAC,mBAAmB,CAAC,QAAQ,EAAE,qBAAqB,CAAC,QAAQ,CAAC,CAAC;QAChE,CAAC,CAAC,gBAAgB,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC;IAC/C,MAAM,EAAE,GAAG,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IAClD,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,YAAY,EAAE,QAAQ,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC/F,CAAC;AAED;6EAC6E;AAC7E,IAAI,YAAY,GAAwB,IAAI,GAAG,EAAE,CAAC;AAClD,IAAI,kBAAkB,GAAG,CAAC,CAAC;AAC3B,IAAI,mBAAmB,GAAG,CAAC,CAAC;AAE5B,MAAM,UAAU,kBAAkB,CAAC,QAAgB;IACjD,OAAO,YAAY,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;AACpC,CAAC;AAED,wEAAwE;AACxE,MAAM,UAAU,qBAAqB,CAAC,IAAa;IACjD,MAAM,EAAE,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC;IAChC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,QAAQ,CAAC;QAAE,OAAO,KAAK,CAAC;IACjD,OAAO,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC;AAC3E,CAAC;AAED,MAAM,UAAU,qBAAqB;IACnC,OAAO,CAAC,GAAG,YAAY,CAAC,CAAC;AAC3B,CAAC;AAED,MAAM,UAAU,2BAA2B;IACzC,OAAO,kBAAkB,CAAC;AAC5B,CAAC;AAeD,MAAM,UAAU,wBAAwB;IACtC,OAAO;QACL,aAAa;QACb,kBAAkB;QAClB,iBAAiB;QACjB,WAAW;QACX,YAAY;QACZ,kBAAkB;QAClB,mBAAmB;KACpB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,KAA4B;IACnE,aAAa,GAAG,KAAK,CAAC,aAAa,CAAC;IACpC,kBAAkB,GAAG,KAAK,CAAC,kBAAkB,CAAC;IAC9C,iBAAiB,GAAG,KAAK,CAAC,iBAAiB,CAAC;IAC5C,WAAW,GAAG,KAAK,CAAC,WAAW,CAAC;IAChC,YAAY,GAAG,KAAK,CAAC,YAAY,CAAC;IAClC,kBAAkB,GAAG,KAAK,CAAC,kBAAkB,CAAC;IAC9C,mBAAmB,GAAG,KAAK,CAAC,mBAAmB,CAAC;AAClD,CAAC;AAED,MAAM,UAAU,iBAAiB;IAC/B,aAAa,GAAG,IAAI,GAAG,EAAE,CAAC;IAC1B,kBAAkB,GAAG,IAAI,GAAG,EAAE,CAAC;IAC/B,iBAAiB,GAAG;QAClB,OAAO,EAAE,CAAC;QACV,SAAS,EAAE,CAAC;QACZ,WAAW,EAAE,CAAC;QACd,eAAe,EAAE,CAAC;QAClB,WAAW,EAAE,CAAC;KACf,CAAC;IACF,WAAW,GAAG,KAAK,CAAC;IACpB,YAAY,GAAG,IAAI,GAAG,EAAE,CAAC;IACzB,kBAAkB,GAAG,CAAC,CAAC;IACvB,mBAAmB,GAAG,CAAC,CAAC;IACxB,kBAAkB,GAAG,CAAC,CAAC;AACzB,CAAC;AAED;;gEAEgE;AAChE,MAAM,UAAU,mBAAmB;IACjC,OAAO,OAAO,CAAC,GAAG,CAAC,uBAAuB,CAAC,KAAK,GAAG,CAAC;AACtD,CAAC;AAED;;sCAEsC;AACtC,IAAI,UAAU,GAAkE;IAC9E,WAAW,EAAE,IAAI,GAAG,EAAE;IACtB,KAAK,EAAE,IAAI,GAAG,EAAE;CACjB,CAAC;AACF,IAAI,cAAc,GAAG,KAAK,CAAC;AAC3B,IAAI,kBAAkB,GAAG,CAAC,CAAC;AAC3B;4CAC4C;AAC5C,IAAI,uBAAuB,GAAG,CAAC,CAAC;AAEhC;2EAC2E;AAC3E,IAAI,OAAO,GAAkB,IAAI,CAAC;AAClC,IAAI,IAAI,GAAuB,IAAI,CAAC;AACpC,IAAI,OAAO,GAAG,KAAK,CAAC;AACpB,IAAI,eAAe,GAAG,IAAI,GAAG,EAAkB,CAAC;AAChD,IAAI,QAAQ,GAA4B,IAAI,CAAC;AAC7C,IAAI,cAAc,GAA4B,IAAI,CAAC;AAEnD,qDAAqD;AACrD,MAAM,UAAU,sBAAsB;IACpC,YAAY,GAAG,IAAI,GAAG,EAAE,CAAC;IACzB,UAAU,GAAG,EAAE,WAAW,EAAE,IAAI,GAAG,EAAE,EAAE,KAAK,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;IAC1D,cAAc,GAAG,KAAK,CAAC;IACvB,kBAAkB,GAAG,CAAC,CAAC;IACvB,uBAAuB,GAAG,CAAC,CAAC;IAC5B,OAAO,GAAG,IAAI,CAAC;IACf,IAAI,GAAG,IAAI,CAAC;IACZ,OAAO,GAAG,KAAK,CAAC;IAChB,eAAe,GAAG,IAAI,GAAG,EAAE,CAAC;IAC5B,QAAQ,GAAG,IAAI,CAAC;IAChB,cAAc,GAAG,IAAI,CAAC;AACxB,CAAC;AAED;;0DAE0D;AAC1D,MAAM,UAAU,sBAAsB,CAAC,OAAgB;IACrD,IAAI,OAAO,IAAI,CAAC,cAAc;QAAE,uBAAuB,GAAG,kBAAkB,CAAC;IAC7E,cAAc,GAAG,OAAO,CAAC;IACzB,kBAAkB,GAAG,OAAO,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,uBAAuB,CAAC;AAC9E,CAAC;AAED;yDACyD;AACzD,MAAM,UAAU,2BAA2B;IACzC,OAAO,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;AAC3F,CAAC;AAED;;;0DAG0D;AAC1D,MAAM,UAAU,sBAAsB,CAAC,WAAoC;IACzE,IAAI,OAAO,KAAK,IAAI,IAAI,CAAC,uBAAuB,EAAE,IAAI,OAAO;QAAE,OAAO;IACtE,MAAM,WAAW,GAAoD,EAAE,CAAC;IACxE,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,UAAU,CAAC,WAAW,EAAE,CAAC;QACjD,MAAM,IAAI,GAAG,QAAQ,EAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACvC,IAAI,IAAI,KAAK,SAAS,IAAI,GAAG,CAAC,IAAI,KAAK,CAAC;YAAE,SAAS;QACnD,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;IAC7F,CAAC;IACD,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7E,MAAM,KAAK,GAAqC,EAAE,CAAC;IACnD,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QAChD,MAAM,IAAI,GAAG,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACvC,IAAI,IAAI,KAAK,SAAS;YAAE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;IACrD,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,IAAI,EAAE,WAAW,IAAI,EAAE,CAAC,CAAC;IAC/C,KAAK,MAAM,CAAC,IAAI,WAAW,IAAI,EAAE;QAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAChD,MAAM,IAAI,GAAgB;QACxB,GAAG,EAAE,cAAc;QACnB,WAAW;QACX,KAAK;QACL,WAAW,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,EAAE;KAC/B,CAAC;IACF,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC;QAAE,OAAO;IAC3E,gBAAgB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAChC,IAAI,GAAG,IAAI,CAAC;AACd,CAAC;AAED;;;mBAGmB;AACnB,SAAS,WAAW,CAAC,OAAmB;IACtC,IAAI,CAAC,uBAAuB,EAAE;QAAE,OAAO;IACvC,MAAM,EAAE,GAAG,OAAO,CAAC,cAAc,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,iBAAiB,IAAI,cAAc,CAAC,EAAE,CAAC,CAAC,CAAC;IAChG,MAAM,GAAG,GAAG,cAAc,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,IAAI,CAAU,CAAC,CAAC,CAAC;IAC5E,IAAI,GAAG,KAAK,OAAO;QAAE,OAAO;IAC5B,OAAO,GAAG,GAAG,CAAC;IACd,eAAe,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,CAAC,IAAI,CAAC,CAAU,CAAC,CAAC,CAAC;IACrF,IAAI,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;IAC5B,OAAO,GAAG,KAAK,CAAC;IAChB,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO;IAC1B,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC;QACb,OAAO,GAAG,IAAI,CAAC;QACf,cAAc,GAAG,IAAI,CAAC;QACtB,OAAO;IACT,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,KAAK;QACxB,IAAI,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI;YAAE,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;AAC7E,CAAC;AAED;kEACkE;AAClE,SAAS,mBAAmB,CAAC,IAAsB;IACjD,IAAI,IAAI,KAAK,IAAI,IAAI,cAAc,KAAK,IAAI;QAAE,OAAO;IACrD,cAAc,GAAG,IAAI,CAAC;IACtB,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;QACjC,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACpC,IAAI,IAAI,KAAK,SAAS,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI;YAAE,SAAS;QACnE,IAAI,GAAG,GAAG,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC7C,IAAI,GAAG,KAAK,SAAS;YAAE,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,GAAG,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC;QAC7E,KAAK,MAAM,EAAE,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC;YACvB,IAAI,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAE,SAAS;YAC1B,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACZ,kBAAkB,EAAE,CAAC;QACvB,CAAC;IACH,CAAC;AACH,CAAC;AAED,yEAAyE;AACzE,MAAM,UAAU,kBAAkB;IAChC,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,GAAG,iBAAiB,CAAC;IACjD,OAAO,CACL,YAAY,CAAC,IAAI,GAAG,CAAC;QACrB,aAAa,CAAC,IAAI,GAAG,CAAC;QACtB,kBAAkB,CAAC,IAAI,GAAG,CAAC;QAC3B,OAAO,GAAG,SAAS,GAAG,CAAC,CACxB,CAAC;AACJ,CAAC;AAED;;;;;;;;iCAQiC;AACjC,MAAM,UAAU,qBAAqB,CACnC,OAAmB,EACnB,WAAqC,EACrC,KAAiD;IAEjD,IAAI,cAAc;QAAE,OAAO,KAAK,CAAC;IACjC,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,YAAY,EAAE,GAAG,aAAa,CAAC,CAAC,CAAC;IAC3D,mEAAmE;IACnE,KAAK,MAAM,CAAC,IAAI,kBAAkB;QAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACjD,IAAI,KAAK,KAAK,KAAK,EAAE,CAAC;QACpB,cAAc,GAAG,IAAI,CAAC;QACtB,kBAAkB,GAAG,kBAAkB,CAAC;QACxC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,KAAK,GAAG,wBAAwB,CAAC,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,KAAK,KAAK,QAAQ,CAAC,CAAC;IACxF,IAAI,OAAO,CAAC,GAAG,CAAC,8BAA8B,CAAC,KAAK,KAAK;QACvD,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,KAAK,CAAC,WAAW;YACzC,OAAO,CAAC,MAAM,CAAC,KAAK,CAClB,oBAAoB,KAAK,WAAW,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CACnG,CAAC;IACN,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC/B,MAAM,GAAG,GAAG,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACxC,kEAAkE;QAClE,IAAI,KAAK,KAAK,QAAQ,IAAI,GAAG,KAAK,SAAS;YAAE,SAAS;QACtD,IAAI,KAAK,KAAK,OAAO,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YAC3C,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBAChC,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBAC3B,OAAO,GAAG,IAAI,CAAC;YACjB,CAAC;YACD,SAAS;QACX,CAAC;QACD,IAAI,GAAG,GAAG,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC3C,IAAI,GAAG,KAAK,SAAS;YAAE,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,GAAG,GAAG,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC;QAC3E,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;YACrB,IAAI,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAE,SAAS;YAC1B,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACZ,kBAAkB,EAAE,CAAC;YACrB,OAAO,GAAG,IAAI,CAAC;QACjB,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,IAAI,kBAAkB,GAAwB,IAAI,GAAG,EAAE,CAAC;AACxD,sEAAsE;AACtE,IAAI,aAAa,GAAwB,IAAI,GAAG,EAAE,CAAC;AAEnD,SAAS,iBAAiB;IACxB,OAAO,UAAU,CAAC;AACpB,CAAC;AAUD,IAAI,YAAY,GAAG,IAAI,GAAG,EAA6B,CAAC;AAExD,SAAS,cAAc,CAAC,OAAmB;IACzC,MAAM,IAAI,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC;IAClC,KAAK,MAAM,EAAE,IAAI,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC;QAC1C,IAAI,EAAE,CAAC,iBAAiB;YAAE,SAAS;QACnC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACrE,CAAC;IACD,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC5B,CAAC;AAED;;yDAEyD;AACzD,SAAS,iBAAiB;IACxB,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,2BAA2B,CAAC,CAAC;IACrD,OAAO,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;AAC7C,CAAC;AAED,SAAS,cAAc,CAAC,QAAuB;IAC7C,wEAAwE;IACxE,wBAAwB;IACxB,OAAO,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE;QAClC,IAAI,EAAE,CAAC,iBAAiB,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC;YAAE,OAAO,KAAK,CAAC;QAC9D,IAAI,CAAC,eAAe,CAAC,EAAE,CAAC;YAAE,OAAO,CAAC,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC;QACzE,MAAM,GAAG,GAAG,sBAAsB,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC;QAChD,OAAO,GAAG,KAAK,IAAI,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;AACL,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,cAAc,CAC5B,OAAmB,EACnB,KAAa;IAEb,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;QAChB,iBAAiB,EAAE,CAAC;QACpB,WAAW,CAAC,OAAO,CAAC,CAAC;IACvB,CAAC;IACD,IAAI,cAAc;QAAE,OAAO,IAAI,CAAC;IAChC,MAAM,GAAG,GAAG,GAAG,cAAc,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;IACnF,MAAM,MAAM,GAAG,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACrC,MAAM,KAAK,GAAsB,MAAM,IAAI,EAAE,CAAC;IAC9C,IAAI,MAAM,KAAK,SAAS;QAAE,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IACvD,IAAI,KAAK,CAAC,cAAc,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC/C,IAAI,QAAQ,GAAyB,IAAI,CAAC;IAC1C,MAAM,QAAQ,GAAG,GAAyB,EAAE;QAC1C,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;YACtB,MAAM,EAAE,GAAG,WAAW,CAAC,GAAG,EAAE,CAAC;YAC7B,QAAQ,GAAG,aAAa,CAAC,OAAO,EAAE,OAAO,CAAC,cAAc,EAAE,EAAE;gBAC1D,UAAU,EAAE,iBAAiB,EAAE;aAChC,CAAC,CAAC;YACH,IAAI,OAAO,CAAC,GAAG,CAAC,0BAA0B,CAAC,KAAK,SAAS;gBACvD,OAAO,CAAC,MAAM,CAAC,KAAK,CAClB,sBAAsB,KAAK,aAAa,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CACnF,CAAC;QACN,CAAC;QACD,IAAI,QAAQ,CAAC,cAAc,EAAE,CAAC;YAC5B,KAAK,CAAC,cAAc,GAAG,IAAI,CAAC;YAC5B,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,QAAQ,CAAC;IAClB,CAAC,CAAC;IACF,uEAAuE;IACvE,iEAAiE;IACjE,IAAI,KAAK,KAAK,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,8BAA8B,CAAC,KAAK,GAAG,EAAE,CAAC;QACvE,IAAI,KAAK,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;YACjC,MAAM,CAAC,GAAG,QAAQ,EAAE,CAAC;YACrB,IAAI,CAAC,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC;YAC5B,KAAK,CAAC,QAAQ,GAAG,wBAAwB,CACvC,CAAC;YACD,gEAAgE;YAChE,kCAAkC;YAClC,cAAc,CAAC,CAAC,CAAC,CAAC,MAAM,CACtB,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,6BAA6B,CAAC,EAAE,CAAC,QAAQ,CAAC,CAC1F,CACF,CAAC;QACJ,CAAC;QACD,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC;QAChC,kBAAkB,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;QACpD,iBAAiB,GAAG;YAClB,OAAO,EAAE,QAAQ,CAAC,OAAO;YACzB,SAAS,EAAE,QAAQ,CAAC,SAAS;YAC7B,WAAW,EAAE,QAAQ,CAAC,WAAW;YACjC,eAAe,EAAE,QAAQ,CAAC,eAAe;YACzC,WAAW,EAAE,QAAQ,CAAC,WAAW;SAClC,CAAC;QACF,IAAI,OAAO,CAAC,GAAG,CAAC,6BAA6B,CAAC,KAAK,SAAS,EAAE,CAAC;YAC7D,KAAK,MAAM,CAAC,IAAI,QAAQ,CAAC,IAAI;gBAAE,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,yBAAyB,CAAC,IAAI,CAAC,CAAC;YACpF,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,QAAQ,CAAC,KAAK;gBACvC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,oBAAoB,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC;QAChE,CAAC;QACD,IAAI,QAAQ,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;YAC5B,mEAAmE;YACnE,iEAAiE;YACjE,gEAAgE;YAChE,gEAAgE;YAChE,qEAAqE;YACrE,MAAM,OAAO,GACX,QAAQ,CAAC,OAAO,GAAG,QAAQ,CAAC,SAAS,KAAK,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,uBAAuB,CAAC,KAAK,GAAG,CAAC;YAC9F,IAAI,CAAC,OAAO;gBAAE,OAAO,QAAQ,CAAC,KAAK,CAAC;YACpC,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBAC7B,MAAM,CAAC,GAAG,QAAQ,EAAE,CAAC;gBACrB,IAAI,CAAC,KAAK,IAAI;oBAAE,OAAO,IAAI,CAAC;gBAC5B,MAAM,MAAM,GAAG,gBAAgB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;gBACxC,MAAM,IAAI,GAAG,gBAAgB,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,EAAE,cAAc,CAAC,CAAC,CAAC,EAAE;oBAChE,WAAW,EAAE,IAAI,GAAG,EAAE;oBACtB,KAAK,EAAE,UAAU,CAAC,KAAK;iBACxB,CAAC,CAAC;gBACH,MAAM,KAAK,GAAG,IAAI,GAAG,EAAiE,CAAC;gBACvF,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;oBAC1C,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;oBAC7C,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,iBAAiB,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;gBACzE,CAAC;gBACD,KAAK,CAAC,IAAI,GAAG,oBAAoB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACjD,CAAC;YACD,MAAM,KAAK,GAAG,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACtC,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,QAAQ,CAAC,KAAK;gBAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC;oBAAE,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACvF,aAAa,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;YACtC,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IACD,IAAI,KAAK,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC3B,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC7B,MAAM,CAAC,GAAG,QAAQ,EAAE,CAAC;QACrB,IAAI,CAAC,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC5B,MAAM,MAAM,GAAG,gBAAgB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACxC,KAAK,CAAC,IAAI,GAAG,gBAAgB,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,EAAE,cAAc,CAAC,CAAC,CAAC,EAAE;YAChE,WAAW,EAAE,IAAI,GAAG,EAAE;YACtB,KAAK,EAAE,UAAU,CAAC,KAAK;SACxB,CAAC,CAAC;IACL,CAAC;IACD,MAAM,KAAK,GAAG,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACtC,OAAO,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;AACvC,CAAC;AAED;8DAC8D;AAC9D,SAAS,WAAW,CAAC,IAAsB;IACzC,QAAQ,GAAG,IAAI,CAAC;IAChB,mBAAmB,CAAC,IAAI,CAAC,CAAC;IAC1B,MAAM,OAAO,GAAG,kBAAkB,CAAC,IAAI,EAAE,iBAAiB,EAAE,CAAC,CAAC;IAC9D,YAAY,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACtC,aAAa,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;IAC9C,kBAAkB,GAAG,OAAO,CAAC,WAAW,CAAC;IACzC,mBAAmB,GAAG,OAAO,CAAC,YAAY,CAAC;IAC3C,IAAI,OAAO,CAAC,GAAG,CAAC,6BAA6B,CAAC,KAAK,SAAS,EAAE,CAAC;QAC7D,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,OAAO,CAAC,KAAK;YACtC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,mBAAmB,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC;IAC/D,CAAC;IACD,uCAAuC;IACvC,WAAW,GAAG,IAAI,CAAC;IACnB,OAAO,OAAO,CAAC,KAAK,CAAC;AACvB,CAAC;AAED,IAAI,iBAAiB,GAAG;IACtB,OAAO,EAAE,CAAC;IACV,SAAS,EAAE,CAAC;IACZ,WAAW,EAAE,CAAC;IACd,eAAe,EAAE,CAAC;IAClB,WAAW,EAAE,CAAC;CACf,CAAC;AACF,IAAI,WAAW,GAAG,KAAK,CAAC;AAExB,oEAAoE;AACpE,MAAM,UAAU,gBAAgB;IAC9B,OAAO,WAAW,CAAC;AACrB,CAAC;AAED;6EAC6E;AAC7E,MAAM,UAAU,sBAAsB,CACpC,SAAgC,EAChC,OAAmB;IAEnB,IAAI,YAAY,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IACtC,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,MAAM,KAAK,GAAG,IAAI,GAAG,EAAmC,CAAC;IACzD,MAAM,MAAM,GAAG,CAAC,IAAY,EAAE,GAAW,EAAU,EAAE;QACnD,IAAI,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACxB,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;YACpB,MAAM,EAAE,GAAG,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;YACvC,CAAC,GAAG,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAS,EAAE,EAAE,CAAC,EAAE,CAAC,6BAA6B,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;YAC7F,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QACrB,CAAC;QACD,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC;IAChB,CAAC,CAAC;IACF,MAAM,KAAK,GAAG,CAAC,CAAU,EAAQ,EAAE;QACjC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;YACrB,KAAK,MAAM,CAAC,IAAI,CAAC;gBAAE,KAAK,CAAC,CAAC,CAAC,CAAC;YAC5B,OAAO;QACT,CAAC;QACD,IAAI,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ;YAAE,OAAO;QAChD,MAAM,IAAI,GAAG,CAIZ,CAAC;QACF,IACE,IAAI,CAAC,IAAI,KAAK,UAAU;YACxB,IAAI,CAAC,GAAG,KAAK,SAAS;YACtB,kBAAkB,CAAC,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EACxE,CAAC;YACD,MAAM,GAAG,GAAG,sBAAsB,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YACxD,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,GAAG,EAAE,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;YACzE,IAAI,CAAC,YAAY,GAAG,GAAG,GAAG,IAAI,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YAC7E,KAAK,EAAE,CAAC;QACV,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;YAAE,IAAI,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ;gBAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IACtF,CAAC,CAAC;IACF,KAAK,MAAM,EAAE,IAAI,SAAS;QAAE,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IAC3C,kBAAkB,GAAG,KAAK,CAAC;IAC3B,OAAO,KAAK,CAAC;AACf,CAAC;AAED,IAAI,kBAAkB,GAAG,CAAC,CAAC;AAE3B,0EAA0E;AAC1E,MAAM,UAAU,2BAA2B;IACzC,OAAO,kBAAkB,CAAC;AAC5B,CAAC;AAED;2EAC2E;AAC3E,MAAM,UAAU,kBAAkB,CAAC,SAAiB;IAClD,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,eAAe,EAAE,WAAW,EAAE,GAAG,iBAAiB,CAAC;IAC5F,qEAAqE;IACrE,WAAW;IACX,MAAM,QAAQ,GAAG,cAAc;QAC7B,CAAC,CAAC,OAAO;YACP,CAAC,CAAC,8FAA8F;YAChG,CAAC,CAAC,+EAA+E;QACnF,CAAC,CAAC,kBAAkB,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC;YAC9C,CAAC,CAAC,cAAc,kBAAkB,cAAc,kBAAkB,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE;gBACnF,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC;oBACxB,CAAC,CAAC,uBAAuB,UAAU,CAAC,KAAK,CAAC,IAAI,QAAQ,UAAU,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE;oBAC9F,CAAC,CAAC,EAAE,CAAC;gBACP,6BAA6B;YAC/B,CAAC,CAAC,IAAI,CAAC;IACX,IAAI,cAAc;QAChB,OAAO;YACL;gBACE,IAAI,EAAE,QAAQ;gBACd,OAAO,EAAE,oBAAoB,QAAQ,EAAE;gBACvC,GAAG,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE;gBAC1C,IAAI,EAAE,iDAAiD;aACxD;SACF,CAAC;IACJ,IAAI,YAAY,CAAC,IAAI,KAAK,CAAC,IAAI,OAAO,GAAG,SAAS,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACpE,MAAM,QAAQ,GAAG,IAAI,GAAG,CACtB,CAAC,GAAG,YAAY,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,sBAAsB,CAAC,CAAC,CAAC,IAAI,aAAa,CAAC,CACzE,CAAC;IACF,OAAO;QACL;YACE,IAAI,EAAE,QAAQ;YACd,OAAO,EACL,yBAAyB,kBAAkB,oBAAoB,YAAY,CAAC,IAAI,aAAa,QAAQ,CAAC,IAAI,GAAG;gBAC7G,UAAU,QAAQ,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,GAAG,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,sBAAsB;gBAClG,GAAG,kBAAkB,iBAAiB,kBAAkB,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,cAAc;gBACvF,CAAC,mBAAmB,GAAG,CAAC;oBACtB,CAAC,CAAC,iBAAiB,mBAAmB,UAAU,mBAAmB,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,oCAAoC;oBACzH,CAAC,CAAC,EAAE,CAAC;gBACP,CAAC,OAAO,GAAG,SAAS,GAAG,CAAC;oBACtB,CAAC,CAAC,iBAAiB,OAAO,wBAAwB,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,mBAAmB,SAAS,sBAAsB,SAAS,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,yBAAyB,WAAW,eAAe,WAAW,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,eAAe,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,eAAe,uBAAuB,eAAe,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,WAAW,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,WAAW,iBAAiB,WAAW,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG;oBAC5a,CAAC,CAAC,EAAE,CAAC;gBACP,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,KAAK,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC5C,GAAG,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE;YAC1C,IAAI,EAAE,iGAAiG;SACxG;KACF,CAAC;AACJ,CAAC"}

package/dist/frontend/shape-inference/inferred-checks.d.ts

@@ -0,0 +1,2 @@
+import * as ts from "../ts7/adapter.js";
+export declare function checksInferredFact(program: ts.Program, file: string, start: number, end: number): boolean;