@tsonic/emitter 0.0.74 → 0.0.75

package/dist/core/semantic/runtime-union-alias-identity.js

@@ -0,0 +1,27 @@
+import { resolveTypeAlias } from "./type-resolution.js";
+import { tryContextualTypeIdentityKey } from "./deterministic-type-keys.js";
+export const getRuntimeUnionAliasReferenceKey = (type, context) => {
+    const resolved = type.kind === "referenceType" ? resolveTypeAlias(type, context) : type;
+    if (resolved.kind !== "unionType" ||
+        !resolved.runtimeCarrierFamilyKey ||
+        !resolved.runtimeCarrierName ||
+        !resolved.runtimeCarrierNamespace) {
+        return undefined;
+    }
+    const typeArguments = type.kind === "referenceType" &&
+        type.typeArguments &&
+        type.typeArguments.length > 0
+        ? type.typeArguments
+        : resolved.runtimeCarrierTypeArguments;
+    const typeArgumentKeys = (typeArguments ?? []).map((typeArgument) => tryContextualTypeIdentityKey(typeArgument, context));
+    if (typeArgumentKeys.some((key) => key === undefined)) {
+        return undefined;
+    }
+    return `${resolved.runtimeCarrierFamilyKey}<${typeArgumentKeys.join(",")}>`;
+};
+export const runtimeUnionAliasReferencesMatch = (left, right, context) => {
+    const leftKey = getRuntimeUnionAliasReferenceKey(left, context);
+    return (leftKey !== undefined &&
+        leftKey === getRuntimeUnionAliasReferenceKey(right, context));
+};
+//# sourceMappingURL=runtime-union-alias-identity.js.map

package/dist/core/semantic/runtime-union-alias-identity.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime-union-alias-identity.js","sourceRoot":"","sources":["../../../src/core/semantic/runtime-union-alias-identity.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AACxD,OAAO,EAAE,4BAA4B,EAAE,MAAM,8BAA8B,CAAC;AAE5E,MAAM,CAAC,MAAM,gCAAgC,GAAG,CAC9C,IAAY,EACZ,OAAuB,EACH,EAAE;IACtB,MAAM,QAAQ,GACZ,IAAI,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC,CAAC,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACzE,IACE,QAAQ,CAAC,IAAI,KAAK,WAAW;QAC7B,CAAC,QAAQ,CAAC,uBAAuB;QACjC,CAAC,QAAQ,CAAC,kBAAkB;QAC5B,CAAC,QAAQ,CAAC,uBAAuB,EACjC,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,aAAa,GACjB,IAAI,CAAC,IAAI,KAAK,eAAe;QAC7B,IAAI,CAAC,aAAa;QAClB,IAAI,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC;QAC3B,CAAC,CAAC,IAAI,CAAC,aAAa;QACpB,CAAC,CAAC,QAAQ,CAAC,2BAA2B,CAAC;IAC3C,MAAM,gBAAgB,GAAG,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,YAAY,EAAE,EAAE,CAClE,4BAA4B,CAAC,YAAY,EAAE,OAAO,CAAC,CACpD,CAAC;IACF,IAAI,gBAAgB,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,KAAK,SAAS,CAAC,EAAE,CAAC;QACtD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,GAAG,QAAQ,CAAC,uBAAuB,IAAI,gBAAgB,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;AAC9E,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,gCAAgC,GAAG,CAC9C,IAAY,EACZ,KAAa,EACb,OAAuB,EACd,EAAE;IACX,MAAM,OAAO,GAAG,gCAAgC,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAChE,OAAO,CACL,OAAO,KAAK,SAAS;QACrB,OAAO,KAAK,gCAAgC,CAAC,KAAK,EAAE,OAAO,CAAC,CAC7D,CAAC;AACJ,CAAC,CAAC"}

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

@@ -0,0 +1,5 @@
+import { IrType } from "@tsonic/frontend";
+import type { EmitterContext } from "../../types.js";
+export declare const expandRuntimeUnionMembers: (type: IrType, context: EmitterContext, activeAliases?: ReadonlySet<string>, activeTypes?: ReadonlySet<object>, preserveRuntimeCarrierAliasReferences?: boolean) => readonly IrType[];
+export declare const collectRuntimeUnionRawMembers: (type: IrType, context: EmitterContext, activeAliases?: ReadonlySet<string>, activeTypes?: ReadonlySet<object>, preserveRuntimeCarrierAliasReferences?: boolean) => readonly IrType[];
+//# sourceMappingURL=runtime-union-expansion.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"runtime-union-expansion.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/runtime-union-expansion.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC1C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAwDrD,eAAO,MAAM,yBAAyB,GACpC,MAAM,MAAM,EACZ,SAAS,cAAc,EACvB,gBAAe,WAAW,CAAC,MAAM,CAAqB,EACtD,cAAa,WAAW,CAAC,MAAM,CAAqB,EACpD,+CAA6C,KAC5C,SAAS,MAAM,EAyKjB,CAAC;AAEF,eAAO,MAAM,6BAA6B,GACxC,MAAM,MAAM,EACZ,SAAS,cAAc,EACvB,gBAAe,WAAW,CAAC,MAAM,CAAqB,EACtD,cAAa,WAAW,CAAC,MAAM,CAAqB,EACpD,+CAA6C,KAC5C,SAAS,MAAM,EAgJjB,CAAC"}

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

@@ -0,0 +1,190 @@
+import { resolveLocalTypeInfo, resolveTypeAlias, splitRuntimeNullishUnionMembers, substituteTypeArgs, } from "./type-resolution.js";
+import { BROAD_OBJECT_TYPE, getRuntimeUnionReferenceMembers, } from "./runtime-union-shared.js";
+import { referenceTypesShareClrIdentity } from "./clr-type-identity.js";
+const BROAD_OBJECT_REFERENCE_TYPE = BROAD_OBJECT_TYPE;
+const isBroadObjectReferenceType = (type) => type.kind === "referenceType" &&
+    type.name === BROAD_OBJECT_REFERENCE_TYPE.name &&
+    referenceTypesShareClrIdentity(type, BROAD_OBJECT_REFERENCE_TYPE);
+const toRecursiveFallbackType = (type) => {
+    if (type.kind === "arrayType") {
+        return type;
+    }
+    if (type.kind === "unionType") {
+        const split = splitRuntimeNullishUnionMembers(type);
+        const nonNullish = split?.nonNullishMembers ?? type.types;
+        if (nonNullish.length === 1 && nonNullish[0]?.kind === "arrayType") {
+            return nonNullish[0];
+        }
+    }
+    return BROAD_OBJECT_TYPE;
+};
+const recursiveRuntimeAliasReference = (type, aliasTarget, activeAliases) => {
+    if (type.kind === "referenceType" &&
+        aliasTarget.kind === "unionType" &&
+        aliasTarget.runtimeCarrierFamilyKey &&
+        activeAliases.has(aliasTarget.runtimeCarrierFamilyKey)) {
+        return type;
+    }
+    return undefined;
+};
+export const expandRuntimeUnionMembers = (type, context, activeAliases = new Set(), activeTypes = new Set(), preserveRuntimeCarrierAliasReferences = false) => {
+    if (activeTypes.has(type)) {
+        return [toRecursiveFallbackType(type)];
+    }
+    const nextActiveTypes = new Set(activeTypes);
+    nextActiveTypes.add(type);
+    const split = splitRuntimeNullishUnionMembers(type);
+    if (split) {
+        const preserveSplitMemberAliases = split.nonNullishMembers.length > 1;
+        return split.nonNullishMembers.flatMap((member) => expandRuntimeUnionMembers(member, context, activeAliases, nextActiveTypes, preserveSplitMemberAliases));
+    }
+    if (type.kind === "intersectionType") {
+        const runtimeCarrier = type.types.find((member) => member.kind === "unionType" ||
+            (member.kind === "referenceType" &&
+                getRuntimeUnionReferenceMembers(member) !== undefined));
+        if (runtimeCarrier) {
+            return expandRuntimeUnionMembers(runtimeCarrier, context, activeAliases, nextActiveTypes, preserveRuntimeCarrierAliasReferences);
+        }
+    }
+    if (type.kind === "referenceType") {
+        const resolvedCarrierAlias = resolveTypeAlias(type, context);
+        if (resolvedCarrierAlias.kind === "unionType" &&
+            resolvedCarrierAlias.runtimeCarrierFamilyKey) {
+            if (preserveRuntimeCarrierAliasReferences) {
+                return [type];
+            }
+            if (activeAliases.has(resolvedCarrierAlias.runtimeCarrierFamilyKey) ||
+                activeTypes.has(resolvedCarrierAlias)) {
+                return [
+                    recursiveRuntimeAliasReference(type, resolvedCarrierAlias, activeAliases) ?? toRecursiveFallbackType(resolvedCarrierAlias),
+                ];
+            }
+        }
+        const runtimeMembers = getRuntimeUnionReferenceMembers(type);
+        if (runtimeMembers) {
+            return runtimeMembers.flatMap((member) => expandRuntimeUnionMembers(member, context, activeAliases, nextActiveTypes, true));
+        }
+        const localInfo = resolveLocalTypeInfo(type, context);
+        if (localInfo?.info.kind === "typeAlias") {
+            if (localInfo.info.type.kind === "objectType") {
+                return [type];
+            }
+            const localName = type.name.includes(".")
+                ? (type.name.split(".").pop() ?? type.name)
+                : type.name;
+            const aliasKey = `${localInfo.namespace}::${localName}`;
+            const aliasTarget = type.typeArguments && type.typeArguments.length > 0
+                ? substituteTypeArgs(localInfo.info.type, localInfo.info.typeParameters, type.typeArguments)
+                : localInfo.info.type;
+            const aliasCarrierKey = aliasTarget.kind === "unionType"
+                ? aliasTarget.runtimeCarrierFamilyKey
+                : undefined;
+            if (activeAliases.has(aliasKey) ||
+                (aliasCarrierKey !== undefined && activeAliases.has(aliasCarrierKey))) {
+                return [
+                    recursiveRuntimeAliasReference(type, aliasTarget, activeAliases) ??
+                        toRecursiveFallbackType(aliasTarget),
+                ];
+            }
+            const nextActiveAliases = new Set(activeAliases);
+            nextActiveAliases.add(aliasKey);
+            if (aliasCarrierKey !== undefined) {
+                nextActiveAliases.add(aliasCarrierKey);
+            }
+            return expandRuntimeUnionMembers(aliasTarget, context, nextActiveAliases, nextActiveTypes, false);
+        }
+        return [type];
+    }
+    if (type.kind === "unionType") {
+        return type.types.flatMap((member) => expandRuntimeUnionMembers(member, context, activeAliases, nextActiveTypes, true));
+    }
+    if (type.kind === "arrayType") {
+        const elementMembers = expandRuntimeUnionMembers(type.elementType, context, activeAliases, nextActiveTypes, true);
+        const erasedElementType = elementMembers.length === 1
+            ? (elementMembers[0] ?? BROAD_OBJECT_TYPE)
+            : BROAD_OBJECT_TYPE;
+        const needsStorageErasedElementMetadata = isBroadObjectReferenceType(erasedElementType);
+        return [
+            {
+                ...type,
+                elementType: erasedElementType,
+                ...(needsStorageErasedElementMetadata
+                    ? { storageErasedElementType: type.elementType }
+                    : {}),
+            },
+        ];
+    }
+    return [type];
+};
+export const collectRuntimeUnionRawMembers = (type, context, activeAliases = new Set(), activeTypes = new Set(), preserveRuntimeCarrierAliasReferences = false) => {
+    if (activeTypes.has(type)) {
+        return [type];
+    }
+    const nextActiveTypes = new Set(activeTypes);
+    nextActiveTypes.add(type);
+    const split = splitRuntimeNullishUnionMembers(type);
+    if (split) {
+        const preserveSplitMemberAliases = split.nonNullishMembers.length > 1;
+        return split.nonNullishMembers.flatMap((member) => collectRuntimeUnionRawMembers(member, context, activeAliases, nextActiveTypes, preserveSplitMemberAliases));
+    }
+    if (type.kind === "intersectionType") {
+        const runtimeCarrier = type.types.find((member) => member.kind === "unionType" ||
+            (member.kind === "referenceType" &&
+                getRuntimeUnionReferenceMembers(member) !== undefined));
+        if (runtimeCarrier) {
+            return collectRuntimeUnionRawMembers(runtimeCarrier, context, activeAliases, nextActiveTypes, preserveRuntimeCarrierAliasReferences);
+        }
+    }
+    if (type.kind === "referenceType") {
+        const resolvedCarrierAlias = resolveTypeAlias(type, context);
+        if (resolvedCarrierAlias.kind === "unionType" &&
+            resolvedCarrierAlias.runtimeCarrierFamilyKey) {
+            if (activeAliases.has(resolvedCarrierAlias.runtimeCarrierFamilyKey) ||
+                activeTypes.has(resolvedCarrierAlias)) {
+                return [type];
+            }
+            if (preserveRuntimeCarrierAliasReferences) {
+                return [type];
+            }
+        }
+        const runtimeMembers = getRuntimeUnionReferenceMembers(type);
+        if (runtimeMembers) {
+            return runtimeMembers.flatMap((member) => collectRuntimeUnionRawMembers(member, context, activeAliases, nextActiveTypes, true));
+        }
+        const localInfo = resolveLocalTypeInfo(type, context);
+        if (localInfo?.info.kind === "typeAlias") {
+            if (localInfo.info.type.kind === "objectType") {
+                return [type];
+            }
+            const localName = type.name.includes(".")
+                ? (type.name.split(".").pop() ?? type.name)
+                : type.name;
+            const aliasKey = `${localInfo.namespace}::${localName}`;
+            const aliasTarget = type.typeArguments && type.typeArguments.length > 0
+                ? substituteTypeArgs(localInfo.info.type, localInfo.info.typeParameters, type.typeArguments)
+                : localInfo.info.type;
+            const aliasCarrierKey = aliasTarget.kind === "unionType"
+                ? aliasTarget.runtimeCarrierFamilyKey
+                : undefined;
+            if (activeAliases.has(aliasKey) ||
+                (aliasCarrierKey !== undefined && activeAliases.has(aliasCarrierKey))) {
+                return [type];
+            }
+            const nextActiveAliases = new Set(activeAliases);
+            nextActiveAliases.add(aliasKey);
+            if (aliasCarrierKey !== undefined) {
+                nextActiveAliases.add(aliasCarrierKey);
+            }
+            return collectRuntimeUnionRawMembers(aliasTarget, context, nextActiveAliases, nextActiveTypes, false);
+        }
+        const resolved = resolveTypeAlias(type, context);
+        if (resolved !== type) {
+            return collectRuntimeUnionRawMembers(resolved, context, activeAliases, nextActiveTypes, preserveRuntimeCarrierAliasReferences);
+        }
+    }
+    if (type.kind === "unionType") {
+        return type.types.flatMap((member) => collectRuntimeUnionRawMembers(member, context, activeAliases, nextActiveTypes, true));
+    }
+    return [type];
+};
+//# sourceMappingURL=runtime-union-expansion.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"runtime-union-expansion.js","sourceRoot":"","sources":["../../../src/core/semantic/runtime-union-expansion.ts"],"names":[],"mappings":"AAEA,OAAO,EACL,oBAAoB,EACpB,gBAAgB,EAChB,+BAA+B,EAC/B,kBAAkB,GACnB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EACL,iBAAiB,EACjB,+BAA+B,GAChC,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,8BAA8B,EAAE,MAAM,wBAAwB,CAAC;AAExE,MAAM,2BAA2B,GAAG,iBAGnC,CAAC;AAEF,MAAM,0BAA0B,GAAG,CAAC,IAAY,EAAW,EAAE,CAC3D,IAAI,CAAC,IAAI,KAAK,eAAe;IAC7B,IAAI,CAAC,IAAI,KAAK,2BAA2B,CAAC,IAAI;IAC9C,8BAA8B,CAAC,IAAI,EAAE,2BAA2B,CAAC,CAAC;AAEpE,MAAM,uBAAuB,GAAG,CAAC,IAAY,EAAU,EAAE;IACvD,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,MAAM,KAAK,GAAG,+BAA+B,CAAC,IAAI,CAAC,CAAC;QACpD,MAAM,UAAU,GAAG,KAAK,EAAE,iBAAiB,IAAI,IAAI,CAAC,KAAK,CAAC;QAC1D,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,WAAW,EAAE,CAAC;YACnE,OAAO,UAAU,CAAC,CAAC,CAAC,CAAC;QACvB,CAAC;IACH,CAAC;IAED,OAAO,iBAAiB,CAAC;AAC3B,CAAC,CAAC;AAEF,MAAM,8BAA8B,GAAG,CACrC,IAAY,EACZ,WAAmB,EACnB,aAAkC,EACd,EAAE;IACtB,IACE,IAAI,CAAC,IAAI,KAAK,eAAe;QAC7B,WAAW,CAAC,IAAI,KAAK,WAAW;QAChC,WAAW,CAAC,uBAAuB;QACnC,aAAa,CAAC,GAAG,CAAC,WAAW,CAAC,uBAAuB,CAAC,EACtD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,IAAY,EACZ,OAAuB,EACvB,gBAAqC,IAAI,GAAG,EAAU,EACtD,cAAmC,IAAI,GAAG,EAAU,EACpD,qCAAqC,GAAG,KAAK,EAC1B,EAAE;IACrB,IAAI,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1B,OAAO,CAAC,uBAAuB,CAAC,IAAI,CAAC,CAAC,CAAC;IACzC,CAAC;IAED,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,CAAC;IAC7C,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAE1B,MAAM,KAAK,GAAG,+BAA+B,CAAC,IAAI,CAAC,CAAC;IACpD,IAAI,KAAK,EAAE,CAAC;QACV,MAAM,0BAA0B,GAAG,KAAK,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC,CAAC;QACtE,OAAO,KAAK,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAChD,yBAAyB,CACvB,MAAM,EACN,OAAO,EACP,aAAa,EACb,eAAe,EACf,0BAA0B,CAC3B,CACF,CAAC;IACJ,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QACrC,MAAM,cAAc,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CACpC,CACE,MAAM,EAGuC,EAAE,CAC/C,MAAM,CAAC,IAAI,KAAK,WAAW;YAC3B,CAAC,MAAM,CAAC,IAAI,KAAK,eAAe;gBAC9B,+BAA+B,CAAC,MAAM,CAAC,KAAK,SAAS,CAAC,CAC3D,CAAC;QACF,IAAI,cAAc,EAAE,CAAC;YACnB,OAAO,yBAAyB,CAC9B,cAAc,EACd,OAAO,EACP,aAAa,EACb,eAAe,EACf,qCAAqC,CACtC,CAAC;QACJ,CAAC;IACH,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,MAAM,oBAAoB,GAAG,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC7D,IACE,oBAAoB,CAAC,IAAI,KAAK,WAAW;YACzC,oBAAoB,CAAC,uBAAuB,EAC5C,CAAC;YACD,IAAI,qCAAqC,EAAE,CAAC;gBAC1C,OAAO,CAAC,IAAI,CAAC,CAAC;YAChB,CAAC;YAED,IACE,aAAa,CAAC,GAAG,CAAC,oBAAoB,CAAC,uBAAuB,CAAC;gBAC/D,WAAW,CAAC,GAAG,CAAC,oBAAoB,CAAC,EACrC,CAAC;gBACD,OAAO;oBACL,8BAA8B,CAC5B,IAAI,EACJ,oBAAoB,EACpB,aAAa,CACd,IAAI,uBAAuB,CAAC,oBAAoB,CAAC;iBACnD,CAAC;YACJ,CAAC;QACH,CAAC;QAED,MAAM,cAAc,GAAG,+BAA+B,CAAC,IAAI,CAAC,CAAC;QAC7D,IAAI,cAAc,EAAE,CAAC;YACnB,OAAO,cAAc,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CACvC,yBAAyB,CACvB,MAAM,EACN,OAAO,EACP,aAAa,EACb,eAAe,EACf,IAAI,CACL,CACF,CAAC;QACJ,CAAC;QAED,MAAM,SAAS,GAAG,oBAAoB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACtD,IAAI,SAAS,EAAE,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YACzC,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;gBAC9C,OAAO,CAAC,IAAI,CAAC,CAAC;YAChB,CAAC;YAED,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;gBACvC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,IAAI,CAAC,IAAI,CAAC;gBAC3C,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;YACd,MAAM,QAAQ,GAAG,GAAG,SAAS,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;YACxD,MAAM,WAAW,GACf,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC;gBACjD,CAAC,CAAC,kBAAkB,CAChB,SAAS,CAAC,IAAI,CAAC,IAAI,EACnB,SAAS,CAAC,IAAI,CAAC,cAAc,EAC7B,IAAI,CAAC,aAAa,CACnB;gBACH,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC;YAE1B,MAAM,eAAe,GACnB,WAAW,CAAC,IAAI,KAAK,WAAW;gBAC9B,CAAC,CAAC,WAAW,CAAC,uBAAuB;gBACrC,CAAC,CAAC,SAAS,CAAC;YAChB,IACE,aAAa,CAAC,GAAG,CAAC,QAAQ,CAAC;gBAC3B,CAAC,eAAe,KAAK,SAAS,IAAI,aAAa,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC,EACrE,CAAC;gBACD,OAAO;oBACL,8BAA8B,CAAC,IAAI,EAAE,WAAW,EAAE,aAAa,CAAC;wBAC9D,uBAAuB,CAAC,WAAW,CAAC;iBACvC,CAAC;YACJ,CAAC;YAED,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAAC,aAAa,CAAC,CAAC;YACjD,iBAAiB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YAChC,IAAI,eAAe,KAAK,SAAS,EAAE,CAAC;gBAClC,iBAAiB,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC;YACzC,CAAC;YACD,OAAO,yBAAyB,CAC9B,WAAW,EACX,OAAO,EACP,iBAAiB,EACjB,eAAe,EACf,KAAK,CACN,CAAC;QACJ,CAAC;QAED,OAAO,CAAC,IAAI,CAAC,CAAC;IAChB,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CACnC,yBAAyB,CACvB,MAAM,EACN,OAAO,EACP,aAAa,EACb,eAAe,EACf,IAAI,CACL,CACF,CAAC;IACJ,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,MAAM,cAAc,GAAG,yBAAyB,CAC9C,IAAI,CAAC,WAAW,EAChB,OAAO,EACP,aAAa,EACb,eAAe,EACf,IAAI,CACL,CAAC;QACF,MAAM,iBAAiB,GACrB,cAAc,CAAC,MAAM,KAAK,CAAC;YACzB,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,iBAAiB,CAAC;YAC1C,CAAC,CAAC,iBAAiB,CAAC;QACxB,MAAM,iCAAiC,GACrC,0BAA0B,CAAC,iBAAiB,CAAC,CAAC;QAChD,OAAO;YACL;gBACE,GAAG,IAAI;gBACP,WAAW,EAAE,iBAAiB;gBAC9B,GAAG,CAAC,iCAAiC;oBACnC,CAAC,CAAC,EAAE,wBAAwB,EAAE,IAAI,CAAC,WAAW,EAAE;oBAChD,CAAC,CAAC,EAAE,CAAC;aACR;SACF,CAAC;IACJ,CAAC;IAED,OAAO,CAAC,IAAI,CAAC,CAAC;AAChB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAC3C,IAAY,EACZ,OAAuB,EACvB,gBAAqC,IAAI,GAAG,EAAU,EACtD,cAAmC,IAAI,GAAG,EAAU,EACpD,qCAAqC,GAAG,KAAK,EAC1B,EAAE;IACrB,IAAI,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1B,OAAO,CAAC,IAAI,CAAC,CAAC;IAChB,CAAC;IAED,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,CAAC;IAC7C,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAE1B,MAAM,KAAK,GAAG,+BAA+B,CAAC,IAAI,CAAC,CAAC;IACpD,IAAI,KAAK,EAAE,CAAC;QACV,MAAM,0BAA0B,GAAG,KAAK,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC,CAAC;QACtE,OAAO,KAAK,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAChD,6BAA6B,CAC3B,MAAM,EACN,OAAO,EACP,aAAa,EACb,eAAe,EACf,0BAA0B,CAC3B,CACF,CAAC;IACJ,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QACrC,MAAM,cAAc,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CACpC,CACE,MAAM,EAGuC,EAAE,CAC/C,MAAM,CAAC,IAAI,KAAK,WAAW;YAC3B,CAAC,MAAM,CAAC,IAAI,KAAK,eAAe;gBAC9B,+BAA+B,CAAC,MAAM,CAAC,KAAK,SAAS,CAAC,CAC3D,CAAC;QACF,IAAI,cAAc,EAAE,CAAC;YACnB,OAAO,6BAA6B,CAClC,cAAc,EACd,OAAO,EACP,aAAa,EACb,eAAe,EACf,qCAAqC,CACtC,CAAC;QACJ,CAAC;IACH,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,MAAM,oBAAoB,GAAG,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC7D,IACE,oBAAoB,CAAC,IAAI,KAAK,WAAW;YACzC,oBAAoB,CAAC,uBAAuB,EAC5C,CAAC;YACD,IACE,aAAa,CAAC,GAAG,CAAC,oBAAoB,CAAC,uBAAuB,CAAC;gBAC/D,WAAW,CAAC,GAAG,CAAC,oBAAoB,CAAC,EACrC,CAAC;gBACD,OAAO,CAAC,IAAI,CAAC,CAAC;YAChB,CAAC;YAED,IAAI,qCAAqC,EAAE,CAAC;gBAC1C,OAAO,CAAC,IAAI,CAAC,CAAC;YAChB,CAAC;QACH,CAAC;QAED,MAAM,cAAc,GAAG,+BAA+B,CAAC,IAAI,CAAC,CAAC;QAC7D,IAAI,cAAc,EAAE,CAAC;YACnB,OAAO,cAAc,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CACvC,6BAA6B,CAC3B,MAAM,EACN,OAAO,EACP,aAAa,EACb,eAAe,EACf,IAAI,CACL,CACF,CAAC;QACJ,CAAC;QAED,MAAM,SAAS,GAAG,oBAAoB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACtD,IAAI,SAAS,EAAE,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YACzC,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;gBAC9C,OAAO,CAAC,IAAI,CAAC,CAAC;YAChB,CAAC;YAED,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;gBACvC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,IAAI,CAAC,IAAI,CAAC;gBAC3C,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;YACd,MAAM,QAAQ,GAAG,GAAG,SAAS,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;YACxD,MAAM,WAAW,GACf,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC;gBACjD,CAAC,CAAC,kBAAkB,CAChB,SAAS,CAAC,IAAI,CAAC,IAAI,EACnB,SAAS,CAAC,IAAI,CAAC,cAAc,EAC7B,IAAI,CAAC,aAAa,CACnB;gBACH,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC;YAE1B,MAAM,eAAe,GACnB,WAAW,CAAC,IAAI,KAAK,WAAW;gBAC9B,CAAC,CAAC,WAAW,CAAC,uBAAuB;gBACrC,CAAC,CAAC,SAAS,CAAC;YAChB,IACE,aAAa,CAAC,GAAG,CAAC,QAAQ,CAAC;gBAC3B,CAAC,eAAe,KAAK,SAAS,IAAI,aAAa,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC,EACrE,CAAC;gBACD,OAAO,CAAC,IAAI,CAAC,CAAC;YAChB,CAAC;YAED,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAAC,aAAa,CAAC,CAAC;YACjD,iBAAiB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YAChC,IAAI,eAAe,KAAK,SAAS,EAAE,CAAC;gBAClC,iBAAiB,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC;YACzC,CAAC;YACD,OAAO,6BAA6B,CAClC,WAAW,EACX,OAAO,EACP,iBAAiB,EACjB,eAAe,EACf,KAAK,CACN,CAAC;QACJ,CAAC;QAED,MAAM,QAAQ,GAAG,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACjD,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;YACtB,OAAO,6BAA6B,CAClC,QAAQ,EACR,OAAO,EACP,aAAa,EACb,eAAe,EACf,qCAAqC,CACtC,CAAC;QACJ,CAAC;IACH,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CACnC,6BAA6B,CAC3B,MAAM,EACN,OAAO,EACP,aAAa,EACb,eAAe,EACf,IAAI,CACL,CACF,CAAC;IACJ,CAAC;IAED,OAAO,CAAC,IAAI,CAAC,CAAC;AAChB,CAAC,CAAC"}

package/dist/core/semantic/runtime-union-family-preservation.d.ts

@@ -0,0 +1,5 @@
+import type { IrType } from "@tsonic/frontend";
+export declare const rebuildUnionTypePreservingCarrierFamily: (sourceUnion: Extract<IrType, {
+    kind: "unionType";
+}>, nextTypes: readonly IrType[]) => IrType;
+//# sourceMappingURL=runtime-union-family-preservation.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"runtime-union-family-preservation.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/runtime-union-family-preservation.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAG/C,eAAO,MAAM,uCAAuC,GAClD,aAAa,OAAO,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,WAAW,CAAA;CAAE,CAAC,EACnD,WAAW,SAAS,MAAM,EAAE,KAC3B,MAkCF,CAAC"}

package/dist/core/semantic/runtime-union-family-preservation.js

@@ -0,0 +1,34 @@
+import { normalizedUnionType } from "@tsonic/frontend";
+export const rebuildUnionTypePreservingCarrierFamily = (sourceUnion, nextTypes) => {
+    if (nextTypes.length === 1) {
+        return nextTypes[0] ?? sourceUnion;
+    }
+    if (sourceUnion.preserveRuntimeLayout === true) {
+        return {
+            ...sourceUnion,
+            types: [...nextTypes],
+        };
+    }
+    return normalizedUnionType(nextTypes, {
+        ...(sourceUnion.runtimeCarrierFamilyKey !== undefined
+            ? { runtimeCarrierFamilyKey: sourceUnion.runtimeCarrierFamilyKey }
+            : {}),
+        ...(sourceUnion.runtimeCarrierName !== undefined
+            ? { runtimeCarrierName: sourceUnion.runtimeCarrierName }
+            : {}),
+        ...(sourceUnion.runtimeCarrierNamespace !== undefined
+            ? { runtimeCarrierNamespace: sourceUnion.runtimeCarrierNamespace }
+            : {}),
+        ...(sourceUnion.runtimeCarrierTypeParameters !== undefined
+            ? {
+                runtimeCarrierTypeParameters: sourceUnion.runtimeCarrierTypeParameters,
+            }
+            : {}),
+        ...(sourceUnion.runtimeCarrierTypeArguments !== undefined
+            ? {
+                runtimeCarrierTypeArguments: sourceUnion.runtimeCarrierTypeArguments,
+            }
+            : {}),
+    });
+};
+//# sourceMappingURL=runtime-union-family-preservation.js.map

package/dist/core/semantic/runtime-union-family-preservation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime-union-family-preservation.js","sourceRoot":"","sources":["../../../src/core/semantic/runtime-union-family-preservation.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AAEvD,MAAM,CAAC,MAAM,uCAAuC,GAAG,CACrD,WAAmD,EACnD,SAA4B,EACpB,EAAE;IACV,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3B,OAAO,SAAS,CAAC,CAAC,CAAC,IAAI,WAAW,CAAC;IACrC,CAAC;IAED,IAAI,WAAW,CAAC,qBAAqB,KAAK,IAAI,EAAE,CAAC;QAC/C,OAAO;YACL,GAAG,WAAW;YACd,KAAK,EAAE,CAAC,GAAG,SAAS,CAAC;SACtB,CAAC;IACJ,CAAC;IAED,OAAO,mBAAmB,CAAC,SAAS,EAAE;QACpC,GAAG,CAAC,WAAW,CAAC,uBAAuB,KAAK,SAAS;YACnD,CAAC,CAAC,EAAE,uBAAuB,EAAE,WAAW,CAAC,uBAAuB,EAAE;YAClE,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,CAAC,WAAW,CAAC,kBAAkB,KAAK,SAAS;YAC9C,CAAC,CAAC,EAAE,kBAAkB,EAAE,WAAW,CAAC,kBAAkB,EAAE;YACxD,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,CAAC,WAAW,CAAC,uBAAuB,KAAK,SAAS;YACnD,CAAC,CAAC,EAAE,uBAAuB,EAAE,WAAW,CAAC,uBAAuB,EAAE;YAClE,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,CAAC,WAAW,CAAC,4BAA4B,KAAK,SAAS;YACxD,CAAC,CAAC;gBACE,4BAA4B,EAC1B,WAAW,CAAC,4BAA4B;aAC3C;YACH,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,CAAC,WAAW,CAAC,2BAA2B,KAAK,SAAS;YACvD,CAAC,CAAC;gBACE,2BAA2B,EAAE,WAAW,CAAC,2BAA2B;aACrE;YACH,CAAC,CAAC,EAAE,CAAC;KACR,CAAC,CAAC;AACL,CAAC,CAAC"}

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

@@ -0,0 +1,9 @@
+import { IrType } from "@tsonic/frontend";
+import type { EmitterContext } from "../../types.js";
+export declare const findRuntimeUnionMemberIndex: (members: readonly IrType[], target: IrType, context: EmitterContext) => number | undefined;
+export declare const findRuntimeUnionMemberIndices: (members: readonly IrType[], target: IrType, context: EmitterContext) => readonly number[];
+export declare const findExactRuntimeUnionMemberIndices: (members: readonly IrType[], target: IrType, context: EmitterContext) => readonly number[];
+export declare const runtimeUnionMemberCanAcceptValue: (member: IrType, candidate: IrType, context: EmitterContext) => boolean;
+export declare const findRuntimeUnionAssignableMemberIndices: (members: readonly IrType[], candidate: IrType, context: EmitterContext) => readonly number[];
+export declare const findRuntimeUnionInstanceofMemberIndices: (members: readonly IrType[], target: IrType, context: EmitterContext) => readonly number[];
+//# sourceMappingURL=runtime-union-matching.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"runtime-union-matching.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/runtime-union-matching.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC1C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAoDrD,eAAO,MAAM,2BAA2B,GACtC,SAAS,SAAS,MAAM,EAAE,EAC1B,QAAQ,MAAM,EACd,SAAS,cAAc,KACtB,MAAM,GAAG,SAQX,CAAC;AAEF,eAAO,MAAM,6BAA6B,GACxC,SAAS,SAAS,MAAM,EAAE,EAC1B,QAAQ,MAAM,EACd,SAAS,cAAc,KACtB,SAAS,MAAM,EAGf,CAAC;AAEJ,eAAO,MAAM,kCAAkC,GAC7C,SAAS,SAAS,MAAM,EAAE,EAC1B,QAAQ,MAAM,EACd,SAAS,cAAc,KACtB,SAAS,MAAM,EAgCjB,CAAC;AA6EF,eAAO,MAAM,gCAAgC,GAC3C,QAAQ,MAAM,EACd,WAAW,MAAM,EACjB,SAAS,cAAc,KACtB,OAoBF,CAAC;AAEF,eAAO,MAAM,uCAAuC,GAClD,SAAS,SAAS,MAAM,EAAE,EAC1B,WAAW,MAAM,EACjB,SAAS,cAAc,KACtB,SAAS,MAAM,EAKf,CAAC;AAEJ,eAAO,MAAM,uCAAuC,GAClD,SAAS,SAAS,MAAM,EAAE,EAC1B,QAAQ,MAAM,EACd,SAAS,cAAc,KACtB,SAAS,MAAM,EAYjB,CAAC"}

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

@@ -0,0 +1,121 @@
+import { typesHaveDeterministicIdentityConflict, typesShareDirectClrIdentity, } from "./clr-type-identity.js";
+import { referenceTypesHaveNominalIdentity, referenceTypesShareNominalIdentity, } from "./reference-type-identity.js";
+import { resolveLocalTypeInfo, resolveTypeAlias, stripNullish, unionMemberMatchesTarget, } from "./type-resolution.js";
+import { getContextualTypeVisitKey, tryContextualTypeIdentityKey, } from "./deterministic-type-keys.js";
+const referenceTypesHaveExactRuntimeIdentity = (left, right, context) => {
+    const resolvedLeft = resolveTypeAlias(stripNullish(left), context);
+    const resolvedRight = resolveTypeAlias(stripNullish(right), context);
+    if (resolvedLeft.kind !== "referenceType" ||
+        resolvedRight.kind !== "referenceType") {
+        return false;
+    }
+    if (typesHaveDeterministicIdentityConflict(resolvedLeft, resolvedRight)) {
+        return false;
+    }
+    if (referenceTypesHaveNominalIdentity(resolvedLeft, resolvedRight, context)) {
+        return referenceTypesShareNominalIdentity(resolvedLeft, resolvedRight, context);
+    }
+    return false;
+};
+export const findRuntimeUnionMemberIndex = (members, target, context) => {
+    for (let index = 0; index < members.length; index += 1) {
+        const member = members[index];
+        if (member && unionMemberMatchesTarget(member, target, context)) {
+            return index;
+        }
+    }
+    return undefined;
+};
+export const findRuntimeUnionMemberIndices = (members, target, context) => members.flatMap((member, index) => member && unionMemberMatchesTarget(member, target, context) ? [index] : []);
+export const findExactRuntimeUnionMemberIndices = (members, target, context) => {
+    const resolvedTarget = resolveTypeAlias(stripNullish(target), context);
+    const targetKey = tryContextualTypeIdentityKey(resolvedTarget, context);
+    return members.flatMap((member, index) => {
+        if (!member) {
+            return [];
+        }
+        const resolvedMember = resolveTypeAlias(stripNullish(member), context);
+        const memberKey = tryContextualTypeIdentityKey(resolvedMember, context);
+        if ((memberKey !== undefined &&
+            targetKey !== undefined &&
+            memberKey === targetKey) ||
+            typesShareDirectClrIdentity(resolvedMember, resolvedTarget)) {
+            return [index];
+        }
+        if (resolvedMember.kind === "referenceType" &&
+            resolvedTarget.kind === "referenceType" &&
+            referenceTypesHaveExactRuntimeIdentity(resolvedMember, resolvedTarget, context)) {
+            return [index];
+        }
+        return [];
+    });
+};
+const referenceTypeCanContainInstanceofTarget = (member, target, context, seen = new Set()) => {
+    if (unionMemberMatchesTarget(member, target, context)) {
+        return true;
+    }
+    const targetKey = getContextualTypeVisitKey(target, context);
+    if (seen.has(targetKey)) {
+        return false;
+    }
+    const nextSeen = new Set(seen);
+    nextSeen.add(targetKey);
+    const info = resolveLocalTypeInfo(target, context)?.info;
+    if (!info) {
+        return false;
+    }
+    if (info.kind === "class") {
+        if (info.superClass) {
+            const resolvedSuper = resolveTypeAlias(info.superClass, context);
+            if (resolvedSuper.kind === "referenceType" &&
+                referenceTypeCanContainInstanceofTarget(member, resolvedSuper, context, nextSeen)) {
+                return true;
+            }
+        }
+        for (const implemented of info.implements) {
+            const resolvedImplemented = resolveTypeAlias(implemented, context);
+            if (resolvedImplemented.kind === "referenceType" &&
+                referenceTypeCanContainInstanceofTarget(member, resolvedImplemented, context, nextSeen)) {
+                return true;
+            }
+        }
+    }
+    if (info.kind === "interface") {
+        for (const extended of info.extends) {
+            const resolvedExtended = resolveTypeAlias(extended, context);
+            if (resolvedExtended.kind === "referenceType" &&
+                referenceTypeCanContainInstanceofTarget(member, resolvedExtended, context, nextSeen)) {
+                return true;
+            }
+        }
+    }
+    return false;
+};
+export const runtimeUnionMemberCanAcceptValue = (member, candidate, context) => {
+    if (unionMemberMatchesTarget(member, candidate, context)) {
+        return true;
+    }
+    const resolvedMember = resolveTypeAlias(stripNullish(member), context);
+    const resolvedCandidate = resolveTypeAlias(stripNullish(candidate), context);
+    if (resolvedMember.kind === "referenceType" &&
+        resolvedCandidate.kind === "referenceType" &&
+        referenceTypeCanContainInstanceofTarget(resolvedMember, resolvedCandidate, context)) {
+        return true;
+    }
+    return false;
+};
+export const findRuntimeUnionAssignableMemberIndices = (members, candidate, context) => members.flatMap((member, index) => member && runtimeUnionMemberCanAcceptValue(member, candidate, context)
+    ? [index]
+    : []);
+export const findRuntimeUnionInstanceofMemberIndices = (members, target, context) => {
+    const resolvedTarget = resolveTypeAlias(stripNullish(target), context);
+    return members.flatMap((member, index) => {
+        if (!member) {
+            return [];
+        }
+        return runtimeUnionMemberCanAcceptValue(member, resolvedTarget, context)
+            ? [index]
+            : [];
+    });
+};
+//# sourceMappingURL=runtime-union-matching.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"runtime-union-matching.js","sourceRoot":"","sources":["../../../src/core/semantic/runtime-union-matching.ts"],"names":[],"mappings":"AAEA,OAAO,EACL,sCAAsC,EACtC,2BAA2B,GAC5B,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,iCAAiC,EACjC,kCAAkC,GACnC,MAAM,8BAA8B,CAAC;AACtC,OAAO,EACL,oBAAoB,EACpB,gBAAgB,EAChB,YAAY,EACZ,wBAAwB,GACzB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EACL,yBAAyB,EACzB,4BAA4B,GAC7B,MAAM,8BAA8B,CAAC;AAEtC,MAAM,sCAAsC,GAAG,CAC7C,IAAgD,EAChD,KAAiD,EACjD,OAAuB,EACd,EAAE;IACX,MAAM,YAAY,GAAG,gBAAgB,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;IACnE,MAAM,aAAa,GAAG,gBAAgB,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC,CAAC;IAErE,IACE,YAAY,CAAC,IAAI,KAAK,eAAe;QACrC,aAAa,CAAC,IAAI,KAAK,eAAe,EACtC,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,sCAAsC,CAAC,YAAY,EAAE,aAAa,CAAC,EAAE,CAAC;QACxE,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IACE,iCAAiC,CAAC,YAAY,EAAE,aAAa,EAAE,OAAO,CAAC,EACvE,CAAC;QACD,OAAO,kCAAkC,CACvC,YAAY,EACZ,aAAa,EACb,OAAO,CACR,CAAC;IACJ,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,OAA0B,EAC1B,MAAc,EACd,OAAuB,EACH,EAAE;IACtB,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,OAAO,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACvD,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;QAC9B,IAAI,MAAM,IAAI,wBAAwB,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC;YAChE,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAC3C,OAA0B,EAC1B,MAAc,EACd,OAAuB,EACJ,EAAE,CACrB,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAChC,MAAM,IAAI,wBAAwB,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAC3E,CAAC;AAEJ,MAAM,CAAC,MAAM,kCAAkC,GAAG,CAChD,OAA0B,EAC1B,MAAc,EACd,OAAuB,EACJ,EAAE;IACrB,MAAM,cAAc,GAAG,gBAAgB,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,CAAC;IACvE,MAAM,SAAS,GAAG,4BAA4B,CAAC,cAAc,EAAE,OAAO,CAAC,CAAC;IACxE,OAAO,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE;QACvC,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,OAAO,EAAE,CAAC;QACZ,CAAC;QACD,MAAM,cAAc,GAAG,gBAAgB,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,CAAC;QACvE,MAAM,SAAS,GAAG,4BAA4B,CAAC,cAAc,EAAE,OAAO,CAAC,CAAC;QACxE,IACE,CAAC,SAAS,KAAK,SAAS;YACtB,SAAS,KAAK,SAAS;YACvB,SAAS,KAAK,SAAS,CAAC;YAC1B,2BAA2B,CAAC,cAAc,EAAE,cAAc,CAAC,EAC3D,CAAC;YACD,OAAO,CAAC,KAAK,CAAC,CAAC;QACjB,CAAC;QAED,IACE,cAAc,CAAC,IAAI,KAAK,eAAe;YACvC,cAAc,CAAC,IAAI,KAAK,eAAe;YACvC,sCAAsC,CACpC,cAAc,EACd,cAAc,EACd,OAAO,CACR,EACD,CAAC;YACD,OAAO,CAAC,KAAK,CAAC,CAAC;QACjB,CAAC;QAED,OAAO,EAAE,CAAC;IACZ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC;AAEF,MAAM,uCAAuC,GAAG,CAC9C,MAAkD,EAClD,MAAkD,EAClD,OAAuB,EACvB,OAA4B,IAAI,GAAG,EAAU,EACpC,EAAE;IACX,IAAI,wBAAwB,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC;QACtD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,SAAS,GAAG,yBAAyB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC7D,IAAI,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;QACxB,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC;IAC/B,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAExB,MAAM,IAAI,GAAG,oBAAoB,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,IAAI,CAAC;IACzD,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC1B,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YACpB,MAAM,aAAa,GAAG,gBAAgB,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;YACjE,IACE,aAAa,CAAC,IAAI,KAAK,eAAe;gBACtC,uCAAuC,CACrC,MAAM,EACN,aAAa,EACb,OAAO,EACP,QAAQ,CACT,EACD,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;QAED,KAAK,MAAM,WAAW,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YAC1C,MAAM,mBAAmB,GAAG,gBAAgB,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;YACnE,IACE,mBAAmB,CAAC,IAAI,KAAK,eAAe;gBAC5C,uCAAuC,CACrC,MAAM,EACN,mBAAmB,EACnB,OAAO,EACP,QAAQ,CACT,EACD,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YACpC,MAAM,gBAAgB,GAAG,gBAAgB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;YAC7D,IACE,gBAAgB,CAAC,IAAI,KAAK,eAAe;gBACzC,uCAAuC,CACrC,MAAM,EACN,gBAAgB,EAChB,OAAO,EACP,QAAQ,CACT,EACD,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,gCAAgC,GAAG,CAC9C,MAAc,EACd,SAAiB,EACjB,OAAuB,EACd,EAAE;IACX,IAAI,wBAAwB,CAAC,MAAM,EAAE,SAAS,EAAE,OAAO,CAAC,EAAE,CAAC;QACzD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,cAAc,GAAG,gBAAgB,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,CAAC;IACvE,MAAM,iBAAiB,GAAG,gBAAgB,CAAC,YAAY,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC,CAAC;IAC7E,IACE,cAAc,CAAC,IAAI,KAAK,eAAe;QACvC,iBAAiB,CAAC,IAAI,KAAK,eAAe;QAC1C,uCAAuC,CACrC,cAAc,EACd,iBAAiB,EACjB,OAAO,CACR,EACD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,uCAAuC,GAAG,CACrD,OAA0B,EAC1B,SAAiB,EACjB,OAAuB,EACJ,EAAE,CACrB,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAChC,MAAM,IAAI,gCAAgC,CAAC,MAAM,EAAE,SAAS,EAAE,OAAO,CAAC;IACpE,CAAC,CAAC,CAAC,KAAK,CAAC;IACT,CAAC,CAAC,EAAE,CACP,CAAC;AAEJ,MAAM,CAAC,MAAM,uCAAuC,GAAG,CACrD,OAA0B,EAC1B,MAAc,EACd,OAAuB,EACJ,EAAE;IACrB,MAAM,cAAc,GAAG,gBAAgB,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,CAAC;IAEvE,OAAO,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE;QACvC,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,OAAO,gCAAgC,CAAC,MAAM,EAAE,cAAc,EAAE,OAAO,CAAC;YACtE,CAAC,CAAC,CAAC,KAAK,CAAC;YACT,CAAC,CAAC,EAAE,CAAC;IACT,CAAC,CAAC,CAAC;AACL,CAAC,CAAC"}

package/dist/core/semantic/runtime-union-member-mapping.d.ts

@@ -0,0 +1,12 @@
+import type { IrType } from "@tsonic/frontend";
+import type { EmitterContext } from "../../types.js";
+import type { CSharpTypeAst } from "../format/backend-ast/types.js";
+export declare const buildRuntimeUnionMemberIndexByAstKey: (memberTypeAsts: readonly CSharpTypeAst[]) => ReadonlyMap<string, number>;
+export declare const findMappedRuntimeUnionMemberIndex: (opts: {
+    readonly targetMembers: readonly IrType[];
+    readonly targetMemberIndexByAstKey: ReadonlyMap<string, number>;
+    readonly actualMember: IrType;
+    readonly actualMemberTypeAst?: CSharpTypeAst;
+    readonly context: EmitterContext;
+}) => number | undefined;
+//# sourceMappingURL=runtime-union-member-mapping.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"runtime-union-member-mapping.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/runtime-union-member-mapping.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AACrD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAC;AAKpE,eAAO,MAAM,oCAAoC,GAC/C,gBAAgB,SAAS,aAAa,EAAE,KACvC,WAAW,CAAC,MAAM,EAAE,MAAM,CAQ5B,CAAC;AAEF,eAAO,MAAM,iCAAiC,GAAI,MAAM;IACtD,QAAQ,CAAC,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1C,QAAQ,CAAC,yBAAyB,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAChE,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,mBAAmB,CAAC,EAAE,aAAa,CAAC;IAC7C,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC;CAClC,KAAG,MAAM,GAAG,SAoBZ,CAAC"}

package/dist/core/semantic/runtime-union-member-mapping.js

@@ -0,0 +1,25 @@
+import { stableTypeKeyFromAst } from "../format/backend-ast/utils.js";
+import { unionMemberMatchesTarget } from "./type-resolution.js";
+import { runtimeUnionAliasReferencesMatch } from "./runtime-union-alias-identity.js";
+export const buildRuntimeUnionMemberIndexByAstKey = (memberTypeAsts) => {
+    const memberIndexByAstKey = new Map();
+    for (let index = 0; index < memberTypeAsts.length; index += 1) {
+        const memberTypeAst = memberTypeAsts[index];
+        if (!memberTypeAst)
+            continue;
+        memberIndexByAstKey.set(stableTypeKeyFromAst(memberTypeAst), index);
+    }
+    return memberIndexByAstKey;
+};
+export const findMappedRuntimeUnionMemberIndex = (opts) => {
+    const astMatch = opts.actualMemberTypeAst
+        ? opts.targetMemberIndexByAstKey.get(stableTypeKeyFromAst(opts.actualMemberTypeAst))
+        : undefined;
+    if (astMatch !== undefined) {
+        return astMatch;
+    }
+    const semanticMatch = opts.targetMembers.findIndex((targetMember) => runtimeUnionAliasReferencesMatch(opts.actualMember, targetMember, opts.context) ||
+        unionMemberMatchesTarget(opts.actualMember, targetMember, opts.context));
+    return semanticMatch >= 0 ? semanticMatch : undefined;
+};
+//# sourceMappingURL=runtime-union-member-mapping.js.map

package/dist/core/semantic/runtime-union-member-mapping.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime-union-member-mapping.js","sourceRoot":"","sources":["../../../src/core/semantic/runtime-union-member-mapping.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,oBAAoB,EAAE,MAAM,gCAAgC,CAAC;AACtE,OAAO,EAAE,wBAAwB,EAAE,MAAM,sBAAsB,CAAC;AAChE,OAAO,EAAE,gCAAgC,EAAE,MAAM,mCAAmC,CAAC;AAErF,MAAM,CAAC,MAAM,oCAAoC,GAAG,CAClD,cAAwC,EACX,EAAE;IAC/B,MAAM,mBAAmB,GAAG,IAAI,GAAG,EAAkB,CAAC;IACtD,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,cAAc,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC9D,MAAM,aAAa,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;QAC5C,IAAI,CAAC,aAAa;YAAE,SAAS;QAC7B,mBAAmB,CAAC,GAAG,CAAC,oBAAoB,CAAC,aAAa,CAAC,EAAE,KAAK,CAAC,CAAC;IACtE,CAAC;IACD,OAAO,mBAAmB,CAAC;AAC7B,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,iCAAiC,GAAG,CAAC,IAMjD,EAAsB,EAAE;IACvB,MAAM,QAAQ,GAAG,IAAI,CAAC,mBAAmB;QACvC,CAAC,CAAC,IAAI,CAAC,yBAAyB,CAAC,GAAG,CAChC,oBAAoB,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAC/C;QACH,CAAC,CAAC,SAAS,CAAC;IACd,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,MAAM,aAAa,GAAG,IAAI,CAAC,aAAa,CAAC,SAAS,CAChD,CAAC,YAAY,EAAE,EAAE,CACf,gCAAgC,CAC9B,IAAI,CAAC,YAAY,EACjB,YAAY,EACZ,IAAI,CAAC,OAAO,CACb;QACD,wBAAwB,CAAC,IAAI,CAAC,YAAY,EAAE,YAAY,EAAE,IAAI,CAAC,OAAO,CAAC,CAC1E,CAAC;IACF,OAAO,aAAa,IAAI,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC;AACxD,CAAC,CAAC"}

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

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

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

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

package/dist/core/semantic/runtime-union-member-mapping.test.js

@@ -0,0 +1,54 @@
+import { describe, it } from "mocha";
+import { expect } from "chai";
+import { createContext } from "../../emitter-types/context.js";
+import { identifierType } from "../format/backend-ast/builders.js";
+import { buildRuntimeUnionMemberIndexByAstKey, findMappedRuntimeUnionMemberIndex, } from "./runtime-union-member-mapping.js";
+const regExpType = {
+    kind: "referenceType",
+    name: "RegExp",
+    resolvedClrType: "global::js.RegExp",
+};
+describe("runtime-union-member-mapping", () => {
+    it("indexes runtime-union members by emitted type key", () => {
+        const indexByAstKey = buildRuntimeUnionMemberIndexByAstKey([
+            identifierType("string"),
+            identifierType("global::js.RegExp"),
+        ]);
+        expect(indexByAstKey.get("clr:System.String/0")).to.equal(0);
+        expect(indexByAstKey.get("named:js.RegExp/0<>")).to.equal(1);
+    });
+    it("prefers emitted member-type mapping before semantic fallback", () => {
+        const context = createContext({ rootNamespace: "Test" });
+        const indexByAstKey = buildRuntimeUnionMemberIndexByAstKey([
+            identifierType("string"),
+            identifierType("global::js.RegExp"),
+        ]);
+        const index = findMappedRuntimeUnionMemberIndex({
+            targetMembers: [{ kind: "primitiveType", name: "string" }, regExpType],
+            targetMemberIndexByAstKey: indexByAstKey,
+            actualMember: {
+                kind: "referenceType",
+                name: "PathSpec",
+                resolvedClrType: "Test.PathSpec",
+            },
+            actualMemberTypeAst: identifierType("string"),
+            context,
+        });
+        expect(index).to.equal(0);
+    });
+    it("falls back to semantic matching when emitted member type is unavailable", () => {
+        const context = createContext({ rootNamespace: "Test" });
+        const indexByAstKey = buildRuntimeUnionMemberIndexByAstKey([
+            identifierType("string"),
+            identifierType("global::js.RegExp"),
+        ]);
+        const index = findMappedRuntimeUnionMemberIndex({
+            targetMembers: [{ kind: "primitiveType", name: "string" }, regExpType],
+            targetMemberIndexByAstKey: indexByAstKey,
+            actualMember: regExpType,
+            context,
+        });
+        expect(index).to.equal(1);
+    });
+});
+//# sourceMappingURL=runtime-union-member-mapping.test.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"runtime-union-member-mapping.test.js","sourceRoot":"","sources":["../../../src/core/semantic/runtime-union-member-mapping.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,EAAE,cAAc,EAAE,MAAM,mCAAmC,CAAC;AACnE,OAAO,EACL,oCAAoC,EACpC,iCAAiC,GAClC,MAAM,mCAAmC,CAAC;AAE3C,MAAM,UAAU,GAAW;IACzB,IAAI,EAAE,eAAe;IACrB,IAAI,EAAE,QAAQ;IACd,eAAe,EAAE,mBAAmB;CACrC,CAAC;AAEF,QAAQ,CAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,aAAa,GAAG,oCAAoC,CAAC;YACzD,cAAc,CAAC,QAAQ,CAAC;YACxB,cAAc,CAAC,mBAAmB,CAAC;SACpC,CAAC,CAAC;QAEH,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,qBAAqB,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAC7D,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,qBAAqB,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CACvD,CAAC,CACF,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,OAAO,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC;QACzD,MAAM,aAAa,GAAG,oCAAoC,CAAC;YACzD,cAAc,CAAC,QAAQ,CAAC;YACxB,cAAc,CAAC,mBAAmB,CAAC;SACpC,CAAC,CAAC;QAEH,MAAM,KAAK,GAAG,iCAAiC,CAAC;YAC9C,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,UAAU,CAAC;YACtE,yBAAyB,EAAE,aAAa;YACxC,YAAY,EAAE;gBACZ,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,UAAU;gBAChB,eAAe,EAAE,eAAe;aACjC;YACD,mBAAmB,EAAE,cAAc,CAAC,QAAQ,CAAC;YAC7C,OAAO;SACR,CAAC,CAAC;QAEH,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC5B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yEAAyE,EAAE,GAAG,EAAE;QACjF,MAAM,OAAO,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC;QACzD,MAAM,aAAa,GAAG,oCAAoC,CAAC;YACzD,cAAc,CAAC,QAAQ,CAAC;YACxB,cAAc,CAAC,mBAAmB,CAAC;SACpC,CAAC,CAAC;QAEH,MAAM,KAAK,GAAG,iCAAiC,CAAC;YAC9C,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,UAAU,CAAC;YACtE,yBAAyB,EAAE,aAAa;YACxC,YAAY,EAAE,UAAU;YACxB,OAAO;SACR,CAAC,CAAC;QAEH,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC5B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

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

@@ -0,0 +1,4 @@
+import type { IrType } from "@tsonic/frontend";
+import type { EmitterContext } from "../../types.js";
+export declare const getRuntimeUnionMemberSortKey: (type: IrType, context: EmitterContext) => string;
+//# sourceMappingURL=runtime-union-ordering.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"runtime-union-ordering.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/runtime-union-ordering.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAqB,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAClE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AA6JrD,eAAO,MAAM,4BAA4B,GACvC,MAAM,MAAM,EACZ,SAAS,cAAc,KACtB,MAGO,CAAC"}