@tsonic/emitter 0.0.74 → 0.0.75

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

@@ -63,11 +63,18 @@ export const extractCalleeNameFromAst = (ast) => {
             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}>`;
     }
 };
-export const stripNullableTypeAst = (type) => type.kind === "nullableType" ? type.underlyingType : type;
+export const stripNullableTypeAst = (type) => type.kind === "nullableType"
+    ? stripNullableTypeAst(type.underlyingType)
+    : type;
 export const globallyQualifyTypeAst = (type) => {
     switch (type.kind) {
         case "predefinedType":
@@ -94,10 +101,12 @@ export const globallyQualifyTypeAst = (type) => {
                     typeArguments: type.typeArguments?.map(globallyQualifyTypeAst),
                 };
         case "nullableType":
-            return {
-                kind: "nullableType",
-                underlyingType: globallyQualifyTypeAst(type.underlyingType),
-            };
+            return type.underlyingType.kind === "nullableType"
+                ? globallyQualifyTypeAst(type.underlyingType)
+                : {
+                    kind: "nullableType",
+                    underlyingType: globallyQualifyTypeAst(type.underlyingType),
+                };
         case "arrayType":
             return {
                 kind: "arrayType",
@@ -147,10 +156,18 @@ export const getIdentifierTypeLeafName = (type) => {
             return undefined;
     }
 };
-export const clrTypeNameToTypeAst = (clrName) => {
+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 };
     }
@@ -176,24 +193,75 @@ export const clrTypeNameToTypeAst = (clrName) => {
             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 `predefined:${type.keyword}`;
+            return `clr:${PREDEFINED_CLR_TYPE_KEYS.get(type.keyword) ?? type.keyword}`;
         case "identifierType": {
-            const args = type.typeArguments && type.typeArguments.length > 0
-                ? `<${type.typeArguments.map(stableTypeKeyFromAst).join(",")}>`
-                : "";
-            return `identifier:${type.name}${args}`;
+            return canonicalNamedTypeKey(type.name, type.typeArguments);
         }
         case "qualifiedIdentifierType": {
-            const args = type.typeArguments && type.typeArguments.length > 0
-                ? `<${type.typeArguments.map(stableTypeKeyFromAst).join(",")}>`
-                : "";
-            return `qualifiedIdentifier:${qualifiedNameToString(type.name)}${args}`;
+            return canonicalNamedTypeKey(qualifiedNameToString(type.name), type.typeArguments);
         }
         case "nullableType":
-            return `nullable:${stableTypeKeyFromAst(type.underlyingType)}`;
+            return `nullable:${stableTypeKeyFromAst(stripNullableTypeAst(type.underlyingType))}`;
         case "arrayType":
             return `array:${type.rank}:${stableTypeKeyFromAst(type.elementType)}`;
         case "pointerType":
@@ -212,6 +280,9 @@ export const stableTypeKeyFromAst = (type) => {
         }
     }
 };
+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":

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;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;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,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC;AAE5D,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;gBACL,IAAI,EAAE,cAAc;gBACpB,cAAc,EAAE,sBAAsB,CAAC,IAAI,CAAC,cAAc,CAAC;aAC5D,CAAC;QACJ,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,oBAAoB,GAAG,CAAC,OAAe,EAAiB,EAAE;IACrE,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,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,CAAC,MAAM,oBAAoB,GAAG,CAAC,IAAmB,EAAU,EAAE;IAClE,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,gBAAgB;YACnB,OAAO,cAAc,IAAI,CAAC,OAAO,EAAE,CAAC;QACtC,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,oBAAoB,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG;gBAC/D,CAAC,CAAC,EAAE,CAAC;YACT,OAAO,cAAc,IAAI,CAAC,IAAI,GAAG,IAAI,EAAE,CAAC;QAC1C,CAAC;QACD,KAAK,yBAAyB,CAAC,CAAC,CAAC;YAC/B,MAAM,IAAI,GACR,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC;gBACjD,CAAC,CAAC,IAAI,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,oBAAoB,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG;gBAC/D,CAAC,CAAC,EAAE,CAAC;YACT,OAAO,uBAAuB,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,EAAE,CAAC;QAC1E,CAAC;QACD,KAAK,cAAc;YACjB,OAAO,YAAY,oBAAoB,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC;QACjE,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,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"}
+{"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.js

@@ -1,8 +1,12 @@
 import { describe, it } from "mocha";
 import { expect } from "chai";
 import { identifierType } from "./builders.js";
-import { CSHARP_PREDEFINED_TYPE_KEYWORDS, clrTypeNameToTypeAst, extractCalleeNameFromAst, getIdentifierTypeLeafName, getIdentifierTypeName, globallyQualifyTypeAst, stableIdentifierSuffixFromTypeAst, stableTypeKeyFromAst, stripNullableTypeAst, } from "./utils.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",
@@ -78,6 +82,41 @@ describe("backend-ast utils", () => {
         })).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");
@@ -112,23 +151,47 @@ describe("backend-ast utils", () => {
             },
         })).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:qualifiedIdentifier:global::System.String");
+        })).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:predefined:int:count|predefined: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:predefined: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", [

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

@@ -1 +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,iCAAiC,EACjC,oBAAoB,EACpB,oBAAoB,GACrB,MAAM,YAAY,CAAC;AAEpB,QAAQ,CAAC,mBAAmB,EAAE,GAAG,EAAE;IACjC,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,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,+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,mDAAmD,CAAC,CAAC;QAEhE,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,8CAA8C,CAAC,CAAC;QAE3D,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,yBAAyB,CAAC,CAAC;IACxC,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"}
+{"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"}

package/dist/core/format/local-names.js

@@ -1,4 +1,5 @@
 import { escapeCSharpIdentifier } from "../../emitter-types/index.js";
+import { normalizeRuntimeStorageType } from "../semantic/storage-types.js";
 export const reserveLocalName = (emittedName, context) => {
     const next = new Set(context.usedLocalNames ?? []);
     next.add(emittedName);
@@ -37,6 +38,64 @@ export const registerLocalName = (originalName, emittedName, context) => {
     nextMap.set(originalName, emittedName);
     return { ...context, localNameMap: nextMap };
 };
+/**
+ * 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 const registerLocalSymbolTypes = (originalName, semanticType, storageType, context) => {
+    const hadSemantic = context.localSemanticTypes?.has(originalName) ?? false;
+    const hadStorage = context.localValueTypes?.has(originalName) ?? false;
+    // Nothing to write and nothing to shadow — no-op.
+    if (!semanticType && !storageType && !hadSemantic && !hadStorage) {
+        return context;
+    }
+    // Always derive a new map so that an undefined channel clears any
+    // outer binding for this name rather than letting it bleed through.
+    const nextSemantic = new Map(context.localSemanticTypes ?? []);
+    if (semanticType) {
+        nextSemantic.set(originalName, semanticType);
+    }
+    else {
+        nextSemantic.delete(originalName);
+    }
+    const nextStorage = new Map(context.localValueTypes ?? []);
+    if (storageType) {
+        nextStorage.set(originalName, storageType);
+    }
+    else {
+        nextStorage.delete(originalName);
+    }
+    return {
+        ...context,
+        localSemanticTypes: nextSemantic,
+        localValueTypes: nextStorage,
+    };
+};
+/**
+ * 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 const registerLocalFixedType = (originalName, type, context) => registerLocalSymbolTypes(originalName, type, type, context);
+/**
+ * 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 const registerLocalSemanticType = (originalName, semanticType, context) => {
+    if (!semanticType)
+        return registerLocalSymbolTypes(originalName, undefined, undefined, context);
+    const storageType = normalizeRuntimeStorageType(semanticType, context) ?? semanticType;
+    return registerLocalSymbolTypes(originalName, semanticType, storageType, context);
+};
 /**
  * Emit a local/parameter identifier using lexical remaps (CS0136 shadowing avoidance).
  *

package/dist/core/format/local-names.js.map

@@ -1 +1 @@
-{"version":3,"file":"local-names.js","sourceRoot":"","sources":["../../../src/core/format/local-names.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,sBAAsB,EAAE,MAAM,8BAA8B,CAAC;AAQtE,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,WAAmB,EACnB,OAAuB,EACP,EAAE;IAClB,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,cAAc,IAAI,EAAE,CAAC,CAAC;IACnD,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;IACtB,OAAO,EAAE,GAAG,OAAO,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC;AAC9C,CAAC,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,YAAoB,EACpB,OAAuB,EACH,EAAE;IACtB,MAAM,IAAI,GAAG,OAAO,CAAC,cAAc,IAAI,IAAI,GAAG,EAAU,CAAC;IAEzD,kCAAkC;IAClC,MAAM,WAAW,GAAG,sBAAsB,CAAC,YAAY,CAAC,CAAC;IACzD,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC;QAC3B,MAAM,GAAG,GAAG,gBAAgB,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;QACnD,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,WAAW,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;IAClE,CAAC;IAED,qDAAqD;IACrD,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,OAAO,IAAI,EAAE,CAAC;QACZ,MAAM,SAAS,GAAG,sBAAsB,CAAC,GAAG,YAAY,KAAK,MAAM,EAAE,CAAC,CAAC;QACvE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;YACzB,MAAM,GAAG,GAAG,gBAAgB,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;YACjD,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,SAAS,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;QAChE,CAAC;QACD,MAAM,EAAE,CAAC;IACX,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,YAAoB,EACpB,WAAmB,EACnB,OAAuB,EACP,EAAE;IAClB,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC;IACpD,OAAO,CAAC,GAAG,CAAC,YAAY,EAAE,WAAW,CAAC,CAAC;IACvC,OAAO,EAAE,GAAG,OAAO,EAAE,YAAY,EAAE,OAAO,EAAE,CAAC;AAC/C,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,YAAoB,EACpB,OAAuB,EACf,EAAE,CACV,OAAO,CAAC,YAAY,EAAE,GAAG,CAAC,YAAY,CAAC;IACvC,sBAAsB,CAAC,YAAY,CAAC,CAAC"}
+{"version":3,"file":"local-names.js","sourceRoot":"","sources":["../../../src/core/format/local-names.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,sBAAsB,EAAE,MAAM,8BAA8B,CAAC;AACtE,OAAO,EAAE,2BAA2B,EAAE,MAAM,8BAA8B,CAAC;AAQ3E,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,WAAmB,EACnB,OAAuB,EACP,EAAE;IAClB,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,cAAc,IAAI,EAAE,CAAC,CAAC;IACnD,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;IACtB,OAAO,EAAE,GAAG,OAAO,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC;AAC9C,CAAC,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,YAAoB,EACpB,OAAuB,EACH,EAAE;IACtB,MAAM,IAAI,GAAG,OAAO,CAAC,cAAc,IAAI,IAAI,GAAG,EAAU,CAAC;IAEzD,kCAAkC;IAClC,MAAM,WAAW,GAAG,sBAAsB,CAAC,YAAY,CAAC,CAAC;IACzD,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC;QAC3B,MAAM,GAAG,GAAG,gBAAgB,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;QACnD,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,WAAW,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;IAClE,CAAC;IAED,qDAAqD;IACrD,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,OAAO,IAAI,EAAE,CAAC;QACZ,MAAM,SAAS,GAAG,sBAAsB,CAAC,GAAG,YAAY,KAAK,MAAM,EAAE,CAAC,CAAC;QACvE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;YACzB,MAAM,GAAG,GAAG,gBAAgB,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;YACjD,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,SAAS,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;QAChE,CAAC;QACD,MAAM,EAAE,CAAC;IACX,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,YAAoB,EACpB,WAAmB,EACnB,OAAuB,EACP,EAAE;IAClB,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC;IACpD,OAAO,CAAC,GAAG,CAAC,YAAY,EAAE,WAAW,CAAC,CAAC;IACvC,OAAO,EAAE,GAAG,OAAO,EAAE,YAAY,EAAE,OAAO,EAAE,CAAC;AAC/C,CAAC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,YAAoB,EACpB,YAAgC,EAChC,WAA+B,EAC/B,OAAuB,EACP,EAAE;IAClB,MAAM,WAAW,GAAG,OAAO,CAAC,kBAAkB,EAAE,GAAG,CAAC,YAAY,CAAC,IAAI,KAAK,CAAC;IAC3E,MAAM,UAAU,GAAG,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,YAAY,CAAC,IAAI,KAAK,CAAC;IAEvE,kDAAkD;IAClD,IAAI,CAAC,YAAY,IAAI,CAAC,WAAW,IAAI,CAAC,WAAW,IAAI,CAAC,UAAU,EAAE,CAAC;QACjE,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,kEAAkE;IAClE,oEAAoE;IACpE,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,kBAAkB,IAAI,EAAE,CAAC,CAAC;IAC/D,IAAI,YAAY,EAAE,CAAC;QACjB,YAAY,CAAC,GAAG,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC;IAC/C,CAAC;SAAM,CAAC;QACN,YAAY,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;IACpC,CAAC;IAED,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,eAAe,IAAI,EAAE,CAAC,CAAC;IAC3D,IAAI,WAAW,EAAE,CAAC;QAChB,WAAW,CAAC,GAAG,CAAC,YAAY,EAAE,WAAW,CAAC,CAAC;IAC7C,CAAC;SAAM,CAAC;QACN,WAAW,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;IACnC,CAAC;IAED,OAAO;QACL,GAAG,OAAO;QACV,kBAAkB,EAAE,YAAY;QAChC,eAAe,EAAE,WAAW;KAC7B,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,YAAoB,EACpB,IAAY,EACZ,OAAuB,EACP,EAAE,CAClB,wBAAwB,CAAC,YAAY,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;AAE9D;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,YAAoB,EACpB,YAAgC,EAChC,OAAuB,EACP,EAAE;IAClB,IAAI,CAAC,YAAY;QACf,OAAO,wBAAwB,CAC7B,YAAY,EACZ,SAAS,EACT,SAAS,EACT,OAAO,CACR,CAAC;IACJ,MAAM,WAAW,GACf,2BAA2B,CAAC,YAAY,EAAE,OAAO,CAAC,IAAI,YAAY,CAAC;IACrE,OAAO,wBAAwB,CAC7B,YAAY,EACZ,YAAY,EACZ,WAAW,EACX,OAAO,CACR,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,YAAoB,EACpB,OAAuB,EACf,EAAE,CACV,OAAO,CAAC,YAAY,EAAE,GAAG,CAAC,YAAY,CAAC;IACvC,sBAAsB,CAAC,YAAY,CAAC,CAAC"}

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

@@ -0,0 +1,12 @@
+/**
+ * Tests for the local-names semantic/storage type channel plumbing.
+ *
+ * Verifies that:
+ * - registerLocalSymbolTypes populates both channels independently
+ * - registerLocalFixedType writes the same value to both channels
+ * - withScoped preserves localSemanticTypes across scope boundaries
+ * - catch-scope restoration prevents type leakage
+ * - semantic channel preserves alias-shaped types while storage normalizes
+ */
+export {};
+//# sourceMappingURL=local-names.test.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"local-names.test.d.ts","sourceRoot":"","sources":["../../../src/core/format/local-names.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG"}