@tsonic/emitter 0.0.74 → 0.0.75

package/dist/expressions/structural-type-shapes.js

@@ -0,0 +1,318 @@
+import { resolveTypeAlias, stripNullish, resolveLocalTypeInfo, substituteTypeArgs, getArrayLikeElementType, } from "../core/semantic/type-resolution.js";
+import { getIdentifierTypeName, stripNullableTypeAst, } from "../core/format/backend-ast/utils.js";
+import { deriveForOfElementType } from "../core/semantic/iteration-types.js";
+import { getContextualTypeVisitKey, tryContextualTypeIdentityKey, } from "../core/semantic/deterministic-type-keys.js";
+import { typesHaveDeterministicIdentityConflict, } from "../core/semantic/clr-type-identity.js";
+import { getReferenceNominalIdentityKey, referenceTypesHaveNominalIdentity, referenceTypesShareNominalIdentity, } from "../core/semantic/reference-type-identity.js";
+const ITERATOR_MEMBER_NAME = "[symbol:iterator]";
+export const getDirectIterableElementType = (type, context) => {
+    if (!type)
+        return undefined;
+    const resolved = resolveTypeAlias(stripNullish(type), context);
+    if (resolved.kind === "arrayType") {
+        return resolved.elementType;
+    }
+    if (resolved.kind === "tupleType") {
+        if (resolved.elementTypes.length === 1) {
+            return resolved.elementTypes[0];
+        }
+        return undefined;
+    }
+    if (resolved.kind !== "referenceType") {
+        return undefined;
+    }
+    const simpleName = (resolved.name.split(".").pop() ?? resolved.name).replace(/\$instance$/, "");
+    const clrSimpleName = resolved.resolvedClrType
+        ?.split(".")
+        .pop()
+        ?.replace(/\$instance$/, "");
+    if (simpleName === "Iterable" ||
+        simpleName === "IterableIterator" ||
+        simpleName === "Generator" ||
+        simpleName === "AsyncIterable" ||
+        simpleName === "AsyncIterableIterator" ||
+        simpleName === "AsyncGenerator" ||
+        simpleName === "IEnumerable" ||
+        simpleName === "IEnumerable_1" ||
+        simpleName === "IAsyncEnumerable_1" ||
+        clrSimpleName === "IEnumerable" ||
+        clrSimpleName === "IAsyncEnumerable") {
+        return deriveForOfElementType(resolved, context);
+    }
+    return undefined;
+};
+const substituteLocalType = (type, typeParameters, typeArguments) => typeArguments && typeArguments.length > 0
+    ? substituteTypeArgs(type, typeParameters, typeArguments)
+    : type;
+const resolveIteratorMemberFromMembers = (members, typeParameters, typeArguments) => {
+    for (const member of members) {
+        if ((member.kind === "methodDeclaration" ||
+            member.kind === "methodSignature") &&
+            member.name === ITERATOR_MEMBER_NAME &&
+            member.parameters.length === 0 &&
+            member.returnType) {
+            return {
+                kind: "iteratorMethod",
+                returnType: substituteLocalType(member.returnType, typeParameters, typeArguments),
+            };
+        }
+        if ((member.kind === "propertyDeclaration" ||
+            member.kind === "propertySignature") &&
+            member.name === ITERATOR_MEMBER_NAME &&
+            member.type) {
+            return {
+                kind: "iteratorProperty",
+                returnType: substituteLocalType(member.type, typeParameters, typeArguments),
+            };
+        }
+    }
+    return undefined;
+};
+const getReferenceBindingLookupCandidates = (ref) => {
+    const candidates = new Set();
+    const add = (value) => {
+        if (!value || value.length === 0) {
+            return;
+        }
+        candidates.add(value);
+        if (value.includes(".")) {
+            const leaf = value.split(".").pop();
+            if (leaf && leaf.length > 0) {
+                candidates.add(leaf);
+            }
+        }
+    };
+    add(ref.name);
+    add(ref.resolvedClrType);
+    add(ref.typeId?.tsName);
+    add(ref.typeId?.clrName);
+    for (const value of [...candidates]) {
+        if (!value.endsWith("$instance")) {
+            continue;
+        }
+        add(value.slice(0, -"$instance".length));
+    }
+    return [...candidates];
+};
+const resolveIteratorMemberFromBindingRegistry = (ref, context) => {
+    const registry = context.bindingRegistry;
+    if (!registry) {
+        return undefined;
+    }
+    const preferredClrOwner = ref.resolvedClrType ?? ref.typeId?.clrName;
+    const matches = new Map();
+    for (const candidate of getReferenceBindingLookupCandidates(ref)) {
+        const overloads = registry.getMemberOverloads(candidate, ITERATOR_MEMBER_NAME, preferredClrOwner);
+        if (!overloads || overloads.length === 0) {
+            continue;
+        }
+        const candidateMatches = new Map();
+        for (const overload of overloads) {
+            if (overload.kind === "method" &&
+                overload.semanticSignature?.parameters.length === 0 &&
+                overload.semanticSignature.returnType) {
+                const resolution = {
+                    kind: "iteratorMethod",
+                    returnType: overload.semanticSignature.returnType,
+                };
+                const returnTypeKey = tryContextualTypeIdentityKey(resolution.returnType, context);
+                if (returnTypeKey) {
+                    candidateMatches.set(`${resolution.kind}:${returnTypeKey}`, resolution);
+                }
+                continue;
+            }
+            if (overload.kind === "property" && overload.semanticType) {
+                const resolution = {
+                    kind: "iteratorProperty",
+                    returnType: overload.semanticType,
+                };
+                const returnTypeKey = tryContextualTypeIdentityKey(resolution.returnType, context);
+                if (returnTypeKey) {
+                    candidateMatches.set(`${resolution.kind}:${returnTypeKey}`, resolution);
+                }
+            }
+        }
+        if (candidateMatches.size !== 1) {
+            continue;
+        }
+        const onlyMatch = [...candidateMatches.entries()][0];
+        if (!onlyMatch) {
+            continue;
+        }
+        matches.set(onlyMatch[0], onlyMatch[1]);
+    }
+    if (matches.size !== 1) {
+        return undefined;
+    }
+    return [...matches.values()][0];
+};
+const resolveIteratorMemberFromReference = (ref, context, visited = new Set()) => {
+    const resolvedRef = resolveTypeAlias(stripNullish(ref), context);
+    if (resolvedRef.kind !== "referenceType") {
+        return undefined;
+    }
+    const visitKey = getContextualTypeVisitKey(resolvedRef, context);
+    if (visited.has(visitKey)) {
+        return undefined;
+    }
+    const nextVisited = new Set(visited);
+    nextVisited.add(visitKey);
+    const structuralDirect = resolvedRef.structuralMembers
+        ? resolveIteratorMemberFromMembers(resolvedRef.structuralMembers, [], undefined)
+        : undefined;
+    if (structuralDirect) {
+        return structuralDirect;
+    }
+    const localInfoResult = resolveLocalTypeInfo(resolvedRef, context);
+    if (!localInfoResult) {
+        return resolveIteratorMemberFromBindingRegistry(resolvedRef, context);
+    }
+    const { info } = localInfoResult;
+    if (info.kind === "class") {
+        const direct = resolveIteratorMemberFromMembers(info.members, info.typeParameters, resolvedRef.typeArguments);
+        if (direct) {
+            return direct;
+        }
+        if (info.superClass?.kind === "referenceType") {
+            const superRef = substituteLocalType(info.superClass, info.typeParameters, resolvedRef.typeArguments);
+            if (superRef.kind === "referenceType") {
+                const inherited = resolveIteratorMemberFromReference(superRef, context, nextVisited);
+                if (inherited) {
+                    return inherited;
+                }
+            }
+        }
+        for (const impl of info.implements) {
+            if (impl.kind !== "referenceType")
+                continue;
+            const substitutedImpl = substituteLocalType(impl, info.typeParameters, resolvedRef.typeArguments);
+            if (substitutedImpl.kind !== "referenceType")
+                continue;
+            const inherited = resolveIteratorMemberFromReference(substitutedImpl, context, nextVisited);
+            if (inherited) {
+                return inherited;
+            }
+        }
+        return resolveIteratorMemberFromBindingRegistry(resolvedRef, context);
+    }
+    if (info.kind !== "interface") {
+        return undefined;
+    }
+    const direct = resolveIteratorMemberFromMembers(info.members, info.typeParameters, resolvedRef.typeArguments);
+    if (direct) {
+        return direct;
+    }
+    for (const ext of info.extends) {
+        if (ext.kind !== "referenceType")
+            continue;
+        const substitutedExt = substituteLocalType(ext, info.typeParameters, resolvedRef.typeArguments);
+        if (substitutedExt.kind !== "referenceType")
+            continue;
+        const inherited = resolveIteratorMemberFromReference(substitutedExt, context, nextVisited);
+        if (inherited) {
+            return inherited;
+        }
+    }
+    return (resolveIteratorMemberFromBindingRegistry(resolvedRef, context) ?? undefined);
+};
+export const canPreferAnonymousStructuralTarget = (type) => {
+    const stripped = stripNullish(type);
+    if (stripped.kind !== "referenceType") {
+        return true;
+    }
+    const simpleName = stripped.name.split(".").pop() ?? stripped.name;
+    const clrSimpleName = stripped.resolvedClrType?.split(".").pop();
+    const isCompilerGeneratedCarrier = (name) => !!name && (name.startsWith("__Anon_") || name.startsWith("__Rest_"));
+    return (isCompilerGeneratedCarrier(simpleName) ||
+        isCompilerGeneratedCarrier(clrSimpleName));
+};
+const getNominalReferenceIdentity = (type, context) => getReferenceNominalIdentityKey(type, context);
+export const isSameNominalType = (sourceType, targetType, context) => {
+    if (!sourceType || !targetType)
+        return false;
+    const sourceBase = stripNullish(sourceType);
+    const targetBase = stripNullish(targetType);
+    if (sourceBase.kind === "referenceType" &&
+        targetBase.kind === "referenceType") {
+        const sourceIdentity = getNominalReferenceIdentity(sourceBase, context);
+        const targetIdentity = getNominalReferenceIdentity(targetBase, context);
+        if (sourceIdentity !== undefined &&
+            targetIdentity !== undefined &&
+            sourceIdentity === targetIdentity) {
+            return true;
+        }
+    }
+    const sourceResolved = resolveTypeAlias(sourceBase, context);
+    const targetResolved = resolveTypeAlias(targetBase, context);
+    if (sourceResolved.kind !== "referenceType" ||
+        targetResolved.kind !== "referenceType") {
+        return false;
+    }
+    if (typesHaveDeterministicIdentityConflict(sourceResolved, targetResolved)) {
+        return false;
+    }
+    if (referenceTypesHaveNominalIdentity(sourceResolved, targetResolved, context)) {
+        return referenceTypesShareNominalIdentity(sourceResolved, targetResolved, context);
+    }
+    return false;
+};
+export const getArrayElementType = (type, context) => getArrayLikeElementType(type, context);
+export const getSemanticArrayElementType = (type, context) => {
+    if (!type) {
+        return undefined;
+    }
+    const resolved = resolveTypeAlias(stripNullish(type), context);
+    if (resolved.kind === "arrayType") {
+        return resolved.storageErasedElementType ?? resolved.elementType;
+    }
+    return getArrayLikeElementType(type, context);
+};
+export const isObjectLikeTypeAst = (type) => {
+    if (!type)
+        return false;
+    const concrete = stripNullableTypeAst(type);
+    if (concrete.kind === "predefinedType") {
+        return concrete.keyword === "object";
+    }
+    const name = getIdentifierTypeName(concrete);
+    return (name === "object" ||
+        name === "System.Object" ||
+        name === "global::System.Object");
+};
+export const getDictionaryValueType = (type, context) => {
+    if (!type)
+        return undefined;
+    const resolved = resolveTypeAlias(stripNullish(type), context);
+    if (resolved.kind !== "dictionaryType")
+        return undefined;
+    return resolved.valueType;
+};
+export const getIterableSourceShape = (type, context) => {
+    if (!type) {
+        return undefined;
+    }
+    const directElementType = getDirectIterableElementType(type, context);
+    if (directElementType) {
+        return {
+            elementType: directElementType,
+            accessKind: "direct",
+        };
+    }
+    const resolved = resolveTypeAlias(stripNullish(type), context);
+    if (resolved.kind !== "referenceType") {
+        return undefined;
+    }
+    const iteratorMember = resolveIteratorMemberFromReference(resolved, context);
+    if (!iteratorMember) {
+        return undefined;
+    }
+    const elementType = deriveForOfElementType(iteratorMember.returnType, context);
+    if (!elementType) {
+        return undefined;
+    }
+    return {
+        elementType,
+        accessKind: iteratorMember.kind,
+    };
+};
+//# sourceMappingURL=structural-type-shapes.js.map

package/dist/expressions/structural-type-shapes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"structural-type-shapes.js","sourceRoot":"","sources":["../../src/expressions/structural-type-shapes.ts"],"names":[],"mappings":"AAKA,OAAO,EACL,gBAAgB,EAChB,YAAY,EACZ,oBAAoB,EACpB,kBAAkB,EAClB,uBAAuB,GACxB,MAAM,qCAAqC,CAAC;AAG7C,OAAO,EACL,qBAAqB,EACrB,oBAAoB,GACrB,MAAM,qCAAqC,CAAC;AAC7C,OAAO,EAAE,sBAAsB,EAAE,MAAM,qCAAqC,CAAC;AAC7E,OAAO,EACL,yBAAyB,EACzB,4BAA4B,GAC7B,MAAM,6CAA6C,CAAC;AACrD,OAAO,EACL,sCAAsC,GACvC,MAAM,uCAAuC,CAAC;AAC/C,OAAO,EACL,8BAA8B,EAC9B,iCAAiC,EACjC,kCAAkC,GACnC,MAAM,6CAA6C,CAAC;AAErD,MAAM,oBAAoB,GAAG,mBAAmB,CAAC;AAYjD,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC1C,IAAwB,EACxB,OAAuB,EACH,EAAE;IACtB,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAE5B,MAAM,QAAQ,GAAG,gBAAgB,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;IAC/D,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAClC,OAAO,QAAQ,CAAC,WAAW,CAAC;IAC9B,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAClC,IAAI,QAAQ,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACvC,OAAO,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAClC,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACtC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,UAAU,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,CAC1E,aAAa,EACb,EAAE,CACH,CAAC;IACF,MAAM,aAAa,GAAG,QAAQ,CAAC,eAAe;QAC5C,EAAE,KAAK,CAAC,GAAG,CAAC;SACX,GAAG,EAAE;QACN,EAAE,OAAO,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC;IAC/B,IACE,UAAU,KAAK,UAAU;QACzB,UAAU,KAAK,kBAAkB;QACjC,UAAU,KAAK,WAAW;QAC1B,UAAU,KAAK,eAAe;QAC9B,UAAU,KAAK,uBAAuB;QACtC,UAAU,KAAK,gBAAgB;QAC/B,UAAU,KAAK,aAAa;QAC5B,UAAU,KAAK,eAAe;QAC9B,UAAU,KAAK,oBAAoB;QACnC,aAAa,KAAK,aAAa;QAC/B,aAAa,KAAK,kBAAkB,EACpC,CAAC;QACD,OAAO,sBAAsB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IACnD,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAC1B,IAAY,EACZ,cAAiC,EACjC,aAA4C,EACpC,EAAE,CACV,aAAa,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC;IACvC,CAAC,CAAC,kBAAkB,CAAC,IAAI,EAAE,cAAc,EAAE,aAAa,CAAC;IACzD,CAAC,CAAC,IAAI,CAAC;AAOX,MAAM,gCAAgC,GAAG,CACvC,OAAuD,EACvD,cAAiC,EACjC,aAA4C,EACN,EAAE;IACxC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,IACE,CAAC,MAAM,CAAC,IAAI,KAAK,mBAAmB;YAClC,MAAM,CAAC,IAAI,KAAK,iBAAiB,CAAC;YACpC,MAAM,CAAC,IAAI,KAAK,oBAAoB;YACpC,MAAM,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;YAC9B,MAAM,CAAC,UAAU,EACjB,CAAC;YACD,OAAO;gBACL,IAAI,EAAE,gBAAgB;gBACtB,UAAU,EAAE,mBAAmB,CAC7B,MAAM,CAAC,UAAU,EACjB,cAAc,EACd,aAAa,CACd;aACF,CAAC;QACJ,CAAC;QAED,IACE,CAAC,MAAM,CAAC,IAAI,KAAK,qBAAqB;YACpC,MAAM,CAAC,IAAI,KAAK,mBAAmB,CAAC;YACtC,MAAM,CAAC,IAAI,KAAK,oBAAoB;YACpC,MAAM,CAAC,IAAI,EACX,CAAC;YACD,OAAO;gBACL,IAAI,EAAE,kBAAkB;gBACxB,UAAU,EAAE,mBAAmB,CAC7B,MAAM,CAAC,IAAI,EACX,cAAc,EACd,aAAa,CACd;aACF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,mCAAmC,GAAG,CAC1C,GAA+C,EAC5B,EAAE;IACrB,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IACrC,MAAM,GAAG,GAAG,CAAC,KAAyB,EAAQ,EAAE;QAC9C,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACjC,OAAO;QACT,CAAC;QACD,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACtB,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YACxB,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;YACpC,IAAI,IAAI,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC5B,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACvB,CAAC;QACH,CAAC;IACH,CAAC,CAAC;IAEF,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACd,GAAG,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC;IACzB,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACxB,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAEzB,KAAK,MAAM,KAAK,IAAI,CAAC,GAAG,UAAU,CAAC,EAAE,CAAC;QACpC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;YACjC,SAAS;QACX,CAAC;QACD,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC;IAC3C,CAAC;IAED,OAAO,CAAC,GAAG,UAAU,CAAC,CAAC;AACzB,CAAC,CAAC;AAEF,MAAM,wCAAwC,GAAG,CAC/C,GAA+C,EAC/C,OAAuB,EACe,EAAE;IACxC,MAAM,QAAQ,GAAG,OAAO,CAAC,eAAe,CAAC;IACzC,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,iBAAiB,GAAG,GAAG,CAAC,eAAe,IAAI,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC;IACrE,MAAM,OAAO,GAAG,IAAI,GAAG,EAAoC,CAAC;IAE5D,KAAK,MAAM,SAAS,IAAI,mCAAmC,CAAC,GAAG,CAAC,EAAE,CAAC;QACjE,MAAM,SAAS,GAAG,QAAQ,CAAC,kBAAkB,CAC3C,SAAS,EACT,oBAAoB,EACpB,iBAAiB,CAClB,CAAC;QACF,IAAI,CAAC,SAAS,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACzC,SAAS;QACX,CAAC;QAED,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAoC,CAAC;QAErE,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;YACjC,IACE,QAAQ,CAAC,IAAI,KAAK,QAAQ;gBAC1B,QAAQ,CAAC,iBAAiB,EAAE,UAAU,CAAC,MAAM,KAAK,CAAC;gBACnD,QAAQ,CAAC,iBAAiB,CAAC,UAAU,EACrC,CAAC;gBACD,MAAM,UAAU,GAA6B;oBAC3C,IAAI,EAAE,gBAAgB;oBACtB,UAAU,EAAE,QAAQ,CAAC,iBAAiB,CAAC,UAAU;iBAClD,CAAC;gBACF,MAAM,aAAa,GAAG,4BAA4B,CAChD,UAAU,CAAC,UAAU,EACrB,OAAO,CACR,CAAC;gBACF,IAAI,aAAa,EAAE,CAAC;oBAClB,gBAAgB,CAAC,GAAG,CAAC,GAAG,UAAU,CAAC,IAAI,IAAI,aAAa,EAAE,EAAE,UAAU,CAAC,CAAC;gBAC1E,CAAC;gBACD,SAAS;YACX,CAAC;YAED,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU,IAAI,QAAQ,CAAC,YAAY,EAAE,CAAC;gBAC1D,MAAM,UAAU,GAA6B;oBAC3C,IAAI,EAAE,kBAAkB;oBACxB,UAAU,EAAE,QAAQ,CAAC,YAAY;iBAClC,CAAC;gBACF,MAAM,aAAa,GAAG,4BAA4B,CAChD,UAAU,CAAC,UAAU,EACrB,OAAO,CACR,CAAC;gBACF,IAAI,aAAa,EAAE,CAAC;oBAClB,gBAAgB,CAAC,GAAG,CAAC,GAAG,UAAU,CAAC,IAAI,IAAI,aAAa,EAAE,EAAE,UAAU,CAAC,CAAC;gBAC1E,CAAC;YACH,CAAC;QACH,CAAC;QAED,IAAI,gBAAgB,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;YAChC,SAAS;QACX,CAAC;QAED,MAAM,SAAS,GAAG,CAAC,GAAG,gBAAgB,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACrD,IAAI,CAAC,SAAS,EAAE,CAAC;YACf,SAAS;QACX,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1C,CAAC;IAED,IAAI,OAAO,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AAClC,CAAC,CAAC;AAEF,MAAM,kCAAkC,GAAG,CACzC,GAA+C,EAC/C,OAAuB,EACvB,UAA+B,IAAI,GAAG,EAAU,EACV,EAAE;IACxC,MAAM,WAAW,GAAG,gBAAgB,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,CAAC;IACjE,IAAI,WAAW,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACzC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,QAAQ,GAAG,yBAAyB,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IACjE,IAAI,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC1B,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC;IACrC,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAE1B,MAAM,gBAAgB,GAAG,WAAW,CAAC,iBAAiB;QACpD,CAAC,CAAC,gCAAgC,CAC9B,WAAW,CAAC,iBAAiB,EAC7B,EAAE,EACF,SAAS,CACV;QACH,CAAC,CAAC,SAAS,CAAC;IACd,IAAI,gBAAgB,EAAE,CAAC;QACrB,OAAO,gBAAgB,CAAC;IAC1B,CAAC;IAED,MAAM,eAAe,GAAG,oBAAoB,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IACnE,IAAI,CAAC,eAAe,EAAE,CAAC;QACrB,OAAO,wCAAwC,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IACxE,CAAC;IAED,MAAM,EAAE,IAAI,EAAE,GAAG,eAAe,CAAC;IACjC,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC1B,MAAM,MAAM,GAAG,gCAAgC,CAC7C,IAAI,CAAC,OAAO,EACZ,IAAI,CAAC,cAAc,EACnB,WAAW,CAAC,aAAa,CAC1B,CAAC;QACF,IAAI,MAAM,EAAE,CAAC;YACX,OAAO,MAAM,CAAC;QAChB,CAAC;QAED,IAAI,IAAI,CAAC,UAAU,EAAE,IAAI,KAAK,eAAe,EAAE,CAAC;YAC9C,MAAM,QAAQ,GAAG,mBAAmB,CAClC,IAAI,CAAC,UAAU,EACf,IAAI,CAAC,cAAc,EACnB,WAAW,CAAC,aAAa,CAC1B,CAAC;YACF,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;gBACtC,MAAM,SAAS,GAAG,kCAAkC,CAClD,QAAQ,EACR,OAAO,EACP,WAAW,CACZ,CAAC;gBACF,IAAI,SAAS,EAAE,CAAC;oBACd,OAAO,SAAS,CAAC;gBACnB,CAAC;YACH,CAAC;QACH,CAAC;QAED,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YACnC,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe;gBAAE,SAAS;YAC5C,MAAM,eAAe,GAAG,mBAAmB,CACzC,IAAI,EACJ,IAAI,CAAC,cAAc,EACnB,WAAW,CAAC,aAAa,CAC1B,CAAC;YACF,IAAI,eAAe,CAAC,IAAI,KAAK,eAAe;gBAAE,SAAS;YACvD,MAAM,SAAS,GAAG,kCAAkC,CAClD,eAAe,EACf,OAAO,EACP,WAAW,CACZ,CAAC;YACF,IAAI,SAAS,EAAE,CAAC;gBACd,OAAO,SAAS,CAAC;YACnB,CAAC;QACH,CAAC;QAED,OAAO,wCAAwC,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IACxE,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,MAAM,GAAG,gCAAgC,CAC7C,IAAI,CAAC,OAAO,EACZ,IAAI,CAAC,cAAc,EACnB,WAAW,CAAC,aAAa,CAC1B,CAAC;IACF,IAAI,MAAM,EAAE,CAAC;QACX,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QAC/B,IAAI,GAAG,CAAC,IAAI,KAAK,eAAe;YAAE,SAAS;QAC3C,MAAM,cAAc,GAAG,mBAAmB,CACxC,GAAG,EACH,IAAI,CAAC,cAAc,EACnB,WAAW,CAAC,aAAa,CAC1B,CAAC;QACF,IAAI,cAAc,CAAC,IAAI,KAAK,eAAe;YAAE,SAAS;QACtD,MAAM,SAAS,GAAG,kCAAkC,CAClD,cAAc,EACd,OAAO,EACP,WAAW,CACZ,CAAC;QACF,IAAI,SAAS,EAAE,CAAC;YACd,OAAO,SAAS,CAAC;QACnB,CAAC;IACH,CAAC;IAED,OAAO,CACL,wCAAwC,CAAC,WAAW,EAAE,OAAO,CAAC,IAAI,SAAS,CAC5E,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,kCAAkC,GAAG,CAAC,IAAY,EAAW,EAAE;IAC1E,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IACpC,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACtC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,UAAU,GAAG,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,QAAQ,CAAC,IAAI,CAAC;IACnE,MAAM,aAAa,GAAG,QAAQ,CAAC,eAAe,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACjE,MAAM,0BAA0B,GAAG,CAAC,IAAwB,EAAW,EAAE,CACvE,CAAC,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC;IAEvE,OAAO,CACL,0BAA0B,CAAC,UAAU,CAAC;QACtC,0BAA0B,CAAC,aAAa,CAAC,CAC1C,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,2BAA2B,GAAG,CAClC,IAAgD,EAChD,OAAuB,EACH,EAAE,CAAC,8BAA8B,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;AAEvE,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,UAA8B,EAC9B,UAA8B,EAC9B,OAAuB,EACd,EAAE;IACX,IAAI,CAAC,UAAU,IAAI,CAAC,UAAU;QAAE,OAAO,KAAK,CAAC;IAE7C,MAAM,UAAU,GAAG,YAAY,CAAC,UAAU,CAAC,CAAC;IAC5C,MAAM,UAAU,GAAG,YAAY,CAAC,UAAU,CAAC,CAAC;IAE5C,IACE,UAAU,CAAC,IAAI,KAAK,eAAe;QACnC,UAAU,CAAC,IAAI,KAAK,eAAe,EACnC,CAAC;QACD,MAAM,cAAc,GAAG,2BAA2B,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QACxE,MAAM,cAAc,GAAG,2BAA2B,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QACxE,IACE,cAAc,KAAK,SAAS;YAC5B,cAAc,KAAK,SAAS;YAC5B,cAAc,KAAK,cAAc,EACjC,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAED,MAAM,cAAc,GAAG,gBAAgB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAC7D,MAAM,cAAc,GAAG,gBAAgB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAC7D,IACE,cAAc,CAAC,IAAI,KAAK,eAAe;QACvC,cAAc,CAAC,IAAI,KAAK,eAAe,EACvC,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IACE,sCAAsC,CAAC,cAAc,EAAE,cAAc,CAAC,EACtE,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,iCAAiC,CAAC,cAAc,EAAE,cAAc,EAAE,OAAO,CAAC,EAAE,CAAC;QAC/E,OAAO,kCAAkC,CACvC,cAAc,EACd,cAAc,EACd,OAAO,CACR,CAAC;IACJ,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,IAAwB,EACxB,OAAuB,EACH,EAAE,CAAC,uBAAuB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;AAEhE,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,IAAwB,EACxB,OAAuB,EACH,EAAE;IACtB,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,QAAQ,GAAG,gBAAgB,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;IAC/D,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAClC,OAAO,QAAQ,CAAC,wBAAwB,IAAI,QAAQ,CAAC,WAAW,CAAC;IACnE,CAAC;IAED,OAAO,uBAAuB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;AAChD,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,IAA+B,EACtB,EAAE;IACX,IAAI,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACxB,MAAM,QAAQ,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;IAC5C,IAAI,QAAQ,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACvC,OAAO,QAAQ,CAAC,OAAO,KAAK,QAAQ,CAAC;IACvC,CAAC;IACD,MAAM,IAAI,GAAG,qBAAqB,CAAC,QAAQ,CAAC,CAAC;IAC7C,OAAO,CACL,IAAI,KAAK,QAAQ;QACjB,IAAI,KAAK,eAAe;QACxB,IAAI,KAAK,uBAAuB,CACjC,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,IAAwB,EACxB,OAAuB,EACH,EAAE;IACtB,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAC5B,MAAM,QAAQ,GAAG,gBAAgB,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;IAC/D,IAAI,QAAQ,CAAC,IAAI,KAAK,gBAAgB;QAAE,OAAO,SAAS,CAAC;IACzD,OAAO,QAAQ,CAAC,SAAS,CAAC;AAC5B,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,IAAwB,EACxB,OAAuB,EACU,EAAE;IACnC,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,iBAAiB,GAAG,4BAA4B,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACtE,IAAI,iBAAiB,EAAE,CAAC;QACtB,OAAO;YACL,WAAW,EAAE,iBAAiB;YAC9B,UAAU,EAAE,QAAQ;SACrB,CAAC;IACJ,CAAC;IAED,MAAM,QAAQ,GAAG,gBAAgB,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;IAC/D,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACtC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,cAAc,GAAG,kCAAkC,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC7E,IAAI,CAAC,cAAc,EAAE,CAAC;QACpB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,WAAW,GAAG,sBAAsB,CACxC,cAAc,CAAC,UAAU,EACzB,OAAO,CACR,CAAC;IACF,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO;QACL,WAAW;QACX,UAAU,EAAE,cAAc,CAAC,IAAI;KAChC,CAAC;AACJ,CAAC,CAAC"}

package/dist/expressions/structural-type-shapes.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=structural-type-shapes.test.d.ts.map

package/dist/expressions/structural-type-shapes.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"structural-type-shapes.test.d.ts","sourceRoot":"","sources":["../../src/expressions/structural-type-shapes.test.ts"],"names":[],"mappings":""}

package/dist/expressions/structural-type-shapes.test.js

@@ -0,0 +1,60 @@
+import { describe, it } from "mocha";
+import { expect } from "chai";
+import { createContext } from "../emitter-types/context.js";
+import { identifierExpression } from "../core/format/backend-ast/builders.js";
+import { printExpression } from "../core/format/backend-ast/printer.js";
+import { adaptEmittedExpressionAst } from "./expected-type-adaptation.js";
+import { getIterableSourceShape } from "./structural-type-shapes.js";
+const numberType = { kind: "primitiveType", name: "number" };
+const iterableIteratorType = {
+    kind: "referenceType",
+    name: "IterableIterator",
+    typeArguments: [numberType],
+};
+const bytesType = {
+    kind: "referenceType",
+    name: "Bytes",
+    structuralMembers: [
+        {
+            kind: "methodSignature",
+            name: "[symbol:iterator]",
+            parameters: [],
+            returnType: iterableIteratorType,
+        },
+    ],
+};
+const enumerableType = {
+    kind: "referenceType",
+    name: "IEnumerable_1",
+    resolvedClrType: "global::System.Collections.Generic.IEnumerable",
+    typeArguments: [numberType],
+};
+describe("structural-type-shapes", () => {
+    it("derives iterable source shapes from reference structuralMembers", () => {
+        const context = createContext({ rootNamespace: "Test" });
+        const shape = getIterableSourceShape(bytesType, context);
+        expect(shape).to.deep.equal({
+            accessKind: "iteratorMethod",
+            elementType: numberType,
+        });
+    });
+    it("adapts iterator-bearing identifiers to CLR IEnumerable targets via symbol iterator", () => {
+        const context = {
+            ...createContext({ rootNamespace: "Test" }),
+            localNameMap: new Map([["bytes", "bytes"]]),
+            localValueTypes: new Map([["bytes", bytesType]]),
+        };
+        const [adaptedAst] = adaptEmittedExpressionAst({
+            expr: {
+                kind: "identifier",
+                name: "bytes",
+                inferredType: bytesType,
+            },
+            valueAst: identifierExpression("bytes"),
+            context,
+            expectedType: enumerableType,
+        });
+        expect(printExpression(adaptedAst)).to.equal("bytes.__tsonic_symbol_iterator()");
+    });
+});
+//# sourceMappingURL=structural-type-shapes.test.js.map

package/dist/expressions/structural-type-shapes.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"structural-type-shapes.test.js","sourceRoot":"","sources":["../../src/expressions/structural-type-shapes.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,6BAA6B,CAAC;AAC5D,OAAO,EAAE,oBAAoB,EAAE,MAAM,wCAAwC,CAAC;AAC9E,OAAO,EAAE,eAAe,EAAE,MAAM,uCAAuC,CAAC;AACxE,OAAO,EAAE,yBAAyB,EAAE,MAAM,+BAA+B,CAAC;AAC1E,OAAO,EAAE,sBAAsB,EAAE,MAAM,6BAA6B,CAAC;AAErE,MAAM,UAAU,GAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AAErE,MAAM,oBAAoB,GAAW;IACnC,IAAI,EAAE,eAAe;IACrB,IAAI,EAAE,kBAAkB;IACxB,aAAa,EAAE,CAAC,UAAU,CAAC;CAC5B,CAAC;AAEF,MAAM,SAAS,GAAW;IACxB,IAAI,EAAE,eAAe;IACrB,IAAI,EAAE,OAAO;IACb,iBAAiB,EAAE;QACjB;YACE,IAAI,EAAE,iBAAiB;YACvB,IAAI,EAAE,mBAAmB;YACzB,UAAU,EAAE,EAAE;YACd,UAAU,EAAE,oBAAoB;SACjC;KACF;CACF,CAAC;AAEF,MAAM,cAAc,GAAW;IAC7B,IAAI,EAAE,eAAe;IACrB,IAAI,EAAE,eAAe;IACrB,eAAe,EAAE,gDAAgD;IACjE,aAAa,EAAE,CAAC,UAAU,CAAC;CAC5B,CAAC;AAEF,QAAQ,CAAC,wBAAwB,EAAE,GAAG,EAAE;IACtC,EAAE,CAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,OAAO,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC;QAEzD,MAAM,KAAK,GAAG,sBAAsB,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QAEzD,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YAC1B,UAAU,EAAE,gBAAgB;YAC5B,WAAW,EAAE,UAAU;SACxB,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oFAAoF,EAAE,GAAG,EAAE;QAC5F,MAAM,OAAO,GAAG;YACd,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC;YAC3C,YAAY,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;YAC3C,eAAe,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC;SACjD,CAAC;QAEF,MAAM,CAAC,UAAU,CAAC,GAAG,yBAAyB,CAAC;YAC7C,IAAI,EAAE;gBACJ,IAAI,EAAE,YAAY;gBAClB,IAAI,EAAE,OAAO;gBACb,YAAY,EAAE,SAAS;aACxB;YACD,QAAQ,EAAE,oBAAoB,CAAC,OAAO,CAAC;YACvC,OAAO;YACP,YAAY,EAAE,cAAc;SAC7B,CAAC,CAAC;QAEH,MAAM,CAAC,eAAe,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAC1C,kCAAkC,CACnC,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/expressions/type-assertion-emitters.d.ts

@@ -0,0 +1,50 @@
+/**
+ * Type-assertion and cast-family expression emitters: typeAssertion (as T),
+ * trycast, asinterface, numericNarrowing, stackalloc, defaultof, nameof, sizeof.
+ */
+import { IrExpression, IrType, IrNumericNarrowingExpression, IrTypeAssertionExpression, IrAsInterfaceExpression, IrTryCastExpression, IrStackAllocExpression, IrDefaultOfExpression, IrNameOfExpression, IrSizeOfExpression } from "@tsonic/frontend";
+import type { NarrowedBinding } from "../emitter-types/core.js";
+import { EmitterContext } from "../types.js";
+import type { CSharpExpressionAst } from "../core/format/backend-ast/types.js";
+export declare const POLYMORPHIC_THIS_MARKER = "__tsonic_polymorphic_this";
+export declare const isPolymorphicThisType: (type: IrType | undefined) => boolean;
+export declare const isSuperMemberCallExpression: (expr: IrExpression) => boolean;
+export declare const getNarrowedBindingForExpression: (expr: IrExpression, context: EmitterContext) => NarrowedBinding | undefined;
+export declare const withoutNarrowedBinding: (expr: IrExpression, context: EmitterContext) => EmitterContext;
+/**
+ * Emit a numeric narrowing expression as CSharpExpressionAst.
+ */
+export declare const emitNumericNarrowing: (expr: IrNumericNarrowingExpression, context: EmitterContext) => [CSharpExpressionAst, EmitterContext];
+/**
+ * Emit a type assertion expression as CSharpExpressionAst.
+ *
+ * TypeScript `x as T` becomes C# `(T)x` (throwing cast).
+ */
+export declare const emitTypeAssertion: (expr: IrTypeAssertionExpression, context: EmitterContext, expectedType?: IrType) => [CSharpExpressionAst, EmitterContext];
+/**
+ * Emit an asinterface expression as CSharpExpressionAst.
+ */
+export declare const emitAsInterface: (expr: IrAsInterfaceExpression, context: EmitterContext, expectedType?: IrType) => [CSharpExpressionAst, EmitterContext];
+/**
+ * Emit a trycast expression as CSharpExpressionAst.
+ *
+ * TypeScript `trycast<T>(x)` becomes C# `x as T` (safe cast).
+ */
+export declare const emitTryCast: (expr: IrTryCastExpression, context: EmitterContext) => [CSharpExpressionAst, EmitterContext];
+/**
+ * Emit a stackalloc expression as CSharpExpressionAst.
+ */
+export declare const emitStackAlloc: (expr: IrStackAllocExpression, context: EmitterContext) => [CSharpExpressionAst, EmitterContext];
+/**
+ * Emit a defaultof expression as CSharpExpressionAst.
+ */
+export declare const emitDefaultOf: (expr: IrDefaultOfExpression, context: EmitterContext) => [CSharpExpressionAst, EmitterContext];
+/**
+ * Emit a nameof expression as a compile-time string literal using the authored TS name.
+ */
+export declare const emitNameOf: (expr: IrNameOfExpression, context: EmitterContext) => [CSharpExpressionAst, EmitterContext];
+/**
+ * Emit a sizeof expression as C# sizeof(T).
+ */
+export declare const emitSizeOf: (expr: IrSizeOfExpression, context: EmitterContext) => [CSharpExpressionAst, EmitterContext];
+//# sourceMappingURL=type-assertion-emitters.d.ts.map

package/dist/expressions/type-assertion-emitters.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-assertion-emitters.d.ts","sourceRoot":"","sources":["../../src/expressions/type-assertion-emitters.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EACL,YAAY,EACZ,MAAM,EACN,4BAA4B,EAC5B,yBAAyB,EACzB,uBAAuB,EACvB,mBAAmB,EACnB,sBAAsB,EACtB,qBAAqB,EACrB,kBAAkB,EAClB,kBAAkB,EACnB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAChE,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AA6B7C,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,qCAAqC,CAAC;AAsC/E,eAAO,MAAM,uBAAuB,8BAA8B,CAAC;AAEnE,eAAO,MAAM,qBAAqB,GAAI,MAAM,MAAM,GAAG,SAAS,KAAG,OAIY,CAAC;AAE9E,eAAO,MAAM,2BAA2B,GAAI,MAAM,YAAY,KAAG,OAI5B,CAAC;AAMtC,eAAO,MAAM,+BAA+B,GAC1C,MAAM,YAAY,EAClB,SAAS,cAAc,KACtB,eAAe,GAAG,SAapB,CAAC;AAEF,eAAO,MAAM,sBAAsB,GACjC,MAAM,YAAY,EAClB,SAAS,cAAc,KACtB,cAqBF,CAAC;AAMF;;GAEG;AACH,eAAO,MAAM,oBAAoB,GAC/B,MAAM,4BAA4B,EAClC,SAAS,cAAc,KACtB,CAAC,mBAAmB,EAAE,cAAc,CA6BtC,CAAC;AAMF;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,GAC5B,MAAM,yBAAyB,EAC/B,SAAS,cAAc,EACvB,eAAe,MAAM,KACpB,CAAC,mBAAmB,EAAE,cAAc,CAwxBtC,CAAC;AAMF;;GAEG;AACH,eAAO,MAAM,eAAe,GAC1B,MAAM,uBAAuB,EAC7B,SAAS,cAAc,EACvB,eAAe,MAAM,KACpB,CAAC,mBAAmB,EAAE,cAAc,CAGtC,CAAC;AAMF;;;;GAIG;AACH,eAAO,MAAM,WAAW,GACtB,MAAM,mBAAmB,EACzB,SAAS,cAAc,KACtB,CAAC,mBAAmB,EAAE,cAAc,CAWtC,CAAC;AAMF;;GAEG;AACH,eAAO,MAAM,cAAc,GACzB,MAAM,sBAAsB,EAC5B,SAAS,cAAc,KACtB,CAAC,mBAAmB,EAAE,cAAc,CActC,CAAC;AAMF;;GAEG;AACH,eAAO,MAAM,aAAa,GACxB,MAAM,qBAAqB,EAC3B,SAAS,cAAc,KACtB,CAAC,mBAAmB,EAAE,cAAc,CAatC,CAAC;AAMF;;GAEG;AACH,eAAO,MAAM,UAAU,GACrB,MAAM,kBAAkB,EACxB,SAAS,cAAc,KACtB,CAAC,mBAAmB,EAAE,cAAc,CAAwC,CAAC;AAMhF;;GAEG;AACH,eAAO,MAAM,UAAU,GACrB,MAAM,kBAAkB,EACxB,SAAS,cAAc,KACtB,CAAC,mBAAmB,EAAE,cAAc,CAStC,CAAC"}