@tsonic/frontend 0.0.73 → 0.0.75

package/dist/ir/builder-cases/conditional-narrowing.test.js

@@ -0,0 +1,598 @@
+/**
+ * IR Builder tests: Conditional expression narrowing and logical operator narrowing
+ */
+import { describe, it } from "mocha";
+import { expect } from "chai";
+import { buildIrModule } from "../builder.js";
+import { stableIrTypeKey } from "../types/type-ops.js";
+import { createFilesystemTestProgram } from "./_test-helpers.js";
+describe("IR Builder", function () {
+    this.timeout(90000);
+    describe("Native library port regressions – conditional narrowing", () => {
+        it("applies predicate-based branch narrowing inside conditional expressions", () => {
+            const fixture = createFilesystemTestProgram({
+                "src/index.ts": [
+                    "type RequestHandler = (value: string) => void;",
+                    "type PathSpec = string | RegExp | readonly PathSpec[] | null | undefined;",
+                    "type MiddlewareLike = RequestHandler | Router | readonly MiddlewareLike[];",
+                    "class Router {}",
+                    "function isPathSpec(value: PathSpec | MiddlewareLike): value is PathSpec {",
+                    '  return value == null || typeof value === "string" || value instanceof RegExp || Array.isArray(value);',
+                    "}",
+                    "export function collect(first: PathSpec | MiddlewareLike, rest: readonly MiddlewareLike[]): readonly MiddlewareLike[] {",
+                    "  const values = isPathSpec(first) ? rest : [first, ...rest];",
+                    "  return values;",
+                    "}",
+                ].join("\n"),
+            }, "src/index.ts");
+            try {
+                const result = buildIrModule(fixture.sourceFile, fixture.testProgram, fixture.options, fixture.ctx);
+                expect(result.ok).to.equal(true);
+                if (!result.ok)
+                    return;
+                const collectFn = result.value.body.find((stmt) => stmt.kind === "functionDeclaration" && stmt.name === "collect");
+                expect(collectFn).to.not.equal(undefined);
+                if (!collectFn)
+                    return;
+                const valuesDecl = collectFn.body.statements.find((stmt) => stmt.kind === "variableDeclaration" &&
+                    stmt.declarations.some((decl) => decl.name.kind === "identifierPattern" &&
+                        decl.name.name === "values"));
+                expect(valuesDecl).to.not.equal(undefined);
+                if (!valuesDecl)
+                    return;
+                const valuesInit = valuesDecl.declarations[0]?.initializer;
+                expect(valuesInit?.kind).to.equal("conditional");
+                if (!valuesInit || valuesInit.kind !== "conditional")
+                    return;
+                expect(valuesInit.whenFalse.kind).to.equal("array");
+                if (valuesInit.whenFalse.kind !== "array")
+                    return;
+                const firstElement = valuesInit.whenFalse.elements[0];
+                expect(firstElement?.kind).to.equal("typeAssertion");
+                if (!firstElement || firstElement.kind !== "typeAssertion")
+                    return;
+                expect(firstElement.expression.inferredType?.kind).to.equal("referenceType");
+                if (firstElement.expression.inferredType?.kind !== "referenceType") {
+                    return;
+                }
+                expect(stableIrTypeKey(firstElement.expression.inferredType)).to.include("MiddlewareLike");
+                const narrowedType = firstElement.targetType;
+                expect(narrowedType?.kind).to.equal("referenceType");
+                if (!narrowedType)
+                    return;
+                expect(stableIrTypeKey(narrowedType)).to.include("MiddlewareLike");
+            }
+            finally {
+                fixture.cleanup();
+            }
+        });
+        it("applies typeof-function narrowing inside conditional expressions through aliases", () => {
+            const fixture = createFilesystemTestProgram({
+                "src/index.ts": [
+                    "type Callback = (error: unknown, html: string) => void;",
+                    "export function pick(",
+                    "  value: Record<string, unknown> | Callback | undefined,",
+                    "  fallback: Callback | undefined",
+                    "): Callback | undefined {",
+                    '  return typeof value === "function" ? value : fallback;',
+                    "}",
+                ].join("\n"),
+            }, "src/index.ts");
+            try {
+                const result = buildIrModule(fixture.sourceFile, fixture.testProgram, fixture.options, fixture.ctx);
+                expect(result.ok).to.equal(true);
+                if (!result.ok)
+                    return;
+                const pickFn = result.value.body.find((stmt) => stmt.kind === "functionDeclaration" && stmt.name === "pick");
+                expect(pickFn).to.not.equal(undefined);
+                if (!pickFn)
+                    return;
+                const returnStmt = pickFn.body.statements.find((stmt) => stmt.kind === "returnStatement");
+                expect(returnStmt?.expression?.kind).to.equal("conditional");
+                if (!returnStmt?.expression ||
+                    returnStmt.expression.kind !== "conditional") {
+                    return;
+                }
+                expect(returnStmt.expression.whenTrue.inferredType?.kind).to.equal("functionType");
+            }
+            finally {
+                fixture.cleanup();
+            }
+        });
+        it("handles recursive nullish coalescing without exploding union deduplication", () => {
+            const fixture = createFilesystemTestProgram({
+                "src/index.ts": [
+                    "interface TreeNode {",
+                    "  value: string;",
+                    "  next?: TreeNode;",
+                    "}",
+                    "",
+                    "export function pick(",
+                    "  current: TreeNode | undefined,",
+                    "  fallback: TreeNode",
+                    "): TreeNode {",
+                    "  const selected = current ?? fallback;",
+                    "  return selected;",
+                    "}",
+                ].join("\n"),
+            }, "src/index.ts");
+            try {
+                const result = buildIrModule(fixture.sourceFile, fixture.testProgram, fixture.options, fixture.ctx);
+                expect(result.ok).to.equal(true);
+                if (!result.ok)
+                    return;
+                const pickFn = result.value.body.find((stmt) => stmt.kind === "functionDeclaration" && stmt.name === "pick");
+                expect(pickFn).to.not.equal(undefined);
+                if (!pickFn)
+                    return;
+                const selectedDecl = pickFn.body.statements.find((stmt) => stmt.kind === "variableDeclaration" &&
+                    stmt.declarations.some((decl) => decl.name.kind === "identifierPattern" &&
+                        decl.name.name === "selected"));
+                expect(selectedDecl).to.not.equal(undefined);
+                if (!selectedDecl)
+                    return;
+                const selectedInit = selectedDecl.declarations[0]?.initializer;
+                expect(selectedInit?.kind).to.equal("logical");
+                if (!selectedInit || selectedInit.kind !== "logical")
+                    return;
+                expect(selectedInit.operator).to.equal("??");
+                expect(selectedInit.inferredType?.kind).to.equal("referenceType");
+                if (selectedInit.inferredType?.kind !== "referenceType")
+                    return;
+                expect(stableIrTypeKey(selectedInit.inferredType)).to.include("TreeNode");
+            }
+            finally {
+                fixture.cleanup();
+            }
+        });
+        it("collapses constructor-backed nullish fallbacks to the canonical nominal type", () => {
+            const fixture = createFilesystemTestProgram({
+                "src/index.ts": [
+                    "class Page {}",
+                    "",
+                    "class Holder {",
+                    "  page: Page | undefined = undefined;",
+                    "}",
+                    "",
+                    "export function pick(holder: Holder): Page {",
+                    "  const fallback = new Page();",
+                    "  const selected = holder.page ?? fallback;",
+                    "  return selected;",
+                    "}",
+                ].join("\n"),
+            }, "src/index.ts");
+            try {
+                const result = buildIrModule(fixture.sourceFile, fixture.testProgram, fixture.options, fixture.ctx);
+                expect(result.ok).to.equal(true);
+                if (!result.ok)
+                    return;
+                const pickFn = result.value.body.find((stmt) => stmt.kind === "functionDeclaration" && stmt.name === "pick");
+                expect(pickFn).to.not.equal(undefined);
+                if (!pickFn)
+                    return;
+                const fallbackDecl = pickFn.body.statements.find((stmt) => stmt.kind === "variableDeclaration" &&
+                    stmt.declarations.some((decl) => decl.name.kind === "identifierPattern" &&
+                        decl.name.name === "fallback"));
+                expect(fallbackDecl).to.not.equal(undefined);
+                if (!fallbackDecl)
+                    return;
+                const fallbackInit = fallbackDecl.declarations[0]?.initializer;
+                expect(fallbackInit?.kind).to.equal("new");
+                expect(fallbackInit?.inferredType?.kind).to.equal("referenceType");
+                if (!fallbackInit ||
+                    fallbackInit.kind !== "new" ||
+                    fallbackInit.inferredType?.kind !== "referenceType") {
+                    return;
+                }
+                expect(fallbackInit.inferredType.typeId?.tsName).to.equal("Page");
+                const selectedDecl = pickFn.body.statements.find((stmt) => stmt.kind === "variableDeclaration" &&
+                    stmt.declarations.some((decl) => decl.name.kind === "identifierPattern" &&
+                        decl.name.name === "selected"));
+                expect(selectedDecl).to.not.equal(undefined);
+                if (!selectedDecl)
+                    return;
+                const selectedInit = selectedDecl.declarations[0]?.initializer;
+                expect(selectedInit?.kind).to.equal("logical");
+                if (!selectedInit || selectedInit.kind !== "logical")
+                    return;
+                expect(selectedInit.operator).to.equal("??");
+                expect(selectedInit.inferredType?.kind).to.equal("referenceType");
+                if (selectedInit.inferredType?.kind !== "referenceType")
+                    return;
+                expect(selectedInit.inferredType.typeId?.stableId).to.equal(fallbackInit.inferredType.typeId?.stableId);
+            }
+            finally {
+                fixture.cleanup();
+            }
+        });
+        it("handles recursive generic property access without exploding type-id attachment", () => {
+            const fixture = createFilesystemTestProgram({
+                "src/index.ts": [
+                    "declare class Map<K, V> {",
+                    "  get(key: K): V | undefined;",
+                    "}",
+                    "",
+                    "interface PageContext {",
+                    "  relPermalink: string;",
+                    "  site: SiteContext;",
+                    "}",
+                    "",
+                    "interface SiteContext {",
+                    "  Taxonomies: Map<string, Map<string, PageContext[]>>;",
+                    "  home?: PageContext;",
+                    "}",
+                    "",
+                    "class TaxonomiesValue {",
+                    "  constructor(readonly site: SiteContext) {}",
+                    "}",
+                    "",
+                    "class TaxonomyTermsValue {",
+                    "  constructor(",
+                    "    readonly terms: Map<string, PageContext[]>,",
+                    "    readonly site: SiteContext",
+                    "  ) {}",
+                    "}",
+                    "",
+                    "type TemplateValue = TaxonomiesValue | TaxonomyTermsValue | undefined;",
+                    "",
+                    "export function resolve(",
+                    "  cur: TemplateValue,",
+                    "  seg: string",
+                    "): TemplateValue {",
+                    "  if (cur instanceof TaxonomiesValue) {",
+                    "    const site = cur.site;",
+                    "    const terms =",
+                    "      site.Taxonomies.get(seg) ??",
+                    "      site.Taxonomies.get(seg.toLowerCase());",
+                    "    cur = terms !== undefined",
+                    "      ? new TaxonomyTermsValue(terms, site)",
+                    "      : undefined;",
+                    "  }",
+                    "  return cur;",
+                    "}",
+                ].join("\n"),
+            }, "src/index.ts");
+            try {
+                const result = buildIrModule(fixture.sourceFile, fixture.testProgram, fixture.options, fixture.ctx);
+                expect(result.ok).to.equal(true);
+                if (!result.ok)
+                    return;
+                const resolveFn = result.value.body.find((stmt) => stmt.kind === "functionDeclaration" && stmt.name === "resolve");
+                expect(resolveFn).to.not.equal(undefined);
+                if (!resolveFn)
+                    return;
+                const branch = resolveFn.body.statements.find((stmt) => stmt.kind === "ifStatement");
+                expect(branch).to.not.equal(undefined);
+                if (!branch)
+                    return;
+                expect(branch.thenStatement.kind).to.equal("blockStatement");
+                if (branch.thenStatement.kind !== "blockStatement")
+                    return;
+                const thenBlock = branch.thenStatement;
+                const termsDecl = thenBlock.statements.find((stmt) => stmt.kind === "variableDeclaration" &&
+                    stmt.declarations.some((decl) => decl.name.kind === "identifierPattern" &&
+                        decl.name.name === "terms"));
+                expect(termsDecl).to.not.equal(undefined);
+                if (!termsDecl)
+                    return;
+                const termsInit = termsDecl.declarations[0]?.initializer;
+                expect(termsInit?.kind).to.equal("logical");
+                if (!termsInit || termsInit.kind !== "logical")
+                    return;
+                expect(termsInit.operator).to.equal("??");
+                expect(termsInit.inferredType?.kind).to.equal("unionType");
+                if (!termsInit.inferredType ||
+                    termsInit.inferredType.kind !== "unionType") {
+                    return;
+                }
+                const mapMember = termsInit.inferredType.types.find((type) => type.kind === "referenceType" && type.name === "Map");
+                expect(mapMember).to.not.equal(undefined);
+            }
+            finally {
+                fixture.cleanup();
+            }
+        });
+        it("applies typeof-function and undefined disjunction narrowing inside conditional expressions", () => {
+            const fixture = createFilesystemTestProgram({
+                "src/index.ts": [
+                    "type Callback = (error: unknown, html: string) => void;",
+                    "export function pick(",
+                    "  value: Record<string, unknown> | Callback | undefined,",
+                    "  fallback: Record<string, unknown>",
+                    "): Record<string, unknown> {",
+                    '  return typeof value === "function" || value === undefined ? fallback : value;',
+                    "}",
+                ].join("\n"),
+            }, "src/index.ts");
+            try {
+                const result = buildIrModule(fixture.sourceFile, fixture.testProgram, fixture.options, fixture.ctx);
+                expect(result.ok).to.equal(true);
+                if (!result.ok)
+                    return;
+                const pickFn = result.value.body.find((stmt) => stmt.kind === "functionDeclaration" && stmt.name === "pick");
+                expect(pickFn).to.not.equal(undefined);
+                if (!pickFn)
+                    return;
+                const returnStmt = pickFn.body.statements.find((stmt) => stmt.kind === "returnStatement");
+                expect(returnStmt?.expression?.kind).to.equal("conditional");
+                if (!returnStmt?.expression ||
+                    returnStmt.expression.kind !== "conditional") {
+                    return;
+                }
+                expect(returnStmt.expression.inferredType?.kind).to.equal("dictionaryType");
+                if (returnStmt.expression.inferredType?.kind !== "dictionaryType") {
+                    return;
+                }
+            }
+            finally {
+                fixture.cleanup();
+            }
+        });
+        it("keeps broad unknown call arguments as storage identifiers after record narrowing", () => {
+            const fixture = createFilesystemTestProgram({
+                "src/index.ts": [
+                    "declare function takeUnknown(value: unknown): void;",
+                    "const isObject = (value: unknown): value is Record<string, unknown> => {",
+                    '  return value !== null && typeof value === "object";',
+                    "};",
+                    "export function run(root: unknown): void {",
+                    "  if (!isObject(root)) return;",
+                    "  takeUnknown(root);",
+                    "}",
+                ].join("\n"),
+            }, "src/index.ts");
+            try {
+                const result = buildIrModule(fixture.sourceFile, fixture.testProgram, fixture.options, fixture.ctx);
+                expect(result.ok).to.equal(true);
+                if (!result.ok)
+                    return;
+                const runFn = result.value.body.find((stmt) => stmt.kind === "functionDeclaration" && stmt.name === "run");
+                expect(runFn).to.not.equal(undefined);
+                if (!runFn)
+                    return;
+                const callStmt = runFn.body.statements.find((stmt) => stmt.kind === "expressionStatement" &&
+                    stmt.expression.kind === "call");
+                expect(callStmt).to.not.equal(undefined);
+                if (!callStmt ||
+                    callStmt.kind !== "expressionStatement" ||
+                    callStmt.expression.kind !== "call") {
+                    return;
+                }
+                const arg = callStmt.expression.arguments[0];
+                expect(arg?.kind).to.equal("identifier");
+                if (!arg || arg.kind !== "identifier")
+                    return;
+                expect(arg.name).to.equal("root");
+                expect(arg.inferredType?.kind).to.equal("dictionaryType");
+            }
+            finally {
+                fixture.cleanup();
+            }
+        });
+        it("prefers the assignable common nominal supertype for conditional expressions", () => {
+            const fixture = createFilesystemTestProgram({
+                "src/index.ts": [
+                    "class TemplateValue {}",
+                    "class PageValue extends TemplateValue {",
+                    "  constructor(public readonly slug: string) {",
+                    "    super();",
+                    "  }",
+                    "}",
+                    "declare function resolve(): TemplateValue;",
+                    "export function pick(flag: boolean): TemplateValue {",
+                    '  const actual = flag ? new PageValue("home") : resolve();',
+                    "  return actual;",
+                    "}",
+                ].join("\n"),
+            }, "src/index.ts");
+            try {
+                const result = buildIrModule(fixture.sourceFile, fixture.testProgram, fixture.options, fixture.ctx);
+                expect(result.ok).to.equal(true);
+                if (!result.ok)
+                    return;
+                const pickFn = result.value.body.find((stmt) => stmt.kind === "functionDeclaration" && stmt.name === "pick");
+                expect(pickFn).to.not.equal(undefined);
+                if (!pickFn)
+                    return;
+                const actualDecl = pickFn.body.statements.find((stmt) => stmt.kind === "variableDeclaration" &&
+                    stmt.declarations.some((decl) => decl.name.kind === "identifierPattern" &&
+                        decl.name.name === "actual"));
+                expect(actualDecl).to.not.equal(undefined);
+                if (!actualDecl)
+                    return;
+                const actualInit = actualDecl.declarations[0]?.initializer;
+                expect(actualInit?.kind).to.equal("conditional");
+                if (!actualInit || actualInit.kind !== "conditional")
+                    return;
+                expect(actualInit.inferredType?.kind).to.equal("referenceType");
+                if (!actualInit.inferredType ||
+                    actualInit.inferredType.kind !== "referenceType") {
+                    return;
+                }
+                expect(stableIrTypeKey(actualInit.inferredType)).to.include("TemplateValue");
+            }
+            finally {
+                fixture.cleanup();
+            }
+        });
+        it("applies sequential falsy narrowing for || inside class-method conditional locals", () => {
+            const fixture = createFilesystemTestProgram({
+                "src/index.ts": [
+                    "type Callback = (error: unknown, html: string) => void;",
+                    "export class App {",
+                    "  readonly locals: Record<string, unknown> = {};",
+                    "  pick(value?: Record<string, unknown> | Callback) {",
+                    '    const locals = typeof value === "function" || value === undefined ? this.locals : value;',
+                    "    return locals;",
+                    "  }",
+                    "}",
+                ].join("\n"),
+            }, "src/index.ts");
+            try {
+                const result = buildIrModule(fixture.sourceFile, fixture.testProgram, fixture.options, fixture.ctx);
+                expect(result.ok).to.equal(true);
+                if (!result.ok)
+                    return;
+                const appClass = result.value.body.find((stmt) => stmt.kind === "classDeclaration" && stmt.name === "App");
+                expect(appClass).to.not.equal(undefined);
+                if (!appClass)
+                    return;
+                const pickMethod = appClass.members.find((member) => member.kind === "methodDeclaration" && member.name === "pick");
+                expect(pickMethod).to.not.equal(undefined);
+                if (!pickMethod || !pickMethod.body)
+                    return;
+                const localsDecl = pickMethod.body.statements.find((stmt) => stmt.kind === "variableDeclaration" &&
+                    stmt.declarations.some((decl) => decl.name.kind === "identifierPattern" &&
+                        decl.name.name === "locals"));
+                expect(localsDecl).to.not.equal(undefined);
+                if (!localsDecl)
+                    return;
+                const decl = localsDecl.declarations.find((candidate) => candidate.name.kind === "identifierPattern" &&
+                    candidate.name.name === "locals");
+                expect(decl?.initializer?.kind).to.equal("conditional");
+                if (!decl?.initializer || decl.initializer.kind !== "conditional") {
+                    return;
+                }
+                expect(decl.initializer.inferredType?.kind).to.equal("dictionaryType");
+                expect(decl.initializer.whenFalse.inferredType?.kind).to.equal("dictionaryType");
+            }
+            finally {
+                fixture.cleanup();
+            }
+        });
+        it("applies sequential truthy narrowing for && inside class-method conditional locals", () => {
+            const fixture = createFilesystemTestProgram({
+                "src/index.ts": [
+                    "type Callback = (error: unknown, html: string) => void;",
+                    "export class App {",
+                    "  readonly locals: Record<string, unknown> = {};",
+                    "  pick(value?: Record<string, unknown> | Callback) {",
+                    '    const locals = typeof value !== "function" && value !== undefined ? value : this.locals;',
+                    "    return locals;",
+                    "  }",
+                    "}",
+                ].join("\n"),
+            }, "src/index.ts");
+            try {
+                const result = buildIrModule(fixture.sourceFile, fixture.testProgram, fixture.options, fixture.ctx);
+                expect(result.ok).to.equal(true);
+                if (!result.ok)
+                    return;
+                const appClass = result.value.body.find((stmt) => stmt.kind === "classDeclaration" && stmt.name === "App");
+                expect(appClass).to.not.equal(undefined);
+                if (!appClass)
+                    return;
+                const pickMethod = appClass.members.find((member) => member.kind === "methodDeclaration" && member.name === "pick");
+                expect(pickMethod).to.not.equal(undefined);
+                if (!pickMethod || !pickMethod.body)
+                    return;
+                const localsDecl = pickMethod.body.statements.find((stmt) => stmt.kind === "variableDeclaration" &&
+                    stmt.declarations.some((decl) => decl.name.kind === "identifierPattern" &&
+                        decl.name.name === "locals"));
+                expect(localsDecl).to.not.equal(undefined);
+                if (!localsDecl)
+                    return;
+                const decl = localsDecl.declarations.find((candidate) => candidate.name.kind === "identifierPattern" &&
+                    candidate.name.name === "locals");
+                expect(decl?.initializer?.kind).to.equal("conditional");
+                if (!decl?.initializer || decl.initializer.kind !== "conditional") {
+                    return;
+                }
+                expect(decl.initializer.inferredType?.kind).to.equal("dictionaryType");
+                expect(decl.initializer.whenTrue.inferredType?.kind).to.equal("dictionaryType");
+            }
+            finally {
+                fixture.cleanup();
+            }
+        });
+        it("applies optional-chain typeof narrowing on && rhs property access paths", () => {
+            const fixture = createFilesystemTestProgram({
+                "src/index.ts": [
+                    "type CookieOptions = { sameSite?: string | boolean };",
+                    "export function collect(options?: CookieOptions): string[] {",
+                    "  const parts: string[] = [];",
+                    '  if (typeof options?.sameSite === "string" && options.sameSite.length > 0) {',
+                    "    parts.push(options.sameSite);",
+                    "  }",
+                    "  return parts;",
+                    "}",
+                ].join("\n"),
+            }, "src/index.ts");
+            try {
+                const result = buildIrModule(fixture.sourceFile, fixture.testProgram, fixture.options, fixture.ctx);
+                expect(result.ok).to.equal(true);
+                if (!result.ok)
+                    return;
+                const collectFn = result.value.body.find((stmt) => stmt.kind === "functionDeclaration" && stmt.name === "collect");
+                expect(collectFn).to.not.equal(undefined);
+                if (!collectFn)
+                    return;
+                const ifStmt = collectFn.body.statements.find((stmt) => stmt.kind === "ifStatement");
+                expect(ifStmt?.condition.kind).to.equal("logical");
+                if (!ifStmt || ifStmt.condition.kind !== "logical")
+                    return;
+                expect(ifStmt.condition.right.kind).to.equal("binary");
+                if (ifStmt.condition.right.kind !== "binary")
+                    return;
+                const access = ifStmt.condition.right.left;
+                expect(access.kind).to.equal("memberAccess");
+                if (access.kind !== "memberAccess")
+                    return;
+                expect(access.object.inferredType?.kind).to.equal("primitiveType");
+                if (access.object.inferredType?.kind !== "primitiveType")
+                    return;
+                expect(access.object.inferredType.name).to.equal("string");
+            }
+            finally {
+                fixture.cleanup();
+            }
+        });
+        it("collapses predicate-narrowed conditionals to recursive alias targets when fallback branches are assignable", () => {
+            const fixture = createFilesystemTestProgram({
+                "src/index.ts": [
+                    "type RequestHandler = (value: string) => void;",
+                    "type PathSpec = string | RegExp | readonly PathSpec[] | null | undefined;",
+                    "type MiddlewareLike = RequestHandler | Router | readonly MiddlewareLike[];",
+                    "class Router {}",
+                    "function isPathSpec(value: PathSpec | MiddlewareLike): value is PathSpec {",
+                    '  return value == null || typeof value === "string" || value instanceof RegExp || Array.isArray(value);',
+                    "}",
+                    "export function collect(first: PathSpec | MiddlewareLike, rest: readonly MiddlewareLike[]) {",
+                    '  const mountedAt = isPathSpec(first) ? first : "/";',
+                    "  void rest;",
+                    "  return mountedAt;",
+                    "}",
+                ].join("\n"),
+            }, "src/index.ts");
+            try {
+                const result = buildIrModule(fixture.sourceFile, fixture.testProgram, fixture.options, fixture.ctx);
+                expect(result.ok).to.equal(true);
+                if (!result.ok)
+                    return;
+                const collectFn = result.value.body.find((stmt) => stmt.kind === "functionDeclaration" && stmt.name === "collect");
+                expect(collectFn).to.not.equal(undefined);
+                if (!collectFn)
+                    return;
+                const mountedAtDecl = collectFn.body.statements.find((stmt) => stmt.kind === "variableDeclaration" &&
+                    stmt.declarations.some((decl) => decl.name.kind === "identifierPattern" &&
+                        decl.name.name === "mountedAt"));
+                expect(mountedAtDecl).to.not.equal(undefined);
+                if (!mountedAtDecl)
+                    return;
+                const mountedAtInit = mountedAtDecl.declarations[0]?.initializer;
+                expect(mountedAtInit?.kind).to.equal("conditional");
+                if (!mountedAtInit || mountedAtInit.kind !== "conditional")
+                    return;
+                expect(mountedAtInit.inferredType?.kind).to.equal("referenceType");
+                if (mountedAtInit.inferredType?.kind !== "referenceType")
+                    return;
+                expect(mountedAtInit.inferredType.name).to.equal("PathSpec");
+                expect(mountedAtInit.inferredType.typeId?.tsName).to.equal("PathSpec");
+            }
+            finally {
+                fixture.cleanup();
+            }
+        });
+    });
+});
+//# sourceMappingURL=conditional-narrowing.test.js.map

package/dist/ir/builder-cases/conditional-narrowing.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"conditional-narrowing.test.js","sourceRoot":"","sources":["../../../src/ir/builder-cases/conditional-narrowing.test.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAU9C,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,2BAA2B,EAAE,MAAM,oBAAoB,CAAC;AAEjE,QAAQ,CAAC,YAAY,EAAE;IACrB,IAAI,CAAC,OAAO,CAAC,KAAM,CAAC,CAAC;IAErB,QAAQ,CAAC,yDAAyD,EAAE,GAAG,EAAE;QACvE,EAAE,CAAC,yEAAyE,EAAE,GAAG,EAAE;YACjF,MAAM,OAAO,GAAG,2BAA2B,CACzC;gBACE,cAAc,EAAE;oBACd,gDAAgD;oBAChD,2EAA2E;oBAC3E,4EAA4E;oBAC5E,iBAAiB;oBACjB,4EAA4E;oBAC5E,yGAAyG;oBACzG,GAAG;oBACH,yHAAyH;oBACzH,+DAA+D;oBAC/D,kBAAkB;oBAClB,GAAG;iBACJ,CAAC,IAAI,CAAC,IAAI,CAAC;aACb,EACD,cAAc,CACf,CAAC;YAEF,IAAI,CAAC;gBACH,MAAM,MAAM,GAAG,aAAa,CAC1B,OAAO,CAAC,UAAU,EAClB,OAAO,CAAC,WAAW,EACnB,OAAO,CAAC,OAAO,EACf,OAAO,CAAC,GAAG,CACZ,CAAC;gBAEF,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBACjC,IAAI,CAAC,MAAM,CAAC,EAAE;oBAAE,OAAO;gBAEvB,MAAM,SAAS,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CACtC,CAAC,IAAI,EAAiC,EAAE,CACtC,IAAI,CAAC,IAAI,KAAK,qBAAqB,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,CACjE,CAAC;gBACF,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;gBAC1C,IAAI,CAAC,SAAS;oBAAE,OAAO;gBAEvB,MAAM,UAAU,GAAG,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAC/C,CAAC,IAAI,EAAiC,EAAE,CACtC,IAAI,CAAC,IAAI,KAAK,qBAAqB;oBACnC,IAAI,CAAC,YAAY,CAAC,IAAI,CACpB,CAAC,IAAI,EAAE,EAAE,CACP,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,mBAAmB;wBACtC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,CAC9B,CACJ,CAAC;gBACF,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;gBAC3C,IAAI,CAAC,UAAU;oBAAE,OAAO;gBAExB,MAAM,UAAU,GAAG,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC;gBAC3D,MAAM,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;gBACjD,IAAI,CAAC,UAAU,IAAI,UAAU,CAAC,IAAI,KAAK,aAAa;oBAAE,OAAO;gBAE7D,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;gBACpD,IAAI,UAAU,CAAC,SAAS,CAAC,IAAI,KAAK,OAAO;oBAAE,OAAO;gBAElD,MAAM,YAAY,GAAG,UAAU,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;gBACtD,MAAM,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;gBACrD,IAAI,CAAC,YAAY,IAAI,YAAY,CAAC,IAAI,KAAK,eAAe;oBAAE,OAAO;gBAEnE,MAAM,CAAC,YAAY,CAAC,UAAU,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CACzD,eAAe,CAChB,CAAC;gBACF,IAAI,YAAY,CAAC,UAAU,CAAC,YAAY,EAAE,IAAI,KAAK,eAAe,EAAE,CAAC;oBACnE,OAAO;gBACT,CAAC;gBACD,MAAM,CACJ,eAAe,CAAC,YAAY,CAAC,UAAU,CAAC,YAAY,CAAC,CACtD,CAAC,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC;gBAE/B,MAAM,YAAY,GAAG,YAAY,CAAC,UAAU,CAAC;gBAC7C,MAAM,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;gBACrD,IAAI,CAAC,YAAY;oBAAE,OAAO;gBAC1B,MAAM,CAAC,eAAe,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC;YACrE,CAAC;oBAAS,CAAC;gBACT,OAAO,CAAC,OAAO,EAAE,CAAC;YACpB,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,kFAAkF,EAAE,GAAG,EAAE;YAC1F,MAAM,OAAO,GAAG,2BAA2B,CACzC;gBACE,cAAc,EAAE;oBACd,yDAAyD;oBACzD,uBAAuB;oBACvB,0DAA0D;oBAC1D,kCAAkC;oBAClC,2BAA2B;oBAC3B,0DAA0D;oBAC1D,GAAG;iBACJ,CAAC,IAAI,CAAC,IAAI,CAAC;aACb,EACD,cAAc,CACf,CAAC;YAEF,IAAI,CAAC;gBACH,MAAM,MAAM,GAAG,aAAa,CAC1B,OAAO,CAAC,UAAU,EAClB,OAAO,CAAC,WAAW,EACnB,OAAO,CAAC,OAAO,EACf,OAAO,CAAC,GAAG,CACZ,CAAC;gBAEF,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBACjC,IAAI,CAAC,MAAM,CAAC,EAAE;oBAAE,OAAO;gBAEvB,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CACnC,CAAC,IAAI,EAAiC,EAAE,CACtC,IAAI,CAAC,IAAI,KAAK,qBAAqB,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,CAC9D,CAAC;gBACF,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;gBACvC,IAAI,CAAC,MAAM;oBAAE,OAAO;gBAEpB,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAC5C,CAAC,IAAI,EAA6B,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,iBAAiB,CACrE,CAAC;gBACF,MAAM,CAAC,UAAU,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;gBAC7D,IACE,CAAC,UAAU,EAAE,UAAU;oBACvB,UAAU,CAAC,UAAU,CAAC,IAAI,KAAK,aAAa,EAC5C,CAAC;oBACD,OAAO;gBACT,CAAC;gBAED,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC,QAAQ,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAChE,cAAc,CACf,CAAC;YACJ,CAAC;oBAAS,CAAC;gBACT,OAAO,CAAC,OAAO,EAAE,CAAC;YACpB,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,4EAA4E,EAAE,GAAG,EAAE;YACpF,MAAM,OAAO,GAAG,2BAA2B,CACzC;gBACE,cAAc,EAAE;oBACd,sBAAsB;oBACtB,kBAAkB;oBAClB,oBAAoB;oBACpB,GAAG;oBACH,EAAE;oBACF,uBAAuB;oBACvB,kCAAkC;oBAClC,sBAAsB;oBACtB,eAAe;oBACf,yCAAyC;oBACzC,oBAAoB;oBACpB,GAAG;iBACJ,CAAC,IAAI,CAAC,IAAI,CAAC;aACb,EACD,cAAc,CACf,CAAC;YAEF,IAAI,CAAC;gBACH,MAAM,MAAM,GAAG,aAAa,CAC1B,OAAO,CAAC,UAAU,EAClB,OAAO,CAAC,WAAW,EACnB,OAAO,CAAC,OAAO,EACf,OAAO,CAAC,GAAG,CACZ,CAAC;gBAEF,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBACjC,IAAI,CAAC,MAAM,CAAC,EAAE;oBAAE,OAAO;gBAEvB,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CACnC,CAAC,IAAI,EAAiC,EAAE,CACtC,IAAI,CAAC,IAAI,KAAK,qBAAqB,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,CAC9D,CAAC;gBACF,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;gBACvC,IAAI,CAAC,MAAM;oBAAE,OAAO;gBAEpB,MAAM,YAAY,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAC9C,CAAC,IAAI,EAAiC,EAAE,CACtC,IAAI,CAAC,IAAI,KAAK,qBAAqB;oBACnC,IAAI,CAAC,YAAY,CAAC,IAAI,CACpB,CAAC,IAAI,EAAE,EAAE,CACP,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,mBAAmB;wBACtC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAChC,CACJ,CAAC;gBACF,MAAM,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;gBAC7C,IAAI,CAAC,YAAY;oBAAE,OAAO;gBAE1B,MAAM,YAAY,GAAG,YAAY,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC;gBAC/D,MAAM,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;gBAC/C,IAAI,CAAC,YAAY,IAAI,YAAY,CAAC,IAAI,KAAK,SAAS;oBAAE,OAAO;gBAE7D,MAAM,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBAC7C,MAAM,CAAC,YAAY,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;gBAClE,IAAI,YAAY,CAAC,YAAY,EAAE,IAAI,KAAK,eAAe;oBAAE,OAAO;gBAEhE,MAAM,CAAC,eAAe,CAAC,YAAY,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAC3D,UAAU,CACX,CAAC;YACJ,CAAC;oBAAS,CAAC;gBACT,OAAO,CAAC,OAAO,EAAE,CAAC;YACpB,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,8EAA8E,EAAE,GAAG,EAAE;YACtF,MAAM,OAAO,GAAG,2BAA2B,CACzC;gBACE,cAAc,EAAE;oBACd,eAAe;oBACf,EAAE;oBACF,gBAAgB;oBAChB,uCAAuC;oBACvC,GAAG;oBACH,EAAE;oBACF,8CAA8C;oBAC9C,gCAAgC;oBAChC,6CAA6C;oBAC7C,oBAAoB;oBACpB,GAAG;iBACJ,CAAC,IAAI,CAAC,IAAI,CAAC;aACb,EACD,cAAc,CACf,CAAC;YAEF,IAAI,CAAC;gBACH,MAAM,MAAM,GAAG,aAAa,CAC1B,OAAO,CAAC,UAAU,EAClB,OAAO,CAAC,WAAW,EACnB,OAAO,CAAC,OAAO,EACf,OAAO,CAAC,GAAG,CACZ,CAAC;gBAEF,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBACjC,IAAI,CAAC,MAAM,CAAC,EAAE;oBAAE,OAAO;gBAEvB,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CACnC,CAAC,IAAI,EAAiC,EAAE,CACtC,IAAI,CAAC,IAAI,KAAK,qBAAqB,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,CAC9D,CAAC;gBACF,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;gBACvC,IAAI,CAAC,MAAM;oBAAE,OAAO;gBAEpB,MAAM,YAAY,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAC9C,CAAC,IAAI,EAAiC,EAAE,CACtC,IAAI,CAAC,IAAI,KAAK,qBAAqB;oBACnC,IAAI,CAAC,YAAY,CAAC,IAAI,CACpB,CAAC,IAAI,EAAE,EAAE,CACP,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,mBAAmB;wBACtC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAChC,CACJ,CAAC;gBACF,MAAM,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;gBAC7C,IAAI,CAAC,YAAY;oBAAE,OAAO;gBAE1B,MAAM,YAAY,GAAG,YAAY,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC;gBAC/D,MAAM,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;gBAC3C,MAAM,CAAC,YAAY,EAAE,YAAY,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;gBACnE,IACE,CAAC,YAAY;oBACb,YAAY,CAAC,IAAI,KAAK,KAAK;oBAC3B,YAAY,CAAC,YAAY,EAAE,IAAI,KAAK,eAAe,EACnD,CAAC;oBACD,OAAO;gBACT,CAAC;gBAED,MAAM,CAAC,YAAY,CAAC,YAAY,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;gBAElE,MAAM,YAAY,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAC9C,CAAC,IAAI,EAAiC,EAAE,CACtC,IAAI,CAAC,IAAI,KAAK,qBAAqB;oBACnC,IAAI,CAAC,YAAY,CAAC,IAAI,CACpB,CAAC,IAAI,EAAE,EAAE,CACP,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,mBAAmB;wBACtC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAChC,CACJ,CAAC;gBACF,MAAM,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;gBAC7C,IAAI,CAAC,YAAY;oBAAE,OAAO;gBAE1B,MAAM,YAAY,GAAG,YAAY,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC;gBAC/D,MAAM,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;gBAC/C,IAAI,CAAC,YAAY,IAAI,YAAY,CAAC,IAAI,KAAK,SAAS;oBAAE,OAAO;gBAE7D,MAAM,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBAC7C,MAAM,CAAC,YAAY,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;gBAClE,IAAI,YAAY,CAAC,YAAY,EAAE,IAAI,KAAK,eAAe;oBAAE,OAAO;gBAEhE,MAAM,CAAC,YAAY,CAAC,YAAY,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,KAAK,CACzD,YAAY,CAAC,YAAY,CAAC,MAAM,EAAE,QAAQ,CAC3C,CAAC;YACJ,CAAC;oBAAS,CAAC;gBACT,OAAO,CAAC,OAAO,EAAE,CAAC;YACpB,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,gFAAgF,EAAE,GAAG,EAAE;YACxF,MAAM,OAAO,GAAG,2BAA2B,CACzC;gBACE,cAAc,EAAE;oBACd,2BAA2B;oBAC3B,+BAA+B;oBAC/B,GAAG;oBACH,EAAE;oBACF,yBAAyB;oBACzB,yBAAyB;oBACzB,sBAAsB;oBACtB,GAAG;oBACH,EAAE;oBACF,yBAAyB;oBACzB,wDAAwD;oBACxD,uBAAuB;oBACvB,GAAG;oBACH,EAAE;oBACF,yBAAyB;oBACzB,8CAA8C;oBAC9C,GAAG;oBACH,EAAE;oBACF,4BAA4B;oBAC5B,gBAAgB;oBAChB,iDAAiD;oBACjD,gCAAgC;oBAChC,QAAQ;oBACR,GAAG;oBACH,EAAE;oBACF,wEAAwE;oBACxE,EAAE;oBACF,0BAA0B;oBAC1B,uBAAuB;oBACvB,eAAe;oBACf,oBAAoB;oBACpB,yCAAyC;oBACzC,4BAA4B;oBAC5B,mBAAmB;oBACnB,mCAAmC;oBACnC,+CAA+C;oBAC/C,+BAA+B;oBAC/B,6CAA6C;oBAC7C,oBAAoB;oBACpB,KAAK;oBACL,eAAe;oBACf,GAAG;iBACJ,CAAC,IAAI,CAAC,IAAI,CAAC;aACb,EACD,cAAc,CACf,CAAC;YAEF,IAAI,CAAC;gBACH,MAAM,MAAM,GAAG,aAAa,CAC1B,OAAO,CAAC,UAAU,EAClB,OAAO,CAAC,WAAW,EACnB,OAAO,CAAC,OAAO,EACf,OAAO,CAAC,GAAG,CACZ,CAAC;gBAEF,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBACjC,IAAI,CAAC,MAAM,CAAC,EAAE;oBAAE,OAAO;gBAEvB,MAAM,SAAS,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CACtC,CAAC,IAAI,EAAiC,EAAE,CACtC,IAAI,CAAC,IAAI,KAAK,qBAAqB,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,CACjE,CAAC;gBACF,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;gBAC1C,IAAI,CAAC,SAAS;oBAAE,OAAO;gBAEvB,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAC3C,CAAC,IAAI,EAAyB,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,aAAa,CAC7D,CAAC;gBACF,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;gBACvC,IAAI,CAAC,MAAM;oBAAE,OAAO;gBAEpB,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC;gBAC7D,IAAI,MAAM,CAAC,aAAa,CAAC,IAAI,KAAK,gBAAgB;oBAAE,OAAO;gBAE3D,MAAM,SAAS,GAAqB,MAAM,CAAC,aAAa,CAAC;gBACzD,MAAM,SAAS,GAAG,SAAS,CAAC,UAAU,CAAC,IAAI,CACzC,CAAC,IAAI,EAAiC,EAAE,CACtC,IAAI,CAAC,IAAI,KAAK,qBAAqB;oBACnC,IAAI,CAAC,YAAY,CAAC,IAAI,CACpB,CAAC,IAAI,EAAE,EAAE,CACP,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,mBAAmB;wBACtC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAC7B,CACJ,CAAC;gBACF,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;gBAC1C,IAAI,CAAC,SAAS;oBAAE,OAAO;gBAEvB,MAAM,SAAS,GAAG,SAAS,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC;gBACzD,MAAM,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;gBAC5C,IAAI,CAAC,SAAS,IAAI,SAAS,CAAC,IAAI,KAAK,SAAS;oBAAE,OAAO;gBAEvD,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBAC1C,MAAM,CAAC,SAAS,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;gBAC3D,IACE,CAAC,SAAS,CAAC,YAAY;oBACvB,SAAS,CAAC,YAAY,CAAC,IAAI,KAAK,WAAW,EAC3C,CAAC;oBACD,OAAO;gBACT,CAAC;gBAED,MAAM,SAAS,GAAG,SAAS,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CACjD,CACE,IAAI,EAIJ,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,eAAe,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,CAC1D,CAAC;gBACF,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YAC5C,CAAC;oBAAS,CAAC;gBACT,OAAO,CAAC,OAAO,EAAE,CAAC;YACpB,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,4FAA4F,EAAE,GAAG,EAAE;YACpG,MAAM,OAAO,GAAG,2BAA2B,CACzC;gBACE,cAAc,EAAE;oBACd,yDAAyD;oBACzD,uBAAuB;oBACvB,0DAA0D;oBAC1D,qCAAqC;oBACrC,8BAA8B;oBAC9B,iFAAiF;oBACjF,GAAG;iBACJ,CAAC,IAAI,CAAC,IAAI,CAAC;aACb,EACD,cAAc,CACf,CAAC;YAEF,IAAI,CAAC;gBACH,MAAM,MAAM,GAAG,aAAa,CAC1B,OAAO,CAAC,UAAU,EAClB,OAAO,CAAC,WAAW,EACnB,OAAO,CAAC,OAAO,EACf,OAAO,CAAC,GAAG,CACZ,CAAC;gBAEF,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBACjC,IAAI,CAAC,MAAM,CAAC,EAAE;oBAAE,OAAO;gBAEvB,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CACnC,CAAC,IAAI,EAAiC,EAAE,CACtC,IAAI,CAAC,IAAI,KAAK,qBAAqB,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,CAC9D,CAAC;gBACF,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;gBACvC,IAAI,CAAC,MAAM;oBAAE,OAAO;gBAEpB,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAC5C,CAAC,IAAI,EAA6B,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,iBAAiB,CACrE,CAAC;gBACF,MAAM,CAAC,UAAU,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;gBAC7D,IACE,CAAC,UAAU,EAAE,UAAU;oBACvB,UAAU,CAAC,UAAU,CAAC,IAAI,KAAK,aAAa,EAC5C,CAAC;oBACD,OAAO;gBACT,CAAC;gBAED,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CACvD,gBAAgB,CACjB,CAAC;gBACF,IAAI,UAAU,CAAC,UAAU,CAAC,YAAY,EAAE,IAAI,KAAK,gBAAgB,EAAE,CAAC;oBAClE,OAAO;gBACT,CAAC;YACH,CAAC;oBAAS,CAAC;gBACT,OAAO,CAAC,OAAO,EAAE,CAAC;YACpB,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,kFAAkF,EAAE,GAAG,EAAE;YAC1F,MAAM,OAAO,GAAG,2BAA2B,CACzC;gBACE,cAAc,EAAE;oBACd,qDAAqD;oBACrD,0EAA0E;oBAC1E,uDAAuD;oBACvD,IAAI;oBACJ,4CAA4C;oBAC5C,gCAAgC;oBAChC,sBAAsB;oBACtB,GAAG;iBACJ,CAAC,IAAI,CAAC,IAAI,CAAC;aACb,EACD,cAAc,CACf,CAAC;YAEF,IAAI,CAAC;gBACH,MAAM,MAAM,GAAG,aAAa,CAC1B,OAAO,CAAC,UAAU,EAClB,OAAO,CAAC,WAAW,EACnB,OAAO,CAAC,OAAO,EACf,OAAO,CAAC,GAAG,CACZ,CAAC;gBAEF,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBACjC,IAAI,CAAC,MAAM,CAAC,EAAE;oBAAE,OAAO;gBAEvB,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAClC,CAAC,IAAI,EAAiC,EAAE,CACtC,IAAI,CAAC,IAAI,KAAK,qBAAqB,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,CAC7D,CAAC;gBACF,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;gBACtC,IAAI,CAAC,KAAK;oBAAE,OAAO;gBAEnB,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CACzC,CAAC,IAAI,EAAE,EAAE,CACP,IAAI,CAAC,IAAI,KAAK,qBAAqB;oBACnC,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,MAAM,CAClC,CAAC;gBACF,MAAM,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;gBACzC,IACE,CAAC,QAAQ;oBACT,QAAQ,CAAC,IAAI,KAAK,qBAAqB;oBACvC,QAAQ,CAAC,UAAU,CAAC,IAAI,KAAK,MAAM,EACnC,CAAC;oBACD,OAAO;gBACT,CAAC;gBAED,MAAM,GAAG,GAAG,QAAQ,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;gBAC7C,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;gBACzC,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,KAAK,YAAY;oBAAE,OAAO;gBAE9C,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;gBAClC,MAAM,CAAC,GAAG,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC;YAC5D,CAAC;oBAAS,CAAC;gBACT,OAAO,CAAC,OAAO,EAAE,CAAC;YACpB,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,6EAA6E,EAAE,GAAG,EAAE;YACrF,MAAM,OAAO,GAAG,2BAA2B,CACzC;gBACE,cAAc,EAAE;oBACd,wBAAwB;oBACxB,yCAAyC;oBACzC,+CAA+C;oBAC/C,cAAc;oBACd,KAAK;oBACL,GAAG;oBACH,4CAA4C;oBAC5C,sDAAsD;oBACtD,4DAA4D;oBAC5D,kBAAkB;oBAClB,GAAG;iBACJ,CAAC,IAAI,CAAC,IAAI,CAAC;aACb,EACD,cAAc,CACf,CAAC;YAEF,IAAI,CAAC;gBACH,MAAM,MAAM,GAAG,aAAa,CAC1B,OAAO,CAAC,UAAU,EAClB,OAAO,CAAC,WAAW,EACnB,OAAO,CAAC,OAAO,EACf,OAAO,CAAC,GAAG,CACZ,CAAC;gBAEF,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBACjC,IAAI,CAAC,MAAM,CAAC,EAAE;oBAAE,OAAO;gBAEvB,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CACnC,CAAC,IAAI,EAAiC,EAAE,CACtC,IAAI,CAAC,IAAI,KAAK,qBAAqB,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,CAC9D,CAAC;gBACF,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;gBACvC,IAAI,CAAC,MAAM;oBAAE,OAAO;gBAEpB,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAC5C,CAAC,IAAI,EAAiC,EAAE,CACtC,IAAI,CAAC,IAAI,KAAK,qBAAqB;oBACnC,IAAI,CAAC,YAAY,CAAC,IAAI,CACpB,CAAC,IAAI,EAAE,EAAE,CACP,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,mBAAmB;wBACtC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,CAC9B,CACJ,CAAC;gBACF,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;gBAC3C,IAAI,CAAC,UAAU;oBAAE,OAAO;gBAExB,MAAM,UAAU,GAAG,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC;gBAC3D,MAAM,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;gBACjD,IAAI,CAAC,UAAU,IAAI,UAAU,CAAC,IAAI,KAAK,aAAa;oBAAE,OAAO;gBAE7D,MAAM,CAAC,UAAU,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;gBAChE,IACE,CAAC,UAAU,CAAC,YAAY;oBACxB,UAAU,CAAC,YAAY,CAAC,IAAI,KAAK,eAAe,EAChD,CAAC;oBACD,OAAO;gBACT,CAAC;gBACD,MAAM,CAAC,eAAe,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CACzD,eAAe,CAChB,CAAC;YACJ,CAAC;oBAAS,CAAC;gBACT,OAAO,CAAC,OAAO,EAAE,CAAC;YACpB,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,kFAAkF,EAAE,GAAG,EAAE;YAC1F,MAAM,OAAO,GAAG,2BAA2B,CACzC;gBACE,cAAc,EAAE;oBACd,yDAAyD;oBACzD,oBAAoB;oBACpB,kDAAkD;oBAClD,sDAAsD;oBACtD,8FAA8F;oBAC9F,oBAAoB;oBACpB,KAAK;oBACL,GAAG;iBACJ,CAAC,IAAI,CAAC,IAAI,CAAC;aACb,EACD,cAAc,CACf,CAAC;YAEF,IAAI,CAAC;gBACH,MAAM,MAAM,GAAG,aAAa,CAC1B,OAAO,CAAC,UAAU,EAClB,OAAO,CAAC,WAAW,EACnB,OAAO,CAAC,OAAO,EACf,OAAO,CAAC,GAAG,CACZ,CAAC;gBAEF,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBACjC,IAAI,CAAC,MAAM,CAAC,EAAE;oBAAE,OAAO;gBAEvB,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CACrC,CAAC,IAAI,EAA8B,EAAE,CACnC,IAAI,CAAC,IAAI,KAAK,kBAAkB,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,CAC1D,CAAC;gBACF,MAAM,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;gBACzC,IAAI,CAAC,QAAQ;oBAAE,OAAO;gBAEtB,MAAM,UAAU,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,CACtC,CAAC,MAAM,EAAiC,EAAE,CACxC,MAAM,CAAC,IAAI,KAAK,mBAAmB,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,CAChE,CAAC;gBACF,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;gBAC3C,IAAI,CAAC,UAAU,IAAI,CAAC,UAAU,CAAC,IAAI;oBAAE,OAAO;gBAE5C,MAAM,UAAU,GAAG,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAChD,CAAC,IAAI,EAAiC,EAAE,CACtC,IAAI,CAAC,IAAI,KAAK,qBAAqB;oBACnC,IAAI,CAAC,YAAY,CAAC,IAAI,CACpB,CAAC,IAAI,EAAE,EAAE,CACP,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,mBAAmB;wBACtC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,CAC9B,CACJ,CAAC;gBACF,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;gBAC3C,IAAI,CAAC,UAAU;oBAAE,OAAO;gBAExB,MAAM,IAAI,GAAG,UAAU,CAAC,YAAY,CAAC,IAAI,CACvC,CAAC,SAAS,EAAE,EAAE,CACZ,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,mBAAmB;oBAC3C,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,CACnC,CAAC;gBACF,MAAM,CAAC,IAAI,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;gBACxD,IAAI,CAAC,IAAI,EAAE,WAAW,IAAI,IAAI,CAAC,WAAW,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;oBAClE,OAAO;gBACT,CAAC;gBAED,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC;gBACvE,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAC5D,gBAAgB,CACjB,CAAC;YACJ,CAAC;oBAAS,CAAC;gBACT,OAAO,CAAC,OAAO,EAAE,CAAC;YACpB,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mFAAmF,EAAE,GAAG,EAAE;YAC3F,MAAM,OAAO,GAAG,2BAA2B,CACzC;gBACE,cAAc,EAAE;oBACd,yDAAyD;oBACzD,oBAAoB;oBACpB,kDAAkD;oBAClD,sDAAsD;oBACtD,8FAA8F;oBAC9F,oBAAoB;oBACpB,KAAK;oBACL,GAAG;iBACJ,CAAC,IAAI,CAAC,IAAI,CAAC;aACb,EACD,cAAc,CACf,CAAC;YAEF,IAAI,CAAC;gBACH,MAAM,MAAM,GAAG,aAAa,CAC1B,OAAO,CAAC,UAAU,EAClB,OAAO,CAAC,WAAW,EACnB,OAAO,CAAC,OAAO,EACf,OAAO,CAAC,GAAG,CACZ,CAAC;gBAEF,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBACjC,IAAI,CAAC,MAAM,CAAC,EAAE;oBAAE,OAAO;gBAEvB,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CACrC,CAAC,IAAI,EAA8B,EAAE,CACnC,IAAI,CAAC,IAAI,KAAK,kBAAkB,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,CAC1D,CAAC;gBACF,MAAM,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;gBACzC,IAAI,CAAC,QAAQ;oBAAE,OAAO;gBAEtB,MAAM,UAAU,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,CACtC,CAAC,MAAM,EAAiC,EAAE,CACxC,MAAM,CAAC,IAAI,KAAK,mBAAmB,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,CAChE,CAAC;gBACF,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;gBAC3C,IAAI,CAAC,UAAU,IAAI,CAAC,UAAU,CAAC,IAAI;oBAAE,OAAO;gBAE5C,MAAM,UAAU,GAAG,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAChD,CAAC,IAAI,EAAiC,EAAE,CACtC,IAAI,CAAC,IAAI,KAAK,qBAAqB;oBACnC,IAAI,CAAC,YAAY,CAAC,IAAI,CACpB,CAAC,IAAI,EAAE,EAAE,CACP,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,mBAAmB;wBACtC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,CAC9B,CACJ,CAAC;gBACF,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;gBAC3C,IAAI,CAAC,UAAU;oBAAE,OAAO;gBAExB,MAAM,IAAI,GAAG,UAAU,CAAC,YAAY,CAAC,IAAI,CACvC,CAAC,SAAS,EAAE,EAAE,CACZ,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,mBAAmB;oBAC3C,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,CACnC,CAAC;gBACF,MAAM,CAAC,IAAI,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;gBACxD,IAAI,CAAC,IAAI,EAAE,WAAW,IAAI,IAAI,CAAC,WAAW,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;oBAClE,OAAO;gBACT,CAAC;gBAED,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC;gBACvE,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAC3D,gBAAgB,CACjB,CAAC;YACJ,CAAC;oBAAS,CAAC;gBACT,OAAO,CAAC,OAAO,EAAE,CAAC;YACpB,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,yEAAyE,EAAE,GAAG,EAAE;YACjF,MAAM,OAAO,GAAG,2BAA2B,CACzC;gBACE,cAAc,EAAE;oBACd,uDAAuD;oBACvD,8DAA8D;oBAC9D,+BAA+B;oBAC/B,+EAA+E;oBAC/E,mCAAmC;oBACnC,KAAK;oBACL,iBAAiB;oBACjB,GAAG;iBACJ,CAAC,IAAI,CAAC,IAAI,CAAC;aACb,EACD,cAAc,CACf,CAAC;YAEF,IAAI,CAAC;gBACH,MAAM,MAAM,GAAG,aAAa,CAC1B,OAAO,CAAC,UAAU,EAClB,OAAO,CAAC,WAAW,EACnB,OAAO,CAAC,OAAO,EACf,OAAO,CAAC,GAAG,CACZ,CAAC;gBAEF,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBACjC,IAAI,CAAC,MAAM,CAAC,EAAE;oBAAE,OAAO;gBAEvB,MAAM,SAAS,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CACtC,CAAC,IAAI,EAAiC,EAAE,CACtC,IAAI,CAAC,IAAI,KAAK,qBAAqB,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,CACjE,CAAC;gBACF,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;gBAC1C,IAAI,CAAC,SAAS;oBAAE,OAAO;gBAEvB,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAC3C,CACE,IAAI,EAIJ,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,aAAa,CACjC,CAAC;gBACF,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;gBACnD,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,SAAS,CAAC,IAAI,KAAK,SAAS;oBAAE,OAAO;gBAE3D,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;gBACvD,IAAI,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ;oBAAE,OAAO;gBAErD,MAAM,MAAM,GAAG,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC;gBAC3C,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;gBAC7C,IAAI,MAAM,CAAC,IAAI,KAAK,cAAc;oBAAE,OAAO;gBAE3C,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;gBACnE,IAAI,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,IAAI,KAAK,eAAe;oBAAE,OAAO;gBACjE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;YAC7D,CAAC;oBAAS,CAAC;gBACT,OAAO,CAAC,OAAO,EAAE,CAAC;YACpB,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,4GAA4G,EAAE,GAAG,EAAE;YACpH,MAAM,OAAO,GAAG,2BAA2B,CACzC;gBACE,cAAc,EAAE;oBACd,gDAAgD;oBAChD,2EAA2E;oBAC3E,4EAA4E;oBAC5E,iBAAiB;oBACjB,4EAA4E;oBAC5E,yGAAyG;oBACzG,GAAG;oBACH,8FAA8F;oBAC9F,sDAAsD;oBACtD,cAAc;oBACd,qBAAqB;oBACrB,GAAG;iBACJ,CAAC,IAAI,CAAC,IAAI,CAAC;aACb,EACD,cAAc,CACf,CAAC;YAEF,IAAI,CAAC;gBACH,MAAM,MAAM,GAAG,aAAa,CAC1B,OAAO,CAAC,UAAU,EAClB,OAAO,CAAC,WAAW,EACnB,OAAO,CAAC,OAAO,EACf,OAAO,CAAC,GAAG,CACZ,CAAC;gBAEF,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBACjC,IAAI,CAAC,MAAM,CAAC,EAAE;oBAAE,OAAO;gBAEvB,MAAM,SAAS,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CACtC,CAAC,IAAI,EAAiC,EAAE,CACtC,IAAI,CAAC,IAAI,KAAK,qBAAqB,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,CACjE,CAAC;gBACF,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;gBAC1C,IAAI,CAAC,SAAS;oBAAE,OAAO;gBAEvB,MAAM,aAAa,GAAG,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAClD,CAAC,IAAI,EAAiC,EAAE,CACtC,IAAI,CAAC,IAAI,KAAK,qBAAqB;oBACnC,IAAI,CAAC,YAAY,CAAC,IAAI,CACpB,CAAC,IAAI,EAAE,EAAE,CACP,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,mBAAmB;wBACtC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,WAAW,CACjC,CACJ,CAAC;gBACF,MAAM,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;gBAC9C,IAAI,CAAC,aAAa;oBAAE,OAAO;gBAE3B,MAAM,aAAa,GAAG,aAAa,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC;gBACjE,MAAM,CAAC,aAAa,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;gBACpD,IAAI,CAAC,aAAa,IAAI,aAAa,CAAC,IAAI,KAAK,aAAa;oBAAE,OAAO;gBAEnE,MAAM,CAAC,aAAa,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;gBACnE,IAAI,aAAa,CAAC,YAAY,EAAE,IAAI,KAAK,eAAe;oBAAE,OAAO;gBACjE,MAAM,CAAC,aAAa,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;gBAC7D,MAAM,CAAC,aAAa,CAAC,YAAY,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;YACzE,CAAC;oBAAS,CAAC;gBACT,OAAO,CAAC,OAAO,EAAE,CAAC;YACpB,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/ir/builder-cases/contextual-typing-middleware.test.d.ts

@@ -0,0 +1,5 @@
+/**
+ * IR Builder tests: Contextual typing for callable interfaces and recursive middleware
+ */
+export {};
+//# sourceMappingURL=contextual-typing-middleware.test.d.ts.map