@tsonic/emitter 0.0.74 → 0.0.75

package/dist/core/semantic/runtime-union-ordering.js

@@ -0,0 +1,114 @@
+import { resolveLocalTypeInfo, resolveTypeAlias } from "./type-resolution.js";
+import { UNKNOWN_TYPE } from "./runtime-union-shared.js";
+import { tryContextualTypeIdentityKey } from "./deterministic-type-keys.js";
+const toRuntimeOrderingComparableType = (type) => {
+    if (type.kind === "literalType") {
+        if (typeof type.value === "string") {
+            return { kind: "primitiveType", name: "string" };
+        }
+        if (typeof type.value === "number") {
+            return { kind: "primitiveType", name: "number" };
+        }
+        if (typeof type.value === "boolean") {
+            return { kind: "primitiveType", name: "boolean" };
+        }
+    }
+    if (type.kind === "unionType") {
+        return {
+            ...type,
+            types: type.types.map((member) => toRuntimeOrderingComparableType(member)),
+        };
+    }
+    return type;
+};
+const toRuntimeOrderingTypeKey = (type, context) => tryContextualTypeIdentityKey(toRuntimeOrderingComparableType(type), context);
+const buildRuntimeOrderingMemberKey = (member, context) => {
+    if (member.kind === "propertySignature") {
+        const typeKey = toRuntimeOrderingTypeKey(member.type, context);
+        return typeKey
+            ? `prop:${member.name}:${member.isOptional ? "opt" : "req"}:${member.isReadonly ? "ro" : "rw"}:${typeKey}`
+            : undefined;
+    }
+    const parameters = [];
+    for (const parameter of member.parameters) {
+        const parameterKey = toRuntimeOrderingTypeKey(parameter.type ?? UNKNOWN_TYPE, context);
+        if (!parameterKey) {
+            return undefined;
+        }
+        parameters.push(parameterKey);
+    }
+    const returnKey = toRuntimeOrderingTypeKey(member.returnType ?? UNKNOWN_TYPE, context);
+    return returnKey
+        ? `method:${member.name}:${parameters.join(",")}:${member.parameters.length}:${returnKey}`
+        : undefined;
+};
+const buildRuntimeOrderingMemberSignature = (members, context) => {
+    const keys = [];
+    for (const member of members) {
+        const key = buildRuntimeOrderingMemberKey(member, context);
+        if (!key) {
+            return undefined;
+        }
+        keys.push(key);
+    }
+    return keys.sort().join("|");
+};
+const buildRuntimeOrderingStructuralKey = (type, context) => {
+    const resolved = resolveTypeAlias(type, context);
+    if (resolved.kind === "objectType") {
+        return buildRuntimeOrderingMemberSignature(resolved.members, context);
+    }
+    if (resolved.kind !== "referenceType") {
+        return undefined;
+    }
+    if (resolved.structuralMembers && resolved.structuralMembers.length > 0) {
+        return buildRuntimeOrderingMemberSignature(resolved.structuralMembers, context);
+    }
+    const localInfo = resolveLocalTypeInfo(resolved, context)?.info;
+    if (!localInfo) {
+        return undefined;
+    }
+    if (localInfo.kind === "typeAlias" && localInfo.type.kind === "objectType") {
+        return buildRuntimeOrderingMemberSignature(localInfo.type.members, context);
+    }
+    if (localInfo.kind !== "class" && localInfo.kind !== "interface") {
+        return undefined;
+    }
+    const members = localInfo.members.flatMap((member) => {
+        if (member.kind === "propertyDeclaration" && member.type) {
+            return [
+                {
+                    kind: "propertySignature",
+                    name: member.name,
+                    type: member.type,
+                    isOptional: false,
+                    isReadonly: member.isReadonly ?? false,
+                },
+            ];
+        }
+        if (member.kind === "propertySignature") {
+            return [member];
+        }
+        if (member.kind === "methodDeclaration") {
+            return [
+                {
+                    kind: "methodSignature",
+                    name: member.name,
+                    parameters: member.parameters,
+                    returnType: member.returnType ?? UNKNOWN_TYPE,
+                },
+            ];
+        }
+        if (member.kind === "methodSignature") {
+            return [member];
+        }
+        return [];
+    });
+    return members.length > 0
+        ? buildRuntimeOrderingMemberSignature(members, context)
+        : undefined;
+};
+export const getRuntimeUnionMemberSortKey = (type, context) => buildRuntimeOrderingStructuralKey(type, context) ??
+    toRuntimeOrderingTypeKey(resolveTypeAlias(type, context), context) ??
+    "opaque";
+//# sourceMappingURL=runtime-union-ordering.js.map

package/dist/core/semantic/runtime-union-ordering.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime-union-ordering.js","sourceRoot":"","sources":["../../../src/core/semantic/runtime-union-ordering.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AAC9E,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,4BAA4B,EAAE,MAAM,8BAA8B,CAAC;AAE5E,MAAM,+BAA+B,GAAG,CAAC,IAAY,EAAU,EAAE;IAC/D,IAAI,IAAI,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QAChC,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;YACnC,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QACnD,CAAC;QACD,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;YACnC,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QACnD,CAAC;QACD,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YACpC,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QACpD,CAAC;IACH,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,OAAO;YACL,GAAG,IAAI;YACP,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAC/B,+BAA+B,CAAC,MAAM,CAAC,CACxC;SACF,CAAC;IACJ,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,MAAM,wBAAwB,GAAG,CAC/B,IAAY,EACZ,OAAuB,EACH,EAAE,CACtB,4BAA4B,CAAC,+BAA+B,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;AAE/E,MAAM,6BAA6B,GAAG,CACpC,MAAyB,EACzB,OAAuB,EACH,EAAE;IACtB,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;QACxC,MAAM,OAAO,GAAG,wBAAwB,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC/D,OAAO,OAAO;YACZ,CAAC,CAAC,QAAQ,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,IACtD,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAC7B,IAAI,OAAO,EAAE;YACf,CAAC,CAAC,SAAS,CAAC;IAChB,CAAC;IAED,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QAC1C,MAAM,YAAY,GAAG,wBAAwB,CAC3C,SAAS,CAAC,IAAI,IAAI,YAAY,EAC9B,OAAO,CACR,CAAC;QACF,IAAI,CAAC,YAAY,EAAE,CAAC;YAClB,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,UAAU,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IAChC,CAAC;IACD,MAAM,SAAS,GAAG,wBAAwB,CACxC,MAAM,CAAC,UAAU,IAAI,YAAY,EACjC,OAAO,CACR,CAAC;IACF,OAAO,SAAS;QACd,CAAC,CAAC,UAAU,MAAM,CAAC,IAAI,IAAI,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,UAAU,CAAC,MAAM,IAAI,SAAS,EAAE;QAC1F,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC,CAAC;AAEF,MAAM,mCAAmC,GAAG,CAC1C,OAAqC,EACrC,OAAuB,EACH,EAAE;IACtB,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,GAAG,GAAG,6BAA6B,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QAC3D,IAAI,CAAC,GAAG,EAAE,CAAC;YACT,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACjB,CAAC;IAED,OAAO,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAC/B,CAAC,CAAC;AAEF,MAAM,iCAAiC,GAAG,CACxC,IAAY,EACZ,OAAuB,EACH,EAAE;IACtB,MAAM,QAAQ,GAAG,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAEjD,IAAI,QAAQ,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACnC,OAAO,mCAAmC,CAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IACxE,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACtC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,QAAQ,CAAC,iBAAiB,IAAI,QAAQ,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxE,OAAO,mCAAmC,CACxC,QAAQ,CAAC,iBAAiB,EAC1B,OAAO,CACR,CAAC;IACJ,CAAC;IAED,MAAM,SAAS,GAAG,oBAAoB,CAAC,QAAQ,EAAE,OAAO,CAAC,EAAE,IAAI,CAAC;IAChE,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,SAAS,CAAC,IAAI,KAAK,WAAW,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAC3E,OAAO,mCAAmC,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAC9E,CAAC;IAED,IAAI,SAAS,CAAC,IAAI,KAAK,OAAO,IAAI,SAAS,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACjE,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,OAAO,GAAG,SAAS,CAAC,OAAO,CAAC,OAAO,CAEvC,CAAC,MAAM,EAAE,EAAE;QACX,IAAI,MAAM,CAAC,IAAI,KAAK,qBAAqB,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;YACzD,OAAO;gBACL;oBACE,IAAI,EAAE,mBAA4B;oBAClC,IAAI,EAAE,MAAM,CAAC,IAAI;oBACjB,IAAI,EAAE,MAAM,CAAC,IAAI;oBACjB,UAAU,EAAE,KAAK;oBACjB,UAAU,EAAE,MAAM,CAAC,UAAU,IAAI,KAAK;iBACvC;aACF,CAAC;QACJ,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;YACxC,OAAO,CAAC,MAAM,CAAC,CAAC;QAClB,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;YACxC,OAAO;gBACL;oBACE,IAAI,EAAE,iBAA0B;oBAChC,IAAI,EAAE,MAAM,CAAC,IAAI;oBACjB,UAAU,EAAE,MAAM,CAAC,UAAU;oBAC7B,UAAU,EAAE,MAAM,CAAC,UAAU,IAAI,YAAY;iBAC9C;aACF,CAAC;QACJ,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;YACtC,OAAO,CAAC,MAAM,CAAC,CAAC;QAClB,CAAC;QACD,OAAO,EAAE,CAAC;IACZ,CAAC,CAAC,CAAC;IAEH,OAAO,OAAO,CAAC,MAAM,GAAG,CAAC;QACvB,CAAC,CAAC,mCAAmC,CAAC,OAAO,EAAE,OAAO,CAAC;QACvD,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC1C,IAAY,EACZ,OAAuB,EACf,EAAE,CACV,iCAAiC,CAAC,IAAI,EAAE,OAAO,CAAC;IAChD,wBAAwB,CAAC,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,OAAO,CAAC;IAClE,QAAQ,CAAC"}

package/dist/core/semantic/runtime-union-projection.d.ts

@@ -0,0 +1,40 @@
+import type { IrType } from "@tsonic/frontend";
+import type { EmitterContext } from "../../types.js";
+import type { CSharpExpressionAst, CSharpTypeAst } from "../format/backend-ast/types.js";
+import { buildRuntimeUnionTypeAst, type RuntimeUnionLayout } from "./runtime-unions.js";
+type RuntimeUnionProjectionBodyResult = CSharpExpressionAst | readonly [CSharpExpressionAst, EmitterContext] | undefined;
+export declare const buildRuntimeUnionFactoryCallAst: (unionTypeAst: ReturnType<typeof buildRuntimeUnionTypeAst>, memberIndex: number, valueAst: CSharpExpressionAst) => CSharpExpressionAst;
+export declare const buildRuntimeUnionMatchAst: (valueAst: CSharpExpressionAst, lambdaArgs: readonly CSharpExpressionAst[], typeArguments?: readonly CSharpTypeAst[]) => CSharpExpressionAst;
+export declare const buildInvalidRuntimeUnionCastExpression: (actualType: IrType, expectedType: IrType, context?: EmitterContext) => CSharpExpressionAst;
+export declare const buildInvalidRuntimeUnionMaterializationExpression: (sourceType: IrType, targetType: IrType) => CSharpExpressionAst;
+export declare const tryBuildRuntimeUnionProjectionToLayoutAst: (opts: {
+    readonly valueAst: CSharpExpressionAst;
+    readonly sourceLayout: RuntimeUnionLayout;
+    readonly targetLayout: RuntimeUnionLayout;
+    readonly context: EmitterContext;
+    readonly candidateMemberNs?: readonly number[];
+    readonly selectedSourceMemberNs?: ReadonlySet<number>;
+    readonly buildMappedMemberValue: (args: {
+        readonly actualMember: IrType;
+        readonly actualMemberTypeAst: RuntimeUnionLayout["memberTypeAsts"][number];
+        readonly parameterExpr: CSharpExpressionAst;
+        readonly targetMember: IrType;
+        readonly targetMemberTypeAst: RuntimeUnionLayout["memberTypeAsts"][number];
+        readonly sourceMemberN: number;
+        readonly targetMemberIndex: number;
+        readonly context: EmitterContext;
+    }) => [CSharpExpressionAst, EmitterContext] | undefined;
+    readonly buildExcludedMemberBody?: (args: {
+        readonly actualMember: IrType;
+        readonly sourceMemberN: number;
+        readonly context: EmitterContext;
+    }) => CSharpExpressionAst | undefined;
+    readonly buildUnmappedMemberBody?: (args: {
+        readonly actualMember: IrType;
+        readonly parameterExpr: CSharpExpressionAst;
+        readonly sourceMemberN: number;
+        readonly context: EmitterContext;
+    }) => RuntimeUnionProjectionBodyResult;
+}) => [CSharpExpressionAst, EmitterContext] | undefined;
+export {};
+//# sourceMappingURL=runtime-union-projection.d.ts.map

package/dist/core/semantic/runtime-union-projection.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime-union-projection.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/runtime-union-projection.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAMrD,OAAO,KAAK,EACV,mBAAmB,EACnB,aAAa,EACd,MAAM,gCAAgC,CAAC;AACxC,OAAO,EACL,wBAAwB,EACxB,KAAK,kBAAkB,EACxB,MAAM,qBAAqB,CAAC;AAQ7B,KAAK,gCAAgC,GACjC,mBAAmB,GACnB,SAAS,CAAC,mBAAmB,EAAE,cAAc,CAAC,GAC9C,SAAS,CAAC;AAkBd,eAAO,MAAM,+BAA+B,GAC1C,cAAc,UAAU,CAAC,OAAO,wBAAwB,CAAC,EACzD,aAAa,MAAM,EACnB,UAAU,mBAAmB,KAC5B,mBAWD,CAAC;AAEH,eAAO,MAAM,yBAAyB,GACpC,UAAU,mBAAmB,EAC7B,YAAY,SAAS,mBAAmB,EAAE,EAC1C,gBAAgB,SAAS,aAAa,EAAE,KACvC,mBAcD,CAAC;AAEH,eAAO,MAAM,sCAAsC,GACjD,YAAY,MAAM,EAClB,cAAc,MAAM,EACpB,UAAU,cAAc,KACvB,mBAgBD,CAAC;AAEH,eAAO,MAAM,iDAAiD,GAC5D,YAAY,MAAM,EAClB,YAAY,MAAM,KACjB,mBAWD,CAAC;AAEH,eAAO,MAAM,yCAAyC,GAAI,MAAM;IAC9D,QAAQ,CAAC,QAAQ,EAAE,mBAAmB,CAAC;IACvC,QAAQ,CAAC,YAAY,EAAE,kBAAkB,CAAC;IAC1C,QAAQ,CAAC,YAAY,EAAE,kBAAkB,CAAC;IAC1C,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC;IACjC,QAAQ,CAAC,iBAAiB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/C,QAAQ,CAAC,sBAAsB,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACtD,QAAQ,CAAC,sBAAsB,EAAE,CAAC,IAAI,EAAE;QACtC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;QAC9B,QAAQ,CAAC,mBAAmB,EAAE,kBAAkB,CAAC,gBAAgB,CAAC,CAAC,MAAM,CAAC,CAAC;QAC3E,QAAQ,CAAC,aAAa,EAAE,mBAAmB,CAAC;QAC5C,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;QAC9B,QAAQ,CAAC,mBAAmB,EAAE,kBAAkB,CAAC,gBAAgB,CAAC,CAAC,MAAM,CAAC,CAAC;QAC3E,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;QAC/B,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;QACnC,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC;KAClC,KAAK,CAAC,mBAAmB,EAAE,cAAc,CAAC,GAAG,SAAS,CAAC;IACxD,QAAQ,CAAC,uBAAuB,CAAC,EAAE,CAAC,IAAI,EAAE;QACxC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;QAC9B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;QAC/B,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC;KAClC,KAAK,mBAAmB,GAAG,SAAS,CAAC;IACtC,QAAQ,CAAC,uBAAuB,CAAC,EAAE,CAAC,IAAI,EAAE;QACxC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;QAC9B,QAAQ,CAAC,aAAa,EAAE,mBAAmB,CAAC;QAC5C,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;QAC/B,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC;KAClC,KAAK,gCAAgC,CAAC;CACxC,KAAG,CAAC,mBAAmB,EAAE,cAAc,CAAC,GAAG,SA0G3C,CAAC"}

package/dist/core/semantic/runtime-union-projection.js

@@ -0,0 +1,150 @@
+import { identifierExpression, identifierType, stringLiteral, } from "../format/backend-ast/builders.js";
+import { buildRuntimeUnionTypeAst, } from "./runtime-unions.js";
+import { stripNullableTypeAst } from "../format/backend-ast/utils.js";
+import { buildRuntimeUnionMemberIndexByAstKey, findMappedRuntimeUnionMemberIndex, } from "./runtime-union-member-mapping.js";
+import { describeIrTypeForDiagnostics } from "./deterministic-type-keys.js";
+const isRuntimeUnionMemberProjectionAst = (valueAst) => {
+    let target = valueAst;
+    while (target.kind === "parenthesizedExpression") {
+        target = target.expression;
+    }
+    return (target.kind === "invocationExpression" &&
+        target.arguments.length === 0 &&
+        target.expression.kind === "memberAccessExpression" &&
+        /^As\d+$/.test(target.expression.memberName));
+};
+export const buildRuntimeUnionFactoryCallAst = (unionTypeAst, memberIndex, valueAst) => ({
+    kind: "invocationExpression",
+    expression: {
+        kind: "memberAccessExpression",
+        expression: {
+            kind: "typeReferenceExpression",
+            type: stripNullableTypeAst(unionTypeAst),
+        },
+        memberName: `From${memberIndex}`,
+    },
+    arguments: [valueAst],
+});
+export const buildRuntimeUnionMatchAst = (valueAst, lambdaArgs, typeArguments) => ({
+    kind: "invocationExpression",
+    expression: {
+        kind: "memberAccessExpression",
+        expression: isRuntimeUnionMemberProjectionAst(valueAst)
+            ? {
+                kind: "parenthesizedExpression",
+                expression: valueAst,
+            }
+            : valueAst,
+        memberName: "Match",
+    },
+    ...(typeArguments && typeArguments.length > 0 ? { typeArguments } : {}),
+    arguments: [...lambdaArgs],
+});
+export const buildInvalidRuntimeUnionCastExpression = (actualType, expectedType, context) => ({
+    kind: "throwExpression",
+    expression: {
+        kind: "objectCreationExpression",
+        type: identifierType("global::System.InvalidCastException"),
+        arguments: [
+            stringLiteral(context
+                ? `Cannot cast runtime union ${describeIrTypeForDiagnostics(actualType, context)} to ${describeIrTypeForDiagnostics(expectedType, context)}`
+                : `Cannot cast runtime union ${actualType.kind} to ${expectedType.kind}`),
+        ],
+    },
+});
+export const buildInvalidRuntimeUnionMaterializationExpression = (sourceType, targetType) => ({
+    kind: "throwExpression",
+    expression: {
+        kind: "objectCreationExpression",
+        type: identifierType("global::System.InvalidCastException"),
+        arguments: [
+            stringLiteral(`Cannot materialize runtime union ${sourceType.kind} to ${targetType.kind}`),
+        ],
+    },
+});
+export const tryBuildRuntimeUnionProjectionToLayoutAst = (opts) => {
+    const targetUnionTypeAst = buildRuntimeUnionTypeAst(opts.targetLayout);
+    const targetMemberIndexByAstKey = buildRuntimeUnionMemberIndexByAstKey(opts.targetLayout.memberTypeAsts);
+    const lambdaArgs = [];
+    let currentContext = opts.context;
+    for (let index = 0; index < opts.sourceLayout.members.length; index += 1) {
+        const actualMember = opts.sourceLayout.members[index];
+        const actualMemberTypeAst = opts.sourceLayout.memberTypeAsts[index];
+        if (!actualMember || !actualMemberTypeAst) {
+            continue;
+        }
+        const sourceMemberN = opts.candidateMemberNs?.[index] ?? index + 1;
+        const parameterName = `__tsonic_union_member_${index + 1}`;
+        const parameterExpr = identifierExpression(parameterName);
+        const pushLambda = (body) => {
+            lambdaArgs.push({
+                kind: "lambdaExpression",
+                isAsync: false,
+                parameters: [{ name: parameterName }],
+                body,
+            });
+        };
+        if (opts.selectedSourceMemberNs &&
+            !opts.selectedSourceMemberNs.has(sourceMemberN)) {
+            const excludedBody = opts.buildExcludedMemberBody?.({
+                actualMember,
+                sourceMemberN,
+                context: currentContext,
+            });
+            if (!excludedBody) {
+                return undefined;
+            }
+            pushLambda(excludedBody);
+            continue;
+        }
+        const targetMemberIndex = findMappedRuntimeUnionMemberIndex({
+            targetMembers: opts.targetLayout.members,
+            targetMemberIndexByAstKey,
+            actualMember,
+            actualMemberTypeAst,
+            context: currentContext,
+        });
+        if (targetMemberIndex === undefined) {
+            const unmappedBodyResult = opts.buildUnmappedMemberBody?.({
+                actualMember,
+                parameterExpr,
+                sourceMemberN,
+                context: currentContext,
+            });
+            const [unmappedBody, unmappedContext] = Array.isArray(unmappedBodyResult)
+                ? unmappedBodyResult
+                : [unmappedBodyResult, currentContext];
+            if (!unmappedBody) {
+                return undefined;
+            }
+            currentContext = unmappedContext;
+            pushLambda(unmappedBody);
+            continue;
+        }
+        const targetMember = opts.targetLayout.members[targetMemberIndex];
+        const targetMemberTypeAst = opts.targetLayout.memberTypeAsts[targetMemberIndex];
+        if (!targetMember || !targetMemberTypeAst) {
+            return undefined;
+        }
+        const mappedValue = opts.buildMappedMemberValue({
+            actualMember,
+            actualMemberTypeAst,
+            parameterExpr,
+            targetMember,
+            targetMemberTypeAst,
+            sourceMemberN,
+            targetMemberIndex,
+            context: currentContext,
+        });
+        if (!mappedValue) {
+            return undefined;
+        }
+        pushLambda(buildRuntimeUnionFactoryCallAst(targetUnionTypeAst, targetMemberIndex + 1, mappedValue[0]));
+        currentContext = mappedValue[1];
+    }
+    return [
+        buildRuntimeUnionMatchAst(opts.valueAst, lambdaArgs, [targetUnionTypeAst]),
+        currentContext,
+    ];
+};
+//# sourceMappingURL=runtime-union-projection.js.map

package/dist/core/semantic/runtime-union-projection.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime-union-projection.js","sourceRoot":"","sources":["../../../src/core/semantic/runtime-union-projection.ts"],"names":[],"mappings":"AAEA,OAAO,EACL,oBAAoB,EACpB,cAAc,EACd,aAAa,GACd,MAAM,mCAAmC,CAAC;AAK3C,OAAO,EACL,wBAAwB,GAEzB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,oBAAoB,EAAE,MAAM,gCAAgC,CAAC;AACtE,OAAO,EACL,oCAAoC,EACpC,iCAAiC,GAClC,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EAAE,4BAA4B,EAAE,MAAM,8BAA8B,CAAC;AAO5E,MAAM,iCAAiC,GAAG,CACxC,QAA6B,EACpB,EAAE;IACX,IAAI,MAAM,GAAG,QAAQ,CAAC;IACtB,OAAO,MAAM,CAAC,IAAI,KAAK,yBAAyB,EAAE,CAAC;QACjD,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC;IAC7B,CAAC;IAED,OAAO,CACL,MAAM,CAAC,IAAI,KAAK,sBAAsB;QACtC,MAAM,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;QAC7B,MAAM,CAAC,UAAU,CAAC,IAAI,KAAK,wBAAwB;QACnD,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC,CAC7C,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAC7C,YAAyD,EACzD,WAAmB,EACnB,QAA6B,EACR,EAAE,CAAC,CAAC;IACzB,IAAI,EAAE,sBAAsB;IAC5B,UAAU,EAAE;QACV,IAAI,EAAE,wBAAwB;QAC9B,UAAU,EAAE;YACV,IAAI,EAAE,yBAAyB;YAC/B,IAAI,EAAE,oBAAoB,CAAC,YAAY,CAAC;SACzC;QACD,UAAU,EAAE,OAAO,WAAW,EAAE;KACjC;IACD,SAAS,EAAE,CAAC,QAAQ,CAAC;CACtB,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,QAA6B,EAC7B,UAA0C,EAC1C,aAAwC,EACnB,EAAE,CAAC,CAAC;IACzB,IAAI,EAAE,sBAAsB;IAC5B,UAAU,EAAE;QACV,IAAI,EAAE,wBAAwB;QAC9B,UAAU,EAAE,iCAAiC,CAAC,QAAQ,CAAC;YACrD,CAAC,CAAC;gBACE,IAAI,EAAE,yBAAyB;gBAC/B,UAAU,EAAE,QAAQ;aACrB;YACH,CAAC,CAAC,QAAQ;QACZ,UAAU,EAAE,OAAO;KACpB;IACD,GAAG,CAAC,aAAa,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACvE,SAAS,EAAE,CAAC,GAAG,UAAU,CAAC;CAC3B,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,sCAAsC,GAAG,CACpD,UAAkB,EAClB,YAAoB,EACpB,OAAwB,EACH,EAAE,CAAC,CAAC;IACzB,IAAI,EAAE,iBAAiB;IACvB,UAAU,EAAE;QACV,IAAI,EAAE,0BAA0B;QAChC,IAAI,EAAE,cAAc,CAAC,qCAAqC,CAAC;QAC3D,SAAS,EAAE;YACT,aAAa,CACX,OAAO;gBACL,CAAC,CAAC,6BAA6B,4BAA4B,CACvD,UAAU,EACV,OAAO,CACR,OAAO,4BAA4B,CAAC,YAAY,EAAE,OAAO,CAAC,EAAE;gBAC/D,CAAC,CAAC,6BAA6B,UAAU,CAAC,IAAI,OAAO,YAAY,CAAC,IAAI,EAAE,CAC3E;SACF;KACF;CACF,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,iDAAiD,GAAG,CAC/D,UAAkB,EAClB,UAAkB,EACG,EAAE,CAAC,CAAC;IACzB,IAAI,EAAE,iBAAiB;IACvB,UAAU,EAAE;QACV,IAAI,EAAE,0BAA0B;QAChC,IAAI,EAAE,cAAc,CAAC,qCAAqC,CAAC;QAC3D,SAAS,EAAE;YACT,aAAa,CACX,oCAAoC,UAAU,CAAC,IAAI,OAAO,UAAU,CAAC,IAAI,EAAE,CAC5E;SACF;KACF;CACF,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,yCAAyC,GAAG,CAAC,IA4BzD,EAAqD,EAAE;IACtD,MAAM,kBAAkB,GAAG,wBAAwB,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IACvE,MAAM,yBAAyB,GAAG,oCAAoC,CACpE,IAAI,CAAC,YAAY,CAAC,cAAc,CACjC,CAAC;IAEF,MAAM,UAAU,GAA0B,EAAE,CAAC;IAC7C,IAAI,cAAc,GAAG,IAAI,CAAC,OAAO,CAAC;IAElC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACzE,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACtD,MAAM,mBAAmB,GAAG,IAAI,CAAC,YAAY,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;QACpE,IAAI,CAAC,YAAY,IAAI,CAAC,mBAAmB,EAAE,CAAC;YAC1C,SAAS;QACX,CAAC;QAED,MAAM,aAAa,GAAG,IAAI,CAAC,iBAAiB,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC;QACnE,MAAM,aAAa,GAAG,yBAAyB,KAAK,GAAG,CAAC,EAAE,CAAC;QAC3D,MAAM,aAAa,GAAG,oBAAoB,CAAC,aAAa,CAAC,CAAC;QAE1D,MAAM,UAAU,GAAG,CAAC,IAAyB,EAAQ,EAAE;YACrD,UAAU,CAAC,IAAI,CAAC;gBACd,IAAI,EAAE,kBAAkB;gBACxB,OAAO,EAAE,KAAK;gBACd,UAAU,EAAE,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC;gBACrC,IAAI;aACL,CAAC,CAAC;QACL,CAAC,CAAC;QAEF,IACE,IAAI,CAAC,sBAAsB;YAC3B,CAAC,IAAI,CAAC,sBAAsB,CAAC,GAAG,CAAC,aAAa,CAAC,EAC/C,CAAC;YACD,MAAM,YAAY,GAAG,IAAI,CAAC,uBAAuB,EAAE,CAAC;gBAClD,YAAY;gBACZ,aAAa;gBACb,OAAO,EAAE,cAAc;aACxB,CAAC,CAAC;YACH,IAAI,CAAC,YAAY,EAAE,CAAC;gBAClB,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,UAAU,CAAC,YAAY,CAAC,CAAC;YACzB,SAAS;QACX,CAAC;QAED,MAAM,iBAAiB,GAAG,iCAAiC,CAAC;YAC1D,aAAa,EAAE,IAAI,CAAC,YAAY,CAAC,OAAO;YACxC,yBAAyB;YACzB,YAAY;YACZ,mBAAmB;YACnB,OAAO,EAAE,cAAc;SACxB,CAAC,CAAC;QAEH,IAAI,iBAAiB,KAAK,SAAS,EAAE,CAAC;YACpC,MAAM,kBAAkB,GAAG,IAAI,CAAC,uBAAuB,EAAE,CAAC;gBACxD,YAAY;gBACZ,aAAa;gBACb,aAAa;gBACb,OAAO,EAAE,cAAc;aACxB,CAAC,CAAC;YACH,MAAM,CAAC,YAAY,EAAE,eAAe,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,kBAAkB,CAAC;gBACvE,CAAC,CAAC,kBAAkB;gBACpB,CAAC,CAAC,CAAC,kBAAkB,EAAE,cAAc,CAAC,CAAC;YACzC,IAAI,CAAC,YAAY,EAAE,CAAC;gBAClB,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,cAAc,GAAG,eAAe,CAAC;YACjC,UAAU,CAAC,YAAY,CAAC,CAAC;YACzB,SAAS;QACX,CAAC;QAED,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;QAClE,MAAM,mBAAmB,GACvB,IAAI,CAAC,YAAY,CAAC,cAAc,CAAC,iBAAiB,CAAC,CAAC;QACtD,IAAI,CAAC,YAAY,IAAI,CAAC,mBAAmB,EAAE,CAAC;YAC1C,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,MAAM,WAAW,GAAG,IAAI,CAAC,sBAAsB,CAAC;YAC9C,YAAY;YACZ,mBAAmB;YACnB,aAAa;YACb,YAAY;YACZ,mBAAmB;YACnB,aAAa;YACb,iBAAiB;YACjB,OAAO,EAAE,cAAc;SACxB,CAAC,CAAC;QACH,IAAI,CAAC,WAAW,EAAE,CAAC;YACjB,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,UAAU,CACR,+BAA+B,CAC7B,kBAAkB,EAClB,iBAAiB,GAAG,CAAC,EACrB,WAAW,CAAC,CAAC,CAAC,CACf,CACF,CAAC;QACF,cAAc,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;IAClC,CAAC;IAED,OAAO;QACL,yBAAyB,CAAC,IAAI,CAAC,QAAQ,EAAE,UAAU,EAAE,CAAC,kBAAkB,CAAC,CAAC;QAC1E,cAAc;KACf,CAAC;AACJ,CAAC,CAAC"}

package/dist/core/semantic/runtime-union-projection.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=runtime-union-projection.test.d.ts.map

package/dist/core/semantic/runtime-union-projection.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime-union-projection.test.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/runtime-union-projection.test.ts"],"names":[],"mappings":""}

package/dist/core/semantic/runtime-union-projection.test.js

@@ -0,0 +1,211 @@
+import { describe, it } from "mocha";
+import { expect } from "chai";
+import { createContext } from "../../emitter-types/context.js";
+import { identifierExpression, identifierType, } from "../format/backend-ast/builders.js";
+import { tryBuildRuntimeUnionProjectionToLayoutAst } from "./runtime-union-projection.js";
+import { buildRuntimeUnionCarrierTypeAst } from "../../runtime-union-cases/helpers.js";
+const stringType = { kind: "primitiveType", name: "string" };
+const regexType = {
+    kind: "referenceType",
+    name: "RegExp",
+    resolvedClrType: "global::js.RegExp",
+};
+const objectArrayType = {
+    kind: "arrayType",
+    elementType: { kind: "referenceType", name: "object" },
+};
+describe("runtime-union-projection", () => {
+    it("maps source members onto target union slots by emitted member surface", () => {
+        const context = createContext({ rootNamespace: "Test" });
+        const sourceLayout = {
+            members: [stringType, regexType],
+            memberTypeAsts: [
+                { kind: "predefinedType", keyword: "string" },
+                identifierType("global::js.RegExp"),
+            ],
+            carrierTypeArgumentAsts: [
+                { kind: "predefinedType", keyword: "string" },
+                identifierType("global::js.RegExp"),
+            ],
+            runtimeUnionArity: 2,
+        };
+        const targetLayout = {
+            members: [objectArrayType, stringType, regexType],
+            memberTypeAsts: [
+                { kind: "arrayType", rank: 1, elementType: identifierType("object") },
+                { kind: "predefinedType", keyword: "string" },
+                identifierType("global::js.RegExp"),
+            ],
+            carrierTypeArgumentAsts: [
+                { kind: "arrayType", rank: 1, elementType: identifierType("object") },
+                { kind: "predefinedType", keyword: "string" },
+                identifierType("global::js.RegExp"),
+            ],
+            runtimeUnionArity: 3,
+        };
+        const projected = tryBuildRuntimeUnionProjectionToLayoutAst({
+            valueAst: identifierExpression("value"),
+            sourceLayout,
+            targetLayout,
+            context,
+            buildMappedMemberValue: ({ parameterExpr, context: nextContext }) => [
+                parameterExpr,
+                nextContext,
+            ],
+        });
+        expect(projected?.[0]).to.deep.equal({
+            kind: "invocationExpression",
+            expression: {
+                kind: "memberAccessExpression",
+                expression: identifierExpression("value"),
+                memberName: "Match",
+            },
+            typeArguments: [
+                buildRuntimeUnionCarrierTypeAst([
+                    {
+                        kind: "arrayType",
+                        rank: 1,
+                        elementType: identifierType("object"),
+                    },
+                    { kind: "predefinedType", keyword: "string" },
+                    identifierType("global::js.RegExp"),
+                ]),
+            ],
+            arguments: [
+                {
+                    kind: "lambdaExpression",
+                    isAsync: false,
+                    parameters: [{ name: "__tsonic_union_member_1" }],
+                    body: {
+                        kind: "invocationExpression",
+                        expression: {
+                            kind: "memberAccessExpression",
+                            expression: {
+                                kind: "typeReferenceExpression",
+                                type: buildRuntimeUnionCarrierTypeAst([
+                                    {
+                                        kind: "arrayType",
+                                        rank: 1,
+                                        elementType: identifierType("object"),
+                                    },
+                                    { kind: "predefinedType", keyword: "string" },
+                                    identifierType("global::js.RegExp"),
+                                ]),
+                            },
+                            memberName: "From2",
+                        },
+                        arguments: [identifierExpression("__tsonic_union_member_1")],
+                    },
+                },
+                {
+                    kind: "lambdaExpression",
+                    isAsync: false,
+                    parameters: [{ name: "__tsonic_union_member_2" }],
+                    body: {
+                        kind: "invocationExpression",
+                        expression: {
+                            kind: "memberAccessExpression",
+                            expression: {
+                                kind: "typeReferenceExpression",
+                                type: buildRuntimeUnionCarrierTypeAst([
+                                    {
+                                        kind: "arrayType",
+                                        rank: 1,
+                                        elementType: identifierType("object"),
+                                    },
+                                    { kind: "predefinedType", keyword: "string" },
+                                    identifierType("global::js.RegExp"),
+                                ]),
+                            },
+                            memberName: "From3",
+                        },
+                        arguments: [identifierExpression("__tsonic_union_member_2")],
+                    },
+                },
+            ],
+        });
+    });
+    it("uses excluded-member bodies when a runtime subset filters source slots", () => {
+        const context = createContext({ rootNamespace: "Test" });
+        const sourceLayout = {
+            members: [stringType, regexType],
+            memberTypeAsts: [
+                { kind: "predefinedType", keyword: "string" },
+                identifierType("global::js.RegExp"),
+            ],
+            carrierTypeArgumentAsts: [
+                { kind: "predefinedType", keyword: "string" },
+                identifierType("global::js.RegExp"),
+            ],
+            runtimeUnionArity: 2,
+        };
+        const targetLayout = {
+            members: [stringType, regexType],
+            memberTypeAsts: [
+                { kind: "predefinedType", keyword: "string" },
+                identifierType("global::js.RegExp"),
+            ],
+            carrierTypeArgumentAsts: [
+                { kind: "predefinedType", keyword: "string" },
+                identifierType("global::js.RegExp"),
+            ],
+            runtimeUnionArity: 2,
+        };
+        const projected = tryBuildRuntimeUnionProjectionToLayoutAst({
+            valueAst: identifierExpression("value"),
+            sourceLayout,
+            targetLayout,
+            context,
+            candidateMemberNs: [2, 5],
+            selectedSourceMemberNs: new Set([5]),
+            buildMappedMemberValue: ({ parameterExpr, context: nextContext }) => [
+                parameterExpr,
+                nextContext,
+            ],
+            buildExcludedMemberBody: () => identifierExpression("excluded"),
+        });
+        expect(projected?.[0]).to.deep.equal({
+            kind: "invocationExpression",
+            expression: {
+                kind: "memberAccessExpression",
+                expression: identifierExpression("value"),
+                memberName: "Match",
+            },
+            typeArguments: [
+                buildRuntimeUnionCarrierTypeAst([
+                    { kind: "predefinedType", keyword: "string" },
+                    identifierType("global::js.RegExp"),
+                ]),
+            ],
+            arguments: [
+                {
+                    kind: "lambdaExpression",
+                    isAsync: false,
+                    parameters: [{ name: "__tsonic_union_member_1" }],
+                    body: identifierExpression("excluded"),
+                },
+                {
+                    kind: "lambdaExpression",
+                    isAsync: false,
+                    parameters: [{ name: "__tsonic_union_member_2" }],
+                    body: {
+                        kind: "invocationExpression",
+                        expression: {
+                            kind: "memberAccessExpression",
+                            expression: {
+                                kind: "typeReferenceExpression",
+                                type: buildRuntimeUnionCarrierTypeAst([
+                                    { kind: "predefinedType", keyword: "string" },
+                                    identifierType("global::js.RegExp"),
+                                ]),
+                            },
+                            memberName: "From2",
+                        },
+                        arguments: [identifierExpression("__tsonic_union_member_2")],
+                    },
+                },
+            ],
+        });
+    });
+});
+//# sourceMappingURL=runtime-union-projection.test.js.map

package/dist/core/semantic/runtime-union-projection.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime-union-projection.test.js","sourceRoot":"","sources":["../../../src/core/semantic/runtime-union-projection.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAE9B,OAAO,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAC;AAC/D,OAAO,EACL,oBAAoB,EACpB,cAAc,GACf,MAAM,mCAAmC,CAAC;AAE3C,OAAO,EAAE,yCAAyC,EAAE,MAAM,+BAA+B,CAAC;AAC1F,OAAO,EAAE,+BAA+B,EAAE,MAAM,sCAAsC,CAAC;AAEvF,MAAM,UAAU,GAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AACrE,MAAM,SAAS,GAAW;IACxB,IAAI,EAAE,eAAe;IACrB,IAAI,EAAE,QAAQ;IACd,eAAe,EAAE,mBAAmB;CACrC,CAAC;AACF,MAAM,eAAe,GAAW;IAC9B,IAAI,EAAE,WAAW;IACjB,WAAW,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;CACvD,CAAC;AAEF,QAAQ,CAAC,0BAA0B,EAAE,GAAG,EAAE;IACxC,EAAE,CAAC,uEAAuE,EAAE,GAAG,EAAE;QAC/E,MAAM,OAAO,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC;QACzD,MAAM,YAAY,GAAuB;YACvC,OAAO,EAAE,CAAC,UAAU,EAAE,SAAS,CAAC;YAChC,cAAc,EAAE;gBACd,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,QAAQ,EAAE;gBAC7C,cAAc,CAAC,mBAAmB,CAAC;aACpC;YACD,uBAAuB,EAAE;gBACvB,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,QAAQ,EAAE;gBAC7C,cAAc,CAAC,mBAAmB,CAAC;aACpC;YACD,iBAAiB,EAAE,CAAC;SACrB,CAAC;QACF,MAAM,YAAY,GAAuB;YACvC,OAAO,EAAE,CAAC,eAAe,EAAE,UAAU,EAAE,SAAS,CAAC;YACjD,cAAc,EAAE;gBACd,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,EAAE,WAAW,EAAE,cAAc,CAAC,QAAQ,CAAC,EAAE;gBACrE,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,QAAQ,EAAE;gBAC7C,cAAc,CAAC,mBAAmB,CAAC;aACpC;YACD,uBAAuB,EAAE;gBACvB,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,EAAE,WAAW,EAAE,cAAc,CAAC,QAAQ,CAAC,EAAE;gBACrE,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,QAAQ,EAAE;gBAC7C,cAAc,CAAC,mBAAmB,CAAC;aACpC;YACD,iBAAiB,EAAE,CAAC;SACrB,CAAC;QAEF,MAAM,SAAS,GAAG,yCAAyC,CAAC;YAC1D,QAAQ,EAAE,oBAAoB,CAAC,OAAO,CAAC;YACvC,YAAY;YACZ,YAAY;YACZ,OAAO;YACP,sBAAsB,EAAE,CAAC,EAAE,aAAa,EAAE,OAAO,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC;gBACnE,aAAa;gBACb,WAAW;aACZ;SACF,CAAC,CAAC;QAEH,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YACnC,IAAI,EAAE,sBAAsB;YAC5B,UAAU,EAAE;gBACV,IAAI,EAAE,wBAAwB;gBAC9B,UAAU,EAAE,oBAAoB,CAAC,OAAO,CAAC;gBACzC,UAAU,EAAE,OAAO;aACpB;YACD,aAAa,EAAE;gBACb,+BAA+B,CAAC;oBAC9B;wBACE,IAAI,EAAE,WAAW;wBACjB,IAAI,EAAE,CAAC;wBACP,WAAW,EAAE,cAAc,CAAC,QAAQ,CAAC;qBACtC;oBACD,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,QAAQ,EAAE;oBAC7C,cAAc,CAAC,mBAAmB,CAAC;iBACpC,CAAC;aACH;YACD,SAAS,EAAE;gBACT;oBACE,IAAI,EAAE,kBAAkB;oBACxB,OAAO,EAAE,KAAK;oBACd,UAAU,EAAE,CAAC,EAAE,IAAI,EAAE,yBAAyB,EAAE,CAAC;oBACjD,IAAI,EAAE;wBACJ,IAAI,EAAE,sBAAsB;wBAC5B,UAAU,EAAE;4BACV,IAAI,EAAE,wBAAwB;4BAC9B,UAAU,EAAE;gCACV,IAAI,EAAE,yBAAyB;gCAC/B,IAAI,EAAE,+BAA+B,CAAC;oCACpC;wCACE,IAAI,EAAE,WAAW;wCACjB,IAAI,EAAE,CAAC;wCACP,WAAW,EAAE,cAAc,CAAC,QAAQ,CAAC;qCACtC;oCACD,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,QAAQ,EAAE;oCAC7C,cAAc,CAAC,mBAAmB,CAAC;iCACpC,CAAC;6BACH;4BACD,UAAU,EAAE,OAAO;yBACpB;wBACD,SAAS,EAAE,CAAC,oBAAoB,CAAC,yBAAyB,CAAC,CAAC;qBAC7D;iBACF;gBACD;oBACE,IAAI,EAAE,kBAAkB;oBACxB,OAAO,EAAE,KAAK;oBACd,UAAU,EAAE,CAAC,EAAE,IAAI,EAAE,yBAAyB,EAAE,CAAC;oBACjD,IAAI,EAAE;wBACJ,IAAI,EAAE,sBAAsB;wBAC5B,UAAU,EAAE;4BACV,IAAI,EAAE,wBAAwB;4BAC9B,UAAU,EAAE;gCACV,IAAI,EAAE,yBAAyB;gCAC/B,IAAI,EAAE,+BAA+B,CAAC;oCACpC;wCACE,IAAI,EAAE,WAAW;wCACjB,IAAI,EAAE,CAAC;wCACP,WAAW,EAAE,cAAc,CAAC,QAAQ,CAAC;qCACtC;oCACD,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,QAAQ,EAAE;oCAC7C,cAAc,CAAC,mBAAmB,CAAC;iCACpC,CAAC;6BACH;4BACD,UAAU,EAAE,OAAO;yBACpB;wBACD,SAAS,EAAE,CAAC,oBAAoB,CAAC,yBAAyB,CAAC,CAAC;qBAC7D;iBACF;aACF;SACF,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wEAAwE,EAAE,GAAG,EAAE;QAChF,MAAM,OAAO,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC;QACzD,MAAM,YAAY,GAAuB;YACvC,OAAO,EAAE,CAAC,UAAU,EAAE,SAAS,CAAC;YAChC,cAAc,EAAE;gBACd,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,QAAQ,EAAE;gBAC7C,cAAc,CAAC,mBAAmB,CAAC;aACpC;YACD,uBAAuB,EAAE;gBACvB,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,QAAQ,EAAE;gBAC7C,cAAc,CAAC,mBAAmB,CAAC;aACpC;YACD,iBAAiB,EAAE,CAAC;SACrB,CAAC;QACF,MAAM,YAAY,GAAuB;YACvC,OAAO,EAAE,CAAC,UAAU,EAAE,SAAS,CAAC;YAChC,cAAc,EAAE;gBACd,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,QAAQ,EAAE;gBAC7C,cAAc,CAAC,mBAAmB,CAAC;aACpC;YACD,uBAAuB,EAAE;gBACvB,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,QAAQ,EAAE;gBAC7C,cAAc,CAAC,mBAAmB,CAAC;aACpC;YACD,iBAAiB,EAAE,CAAC;SACrB,CAAC;QAEF,MAAM,SAAS,GAAG,yCAAyC,CAAC;YAC1D,QAAQ,EAAE,oBAAoB,CAAC,OAAO,CAAC;YACvC,YAAY;YACZ,YAAY;YACZ,OAAO;YACP,iBAAiB,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;YACzB,sBAAsB,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YACpC,sBAAsB,EAAE,CAAC,EAAE,aAAa,EAAE,OAAO,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC;gBACnE,aAAa;gBACb,WAAW;aACZ;YACD,uBAAuB,EAAE,GAAG,EAAE,CAAC,oBAAoB,CAAC,UAAU,CAAC;SAChE,CAAC,CAAC;QAEH,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YACnC,IAAI,EAAE,sBAAsB;YAC5B,UAAU,EAAE;gBACV,IAAI,EAAE,wBAAwB;gBAC9B,UAAU,EAAE,oBAAoB,CAAC,OAAO,CAAC;gBACzC,UAAU,EAAE,OAAO;aACpB;YACD,aAAa,EAAE;gBACb,+BAA+B,CAAC;oBAC9B,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,QAAQ,EAAE;oBAC7C,cAAc,CAAC,mBAAmB,CAAC;iBACpC,CAAC;aACH;YACD,SAAS,EAAE;gBACT;oBACE,IAAI,EAAE,kBAAkB;oBACxB,OAAO,EAAE,KAAK;oBACd,UAAU,EAAE,CAAC,EAAE,IAAI,EAAE,yBAAyB,EAAE,CAAC;oBACjD,IAAI,EAAE,oBAAoB,CAAC,UAAU,CAAC;iBACvC;gBACD;oBACE,IAAI,EAAE,kBAAkB;oBACxB,OAAO,EAAE,KAAK;oBACd,UAAU,EAAE,CAAC,EAAE,IAAI,EAAE,yBAAyB,EAAE,CAAC;oBACjD,IAAI,EAAE;wBACJ,IAAI,EAAE,sBAAsB;wBAC5B,UAAU,EAAE;4BACV,IAAI,EAAE,wBAAwB;4BAC9B,UAAU,EAAE;gCACV,IAAI,EAAE,yBAAyB;gCAC/B,IAAI,EAAE,+BAA+B,CAAC;oCACpC,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,QAAQ,EAAE;oCAC7C,cAAc,CAAC,mBAAmB,CAAC;iCACpC,CAAC;6BACH;4BACD,UAAU,EAAE,OAAO;yBACpB;wBACD,SAAS,EAAE,CAAC,oBAAoB,CAAC,yBAAyB,CAAC,CAAC;qBAC7D;iBACF;aACF;SACF,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/core/semantic/runtime-union-registry.d.ts

@@ -0,0 +1,28 @@
+import type { CSharpTypeAst } from "../format/backend-ast/types.js";
+export type RuntimeUnionCarrierMetadata = {
+    readonly familyKey: string;
+    readonly name?: string;
+    readonly namespaceName?: string;
+    readonly typeParameters?: readonly string[];
+    readonly definitionMemberTypeAsts?: readonly CSharpTypeAst[];
+    readonly accessModifier?: "public" | "internal";
+};
+export type RuntimeUnionCarrierDefinition = {
+    readonly key: string;
+    readonly name: string;
+    readonly namespaceName: string;
+    readonly fullName: string;
+    readonly arity: number;
+    readonly typeParameters: readonly string[];
+    readonly memberTypeAsts: readonly CSharpTypeAst[];
+    readonly memberTypeKeys: readonly string[];
+    readonly accessModifier: "public" | "internal";
+};
+export type RuntimeUnionRegistry = {
+    readonly definitions: Map<string, RuntimeUnionCarrierDefinition>;
+    readonly definitionsByName: Map<string, RuntimeUnionCarrierDefinition>;
+};
+export declare const createRuntimeUnionRegistry: () => RuntimeUnionRegistry;
+export declare const getRuntimeUnionCarrierDefinitionByName: (name: string, registry: RuntimeUnionRegistry | undefined) => RuntimeUnionCarrierDefinition | undefined;
+export declare const getOrRegisterRuntimeUnionCarrier: (memberTypeAsts: readonly CSharpTypeAst[], registry: RuntimeUnionRegistry | undefined, metadata?: RuntimeUnionCarrierMetadata) => RuntimeUnionCarrierDefinition;
+//# sourceMappingURL=runtime-union-registry.d.ts.map

package/dist/core/semantic/runtime-union-registry.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime-union-registry.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/runtime-union-registry.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAC;AAIpE,MAAM,MAAM,2BAA2B,GAAG;IACxC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,cAAc,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5C,QAAQ,CAAC,wBAAwB,CAAC,EAAE,SAAS,aAAa,EAAE,CAAC;IAC7D,QAAQ,CAAC,cAAc,CAAC,EAAE,QAAQ,GAAG,UAAU,CAAC;CACjD,CAAC;AAEF,MAAM,MAAM,6BAA6B,GAAG;IAC1C,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3C,QAAQ,CAAC,cAAc,EAAE,SAAS,aAAa,EAAE,CAAC;IAClD,QAAQ,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3C,QAAQ,CAAC,cAAc,EAAE,QAAQ,GAAG,UAAU,CAAC;CAChD,CAAC;AAEF,MAAM,MAAM,oBAAoB,GAAG;IACjC,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,6BAA6B,CAAC,CAAC;IACjE,QAAQ,CAAC,iBAAiB,EAAE,GAAG,CAAC,MAAM,EAAE,6BAA6B,CAAC,CAAC;CACxE,CAAC;AAEF,eAAO,MAAM,0BAA0B,QAAO,oBAG5C,CAAC;AAwSH,eAAO,MAAM,sCAAsC,GACjD,MAAM,MAAM,EACZ,UAAU,oBAAoB,GAAG,SAAS,KACzC,6BAA6B,GAAG,SAMlC,CAAC;AAEF,eAAO,MAAM,gCAAgC,GAC3C,gBAAgB,SAAS,aAAa,EAAE,EACxC,UAAU,oBAAoB,GAAG,SAAS,EAC1C,WAAW,2BAA2B,KACrC,6BAgLF,CAAC"}