@tsonic/emitter 0.0.73 → 0.0.75

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

@@ -0,0 +1,301 @@
+import { createHash } from "node:crypto";
+import { stableTypeKeyFromAst } from "../format/backend-ast/utils.js";
+import { escapeCSharpIdentifier } from "../../emitter-types/index.js";
+export const createRuntimeUnionRegistry = () => ({
+    definitions: new Map(),
+    definitionsByName: new Map(),
+});
+const buildRuntimeUnionCarrierKey = (memberTypeAsts, metadata) => metadata
+    ? `union:${metadata.familyKey}`
+    : `union:${buildAnonymousRuntimeUnionFamilyKey(memberTypeAsts)}`;
+const buildAnonymousRuntimeUnionFamilyKey = (memberTypeAsts) => {
+    const genericArgumentPlaceholders = new Map();
+    let nextGenericArgumentId = 0;
+    const getGenericArgumentPlaceholder = (type) => {
+        const key = stableTypeKeyFromAst(type);
+        const existing = genericArgumentPlaceholders.get(key);
+        if (existing) {
+            return existing;
+        }
+        const placeholder = `$${nextGenericArgumentId}`;
+        nextGenericArgumentId += 1;
+        genericArgumentPlaceholders.set(key, placeholder);
+        return placeholder;
+    };
+    const generalizeTypeAst = (type, inTypeArgument = false) => {
+        if (inTypeArgument) {
+            return getGenericArgumentPlaceholder(type);
+        }
+        switch (type.kind) {
+            case "predefinedType":
+                return `predefined:${type.keyword}`;
+            case "identifierType": {
+                const args = type.typeArguments && type.typeArguments.length > 0
+                    ? `<${type.typeArguments
+                        .map((typeArgument) => generalizeTypeAst(typeArgument, true))
+                        .join(",")}>`
+                    : "";
+                return `identifier:${type.name}${args}`;
+            }
+            case "qualifiedIdentifierType": {
+                const qualifiedName = type.name.aliasQualifier !== undefined
+                    ? `${type.name.aliasQualifier}::${type.name.segments.join(".")}`
+                    : type.name.segments.join(".");
+                const args = type.typeArguments && type.typeArguments.length > 0
+                    ? `<${type.typeArguments
+                        .map((typeArgument) => generalizeTypeAst(typeArgument, true))
+                        .join(",")}>`
+                    : "";
+                return `qualifiedIdentifier:${qualifiedName}${args}`;
+            }
+            case "nullableType":
+                return `nullable:${generalizeTypeAst(type.underlyingType)}`;
+            case "arrayType":
+                return `array:${type.rank}:${generalizeTypeAst(type.elementType)}`;
+            case "pointerType":
+                return `pointer:${generalizeTypeAst(type.elementType)}`;
+            case "tupleType":
+                return `tuple:${type.elements
+                    .map((element) => element.name
+                    ? `${generalizeTypeAst(element.type)}:${element.name}`
+                    : generalizeTypeAst(element.type))
+                    .join("|")}`;
+            case "varType":
+                return "var";
+            default: {
+                const exhaustive = type;
+                throw new Error(`ICE: Unhandled CSharpTypeAst kind '${exhaustive.kind}' in buildAnonymousRuntimeUnionFamilyKey`);
+            }
+        }
+    };
+    return memberTypeAsts.map((member) => generalizeTypeAst(member)).join("|");
+};
+const buildRuntimeUnionCarrierName = (key, arity, metadata) => {
+    if (metadata?.name) {
+        return escapeCSharpIdentifier(metadata.name);
+    }
+    const hash = createHash("md5")
+        .update(key)
+        .digest("hex")
+        .slice(0, 8)
+        .toUpperCase();
+    return `Union${arity}_${hash}`;
+};
+const DEFAULT_RUNTIME_UNION_NAMESPACE = "Tsonic.Internal";
+const normalizeRuntimeUnionCarrierName = (name) => {
+    const normalized = name.startsWith("global::")
+        ? name.slice("global::".length)
+        : name;
+    return normalized;
+};
+const normalizeCarrierDefinitionMemberKey = (type, carrierNamespaceName) => {
+    const typeArguments = (args) => args && args.length > 0
+        ? `<${args
+            .map((arg) => normalizeCarrierDefinitionMemberKey(arg, carrierNamespaceName))
+            .join(",")}>`
+        : "";
+    switch (type.kind) {
+        case "predefinedType":
+            return `predefined:${type.keyword}`;
+        case "identifierType":
+            return `identifier:${type.name}${typeArguments(type.typeArguments)}`;
+        case "qualifiedIdentifierType": {
+            const namespaceSegments = carrierNamespaceName
+                ?.replace(/^global::/, "")
+                .split(".")
+                .filter((segment) => segment.length > 0);
+            const segments = type.name.segments;
+            const isCarrierLocalType = type.name.aliasQualifier === "global" &&
+                namespaceSegments !== undefined &&
+                segments.length === namespaceSegments.length + 1 &&
+                namespaceSegments.every((segment, index) => segment === segments[index]);
+            if (isCarrierLocalType) {
+                return `identifier:${segments[segments.length - 1]}${typeArguments(type.typeArguments)}`;
+            }
+            const qualifiedName = `${type.name.aliasQualifier ? `${type.name.aliasQualifier}::` : ""}${segments.join(".")}`;
+            return `qualifiedIdentifier:${qualifiedName}${typeArguments(type.typeArguments)}`;
+        }
+        case "nullableType":
+            return `nullable:${normalizeCarrierDefinitionMemberKey(type.underlyingType, carrierNamespaceName)}`;
+        case "arrayType":
+            return `array:${type.rank}:${normalizeCarrierDefinitionMemberKey(type.elementType, carrierNamespaceName)}`;
+        case "pointerType":
+            return `pointer:${normalizeCarrierDefinitionMemberKey(type.elementType, carrierNamespaceName)}`;
+        case "tupleType":
+            return `tuple:${type.elements
+                .map((element) => element.name
+                ? `${normalizeCarrierDefinitionMemberKey(element.type, carrierNamespaceName)}:${element.name}`
+                : normalizeCarrierDefinitionMemberKey(element.type, carrierNamespaceName))
+                .join("|")}`;
+        case "varType":
+            return "var";
+        default: {
+            const exhaustive = type;
+            throw new Error(`ICE: Unhandled CSharpTypeAst kind '${exhaustive.kind}' in normalizeCarrierDefinitionMemberKey`);
+        }
+    }
+};
+const carrierDefinitionMembersMatch = (left, right, carrierNamespaceName) => left.length === right.length &&
+    left.every((memberTypeAst, index) => normalizeCarrierDefinitionMemberKey(memberTypeAst, carrierNamespaceName) ===
+        normalizeCarrierDefinitionMemberKey(right[index] ?? memberTypeAst, carrierNamespaceName));
+const isRecursiveCarrierSelfArrayKey = (key, carrierName) => {
+    if (!carrierName) {
+        return false;
+    }
+    const escapedCarrierName = escapeCSharpIdentifier(carrierName);
+    const selfPrefix = `array:1:identifier:${escapedCarrierName}`;
+    const nullableSelfPrefix = `array:1:nullable:identifier:${escapedCarrierName}`;
+    return (key === selfPrefix ||
+        key.startsWith(`${selfPrefix}<`) ||
+        key === nullableSelfPrefix ||
+        key.startsWith(`${nullableSelfPrefix}<`));
+};
+const isStorageErasedObjectArrayKey = (key) => key === "array:1:predefined:object" ||
+    key === "array:1:nullable:predefined:object";
+const reconcileCarrierDefinitionMembers = (existingMembers, nextMembers, carrierNamespaceName, carrierName) => {
+    if (existingMembers.length !== nextMembers.length) {
+        return undefined;
+    }
+    const reconciled = [];
+    for (let index = 0; index < existingMembers.length; index += 1) {
+        const existingMember = existingMembers[index];
+        const nextMember = nextMembers[index];
+        if (!existingMember || !nextMember) {
+            return undefined;
+        }
+        const existingKey = normalizeCarrierDefinitionMemberKey(existingMember, carrierNamespaceName);
+        const nextKey = normalizeCarrierDefinitionMemberKey(nextMember, carrierNamespaceName);
+        if (existingKey === nextKey) {
+            reconciled.push(existingMember);
+            continue;
+        }
+        if (isStorageErasedObjectArrayKey(existingKey) &&
+            isRecursiveCarrierSelfArrayKey(nextKey, carrierName)) {
+            reconciled.push(nextMember);
+            continue;
+        }
+        if (isRecursiveCarrierSelfArrayKey(existingKey, carrierName) &&
+            isStorageErasedObjectArrayKey(nextKey)) {
+            reconciled.push(existingMember);
+            continue;
+        }
+        return undefined;
+    }
+    return reconciled;
+};
+export const getRuntimeUnionCarrierDefinitionByName = (name, registry) => {
+    const normalized = normalizeRuntimeUnionCarrierName(name);
+    return (registry?.definitionsByName.get(normalized) ??
+        registry?.definitionsByName.get(normalized.split(".").pop() ?? normalized));
+};
+export const getOrRegisterRuntimeUnionCarrier = (memberTypeAsts, registry, metadata) => {
+    const key = buildRuntimeUnionCarrierKey(memberTypeAsts, metadata);
+    const existing = registry?.definitions.get(key);
+    if (existing) {
+        if (!registry || !metadata) {
+            return existing;
+        }
+        const defaultName = buildRuntimeUnionCarrierName(key, existing.arity, undefined);
+        const nextName = metadata.name
+            ? escapeCSharpIdentifier(metadata.name)
+            : existing.name;
+        if (metadata.name &&
+            existing.name !== nextName &&
+            existing.name !== defaultName) {
+            throw new Error(`ICE: Conflicting runtime union carrier names for family '${metadata.familyKey}': '${existing.name}' vs '${nextName}'.`);
+        }
+        const nextNamespaceName = metadata.namespaceName ?? existing.namespaceName;
+        if (metadata.namespaceName &&
+            existing.namespaceName !== metadata.namespaceName &&
+            existing.namespaceName !== DEFAULT_RUNTIME_UNION_NAMESPACE) {
+            throw new Error(`ICE: Conflicting runtime union carrier namespaces for family '${metadata.familyKey}': '${existing.namespaceName}' vs '${metadata.namespaceName}'.`);
+        }
+        const defaultTypeParameters = Array.from({ length: existing.arity }, (_, index) => `T${index + 1}`);
+        const nextTypeParameters = metadata.typeParameters?.map(escapeCSharpIdentifier) ??
+            existing.typeParameters;
+        if (metadata.typeParameters &&
+            existing.typeParameters.join(",") !== nextTypeParameters.join(",") &&
+            existing.typeParameters.join(",") !== defaultTypeParameters.join(",")) {
+            throw new Error(`ICE: Conflicting runtime union carrier type parameters for family '${metadata.familyKey}'.`);
+        }
+        const defaultDefinitionMemberTypeAsts = defaultTypeParameters.map((typeParameter) => ({
+            kind: "identifierType",
+            name: typeParameter,
+        }));
+        const nextDefinitionMemberTypeAsts = metadata.definitionMemberTypeAsts ?? existing.memberTypeAsts;
+        const reconciledDefinitionMemberTypeAsts = reconcileCarrierDefinitionMembers(existing.memberTypeAsts, nextDefinitionMemberTypeAsts, nextNamespaceName, nextName);
+        const definitionMembersMatch = reconciledDefinitionMemberTypeAsts !== undefined;
+        const existingDefinitionMembersAreDefault = carrierDefinitionMembersMatch(existing.memberTypeAsts, defaultDefinitionMemberTypeAsts, nextNamespaceName);
+        if (metadata.definitionMemberTypeAsts &&
+            existing.memberTypeAsts.length ===
+                metadata.definitionMemberTypeAsts.length &&
+            !definitionMembersMatch &&
+            !existingDefinitionMembersAreDefault) {
+            const existingKeys = existing.memberTypeAsts
+                .map((memberTypeAst) => stableTypeKeyFromAst(memberTypeAst))
+                .join(", ");
+            const nextKeys = metadata.definitionMemberTypeAsts
+                .map((memberTypeAst) => stableTypeKeyFromAst(memberTypeAst))
+                .join(", ");
+            throw new Error(`ICE: Conflicting runtime union carrier definition members for family '${metadata.familyKey}': '${existingKeys}' vs '${nextKeys}'.`);
+        }
+        const nextAccessModifier = existing.accessModifier === "public" ||
+            metadata.accessModifier === "public"
+            ? "public"
+            : "internal";
+        const effectiveNextDefinitionMemberTypeAsts = definitionMembersMatch
+            ? (reconciledDefinitionMemberTypeAsts ?? existing.memberTypeAsts)
+            : nextDefinitionMemberTypeAsts;
+        if (existing.name === nextName &&
+            existing.namespaceName === nextNamespaceName &&
+            existing.typeParameters.join(",") === nextTypeParameters.join(",") &&
+            existing.accessModifier === nextAccessModifier &&
+            existing.memberTypeAsts.length ===
+                effectiveNextDefinitionMemberTypeAsts.length &&
+            existing.memberTypeAsts.every((memberTypeAst, index) => stableTypeKeyFromAst(memberTypeAst) ===
+                stableTypeKeyFromAst(effectiveNextDefinitionMemberTypeAsts[index] ?? memberTypeAst))) {
+            return existing;
+        }
+        registry.definitionsByName.delete(existing.name);
+        registry.definitionsByName.delete(existing.fullName);
+        const upgraded = {
+            ...existing,
+            name: nextName,
+            namespaceName: nextNamespaceName,
+            fullName: `${nextNamespaceName}.${nextName}`,
+            typeParameters: nextTypeParameters,
+            memberTypeAsts: [...effectiveNextDefinitionMemberTypeAsts],
+            accessModifier: nextAccessModifier,
+        };
+        registry.definitions.set(key, upgraded);
+        registry.definitionsByName.set(upgraded.name, upgraded);
+        registry.definitionsByName.set(upgraded.fullName, upgraded);
+        return upgraded;
+    }
+    const memberTypeKeys = memberTypeAsts.map((member) => stableTypeKeyFromAst(member));
+    const namespaceName = metadata?.namespaceName ?? DEFAULT_RUNTIME_UNION_NAMESPACE;
+    const name = buildRuntimeUnionCarrierName(key, memberTypeAsts.length, metadata);
+    const typeParameters = metadata?.typeParameters?.map(escapeCSharpIdentifier) ??
+        Array.from({ length: memberTypeAsts.length }, (_, index) => `T${index + 1}`);
+    const definitionMemberTypeAsts = metadata?.definitionMemberTypeAsts ??
+        typeParameters.map((typeParameter) => ({
+            kind: "identifierType",
+            name: typeParameter,
+        }));
+    const definition = {
+        key,
+        name,
+        namespaceName,
+        fullName: `${namespaceName}.${name}`,
+        arity: memberTypeAsts.length,
+        typeParameters,
+        memberTypeAsts: [...definitionMemberTypeAsts],
+        memberTypeKeys,
+        accessModifier: metadata?.accessModifier ?? "public",
+    };
+    registry?.definitions.set(key, definition);
+    registry?.definitionsByName.set(definition.name, definition);
+    registry?.definitionsByName.set(definition.fullName, definition);
+    return definition;
+};
+//# sourceMappingURL=runtime-union-registry.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"runtime-union-registry.js","sourceRoot":"","sources":["../../../src/core/semantic/runtime-union-registry.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzC,OAAO,EAAE,oBAAoB,EAAE,MAAM,gCAAgC,CAAC;AACtE,OAAO,EAAE,sBAAsB,EAAE,MAAM,8BAA8B,CAAC;AA4BtE,MAAM,CAAC,MAAM,0BAA0B,GAAG,GAAyB,EAAE,CAAC,CAAC;IACrE,WAAW,EAAE,IAAI,GAAG,EAAE;IACtB,iBAAiB,EAAE,IAAI,GAAG,EAAE;CAC7B,CAAC,CAAC;AAEH,MAAM,2BAA2B,GAAG,CAClC,cAAwC,EACxC,QAAsC,EAC9B,EAAE,CACV,QAAQ;IACN,CAAC,CAAC,SAAS,QAAQ,CAAC,SAAS,EAAE;IAC/B,CAAC,CAAC,SAAS,mCAAmC,CAAC,cAAc,CAAC,EAAE,CAAC;AAErE,MAAM,mCAAmC,GAAG,CAC1C,cAAwC,EAChC,EAAE;IACV,MAAM,2BAA2B,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC9D,IAAI,qBAAqB,GAAG,CAAC,CAAC;IAE9B,MAAM,6BAA6B,GAAG,CAAC,IAAmB,EAAU,EAAE;QACpE,MAAM,GAAG,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;QACvC,MAAM,QAAQ,GAAG,2BAA2B,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACtD,IAAI,QAAQ,EAAE,CAAC;YACb,OAAO,QAAQ,CAAC;QAClB,CAAC;QAED,MAAM,WAAW,GAAG,IAAI,qBAAqB,EAAE,CAAC;QAChD,qBAAqB,IAAI,CAAC,CAAC;QAC3B,2BAA2B,CAAC,GAAG,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC;QAClD,OAAO,WAAW,CAAC;IACrB,CAAC,CAAC;IAEF,MAAM,iBAAiB,GAAG,CACxB,IAAmB,EACnB,cAAc,GAAG,KAAK,EACd,EAAE;QACV,IAAI,cAAc,EAAE,CAAC;YACnB,OAAO,6BAA6B,CAAC,IAAI,CAAC,CAAC;QAC7C,CAAC;QAED,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,gBAAgB;gBACnB,OAAO,cAAc,IAAI,CAAC,OAAO,EAAE,CAAC;YACtC,KAAK,gBAAgB,CAAC,CAAC,CAAC;gBACtB,MAAM,IAAI,GACR,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC;oBACjD,CAAC,CAAC,IAAI,IAAI,CAAC,aAAa;yBACnB,GAAG,CAAC,CAAC,YAAY,EAAE,EAAE,CAAC,iBAAiB,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;yBAC5D,IAAI,CAAC,GAAG,CAAC,GAAG;oBACjB,CAAC,CAAC,EAAE,CAAC;gBACT,OAAO,cAAc,IAAI,CAAC,IAAI,GAAG,IAAI,EAAE,CAAC;YAC1C,CAAC;YACD,KAAK,yBAAyB,CAAC,CAAC,CAAC;gBAC/B,MAAM,aAAa,GACjB,IAAI,CAAC,IAAI,CAAC,cAAc,KAAK,SAAS;oBACpC,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,cAAc,KAAK,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE;oBAChE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBACnC,MAAM,IAAI,GACR,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC;oBACjD,CAAC,CAAC,IAAI,IAAI,CAAC,aAAa;yBACnB,GAAG,CAAC,CAAC,YAAY,EAAE,EAAE,CAAC,iBAAiB,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;yBAC5D,IAAI,CAAC,GAAG,CAAC,GAAG;oBACjB,CAAC,CAAC,EAAE,CAAC;gBACT,OAAO,uBAAuB,aAAa,GAAG,IAAI,EAAE,CAAC;YACvD,CAAC;YACD,KAAK,cAAc;gBACjB,OAAO,YAAY,iBAAiB,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC;YAC9D,KAAK,WAAW;gBACd,OAAO,SAAS,IAAI,CAAC,IAAI,IAAI,iBAAiB,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;YACrE,KAAK,aAAa;gBAChB,OAAO,WAAW,iBAAiB,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;YAC1D,KAAK,WAAW;gBACd,OAAO,SAAS,IAAI,CAAC,QAAQ;qBAC1B,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CACf,OAAO,CAAC,IAAI;oBACV,CAAC,CAAC,GAAG,iBAAiB,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,IAAI,EAAE;oBACtD,CAAC,CAAC,iBAAiB,CAAC,OAAO,CAAC,IAAI,CAAC,CACpC;qBACA,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YACjB,KAAK,SAAS;gBACZ,OAAO,KAAK,CAAC;YACf,OAAO,CAAC,CAAC,CAAC;gBACR,MAAM,UAAU,GAAU,IAAI,CAAC;gBAC/B,MAAM,IAAI,KAAK,CACb,sCAAuC,UAA4B,CAAC,IAAI,0CAA0C,CACnH,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC,CAAC;IAEF,OAAO,cAAc,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAC7E,CAAC,CAAC;AAEF,MAAM,4BAA4B,GAAG,CACnC,GAAW,EACX,KAAa,EACb,QAAsC,EAC9B,EAAE;IACV,IAAI,QAAQ,EAAE,IAAI,EAAE,CAAC;QACnB,OAAO,sBAAsB,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC/C,CAAC;IAED,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,CAAC;SAC3B,MAAM,CAAC,GAAG,CAAC;SACX,MAAM,CAAC,KAAK,CAAC;SACb,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;SACX,WAAW,EAAE,CAAC;IACjB,OAAO,QAAQ,KAAK,IAAI,IAAI,EAAE,CAAC;AACjC,CAAC,CAAC;AAEF,MAAM,+BAA+B,GAAG,iBAAiB,CAAC;AAE1D,MAAM,gCAAgC,GAAG,CAAC,IAAY,EAAU,EAAE;IAChE,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC;QAC5C,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC;QAC/B,CAAC,CAAC,IAAI,CAAC;IACT,OAAO,UAAU,CAAC;AACpB,CAAC,CAAC;AAEF,MAAM,mCAAmC,GAAG,CAC1C,IAAmB,EACnB,oBAAwC,EAChC,EAAE;IACV,MAAM,aAAa,GAAG,CACpB,IAA0C,EAClC,EAAE,CACV,IAAI,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;QACrB,CAAC,CAAC,IAAI,IAAI;aACL,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CACX,mCAAmC,CAAC,GAAG,EAAE,oBAAoB,CAAC,CAC/D;aACA,IAAI,CAAC,GAAG,CAAC,GAAG;QACjB,CAAC,CAAC,EAAE,CAAC;IAET,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,gBAAgB;YACnB,OAAO,cAAc,IAAI,CAAC,OAAO,EAAE,CAAC;QACtC,KAAK,gBAAgB;YACnB,OAAO,cAAc,IAAI,CAAC,IAAI,GAAG,aAAa,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC;QACvE,KAAK,yBAAyB,CAAC,CAAC,CAAC;YAC/B,MAAM,iBAAiB,GAAG,oBAAoB;gBAC5C,EAAE,OAAO,CAAC,WAAW,EAAE,EAAE,CAAC;iBACzB,KAAK,CAAC,GAAG,CAAC;iBACV,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;YAC3C,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC;YACpC,MAAM,kBAAkB,GACtB,IAAI,CAAC,IAAI,CAAC,cAAc,KAAK,QAAQ;gBACrC,iBAAiB,KAAK,SAAS;gBAC/B,QAAQ,CAAC,MAAM,KAAK,iBAAiB,CAAC,MAAM,GAAG,CAAC;gBAChD,iBAAiB,CAAC,KAAK,CACrB,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,OAAO,KAAK,QAAQ,CAAC,KAAK,CAAC,CAChD,CAAC;YACJ,IAAI,kBAAkB,EAAE,CAAC;gBACvB,OAAO,cAAc,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,GAAG,aAAa,CAChE,IAAI,CAAC,aAAa,CACnB,EAAE,CAAC;YACN,CAAC;YAED,MAAM,aAAa,GAAG,GACpB,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,cAAc,IAAI,CAAC,CAAC,CAAC,EAC/D,GAAG,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YACxB,OAAO,uBAAuB,aAAa,GAAG,aAAa,CACzD,IAAI,CAAC,aAAa,CACnB,EAAE,CAAC;QACN,CAAC;QACD,KAAK,cAAc;YACjB,OAAO,YAAY,mCAAmC,CACpD,IAAI,CAAC,cAAc,EACnB,oBAAoB,CACrB,EAAE,CAAC;QACN,KAAK,WAAW;YACd,OAAO,SAAS,IAAI,CAAC,IAAI,IAAI,mCAAmC,CAC9D,IAAI,CAAC,WAAW,EAChB,oBAAoB,CACrB,EAAE,CAAC;QACN,KAAK,aAAa;YAChB,OAAO,WAAW,mCAAmC,CACnD,IAAI,CAAC,WAAW,EAChB,oBAAoB,CACrB,EAAE,CAAC;QACN,KAAK,WAAW;YACd,OAAO,SAAS,IAAI,CAAC,QAAQ;iBAC1B,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CACf,OAAO,CAAC,IAAI;gBACV,CAAC,CAAC,GAAG,mCAAmC,CACpC,OAAO,CAAC,IAAI,EACZ,oBAAoB,CACrB,IAAI,OAAO,CAAC,IAAI,EAAE;gBACrB,CAAC,CAAC,mCAAmC,CACjC,OAAO,CAAC,IAAI,EACZ,oBAAoB,CACrB,CACN;iBACA,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QACjB,KAAK,SAAS;YACZ,OAAO,KAAK,CAAC;QACf,OAAO,CAAC,CAAC,CAAC;YACR,MAAM,UAAU,GAAU,IAAI,CAAC;YAC/B,MAAM,IAAI,KAAK,CACb,sCAAuC,UAA4B,CAAC,IAAI,0CAA0C,CACnH,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,6BAA6B,GAAG,CACpC,IAA8B,EAC9B,KAA+B,EAC/B,oBAAwC,EAC/B,EAAE,CACX,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;IAC5B,IAAI,CAAC,KAAK,CACR,CAAC,aAAa,EAAE,KAAK,EAAE,EAAE,CACvB,mCAAmC,CACjC,aAAa,EACb,oBAAoB,CACrB;QACD,mCAAmC,CACjC,KAAK,CAAC,KAAK,CAAC,IAAI,aAAa,EAC7B,oBAAoB,CACrB,CACJ,CAAC;AAEJ,MAAM,8BAA8B,GAAG,CACrC,GAAW,EACX,WAA+B,EACtB,EAAE;IACX,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,kBAAkB,GAAG,sBAAsB,CAAC,WAAW,CAAC,CAAC;IAC/D,MAAM,UAAU,GAAG,sBAAsB,kBAAkB,EAAE,CAAC;IAC9D,MAAM,kBAAkB,GAAG,+BAA+B,kBAAkB,EAAE,CAAC;IAC/E,OAAO,CACL,GAAG,KAAK,UAAU;QAClB,GAAG,CAAC,UAAU,CAAC,GAAG,UAAU,GAAG,CAAC;QAChC,GAAG,KAAK,kBAAkB;QAC1B,GAAG,CAAC,UAAU,CAAC,GAAG,kBAAkB,GAAG,CAAC,CACzC,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,6BAA6B,GAAG,CAAC,GAAW,EAAW,EAAE,CAC7D,GAAG,KAAK,2BAA2B;IACnC,GAAG,KAAK,oCAAoC,CAAC;AAE/C,MAAM,iCAAiC,GAAG,CACxC,eAAyC,EACzC,WAAqC,EACrC,oBAAwC,EACxC,WAA+B,EACO,EAAE;IACxC,IAAI,eAAe,CAAC,MAAM,KAAK,WAAW,CAAC,MAAM,EAAE,CAAC;QAClD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,UAAU,GAAoB,EAAE,CAAC;IACvC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,eAAe,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC/D,MAAM,cAAc,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;QAC9C,MAAM,UAAU,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;QACtC,IAAI,CAAC,cAAc,IAAI,CAAC,UAAU,EAAE,CAAC;YACnC,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,MAAM,WAAW,GAAG,mCAAmC,CACrD,cAAc,EACd,oBAAoB,CACrB,CAAC;QACF,MAAM,OAAO,GAAG,mCAAmC,CACjD,UAAU,EACV,oBAAoB,CACrB,CAAC;QACF,IAAI,WAAW,KAAK,OAAO,EAAE,CAAC;YAC5B,UAAU,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;YAChC,SAAS;QACX,CAAC;QAED,IACE,6BAA6B,CAAC,WAAW,CAAC;YAC1C,8BAA8B,CAAC,OAAO,EAAE,WAAW,CAAC,EACpD,CAAC;YACD,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YAC5B,SAAS;QACX,CAAC;QAED,IACE,8BAA8B,CAAC,WAAW,EAAE,WAAW,CAAC;YACxD,6BAA6B,CAAC,OAAO,CAAC,EACtC,CAAC;YACD,UAAU,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;YAChC,SAAS;QACX,CAAC;QAED,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,UAAU,CAAC;AACpB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,sCAAsC,GAAG,CACpD,IAAY,EACZ,QAA0C,EACC,EAAE;IAC7C,MAAM,UAAU,GAAG,gCAAgC,CAAC,IAAI,CAAC,CAAC;IAC1D,OAAO,CACL,QAAQ,EAAE,iBAAiB,CAAC,GAAG,CAAC,UAAU,CAAC;QAC3C,QAAQ,EAAE,iBAAiB,CAAC,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,UAAU,CAAC,CAC3E,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,gCAAgC,GAAG,CAC9C,cAAwC,EACxC,QAA0C,EAC1C,QAAsC,EACP,EAAE;IACjC,MAAM,GAAG,GAAG,2BAA2B,CAAC,cAAc,EAAE,QAAQ,CAAC,CAAC;IAClE,MAAM,QAAQ,GAAG,QAAQ,EAAE,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAChD,IAAI,QAAQ,EAAE,CAAC;QACb,IAAI,CAAC,QAAQ,IAAI,CAAC,QAAQ,EAAE,CAAC;YAC3B,OAAO,QAAQ,CAAC;QAClB,CAAC;QAED,MAAM,WAAW,GAAG,4BAA4B,CAC9C,GAAG,EACH,QAAQ,CAAC,KAAK,EACd,SAAS,CACV,CAAC;QACF,MAAM,QAAQ,GAAG,QAAQ,CAAC,IAAI;YAC5B,CAAC,CAAC,sBAAsB,CAAC,QAAQ,CAAC,IAAI,CAAC;YACvC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC;QAClB,IACE,QAAQ,CAAC,IAAI;YACb,QAAQ,CAAC,IAAI,KAAK,QAAQ;YAC1B,QAAQ,CAAC,IAAI,KAAK,WAAW,EAC7B,CAAC;YACD,MAAM,IAAI,KAAK,CACb,4DAA4D,QAAQ,CAAC,SAAS,OAAO,QAAQ,CAAC,IAAI,SAAS,QAAQ,IAAI,CACxH,CAAC;QACJ,CAAC;QAED,MAAM,iBAAiB,GAAG,QAAQ,CAAC,aAAa,IAAI,QAAQ,CAAC,aAAa,CAAC;QAC3E,IACE,QAAQ,CAAC,aAAa;YACtB,QAAQ,CAAC,aAAa,KAAK,QAAQ,CAAC,aAAa;YACjD,QAAQ,CAAC,aAAa,KAAK,+BAA+B,EAC1D,CAAC;YACD,MAAM,IAAI,KAAK,CACb,iEAAiE,QAAQ,CAAC,SAAS,OAAO,QAAQ,CAAC,aAAa,SAAS,QAAQ,CAAC,aAAa,IAAI,CACpJ,CAAC;QACJ,CAAC;QAED,MAAM,qBAAqB,GAAG,KAAK,CAAC,IAAI,CACtC,EAAE,MAAM,EAAE,QAAQ,CAAC,KAAK,EAAE,EAC1B,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,KAAK,GAAG,CAAC,EAAE,CAC9B,CAAC;QACF,MAAM,kBAAkB,GACtB,QAAQ,CAAC,cAAc,EAAE,GAAG,CAAC,sBAAsB,CAAC;YACpD,QAAQ,CAAC,cAAc,CAAC;QAC1B,IACE,QAAQ,CAAC,cAAc;YACvB,QAAQ,CAAC,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,kBAAkB,CAAC,IAAI,CAAC,GAAG,CAAC;YAClE,QAAQ,CAAC,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,qBAAqB,CAAC,IAAI,CAAC,GAAG,CAAC,EACrE,CAAC;YACD,MAAM,IAAI,KAAK,CACb,sEAAsE,QAAQ,CAAC,SAAS,IAAI,CAC7F,CAAC;QACJ,CAAC;QAED,MAAM,+BAA+B,GAAG,qBAAqB,CAAC,GAAG,CAC/D,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC;YAClB,IAAI,EAAE,gBAAyB;YAC/B,IAAI,EAAE,aAAa;SACpB,CAAC,CACH,CAAC;QACF,MAAM,4BAA4B,GAChC,QAAQ,CAAC,wBAAwB,IAAI,QAAQ,CAAC,cAAc,CAAC;QAC/D,MAAM,kCAAkC,GACtC,iCAAiC,CAC/B,QAAQ,CAAC,cAAc,EACvB,4BAA4B,EAC5B,iBAAiB,EACjB,QAAQ,CACT,CAAC;QACJ,MAAM,sBAAsB,GAAG,kCAAkC,KAAK,SAAS,CAAC;QAChF,MAAM,mCAAmC,GACvC,6BAA6B,CAC3B,QAAQ,CAAC,cAAc,EACvB,+BAA+B,EAC/B,iBAAiB,CAClB,CAAC;QACJ,IACE,QAAQ,CAAC,wBAAwB;YACjC,QAAQ,CAAC,cAAc,CAAC,MAAM;gBAC5B,QAAQ,CAAC,wBAAwB,CAAC,MAAM;YAC1C,CAAC,sBAAsB;YACvB,CAAC,mCAAmC,EACpC,CAAC;YACD,MAAM,YAAY,GAAG,QAAQ,CAAC,cAAc;iBACzC,GAAG,CAAC,CAAC,aAAa,EAAE,EAAE,CAAC,oBAAoB,CAAC,aAAa,CAAC,CAAC;iBAC3D,IAAI,CAAC,IAAI,CAAC,CAAC;YACd,MAAM,QAAQ,GAAG,QAAQ,CAAC,wBAAwB;iBAC/C,GAAG,CAAC,CAAC,aAAa,EAAE,EAAE,CAAC,oBAAoB,CAAC,aAAa,CAAC,CAAC;iBAC3D,IAAI,CAAC,IAAI,CAAC,CAAC;YACd,MAAM,IAAI,KAAK,CACb,yEAAyE,QAAQ,CAAC,SAAS,OAAO,YAAY,SAAS,QAAQ,IAAI,CACpI,CAAC;QACJ,CAAC;QAED,MAAM,kBAAkB,GACtB,QAAQ,CAAC,cAAc,KAAK,QAAQ;YACpC,QAAQ,CAAC,cAAc,KAAK,QAAQ;YAClC,CAAC,CAAC,QAAQ;YACV,CAAC,CAAC,UAAU,CAAC;QACjB,MAAM,qCAAqC,GAAG,sBAAsB;YAClE,CAAC,CAAC,CAAC,kCAAkC,IAAI,QAAQ,CAAC,cAAc,CAAC;YACjE,CAAC,CAAC,4BAA4B,CAAC;QAEjC,IACE,QAAQ,CAAC,IAAI,KAAK,QAAQ;YAC1B,QAAQ,CAAC,aAAa,KAAK,iBAAiB;YAC5C,QAAQ,CAAC,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,kBAAkB,CAAC,IAAI,CAAC,GAAG,CAAC;YAClE,QAAQ,CAAC,cAAc,KAAK,kBAAkB;YAC9C,QAAQ,CAAC,cAAc,CAAC,MAAM;gBAC5B,qCAAqC,CAAC,MAAM;YAC9C,QAAQ,CAAC,cAAc,CAAC,KAAK,CAC3B,CAAC,aAAa,EAAE,KAAK,EAAE,EAAE,CACvB,oBAAoB,CAAC,aAAa,CAAC;gBACnC,oBAAoB,CAClB,qCAAqC,CAAC,KAAK,CAAC,IAAI,aAAa,CAC9D,CACJ,EACD,CAAC;YACD,OAAO,QAAQ,CAAC;QAClB,CAAC;QAED,QAAQ,CAAC,iBAAiB,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACjD,QAAQ,CAAC,iBAAiB,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;QAErD,MAAM,QAAQ,GAAkC;YAC9C,GAAG,QAAQ;YACX,IAAI,EAAE,QAAQ;YACd,aAAa,EAAE,iBAAiB;YAChC,QAAQ,EAAE,GAAG,iBAAiB,IAAI,QAAQ,EAAE;YAC5C,cAAc,EAAE,kBAAkB;YAClC,cAAc,EAAE,CAAC,GAAG,qCAAqC,CAAC;YAC1D,cAAc,EAAE,kBAAkB;SACnC,CAAC;QACF,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;QACxC,QAAQ,CAAC,iBAAiB,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACxD,QAAQ,CAAC,iBAAiB,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;QAC5D,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,MAAM,cAAc,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CACnD,oBAAoB,CAAC,MAAM,CAAC,CAC7B,CAAC;IACF,MAAM,aAAa,GACjB,QAAQ,EAAE,aAAa,IAAI,+BAA+B,CAAC;IAC7D,MAAM,IAAI,GAAG,4BAA4B,CACvC,GAAG,EACH,cAAc,CAAC,MAAM,EACrB,QAAQ,CACT,CAAC;IACF,MAAM,cAAc,GAClB,QAAQ,EAAE,cAAc,EAAE,GAAG,CAAC,sBAAsB,CAAC;QACrD,KAAK,CAAC,IAAI,CACR,EAAE,MAAM,EAAE,cAAc,CAAC,MAAM,EAAE,EACjC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,KAAK,GAAG,CAAC,EAAE,CAC9B,CAAC;IACJ,MAAM,wBAAwB,GAC5B,QAAQ,EAAE,wBAAwB;QAClC,cAAc,CAAC,GAAG,CAAC,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC;YACrC,IAAI,EAAE,gBAAyB;YAC/B,IAAI,EAAE,aAAa;SACpB,CAAC,CAAC,CAAC;IACN,MAAM,UAAU,GAAkC;QAChD,GAAG;QACH,IAAI;QACJ,aAAa;QACb,QAAQ,EAAE,GAAG,aAAa,IAAI,IAAI,EAAE;QACpC,KAAK,EAAE,cAAc,CAAC,MAAM;QAC5B,cAAc;QACd,cAAc,EAAE,CAAC,GAAG,wBAAwB,CAAC;QAC7C,cAAc;QACd,cAAc,EAAE,QAAQ,EAAE,cAAc,IAAI,QAAQ;KACrD,CAAC;IACF,QAAQ,EAAE,WAAW,CAAC,GAAG,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;IAC3C,QAAQ,EAAE,iBAAiB,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IAC7D,QAAQ,EAAE,iBAAiB,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IACjE,OAAO,UAAU,CAAC;AACpB,CAAC,CAAC"}

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

@@ -0,0 +1,23 @@
+import { IrType } from "@tsonic/frontend";
+import type { CSharpTypeAst } from "../format/backend-ast/types.js";
+import type { EmitterContext } from "../../types.js";
+export type EmitTypeAstLike = (type: IrType, context: EmitterContext) => [CSharpTypeAst, EmitterContext];
+export type RuntimeUnionLayout = {
+    readonly members: readonly IrType[];
+    readonly memberTypeAsts: readonly CSharpTypeAst[];
+    readonly carrierTypeArgumentAsts: readonly CSharpTypeAst[];
+    readonly runtimeUnionArity: number;
+    readonly carrierName?: string;
+    readonly carrierFullName?: string;
+};
+export type RuntimeUnionFrame = {
+    readonly members: readonly IrType[];
+    readonly runtimeUnionArity: number;
+};
+export declare const UNKNOWN_TYPE: IrType;
+export declare const BROAD_OBJECT_TYPE: IrType;
+export declare const isRuntimeUnionTypeName: (name: string) => boolean;
+export declare const getRuntimeUnionReferenceMembers: (type: Extract<IrType, {
+    kind: "referenceType";
+}>) => readonly IrType[] | undefined;
+//# sourceMappingURL=runtime-union-shared.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"runtime-union-shared.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/runtime-union-shared.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC1C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAC;AACpE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAErD,MAAM,MAAM,eAAe,GAAG,CAC5B,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,cAAc,KACpB,CAAC,aAAa,EAAE,cAAc,CAAC,CAAC;AAErC,MAAM,MAAM,kBAAkB,GAAG;IAC/B,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,cAAc,EAAE,SAAS,aAAa,EAAE,CAAC;IAClD,QAAQ,CAAC,uBAAuB,EAAE,SAAS,aAAa,EAAE,CAAC;IAC3D,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,CAAC;CACnC,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;CACpC,CAAC;AAEF,eAAO,MAAM,YAAY,EAAE,MAAgC,CAAC;AAC5D,eAAO,MAAM,iBAAiB,EAAE,MAI/B,CAAC;AAEF,eAAO,MAAM,sBAAsB,GAAI,MAAM,MAAM,KAAG,OAYrD,CAAC;AAEF,eAAO,MAAM,+BAA+B,GAC1C,MAAM,OAAO,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC,KAC/C,SAAS,MAAM,EAAE,GAAG,SAatB,CAAC"}

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

@@ -0,0 +1,29 @@
+export const UNKNOWN_TYPE = { kind: "unknownType" };
+export const BROAD_OBJECT_TYPE = {
+    kind: "referenceType",
+    name: "object",
+    resolvedClrType: "System.Object",
+};
+export const isRuntimeUnionTypeName = (name) => {
+    const normalized = name.startsWith("global::")
+        ? name.slice("global::".length)
+        : name;
+    const leaf = normalized.split(".").pop() ?? normalized;
+    return (leaf === "Union" ||
+        /^Union_\d+$/.test(leaf) ||
+        /^Union`\d+$/.test(leaf) ||
+        /^Union\d+$/.test(leaf) ||
+        /^Union\d+_[A-F0-9]{8}$/.test(leaf));
+};
+export const getRuntimeUnionReferenceMembers = (type) => {
+    if ((isRuntimeUnionTypeName(type.name) ||
+        (type.resolvedClrType
+            ? isRuntimeUnionTypeName(type.resolvedClrType)
+            : false)) &&
+        type.typeArguments &&
+        type.typeArguments.length >= 2) {
+        return type.typeArguments;
+    }
+    return undefined;
+};
+//# sourceMappingURL=runtime-union-shared.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"runtime-union-shared.js","sourceRoot":"","sources":["../../../src/core/semantic/runtime-union-shared.ts"],"names":[],"mappings":"AAuBA,MAAM,CAAC,MAAM,YAAY,GAAW,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC;AAC5D,MAAM,CAAC,MAAM,iBAAiB,GAAW;IACvC,IAAI,EAAE,eAAe;IACrB,IAAI,EAAE,QAAQ;IACd,eAAe,EAAE,eAAe;CACjC,CAAC;AAEF,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,IAAY,EAAW,EAAE;IAC9D,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC;QAC5C,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC;QAC/B,CAAC,CAAC,IAAI,CAAC;IACT,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,UAAU,CAAC;IACvD,OAAO,CACL,IAAI,KAAK,OAAO;QAChB,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC;QACxB,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC;QACxB,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;QACvB,wBAAwB,CAAC,IAAI,CAAC,IAAI,CAAC,CACpC,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAC7C,IAAgD,EACjB,EAAE;IACjC,IACE,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC;QAChC,CAAC,IAAI,CAAC,eAAe;YACnB,CAAC,CAAC,sBAAsB,CAAC,IAAI,CAAC,eAAe,CAAC;YAC9C,CAAC,CAAC,KAAK,CAAC,CAAC;QACb,IAAI,CAAC,aAAa;QAClB,IAAI,CAAC,aAAa,CAAC,MAAM,IAAI,CAAC,EAC9B,CAAC;QACD,OAAO,IAAI,CAAC,aAAa,CAAC;IAC5B,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC"}

package/dist/core/semantic/runtime-unions.d.ts

@@ -0,0 +1,14 @@
+import { type IrType } from "@tsonic/frontend";
+import type { EmitterContext } from "../../types.js";
+import type { CSharpTypeAst } from "../format/backend-ast/types.js";
+import type { EmitTypeAstLike, RuntimeUnionFrame, RuntimeUnionLayout } from "./runtime-union-shared.js";
+import { findExactRuntimeUnionMemberIndices, findRuntimeUnionAssignableMemberIndices, findRuntimeUnionInstanceofMemberIndices, findRuntimeUnionMemberIndex, findRuntimeUnionMemberIndices } from "./runtime-union-matching.js";
+export { findExactRuntimeUnionMemberIndices, findRuntimeUnionAssignableMemberIndices, findRuntimeUnionInstanceofMemberIndices, findRuntimeUnionMemberIndex, findRuntimeUnionMemberIndices, };
+export type { EmitTypeAstLike, RuntimeUnionFrame, RuntimeUnionLayout, } from "./runtime-union-shared.js";
+export { getRuntimeUnionReferenceMembers, isRuntimeUnionTypeName, } from "./runtime-union-shared.js";
+export declare const buildRuntimeUnionLayout: (type: IrType, context: EmitterContext, emitTypeAst: EmitTypeAstLike) => [RuntimeUnionLayout | undefined, EmitterContext];
+export declare const buildRuntimeUnionTypeAst: (layout: RuntimeUnionLayout) => CSharpTypeAst;
+export declare const emitRuntimeCarrierTypeAst: (type: IrType, context: EmitterContext, emitTypeAst: EmitTypeAstLike) => [CSharpTypeAst, RuntimeUnionLayout | undefined, EmitterContext];
+export declare const buildRuntimeUnionFrame: (type: IrType, context: EmitterContext) => RuntimeUnionFrame | undefined;
+export declare const getCanonicalRuntimeUnionMembers: (type: IrType, context: EmitterContext) => readonly IrType[] | undefined;
+//# sourceMappingURL=runtime-unions.d.ts.map

package/dist/core/semantic/runtime-unions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime-unions.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/runtime-unions.ts"],"names":[],"mappings":"AAAA,OAAO,EAAqB,KAAK,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAClE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AACrD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAC;AAGpE,OAAO,KAAK,EACV,eAAe,EACf,iBAAiB,EACjB,kBAAkB,EACnB,MAAM,2BAA2B,CAAC;AAenC,OAAO,EACL,kCAAkC,EAClC,uCAAuC,EACvC,uCAAuC,EACvC,2BAA2B,EAC3B,6BAA6B,EAC9B,MAAM,6BAA6B,CAAC;AAGrC,OAAO,EACL,kCAAkC,EAClC,uCAAuC,EACvC,uCAAuC,EACvC,2BAA2B,EAC3B,6BAA6B,GAC9B,CAAC;AACF,YAAY,EACV,eAAe,EACf,iBAAiB,EACjB,kBAAkB,GACnB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EACL,+BAA+B,EAC/B,sBAAsB,GACvB,MAAM,2BAA2B,CAAC;AAEnC,eAAO,MAAM,uBAAuB,GAClC,MAAM,MAAM,EACZ,SAAS,cAAc,EACvB,aAAa,eAAe,KAC3B,CAAC,kBAAkB,GAAG,SAAS,EAAE,cAAc,CAyGjD,CAAC;AAmJF,eAAO,MAAM,wBAAwB,GACnC,QAAQ,kBAAkB,KACzB,aAOF,CAAC;AAEF,eAAO,MAAM,yBAAyB,GACpC,MAAM,MAAM,EACZ,SAAS,cAAc,EACvB,aAAa,eAAe,KAC3B,CAAC,aAAa,EAAE,kBAAkB,GAAG,SAAS,EAAE,cAAc,CAYhE,CAAC;AAEF,eAAO,MAAM,sBAAsB,GACjC,MAAM,MAAM,EACZ,SAAS,cAAc,KACtB,iBAAiB,GAAG,SAsBtB,CAAC;AAuBF,eAAO,MAAM,+BAA+B,GAC1C,MAAM,MAAM,EACZ,SAAS,cAAc,KACtB,SAAS,MAAM,EAAE,GAAG,SAwItB,CAAC"}