@tsonic/emitter 0.0.73 → 0.0.75

package/dist/core/format/backend-ast/utils.js

@@ -4,6 +4,28 @@
  * Helpers for extracting information from C# AST nodes without
  * going through the printer.
  */
+const CSHARP_PREDEFINED_TYPE_KEYWORD_LIST = [
+    "bool",
+    "byte",
+    "sbyte",
+    "short",
+    "ushort",
+    "int",
+    "uint",
+    "long",
+    "ulong",
+    "nint",
+    "nuint",
+    "float",
+    "double",
+    "decimal",
+    "char",
+    "string",
+    "object",
+    "void",
+];
+export const CSHARP_PREDEFINED_TYPE_KEYWORDS = new Set(CSHARP_PREDEFINED_TYPE_KEYWORD_LIST);
+export const isCSharpPredefinedTypeKeyword = (name) => CSHARP_PREDEFINED_TYPE_KEYWORDS.has(name);
 /**
  * Extract a dotted name string from a C# expression AST.
  *
@@ -18,48 +40,300 @@ export const extractCalleeNameFromAst = (ast) => {
     switch (ast.kind) {
         case "identifierExpression":
             return ast.identifier;
+        case "qualifiedIdentifierExpression":
+            return qualifiedNameToString(ast.name);
+        case "typeReferenceExpression": {
+            switch (ast.type.kind) {
+                case "predefinedType":
+                    return ast.type.keyword;
+                case "identifierType":
+                    return ast.type.name;
+                case "qualifiedIdentifierType":
+                    return qualifiedNameToString(ast.type.name);
+                case "nullableType":
+                    return `${extractCalleeNameFromAst({
+                        kind: "typeReferenceExpression",
+                        type: ast.type.underlyingType,
+                    })}?`;
+                default:
+                    return `<${ast.type.kind}>`;
+            }
+        }
         case "memberAccessExpression":
             return `${extractCalleeNameFromAst(ast.expression)}.${ast.memberName}`;
         case "parenthesizedExpression":
             return extractCalleeNameFromAst(ast.expression);
+        case "castExpression":
+        case "asExpression":
+        case "suppressNullableWarningExpression":
+        case "awaitExpression":
+            return extractCalleeNameFromAst(ast.expression);
         default:
             return `<${ast.kind}>`;
     }
 };
-/**
- * Convert a C# type AST into deterministic C# type text.
- *
- * This utility is used for non-emission metadata tasks (specialization keys,
- * JSON AOT registry keys, etc.) where a stable textual form is required.
- */
-export const renderTypeAst = (type) => {
+export const stripNullableTypeAst = (type) => type.kind === "nullableType"
+    ? stripNullableTypeAst(type.underlyingType)
+    : type;
+export const globallyQualifyTypeAst = (type) => {
     switch (type.kind) {
         case "predefinedType":
-            return type.keyword;
+        case "varType":
+            return type;
+        case "identifierType":
+            return {
+                kind: "qualifiedIdentifierType",
+                name: { aliasQualifier: "global", segments: [type.name] },
+                typeArguments: type.typeArguments?.map(globallyQualifyTypeAst),
+            };
+        case "qualifiedIdentifierType":
+            return type.name.aliasQualifier === "global"
+                ? {
+                    ...type,
+                    typeArguments: type.typeArguments?.map(globallyQualifyTypeAst),
+                }
+                : {
+                    kind: "qualifiedIdentifierType",
+                    name: {
+                        aliasQualifier: "global",
+                        segments: [...type.name.segments],
+                    },
+                    typeArguments: type.typeArguments?.map(globallyQualifyTypeAst),
+                };
+        case "nullableType":
+            return type.underlyingType.kind === "nullableType"
+                ? globallyQualifyTypeAst(type.underlyingType)
+                : {
+                    kind: "nullableType",
+                    underlyingType: globallyQualifyTypeAst(type.underlyingType),
+                };
+        case "arrayType":
+            return {
+                kind: "arrayType",
+                elementType: globallyQualifyTypeAst(type.elementType),
+                rank: type.rank,
+            };
+        case "pointerType":
+            return {
+                kind: "pointerType",
+                elementType: globallyQualifyTypeAst(type.elementType),
+            };
+        case "tupleType":
+            return {
+                kind: "tupleType",
+                elements: type.elements.map((element) => ({
+                    ...element,
+                    type: globallyQualifyTypeAst(element.type),
+                })),
+            };
+        default: {
+            const exhaustive = type;
+            throw new Error(`ICE: Unhandled CSharpTypeAst kind '${exhaustive.kind}' in globallyQualifyTypeAst`);
+        }
+    }
+};
+export const getIdentifierTypeName = (type) => {
+    switch (type.kind) {
+        case "identifierType":
+            return type.name;
+        case "qualifiedIdentifierType":
+            return qualifiedNameToString(type.name);
+        case "nullableType":
+            return getIdentifierTypeName(type.underlyingType);
+        default:
+            return undefined;
+    }
+};
+export const getIdentifierTypeLeafName = (type) => {
+    switch (type.kind) {
+        case "identifierType":
+            return type.name;
+        case "qualifiedIdentifierType":
+            return qualifiedNameLeaf(type.name);
+        case "nullableType":
+            return getIdentifierTypeLeafName(type.underlyingType);
+        default:
+            return undefined;
+    }
+};
+export const normalizeClrQualifiedName = (clrName, forceGlobal = false) => {
+    const hasGlobal = clrName.startsWith("global::");
+    const body = hasGlobal ? clrName.slice("global::".length) : clrName;
+    const sanitized = body.replace(/`\d+/g, "").replace(/\+/g, ".");
+    return hasGlobal || forceGlobal ? `global::${sanitized}` : sanitized;
+};
+export const clrTypeNameToTypeAst = (clrName) => {
+    const normalized = normalizeClrQualifiedName(clrName);
+    const hasGlobal = normalized.startsWith("global::");
+    const sanitized = hasGlobal
+        ? normalized.slice("global::".length)
+        : normalized;
+    if (isCSharpPredefinedTypeKeyword(sanitized)) {
+        return { kind: "predefinedType", keyword: sanitized };
+    }
+    if (sanitized.includes(".")) {
+        return {
+            kind: "qualifiedIdentifierType",
+            name: {
+                ...(hasGlobal ? { aliasQualifier: "global" } : {}),
+                segments: sanitized.split("."),
+            },
+        };
+    }
+    return hasGlobal
+        ? {
+            kind: "qualifiedIdentifierType",
+            name: {
+                aliasQualifier: "global",
+                segments: [sanitized],
+            },
+        }
+        : {
+            kind: "identifierType",
+            name: sanitized,
+        };
+};
+const PREDEFINED_CLR_TYPE_KEYS = new Map([
+    ["bool", "System.Boolean/0"],
+    ["byte", "System.Byte/0"],
+    ["sbyte", "System.SByte/0"],
+    ["short", "System.Int16/0"],
+    ["ushort", "System.UInt16/0"],
+    ["int", "System.Int32/0"],
+    ["uint", "System.UInt32/0"],
+    ["long", "System.Int64/0"],
+    ["ulong", "System.UInt64/0"],
+    ["nint", "System.IntPtr/0"],
+    ["nuint", "System.UIntPtr/0"],
+    ["float", "System.Single/0"],
+    ["double", "System.Double/0"],
+    ["decimal", "System.Decimal/0"],
+    ["char", "System.Char/0"],
+    ["string", "System.String/0"],
+    ["object", "System.Object/0"],
+    ["void", "System.Void/0"],
+]);
+const SYSTEM_CLR_TYPE_ALIASES = new Map([
+    ["System.Boolean", "System.Boolean/0"],
+    ["System.Byte", "System.Byte/0"],
+    ["System.SByte", "System.SByte/0"],
+    ["System.Int16", "System.Int16/0"],
+    ["System.UInt16", "System.UInt16/0"],
+    ["System.Int32", "System.Int32/0"],
+    ["System.UInt32", "System.UInt32/0"],
+    ["System.Int64", "System.Int64/0"],
+    ["System.UInt64", "System.UInt64/0"],
+    ["System.IntPtr", "System.IntPtr/0"],
+    ["System.UIntPtr", "System.UIntPtr/0"],
+    ["System.Single", "System.Single/0"],
+    ["System.Double", "System.Double/0"],
+    ["System.Decimal", "System.Decimal/0"],
+    ["System.Char", "System.Char/0"],
+    ["System.String", "System.String/0"],
+    ["System.Object", "System.Object/0"],
+    ["System.Void", "System.Void/0"],
+]);
+const canonicalNamedTypeKey = (name, typeArguments) => {
+    const body = name.startsWith("global::")
+        ? name.slice("global::".length)
+        : name;
+    const arityMatch = /^(.*)`([0-9]+)$/.exec(body);
+    const baseName = arityMatch?.[1] ?? body;
+    const metadataArity = arityMatch?.[2] !== undefined ? Number(arityMatch[2]) : undefined;
+    const argumentKeys = (typeArguments ?? []).map(stableTypeKeyFromAst);
+    const arity = metadataArity ?? argumentKeys.length;
+    if (argumentKeys.length === 0) {
+        const systemAlias = SYSTEM_CLR_TYPE_ALIASES.get(baseName);
+        if (systemAlias) {
+            return `clr:${systemAlias}`;
+        }
+    }
+    return `named:${baseName}/${arity}<${argumentKeys.join(",")}>`;
+};
+export const stableTypeKeyFromAst = (type) => {
+    switch (type.kind) {
+        case "predefinedType":
+            return `clr:${PREDEFINED_CLR_TYPE_KEYS.get(type.keyword) ?? type.keyword}`;
         case "identifierType": {
-            const args = type.typeArguments && type.typeArguments.length > 0
-                ? `<${type.typeArguments.map(renderTypeAst).join(", ")}>`
-                : "";
-            return `${type.name}${args}`;
+            return canonicalNamedTypeKey(type.name, type.typeArguments);
+        }
+        case "qualifiedIdentifierType": {
+            return canonicalNamedTypeKey(qualifiedNameToString(type.name), type.typeArguments);
         }
         case "nullableType":
-            return `${renderTypeAst(type.underlyingType)}?`;
-        case "arrayType": {
-            const rank = type.rank > 1 ? `[${",".repeat(Math.max(0, type.rank - 1))}]` : "[]";
-            return `${renderTypeAst(type.elementType)}${rank}`;
+            return `nullable:${stableTypeKeyFromAst(stripNullableTypeAst(type.underlyingType))}`;
+        case "arrayType":
+            return `array:${type.rank}:${stableTypeKeyFromAst(type.elementType)}`;
+        case "pointerType":
+            return `pointer:${stableTypeKeyFromAst(type.elementType)}`;
+        case "tupleType":
+            return `tuple:${type.elements
+                .map((e) => e.name
+                ? `${stableTypeKeyFromAst(e.type)}:${e.name}`
+                : stableTypeKeyFromAst(e.type))
+                .join("|")}`;
+        case "varType":
+            return "var";
+        default: {
+            const exhaustive = type;
+            throw new Error(`ICE: Unhandled CSharpTypeAst kind '${exhaustive.kind}' in stableTypeKeyFromAst`);
         }
+    }
+};
+export const stableConcreteTypeKeyFromAst = (type) => stableTypeKeyFromAst(stripNullableTypeAst(type));
+export const sameTypeAstSurface = (left, right) => stableTypeKeyFromAst(left) === stableTypeKeyFromAst(right);
+export const sameConcreteTypeAstSurface = (left, right) => stableConcreteTypeKeyFromAst(left) === stableConcreteTypeKeyFromAst(right);
+export const stableIdentifierSuffixFromTypeAst = (type) => {
+    switch (type.kind) {
+        case "predefinedType":
+            return type.keyword;
+        case "identifierType": {
+            const sanitizedName = type.name;
+            if (!type.typeArguments || type.typeArguments.length === 0) {
+                return sanitizedName;
+            }
+            return `${sanitizedName}__${type.typeArguments
+                .map(stableIdentifierSuffixFromTypeAst)
+                .join("__")}`;
+        }
+        case "qualifiedIdentifierType": {
+            const sanitizedName = type.name.aliasQualifier
+                ? `${type.name.aliasQualifier}__${type.name.segments.join("_")}`
+                : type.name.segments.join("_");
+            if (!type.typeArguments || type.typeArguments.length === 0) {
+                return sanitizedName;
+            }
+            return `${sanitizedName}__${type.typeArguments
+                .map(stableIdentifierSuffixFromTypeAst)
+                .join("__")}`;
+        }
+        case "nullableType":
+            return `${stableIdentifierSuffixFromTypeAst(type.underlyingType)}_nullable`;
+        case "arrayType":
+            return `${stableIdentifierSuffixFromTypeAst(type.elementType)}_array${type.rank}`;
         case "pointerType":
-            return `${renderTypeAst(type.elementType)}*`;
+            return `${stableIdentifierSuffixFromTypeAst(type.elementType)}_ptr`;
         case "tupleType":
-            return `(${type.elements
-                .map((e) => e.name ? `${renderTypeAst(e.type)} ${e.name}` : renderTypeAst(e.type))
-                .join(", ")})`;
+            return `tuple__${type.elements
+                .map((element) => stableIdentifierSuffixFromTypeAst(element.type))
+                .join("__")}`;
         case "varType":
             return "var";
         default: {
             const exhaustive = type;
-            throw new Error(`ICE: Unhandled CSharpTypeAst kind '${exhaustive.kind}' in renderTypeAst`);
+            throw new Error(`ICE: Unhandled CSharpTypeAst kind '${exhaustive.kind}' in stableIdentifierSuffixFromTypeAst`);
         }
     }
 };
+export const qualifiedNameToString = (name) => {
+    const body = name.segments.join(".");
+    return name.aliasQualifier ? `${name.aliasQualifier}::${body}` : body;
+};
+export const qualifiedNameLeaf = (name) => {
+    const last = name.segments[name.segments.length - 1];
+    if (!last) {
+        throw new Error("ICE: qualified name AST has no segments.");
+    }
+    return last;
+};
 //# sourceMappingURL=utils.js.map

package/dist/core/format/backend-ast/utils.js.map

@@ -1 +1 @@
-{"version":3,"file":"utils.js","sourceRoot":"","sources":["../../../../src/core/format/backend-ast/utils.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAIH;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC,GAAwB,EAAU,EAAE;IAC3E,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACjB,KAAK,sBAAsB;YACzB,OAAO,GAAG,CAAC,UAAU,CAAC;QACxB,KAAK,wBAAwB;YAC3B,OAAO,GAAG,wBAAwB,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC;QACzE,KAAK,yBAAyB;YAC5B,OAAO,wBAAwB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAClD;YACE,OAAO,IAAI,GAAG,CAAC,IAAI,GAAG,CAAC;IAC3B,CAAC;AACH,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,IAAmB,EAAU,EAAE;IAC3D,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,gBAAgB;YACnB,OAAO,IAAI,CAAC,OAAO,CAAC;QACtB,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,MAAM,IAAI,GACR,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC;gBACjD,CAAC,CAAC,IAAI,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;gBACzD,CAAC,CAAC,EAAE,CAAC;YACT,OAAO,GAAG,IAAI,CAAC,IAAI,GAAG,IAAI,EAAE,CAAC;QAC/B,CAAC;QACD,KAAK,cAAc;YACjB,OAAO,GAAG,aAAa,CAAC,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC;QAClD,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,IAAI,GACR,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;YACvE,OAAO,GAAG,aAAa,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,IAAI,EAAE,CAAC;QACrD,CAAC;QACD,KAAK,aAAa;YAChB,OAAO,GAAG,aAAa,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC;QAC/C,KAAK,WAAW;YACd,OAAO,IAAI,IAAI,CAAC,QAAQ;iBACrB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACT,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CACtE;iBACA,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QACnB,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,oBAAoB,CAC7F,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC,CAAC"}
+{"version":3,"file":"utils.js","sourceRoot":"","sources":["../../../../src/core/format/backend-ast/utils.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AASH,MAAM,mCAAmC,GACvC;IACE,MAAM;IACN,MAAM;IACN,OAAO;IACP,OAAO;IACP,QAAQ;IACR,KAAK;IACL,MAAM;IACN,MAAM;IACN,OAAO;IACP,MAAM;IACN,OAAO;IACP,OAAO;IACP,QAAQ;IACR,SAAS;IACT,MAAM;IACN,QAAQ;IACR,QAAQ;IACR,MAAM;CACE,CAAC;AAEb,MAAM,CAAC,MAAM,+BAA+B,GAC1C,IAAI,GAAG,CAA8B,mCAAmC,CAAC,CAAC;AAE5E,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAC3C,IAAY,EACyB,EAAE,CACvC,+BAA+B,CAAC,GAAG,CAAC,IAAmC,CAAC,CAAC;AAE3E;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC,GAAwB,EAAU,EAAE;IAC3E,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACjB,KAAK,sBAAsB;YACzB,OAAO,GAAG,CAAC,UAAU,CAAC;QACxB,KAAK,+BAA+B;YAClC,OAAO,qBAAqB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACzC,KAAK,yBAAyB,CAAC,CAAC,CAAC;YAC/B,QAAQ,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;gBACtB,KAAK,gBAAgB;oBACnB,OAAO,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC;gBAC1B,KAAK,gBAAgB;oBACnB,OAAO,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;gBACvB,KAAK,yBAAyB;oBAC5B,OAAO,qBAAqB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC9C,KAAK,cAAc;oBACjB,OAAO,GAAG,wBAAwB,CAAC;wBACjC,IAAI,EAAE,yBAAyB;wBAC/B,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,cAAc;qBAC9B,CAAC,GAAG,CAAC;gBACR;oBACE,OAAO,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC;YAChC,CAAC;QACH,CAAC;QACD,KAAK,wBAAwB;YAC3B,OAAO,GAAG,wBAAwB,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC;QACzE,KAAK,yBAAyB;YAC5B,OAAO,wBAAwB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAClD,KAAK,gBAAgB,CAAC;QACtB,KAAK,cAAc,CAAC;QACpB,KAAK,mCAAmC,CAAC;QACzC,KAAK,iBAAiB;YACpB,OAAO,wBAAwB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAClD;YACE,OAAO,IAAI,GAAG,CAAC,IAAI,GAAG,CAAC;IAC3B,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,IAAmB,EAAiB,EAAE,CACzE,IAAI,CAAC,IAAI,KAAK,cAAc;IAC1B,CAAC,CAAC,oBAAoB,CAAC,IAAI,CAAC,cAAc,CAAC;IAC3C,CAAC,CAAC,IAAI,CAAC;AAEX,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,IAAmB,EAAiB,EAAE;IAC3E,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,gBAAgB,CAAC;QACtB,KAAK,SAAS;YACZ,OAAO,IAAI,CAAC;QACd,KAAK,gBAAgB;YACnB,OAAO;gBACL,IAAI,EAAE,yBAAyB;gBAC/B,IAAI,EAAE,EAAE,cAAc,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;gBACzD,aAAa,EAAE,IAAI,CAAC,aAAa,EAAE,GAAG,CAAC,sBAAsB,CAAC;aAC/D,CAAC;QACJ,KAAK,yBAAyB;YAC5B,OAAO,IAAI,CAAC,IAAI,CAAC,cAAc,KAAK,QAAQ;gBAC1C,CAAC,CAAC;oBACE,GAAG,IAAI;oBACP,aAAa,EAAE,IAAI,CAAC,aAAa,EAAE,GAAG,CAAC,sBAAsB,CAAC;iBAC/D;gBACH,CAAC,CAAC;oBACE,IAAI,EAAE,yBAAyB;oBAC/B,IAAI,EAAE;wBACJ,cAAc,EAAE,QAAQ;wBACxB,QAAQ,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC;qBAClC;oBACD,aAAa,EAAE,IAAI,CAAC,aAAa,EAAE,GAAG,CAAC,sBAAsB,CAAC;iBAC/D,CAAC;QACR,KAAK,cAAc;YACjB,OAAO,IAAI,CAAC,cAAc,CAAC,IAAI,KAAK,cAAc;gBAChD,CAAC,CAAC,sBAAsB,CAAC,IAAI,CAAC,cAAc,CAAC;gBAC7C,CAAC,CAAC;oBACE,IAAI,EAAE,cAAc;oBACpB,cAAc,EAAE,sBAAsB,CAAC,IAAI,CAAC,cAAc,CAAC;iBAC5D,CAAC;QACR,KAAK,WAAW;YACd,OAAO;gBACL,IAAI,EAAE,WAAW;gBACjB,WAAW,EAAE,sBAAsB,CAAC,IAAI,CAAC,WAAW,CAAC;gBACrD,IAAI,EAAE,IAAI,CAAC,IAAI;aAChB,CAAC;QACJ,KAAK,aAAa;YAChB,OAAO;gBACL,IAAI,EAAE,aAAa;gBACnB,WAAW,EAAE,sBAAsB,CAAC,IAAI,CAAC,WAAW,CAAC;aACtD,CAAC;QACJ,KAAK,WAAW;YACd,OAAO;gBACL,IAAI,EAAE,WAAW;gBACjB,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;oBACxC,GAAG,OAAO;oBACV,IAAI,EAAE,sBAAsB,CAAC,OAAO,CAAC,IAAI,CAAC;iBAC3C,CAAC,CAAC;aACJ,CAAC;QACJ,OAAO,CAAC,CAAC,CAAC;YACR,MAAM,UAAU,GAAU,IAAI,CAAC;YAC/B,MAAM,IAAI,KAAK,CACb,sCAAuC,UAA4B,CAAC,IAAI,6BAA6B,CACtG,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,IAAmB,EACC,EAAE;IACtB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,gBAAgB;YACnB,OAAO,IAAI,CAAC,IAAI,CAAC;QACnB,KAAK,yBAAyB;YAC5B,OAAO,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1C,KAAK,cAAc;YACjB,OAAO,qBAAqB,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QACpD;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,IAAmB,EACC,EAAE;IACtB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,gBAAgB;YACnB,OAAO,IAAI,CAAC,IAAI,CAAC;QACnB,KAAK,yBAAyB;YAC5B,OAAO,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtC,KAAK,cAAc;YACjB,OAAO,yBAAyB,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QACxD;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,OAAe,EACf,cAAuB,KAAK,EACpB,EAAE;IACV,MAAM,SAAS,GAAG,OAAO,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;IACjD,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;IACpE,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAEhE,OAAO,SAAS,IAAI,WAAW,CAAC,CAAC,CAAC,WAAW,SAAS,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;AACvE,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,OAAe,EAAiB,EAAE;IACrE,MAAM,UAAU,GAAG,yBAAyB,CAAC,OAAO,CAAC,CAAC;IACtD,MAAM,SAAS,GAAG,UAAU,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;IACpD,MAAM,SAAS,GAAG,SAAS;QACzB,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC;QACrC,CAAC,CAAC,UAAU,CAAC;IAEf,IAAI,6BAA6B,CAAC,SAAS,CAAC,EAAE,CAAC;QAC7C,OAAO,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC;IACxD,CAAC;IAED,IAAI,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QAC5B,OAAO;YACL,IAAI,EAAE,yBAAyB;YAC/B,IAAI,EAAE;gBACJ,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAClD,QAAQ,EAAE,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC;aAC/B;SACF,CAAC;IACJ,CAAC;IAED,OAAO,SAAS;QACd,CAAC,CAAC;YACE,IAAI,EAAE,yBAAyB;YAC/B,IAAI,EAAE;gBACJ,cAAc,EAAE,QAAQ;gBACxB,QAAQ,EAAE,CAAC,SAAS,CAAC;aACtB;SACF;QACH,CAAC,CAAC;YACE,IAAI,EAAE,gBAAgB;YACtB,IAAI,EAAE,SAAS;SAChB,CAAC;AACR,CAAC,CAAC;AAEF,MAAM,wBAAwB,GAAgC,IAAI,GAAG,CAAC;IACpE,CAAC,MAAM,EAAE,kBAAkB,CAAC;IAC5B,CAAC,MAAM,EAAE,eAAe,CAAC;IACzB,CAAC,OAAO,EAAE,gBAAgB,CAAC;IAC3B,CAAC,OAAO,EAAE,gBAAgB,CAAC;IAC3B,CAAC,QAAQ,EAAE,iBAAiB,CAAC;IAC7B,CAAC,KAAK,EAAE,gBAAgB,CAAC;IACzB,CAAC,MAAM,EAAE,iBAAiB,CAAC;IAC3B,CAAC,MAAM,EAAE,gBAAgB,CAAC;IAC1B,CAAC,OAAO,EAAE,iBAAiB,CAAC;IAC5B,CAAC,MAAM,EAAE,iBAAiB,CAAC;IAC3B,CAAC,OAAO,EAAE,kBAAkB,CAAC;IAC7B,CAAC,OAAO,EAAE,iBAAiB,CAAC;IAC5B,CAAC,QAAQ,EAAE,iBAAiB,CAAC;IAC7B,CAAC,SAAS,EAAE,kBAAkB,CAAC;IAC/B,CAAC,MAAM,EAAE,eAAe,CAAC;IACzB,CAAC,QAAQ,EAAE,iBAAiB,CAAC;IAC7B,CAAC,QAAQ,EAAE,iBAAiB,CAAC;IAC7B,CAAC,MAAM,EAAE,eAAe,CAAC;CAC1B,CAAC,CAAC;AAEH,MAAM,uBAAuB,GAAgC,IAAI,GAAG,CAAC;IACnE,CAAC,gBAAgB,EAAE,kBAAkB,CAAC;IACtC,CAAC,aAAa,EAAE,eAAe,CAAC;IAChC,CAAC,cAAc,EAAE,gBAAgB,CAAC;IAClC,CAAC,cAAc,EAAE,gBAAgB,CAAC;IAClC,CAAC,eAAe,EAAE,iBAAiB,CAAC;IACpC,CAAC,cAAc,EAAE,gBAAgB,CAAC;IAClC,CAAC,eAAe,EAAE,iBAAiB,CAAC;IACpC,CAAC,cAAc,EAAE,gBAAgB,CAAC;IAClC,CAAC,eAAe,EAAE,iBAAiB,CAAC;IACpC,CAAC,eAAe,EAAE,iBAAiB,CAAC;IACpC,CAAC,gBAAgB,EAAE,kBAAkB,CAAC;IACtC,CAAC,eAAe,EAAE,iBAAiB,CAAC;IACpC,CAAC,eAAe,EAAE,iBAAiB,CAAC;IACpC,CAAC,gBAAgB,EAAE,kBAAkB,CAAC;IACtC,CAAC,aAAa,EAAE,eAAe,CAAC;IAChC,CAAC,eAAe,EAAE,iBAAiB,CAAC;IACpC,CAAC,eAAe,EAAE,iBAAiB,CAAC;IACpC,CAAC,aAAa,EAAE,eAAe,CAAC;CACjC,CAAC,CAAC;AAEH,MAAM,qBAAqB,GAAG,CAC5B,IAAY,EACZ,aAAmD,EAC3C,EAAE;IACV,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC;QACtC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC;QAC/B,CAAC,CAAC,IAAI,CAAC;IACT,MAAM,UAAU,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChD,MAAM,QAAQ,GAAG,UAAU,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;IACzC,MAAM,aAAa,GACjB,UAAU,EAAE,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACpE,MAAM,YAAY,GAAG,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,oBAAoB,CAAC,CAAC;IACrE,MAAM,KAAK,GAAG,aAAa,IAAI,YAAY,CAAC,MAAM,CAAC;IAEnD,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,MAAM,WAAW,GAAG,uBAAuB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC1D,IAAI,WAAW,EAAE,CAAC;YAChB,OAAO,OAAO,WAAW,EAAE,CAAC;QAC9B,CAAC;IACH,CAAC;IAED,OAAO,SAAS,QAAQ,IAAI,KAAK,IAAI,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;AACjE,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,IAAmB,EAAU,EAAE;IAClE,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,gBAAgB;YACnB,OAAO,OAAO,wBAAwB,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QAC7E,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,OAAO,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,aAAa,CAAC,CAAC;QAC9D,CAAC;QACD,KAAK,yBAAyB,CAAC,CAAC,CAAC;YAC/B,OAAO,qBAAqB,CAC1B,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,EAChC,IAAI,CAAC,aAAa,CACnB,CAAC;QACJ,CAAC;QACD,KAAK,cAAc;YACjB,OAAO,YAAY,oBAAoB,CACrC,oBAAoB,CAAC,IAAI,CAAC,cAAc,CAAC,CAC1C,EAAE,CAAC;QACN,KAAK,WAAW;YACd,OAAO,SAAS,IAAI,CAAC,IAAI,IAAI,oBAAoB,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;QACxE,KAAK,aAAa;YAChB,OAAO,WAAW,oBAAoB,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;QAC7D,KAAK,WAAW;YACd,OAAO,SAAS,IAAI,CAAC,QAAQ;iBAC1B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACT,CAAC,CAAC,IAAI;gBACJ,CAAC,CAAC,GAAG,oBAAoB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE;gBAC7C,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,IAAI,CAAC,CACjC;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,2BAA2B,CACpG,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAAC,IAAmB,EAAU,EAAE,CAC1E,oBAAoB,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC;AAEnD,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,IAAmB,EACnB,KAAoB,EACX,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,KAAK,oBAAoB,CAAC,KAAK,CAAC,CAAC;AAEzE,MAAM,CAAC,MAAM,0BAA0B,GAAG,CACxC,IAAmB,EACnB,KAAoB,EACX,EAAE,CACX,4BAA4B,CAAC,IAAI,CAAC,KAAK,4BAA4B,CAAC,KAAK,CAAC,CAAC;AAE7E,MAAM,CAAC,MAAM,iCAAiC,GAAG,CAC/C,IAAmB,EACX,EAAE;IACV,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,gBAAgB;YACnB,OAAO,IAAI,CAAC,OAAO,CAAC;QACtB,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,MAAM,aAAa,GAAG,IAAI,CAAC,IAAI,CAAC;YAChC,IAAI,CAAC,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC3D,OAAO,aAAa,CAAC;YACvB,CAAC;YACD,OAAO,GAAG,aAAa,KAAK,IAAI,CAAC,aAAa;iBAC3C,GAAG,CAAC,iCAAiC,CAAC;iBACtC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAClB,CAAC;QACD,KAAK,yBAAyB,CAAC,CAAC,CAAC;YAC/B,MAAM,aAAa,GAAG,IAAI,CAAC,IAAI,CAAC,cAAc;gBAC5C,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,cAAc,KAAK,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE;gBAChE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACjC,IAAI,CAAC,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC3D,OAAO,aAAa,CAAC;YACvB,CAAC;YACD,OAAO,GAAG,aAAa,KAAK,IAAI,CAAC,aAAa;iBAC3C,GAAG,CAAC,iCAAiC,CAAC;iBACtC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAClB,CAAC;QACD,KAAK,cAAc;YACjB,OAAO,GAAG,iCAAiC,CAAC,IAAI,CAAC,cAAc,CAAC,WAAW,CAAC;QAC9E,KAAK,WAAW;YACd,OAAO,GAAG,iCAAiC,CAAC,IAAI,CAAC,WAAW,CAAC,SAAS,IAAI,CAAC,IAAI,EAAE,CAAC;QACpF,KAAK,aAAa;YAChB,OAAO,GAAG,iCAAiC,CAAC,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC;QACtE,KAAK,WAAW;YACd,OAAO,UAAU,IAAI,CAAC,QAAQ;iBAC3B,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,iCAAiC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;iBACjE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAClB,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,wCAAwC,CACjH,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,IAA4B,EAAU,EAAE;IAC5E,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACrC,OAAO,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,cAAc,KAAK,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AACxE,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,IAA4B,EAAU,EAAE;IACxE,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACrD,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAC;IAC9D,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC,CAAC"}

package/dist/core/format/backend-ast/utils.test.d.ts

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

package/dist/core/format/backend-ast/utils.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"utils.test.d.ts","sourceRoot":"","sources":["../../../../src/core/format/backend-ast/utils.test.ts"],"names":[],"mappings":""}

package/dist/core/format/backend-ast/utils.test.js

@@ -0,0 +1,205 @@
+import { describe, it } from "mocha";
+import { expect } from "chai";
+import { identifierType } from "./builders.js";
+import { CSHARP_PREDEFINED_TYPE_KEYWORDS, clrTypeNameToTypeAst, extractCalleeNameFromAst, getIdentifierTypeLeafName, getIdentifierTypeName, globallyQualifyTypeAst, normalizeClrQualifiedName, sameConcreteTypeAstSurface, sameTypeAstSurface, stableIdentifierSuffixFromTypeAst, stableConcreteTypeKeyFromAst, stableTypeKeyFromAst, stripNullableTypeAst, } from "./utils.js";
+describe("backend-ast utils", () => {
+    it("normalizes CLR qualified names for nested type references", () => {
+        expect(normalizeClrQualifiedName("System.Environment+SpecialFolder")).to.equal("System.Environment.SpecialFolder");
+        expect(normalizeClrQualifiedName("global::Outer+Inner`2", true)).to.equal("global::Outer.Inner");
+    });
+    it("maps all supported predefined CLR keyword names to predefinedType AST nodes", () => {
+        const expectedKeywords = [
+            "bool",
+            "byte",
+            "sbyte",
+            "short",
+            "ushort",
+            "int",
+            "uint",
+            "long",
+            "ulong",
+            "nint",
+            "nuint",
+            "float",
+            "double",
+            "decimal",
+            "char",
+            "string",
+            "object",
+            "void",
+        ];
+        expect(Array.from(CSHARP_PREDEFINED_TYPE_KEYWORDS).sort()).to.deep.equal([...expectedKeywords].sort());
+        for (const keyword of expectedKeywords) {
+            expect(clrTypeNameToTypeAst(keyword)).to.deep.equal({
+                kind: "predefinedType",
+                keyword,
+            });
+            expect(clrTypeNameToTypeAst(`global::${keyword}`)).to.deep.equal({
+                kind: "predefinedType",
+                keyword,
+            });
+        }
+    });
+    it("normalizes CLR generic arity/backing names into structured identifier AST nodes", () => {
+        expect(clrTypeNameToTypeAst("System.Collections.Generic.List`1")).to.deep.equal(identifierType("System.Collections.Generic.List"));
+        expect(clrTypeNameToTypeAst("global::Outer+Inner`2")).to.deep.equal(identifierType("global::Outer.Inner"));
+        expect(clrTypeNameToTypeAst("global::System.Int128")).to.deep.equal(identifierType("global::System.Int128"));
+        expect(clrTypeNameToTypeAst("System.Half")).to.deep.equal(identifierType("System.Half"));
+    });
+    it("globally qualifies nested type ASTs structurally without text rendering", () => {
+        const type = {
+            kind: "nullableType",
+            underlyingType: identifierType("System.Collections.Generic.List", [
+                {
+                    kind: "arrayType",
+                    elementType: identifierType("MyNamespace.Widget"),
+                    rank: 1,
+                },
+            ]),
+        };
+        expect(JSON.parse(JSON.stringify(globallyQualifyTypeAst(type)))).to.deep.equal({
+            kind: "nullableType",
+            underlyingType: identifierType("global::System.Collections.Generic.List", [
+                {
+                    kind: "arrayType",
+                    elementType: identifierType("global::MyNamespace.Widget"),
+                    rank: 1,
+                },
+            ]),
+        });
+    });
+    it("preserves predefined and var types when globally qualifying", () => {
+        expect(globallyQualifyTypeAst({ kind: "predefinedType", keyword: "int" })).to.deep.equal({ kind: "predefinedType", keyword: "int" });
+        expect(globallyQualifyTypeAst({ kind: "varType" })).to.deep.equal({
+            kind: "varType",
+        });
+    });
+    it("strips nullable wrappers structurally", () => {
+        const underlying = identifierType("global::System.DateTime");
+        expect(stripNullableTypeAst({
+            kind: "nullableType",
+            underlyingType: underlying,
+        })).to.equal(underlying);
+        expect(stripNullableTypeAst(underlying)).to.equal(underlying);
+    });
+    it("collapses nested nullable wrappers structurally", () => {
+        const underlying = identifierType("global::System.String");
+        expect(stripNullableTypeAst({
+            kind: "nullableType",
+            underlyingType: {
+                kind: "nullableType",
+                underlyingType: underlying,
+            },
+        })).to.equal(underlying);
+        expect(stableTypeKeyFromAst({
+            kind: "nullableType",
+            underlyingType: {
+                kind: "nullableType",
+                underlyingType: underlying,
+            },
+        })).to.equal("nullable:clr:System.String/0");
+    });
+    it("compares canonical and concrete emitted type surfaces consistently", () => {
+        const nullableString = {
+            kind: "nullableType",
+            underlyingType: identifierType("global::System.String"),
+        };
+        const stringType = identifierType("global::System.String");
+        expect(sameTypeAstSurface(nullableString, stringType)).to.equal(false);
+        expect(sameConcreteTypeAstSurface(nullableString, stringType)).to.equal(true);
+        expect(stableConcreteTypeKeyFromAst(nullableString)).to.equal("clr:System.String/0");
+    });
+    it("canonicalizes equivalent CLR type surfaces before comparison", () => {
+        expect(sameTypeAstSurface({ kind: "predefinedType", keyword: "int" }, identifierType("global::System.Int32"))).to.equal(true);
+        expect(sameTypeAstSurface(identifierType("global::System.Span", [
+            { kind: "predefinedType", keyword: "int" },
+        ]), identifierType("System.Span`1", [
+            identifierType("global::System.Int32"),
+        ]))).to.equal(true);
+    });
+    it("extracts identifier type names structurally for simple, qualified, and nullable nodes", () => {
+        expect(getIdentifierTypeName(identifierType("Widget"))).to.equal("Widget");
+        expect(getIdentifierTypeLeafName(identifierType("Widget"))).to.equal("Widget");
+        const qualified = identifierType("global::My.Namespace.Widget");
+        expect(getIdentifierTypeName(qualified)).to.equal("global::My.Namespace.Widget");
+        expect(getIdentifierTypeLeafName(qualified)).to.equal("Widget");
+        const nullable = {
+            kind: "nullableType",
+            underlyingType: qualified,
+        };
+        expect(getIdentifierTypeName(nullable)).to.equal("global::My.Namespace.Widget");
+        expect(getIdentifierTypeLeafName(nullable)).to.equal("Widget");
+        expect(getIdentifierTypeName({ kind: "predefinedType", keyword: "int" })).to.equal(undefined);
+        expect(getIdentifierTypeLeafName({ kind: "predefinedType", keyword: "int" })).to.equal(undefined);
+    });
+    it("extracts callee names structurally from type reference expressions", () => {
+        expect(extractCalleeNameFromAst({
+            kind: "typeReferenceExpression",
+            type: { kind: "predefinedType", keyword: "int" },
+        })).to.equal("int");
+        expect(extractCalleeNameFromAst({
+            kind: "typeReferenceExpression",
+            type: identifierType("global::System.Collections.Generic.List", [
+                { kind: "predefinedType", keyword: "string" },
+            ]),
+        })).to.equal("global::System.Collections.Generic.List");
+        expect(extractCalleeNameFromAst({
+            kind: "typeReferenceExpression",
+            type: {
+                kind: "nullableType",
+                underlyingType: identifierType("global::System.DateTime"),
+            },
+        })).to.equal("global::System.DateTime?");
+    });
+    it("unwraps cast-like expression wrappers when extracting callee names", () => {
+        const base = {
+            kind: "identifierExpression",
+            identifier: "handler",
+        };
+        expect(extractCalleeNameFromAst({
+            kind: "castExpression",
+            type: identifierType("global::System.Object"),
+            expression: base,
+        })).to.equal("handler");
+        expect(extractCalleeNameFromAst({
+            kind: "asExpression",
+            type: identifierType("global::System.Object"),
+            expression: base,
+        })).to.equal("handler");
+        expect(extractCalleeNameFromAst({
+            kind: "awaitExpression",
+            expression: base,
+        })).to.equal("handler");
+        expect(extractCalleeNameFromAst({
+            kind: "suppressNullableWarningExpression",
+            expression: base,
+        })).to.equal("handler");
+    });
+    it("builds stable structural type keys for arrays, tuples, pointers, and generics", () => {
+        expect(stableTypeKeyFromAst({
+            kind: "arrayType",
+            elementType: identifierType("global::System.String"),
+            rank: 2,
+        })).to.equal("array:2:clr:System.String/0");
+        expect(stableTypeKeyFromAst({
+            kind: "tupleType",
+            elements: [
+                { type: { kind: "predefinedType", keyword: "int" }, name: "count" },
+                { type: { kind: "predefinedType", keyword: "string" } },
+            ],
+        })).to.equal("tuple:clr:System.Int32/0:count|clr:System.String/0");
+        expect(stableTypeKeyFromAst({
+            kind: "pointerType",
+            elementType: { kind: "predefinedType", keyword: "byte" },
+        })).to.equal("pointer:clr:System.Byte/0");
+    });
+    it("builds stable identifier suffixes for nested generic shapes", () => {
+        expect(stableIdentifierSuffixFromTypeAst(identifierType("global::System.Collections.Generic.Dictionary", [
+            { kind: "predefinedType", keyword: "string" },
+            identifierType("global::System.Collections.Generic.List", [
+                { kind: "predefinedType", keyword: "int" },
+            ]),
+        ]))).to.equal("global__System_Collections_Generic_Dictionary__string__global__System_Collections_Generic_List__int");
+    });
+});
+//# sourceMappingURL=utils.test.js.map

package/dist/core/format/backend-ast/utils.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"utils.test.js","sourceRoot":"","sources":["../../../../src/core/format/backend-ast/utils.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,cAAc,EAAE,MAAM,eAAe,CAAC;AAC/C,OAAO,EACL,+BAA+B,EAC/B,oBAAoB,EACpB,wBAAwB,EACxB,yBAAyB,EACzB,qBAAqB,EACrB,sBAAsB,EACtB,yBAAyB,EACzB,0BAA0B,EAC1B,kBAAkB,EAClB,iCAAiC,EACjC,4BAA4B,EAC5B,oBAAoB,EACpB,oBAAoB,GACrB,MAAM,YAAY,CAAC;AAEpB,QAAQ,CAAC,mBAAmB,EAAE,GAAG,EAAE;IACjC,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,CACJ,yBAAyB,CAAC,kCAAkC,CAAC,CAC9D,CAAC,EAAE,CAAC,KAAK,CAAC,kCAAkC,CAAC,CAAC;QAC/C,MAAM,CAAC,yBAAyB,CAAC,uBAAuB,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CACvE,qBAAqB,CACtB,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6EAA6E,EAAE,GAAG,EAAE;QACrF,MAAM,gBAAgB,GAAG;YACvB,MAAM;YACN,MAAM;YACN,OAAO;YACP,OAAO;YACP,QAAQ;YACR,KAAK;YACL,MAAM;YACN,MAAM;YACN,OAAO;YACP,MAAM;YACN,OAAO;YACP,OAAO;YACP,QAAQ;YACR,SAAS;YACT,MAAM;YACN,QAAQ;YACR,QAAQ;YACR,MAAM;SACP,CAAC;QAEF,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CACtE,CAAC,GAAG,gBAAgB,CAAC,CAAC,IAAI,EAAE,CAC7B,CAAC;QAEF,KAAK,MAAM,OAAO,IAAI,gBAAgB,EAAE,CAAC;YACvC,MAAM,CAAC,oBAAoB,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;gBAClD,IAAI,EAAE,gBAAgB;gBACtB,OAAO;aACR,CAAC,CAAC;YACH,MAAM,CAAC,oBAAoB,CAAC,WAAW,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;gBAC/D,IAAI,EAAE,gBAAgB;gBACtB,OAAO;aACR,CAAC,CAAC;QACL,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iFAAiF,EAAE,GAAG,EAAE;QACzF,MAAM,CACJ,oBAAoB,CAAC,mCAAmC,CAAC,CAC1D,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC,iCAAiC,CAAC,CAAC,CAAC;QAEnE,MAAM,CAAC,oBAAoB,CAAC,uBAAuB,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CACjE,cAAc,CAAC,qBAAqB,CAAC,CACtC,CAAC;QAEF,MAAM,CAAC,oBAAoB,CAAC,uBAAuB,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CACjE,cAAc,CAAC,uBAAuB,CAAC,CACxC,CAAC;QAEF,MAAM,CAAC,oBAAoB,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CACvD,cAAc,CAAC,aAAa,CAAC,CAC9B,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yEAAyE,EAAE,GAAG,EAAE;QACjF,MAAM,IAAI,GAAkB;YAC1B,IAAI,EAAE,cAAc;YACpB,cAAc,EAAE,cAAc,CAAC,iCAAiC,EAAE;gBAChE;oBACE,IAAI,EAAE,WAAW;oBACjB,WAAW,EAAE,cAAc,CAAC,oBAAoB,CAAC;oBACjD,IAAI,EAAE,CAAC;iBACR;aACF,CAAC;SACH,CAAC;QAEF,MAAM,CACJ,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC,CAAC,CACzD,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YACd,IAAI,EAAE,cAAc;YACpB,cAAc,EAAE,cAAc,CAC5B,yCAAyC,EACzC;gBACE;oBACE,IAAI,EAAE,WAAW;oBACjB,WAAW,EAAE,cAAc,CAAC,4BAA4B,CAAC;oBACzD,IAAI,EAAE,CAAC;iBACR;aACF,CACF;SACF,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,CACJ,sBAAsB,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CACnE,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;QAC5D,MAAM,CAAC,sBAAsB,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;YAChE,IAAI,EAAE,SAAS;SAChB,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,UAAU,GAAkB,cAAc,CAAC,yBAAyB,CAAC,CAAC;QAC5E,MAAM,CACJ,oBAAoB,CAAC;YACnB,IAAI,EAAE,cAAc;YACpB,cAAc,EAAE,UAAU;SAC3B,CAAC,CACH,CAAC,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;QACvB,MAAM,CAAC,oBAAoB,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,UAAU,GAAkB,cAAc,CAAC,uBAAuB,CAAC,CAAC;QAC1E,MAAM,CACJ,oBAAoB,CAAC;YACnB,IAAI,EAAE,cAAc;YACpB,cAAc,EAAE;gBACd,IAAI,EAAE,cAAc;gBACpB,cAAc,EAAE,UAAU;aAC3B;SACF,CAAC,CACH,CAAC,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;QAEvB,MAAM,CACJ,oBAAoB,CAAC;YACnB,IAAI,EAAE,cAAc;YACpB,cAAc,EAAE;gBACd,IAAI,EAAE,cAAc;gBACpB,cAAc,EAAE,UAAU;aAC3B;SACF,CAAC,CACH,CAAC,EAAE,CAAC,KAAK,CAAC,8BAA8B,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,MAAM,cAAc,GAAkB;YACpC,IAAI,EAAE,cAAc;YACpB,cAAc,EAAE,cAAc,CAAC,uBAAuB,CAAC;SACxD,CAAC;QACF,MAAM,UAAU,GAAG,cAAc,CAAC,uBAAuB,CAAC,CAAC;QAE3D,MAAM,CAAC,kBAAkB,CAAC,cAAc,EAAE,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACvE,MAAM,CAAC,0BAA0B,CAAC,cAAc,EAAE,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CACrE,IAAI,CACL,CAAC;QACF,MAAM,CAAC,4BAA4B,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAC3D,qBAAqB,CACtB,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,CACJ,kBAAkB,CAChB,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,KAAK,EAAE,EAC1C,cAAc,CAAC,sBAAsB,CAAC,CACvC,CACF,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAEjB,MAAM,CACJ,kBAAkB,CAChB,cAAc,CAAC,qBAAqB,EAAE;YACpC,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,KAAK,EAAE;SAC3C,CAAC,EACF,cAAc,CAAC,eAAe,EAAE;YAC9B,cAAc,CAAC,sBAAsB,CAAC;SACvC,CAAC,CACH,CACF,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACnB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uFAAuF,EAAE,GAAG,EAAE;QAC/F,MAAM,CAAC,qBAAqB,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAC3E,MAAM,CAAC,yBAAyB,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAClE,QAAQ,CACT,CAAC;QAEF,MAAM,SAAS,GAAG,cAAc,CAAC,6BAA6B,CAAC,CAAC;QAChE,MAAM,CAAC,qBAAqB,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAC/C,6BAA6B,CAC9B,CAAC;QACF,MAAM,CAAC,yBAAyB,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAEhE,MAAM,QAAQ,GAAkB;YAC9B,IAAI,EAAE,cAAc;YACpB,cAAc,EAAE,SAAS;SAC1B,CAAC;QACF,MAAM,CAAC,qBAAqB,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAC9C,6BAA6B,CAC9B,CAAC;QACF,MAAM,CAAC,yBAAyB,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAC/D,MAAM,CACJ,qBAAqB,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAClE,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACtB,MAAM,CACJ,yBAAyB,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CACtE,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IACxB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,MAAM,CACJ,wBAAwB,CAAC;YACvB,IAAI,EAAE,yBAAyB;YAC/B,IAAI,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,KAAK,EAAE;SACjD,CAAC,CACH,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAElB,MAAM,CACJ,wBAAwB,CAAC;YACvB,IAAI,EAAE,yBAAyB;YAC/B,IAAI,EAAE,cAAc,CAAC,yCAAyC,EAAE;gBAC9D,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,QAAQ,EAAE;aAC9C,CAAC;SACH,CAAC,CACH,CAAC,EAAE,CAAC,KAAK,CAAC,yCAAyC,CAAC,CAAC;QAEtD,MAAM,CACJ,wBAAwB,CAAC;YACvB,IAAI,EAAE,yBAAyB;YAC/B,IAAI,EAAE;gBACJ,IAAI,EAAE,cAAc;gBACpB,cAAc,EAAE,cAAc,CAAC,yBAAyB,CAAC;aAC1D;SACF,CAAC,CACH,CAAC,EAAE,CAAC,KAAK,CAAC,0BAA0B,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,MAAM,IAAI,GAAG;YACX,IAAI,EAAE,sBAA+B;YACrC,UAAU,EAAE,SAAS;SACtB,CAAC;QAEF,MAAM,CACJ,wBAAwB,CAAC;YACvB,IAAI,EAAE,gBAAgB;YACtB,IAAI,EAAE,cAAc,CAAC,uBAAuB,CAAC;YAC7C,UAAU,EAAE,IAAI;SACjB,CAAC,CACH,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAEtB,MAAM,CACJ,wBAAwB,CAAC;YACvB,IAAI,EAAE,cAAc;YACpB,IAAI,EAAE,cAAc,CAAC,uBAAuB,CAAC;YAC7C,UAAU,EAAE,IAAI;SACjB,CAAC,CACH,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAEtB,MAAM,CACJ,wBAAwB,CAAC;YACvB,IAAI,EAAE,iBAAiB;YACvB,UAAU,EAAE,IAAI;SACjB,CAAC,CACH,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAEtB,MAAM,CACJ,wBAAwB,CAAC;YACvB,IAAI,EAAE,mCAAmC;YACzC,UAAU,EAAE,IAAI;SACjB,CAAC,CACH,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IACxB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+EAA+E,EAAE,GAAG,EAAE;QACvF,MAAM,CACJ,oBAAoB,CAAC;YACnB,IAAI,EAAE,WAAW;YACjB,WAAW,EAAE,cAAc,CAAC,uBAAuB,CAAC;YACpD,IAAI,EAAE,CAAC;SACR,CAAC,CACH,CAAC,EAAE,CAAC,KAAK,CAAC,6BAA6B,CAAC,CAAC;QAE1C,MAAM,CACJ,oBAAoB,CAAC;YACnB,IAAI,EAAE,WAAW;YACjB,QAAQ,EAAE;gBACR,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE;gBACnE,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE;aACxD;SACF,CAAC,CACH,CAAC,EAAE,CAAC,KAAK,CAAC,oDAAoD,CAAC,CAAC;QAEjE,MAAM,CACJ,oBAAoB,CAAC;YACnB,IAAI,EAAE,aAAa;YACnB,WAAW,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,MAAM,EAAE;SACzD,CAAC,CACH,CAAC,EAAE,CAAC,KAAK,CAAC,2BAA2B,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,CACJ,iCAAiC,CAC/B,cAAc,CAAC,+CAA+C,EAAE;YAC9D,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,QAAQ,EAAE;YAC7C,cAAc,CAAC,yCAAyC,EAAE;gBACxD,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,KAAK,EAAE;aAC3C,CAAC;SACH,CAAC,CACH,CACF,CAAC,EAAE,CAAC,KAAK,CACR,qGAAqG,CACtG,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/core/format/local-names.d.ts

@@ -1,3 +1,4 @@
+import type { IrType } from "@tsonic/frontend";
 import { EmitterContext } from "../../types.js";
 export type AllocatedLocalName = {
     readonly originalName: string;
@@ -16,6 +17,31 @@ export declare const reserveLocalName: (emittedName: string, context: EmitterCon
  */
 export declare const allocateLocalName: (originalName: string, context: EmitterContext) => AllocatedLocalName;
 export declare const registerLocalName: (originalName: string, emittedName: string, context: EmitterContext) => EmitterContext;
+/**
+ * Register both semantic and storage types for a local symbol.
+ *
+ * Semantic type preserves alias identity, union structure, and type-parameter
+ * shapes exactly as authored in the frontend IR. Storage type is the
+ * CLR-normalized carrier used for C# declarations and runtime dispatch.
+ */
+export declare const registerLocalSymbolTypes: (originalName: string, semanticType: IrType | undefined, storageType: IrType | undefined, context: EmitterContext) => EmitterContext;
+/**
+ * Register the same type as both semantic and storage for a local symbol.
+ *
+ * Used for cases where the authored type and CLR storage type are identical
+ * (e.g., for-in keys are always `string` in both channels).
+ */
+export declare const registerLocalFixedType: (originalName: string, type: IrType, context: EmitterContext) => EmitterContext;
+/**
+ * Register a local symbol from its semantic (frontend IR) type.
+ *
+ * Storage type is derived automatically via normalizeRuntimeStorageType.
+ * Falls back to the semantic type itself when normalization returns undefined.
+ *
+ * Use this for parameters and pattern bindings where the authored type is
+ * the single source of truth and storage is purely derived.
+ */
+export declare const registerLocalSemanticType: (originalName: string, semanticType: IrType | undefined, context: EmitterContext) => EmitterContext;
 /**
  * Emit a local/parameter identifier using lexical remaps (CS0136 shadowing avoidance).
  *

package/dist/core/format/local-names.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"local-names.d.ts","sourceRoot":"","sources":["../../../src/core/format/local-names.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAGhD,MAAM,MAAM,kBAAkB,GAAG;IAC/B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC;CAClC,CAAC;AAEF,eAAO,MAAM,gBAAgB,GAC3B,aAAa,MAAM,EACnB,SAAS,cAAc,KACtB,cAIF,CAAC;AAEF;;;;;;;;GAQG;AACH,eAAO,MAAM,iBAAiB,GAC5B,cAAc,MAAM,EACpB,SAAS,cAAc,KACtB,kBAoBF,CAAC;AAEF,eAAO,MAAM,iBAAiB,GAC5B,cAAc,MAAM,EACpB,aAAa,MAAM,EACnB,SAAS,cAAc,KACtB,cAIF,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,qBAAqB,GAChC,cAAc,MAAM,EACpB,SAAS,cAAc,KACtB,MAEmC,CAAC"}
+{"version":3,"file":"local-names.d.ts","sourceRoot":"","sources":["../../../src/core/format/local-names.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAIhD,MAAM,MAAM,kBAAkB,GAAG;IAC/B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC;CAClC,CAAC;AAEF,eAAO,MAAM,gBAAgB,GAC3B,aAAa,MAAM,EACnB,SAAS,cAAc,KACtB,cAIF,CAAC;AAEF;;;;;;;;GAQG;AACH,eAAO,MAAM,iBAAiB,GAC5B,cAAc,MAAM,EACpB,SAAS,cAAc,KACtB,kBAoBF,CAAC;AAEF,eAAO,MAAM,iBAAiB,GAC5B,cAAc,MAAM,EACpB,aAAa,MAAM,EACnB,SAAS,cAAc,KACtB,cAIF,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,wBAAwB,GACnC,cAAc,MAAM,EACpB,cAAc,MAAM,GAAG,SAAS,EAChC,aAAa,MAAM,GAAG,SAAS,EAC/B,SAAS,cAAc,KACtB,cA8BF,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,sBAAsB,GACjC,cAAc,MAAM,EACpB,MAAM,MAAM,EACZ,SAAS,cAAc,KACtB,cAC0D,CAAC;AAE9D;;;;;;;;GAQG;AACH,eAAO,MAAM,yBAAyB,GACpC,cAAc,MAAM,EACpB,cAAc,MAAM,GAAG,SAAS,EAChC,SAAS,cAAc,KACtB,cAgBF,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,qBAAqB,GAChC,cAAc,MAAM,EACpB,SAAS,cAAc,KACtB,MAEmC,CAAC"}