@tsonic/emitter 0.0.72 → 0.0.74

package/dist/expressions/identifiers.js

@@ -3,7 +3,8 @@
  */
 import { emitTypeAst } from "../type-emitter.js";
 import { escapeCSharpIdentifier } from "../emitter-types/index.js";
-import { renderTypeAst } from "../core/format/backend-ast/utils.js";
+import { identifierExpression } from "../core/format/backend-ast/builders.js";
+import { stableIdentifierSuffixFromTypeAst } from "../core/format/backend-ast/utils.js";
 /**
  * Emit an identifier as CSharpExpressionAst
  */
@@ -26,7 +27,7 @@ export const emitIdentifier = (expr, context, expectedType) => {
     // TypeScript `super` maps to C# `base` for member access/calls.
     // (`super()` constructor calls are handled separately in constructor emission.)
     if (expr.name === "super") {
-        return [{ kind: "identifierExpression", identifier: "base" }, context];
+        return [identifierExpression("base"), context];
     }
     // Narrowing remap for union type guards
     // - "rename": account -> account__1_3 (if-statements with temp var)
@@ -36,48 +37,45 @@ export const emitIdentifier = (expr, context, expectedType) => {
         if (narrowed) {
             if (narrowed.kind === "rename") {
                 return [
-                    {
-                        kind: "identifierExpression",
-                        identifier: escapeCSharpIdentifier(narrowed.name),
-                    },
+                    identifierExpression(escapeCSharpIdentifier(narrowed.name)),
                     context,
                 ];
             }
-            else {
+            else if (narrowed.kind === "expr") {
                 // kind === "expr" - emit pre-built AST (e.g., parenthesized AsN() call)
                 return [narrowed.exprAst, context];
             }
+            return [identifierExpression(escapeCSharpIdentifier(expr.name)), context];
         }
     }
     // Lexical remap for locals/parameters (prevents C# CS0136 shadowing errors).
     const remappedLocal = context.localNameMap?.get(expr.name);
     if (remappedLocal) {
-        return [
-            { kind: "identifierExpression", identifier: remappedLocal },
-            context,
-        ];
+        return [identifierExpression(remappedLocal), context];
     }
     // Check if this identifier is from an import
     if (context.importBindings) {
         const binding = context.importBindings.get(expr.name);
         if (binding) {
             // Imported identifier - always use fully-qualified reference
-            // Use pre-computed clrName directly (all resolution done when building binding)
-            if (binding.member) {
+            if (binding.kind === "value") {
                 // Value import with member - Container.member
+                return [
+                    identifierExpression(`${binding.clrName}.${binding.member}`),
+                    context,
+                ];
+            }
+            if (binding.kind === "type") {
                 return [
                     {
-                        kind: "identifierExpression",
-                        identifier: `${binding.clrName}.${binding.member}`,
+                        kind: "typeReferenceExpression",
+                        type: binding.typeAst,
                     },
                     context,
                 ];
             }
-            // Type, namespace, or default import - use clrName directly
-            return [
-                { kind: "identifierExpression", identifier: binding.clrName },
-                context,
-            ];
+            // Namespace import - use precomputed container name directly
+            return [identifierExpression(binding.clrName), context];
         }
     }
     // Static module members (functions/fields) in the current file's container class.
@@ -88,34 +86,25 @@ export const emitIdentifier = (expr, context, expectedType) => {
         if (context.moduleStaticClassName &&
             context.className !== context.moduleStaticClassName) {
             return [
-                {
-                    kind: "identifierExpression",
-                    identifier: `${context.moduleStaticClassName}.${memberName}`,
-                },
+                identifierExpression(`${context.moduleStaticClassName}.${memberName}`),
                 context,
             ];
         }
-        return [{ kind: "identifierExpression", identifier: memberName }, context];
+        return [identifierExpression(memberName), context];
     }
     // Use custom C# name from binding if specified (with global:: prefix)
     if (expr.csharpName && expr.resolvedAssembly) {
         const fqn = `global::${expr.resolvedAssembly}.${expr.csharpName}`;
-        return [{ kind: "identifierExpression", identifier: fqn }, context];
+        return [identifierExpression(fqn), context];
     }
     // Use resolved binding if available (from binding manifest) with global:: prefix
     // resolvedClrType is already the full CLR type name, just add global::
     if (expr.resolvedClrType) {
         const fqn = `global::${expr.resolvedClrType}`;
-        return [{ kind: "identifierExpression", identifier: fqn }, context];
+        return [identifierExpression(fqn), context];
     }
     // Fallback: use identifier as-is (escape C# keywords)
-    return [
-        {
-            kind: "identifierExpression",
-            identifier: escapeCSharpIdentifier(expr.name),
-        },
-        context,
-    ];
+    return [identifierExpression(escapeCSharpIdentifier(expr.name)), context];
 };
 /**
  * Emit type arguments as CSharpTypeAst[]
@@ -160,10 +149,7 @@ export const generateSpecializedName = (baseName, typeArgs, context) => {
     for (const typeArg of typeArgs) {
         const [typeAst, newContext] = emitTypeAst(typeArg, currentContext);
         currentContext = newContext;
-        const typeName = renderTypeAst(typeAst);
-        // Sanitize type name for use in identifier (remove <>, ?, etc.)
-        const sanitized = typeName.replace(/[<>?,\s]/g, "_").replace(/\./g, "_");
-        typeNames.push(sanitized);
+        typeNames.push(stableIdentifierSuffixFromTypeAst(typeAst));
     }
     const specializedName = `${baseName}__${typeNames.join("__")}`;
     return [specializedName, currentContext];

package/dist/expressions/identifiers.js.map

@@ -1 +1 @@
-{"version":3,"file":"identifiers.js","sourceRoot":"","sources":["../../src/expressions/identifiers.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAC;AACnE,OAAO,EAAE,aAAa,EAAE,MAAM,qCAAqC,CAAC;AAMpE;;GAEG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,IAAmD,EACnD,OAAuB,EACvB,YAAqB,EACkB,EAAE;IACzC,wCAAwC;IACxC,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,IACE,YAAY,EAAE,IAAI,KAAK,mBAAmB;YAC1C,CAAC,YAAY,EAAE,IAAI,KAAK,eAAe;gBACrC,YAAY,CAAC,IAAI,KAAK,WAAW,CAAC,EACpC,CAAC;YACD,OAAO;gBACL;oBACE,IAAI,EAAE,mBAAmB;oBACzB,IAAI,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,QAAQ,EAAE;iBACpD;gBACD,OAAO;aACR,CAAC;QACJ,CAAC;QACD,OAAO,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,EAAE,OAAO,CAAC,CAAC;IAClD,CAAC;IAED,gEAAgE;IAChE,gFAAgF;IAChF,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC1B,OAAO,CAAC,EAAE,IAAI,EAAE,sBAAsB,EAAE,UAAU,EAAE,MAAM,EAAE,EAAE,OAAO,CAAC,CAAC;IACzE,CAAC;IAED,wCAAwC;IACxC,oEAAoE;IACpE,qEAAqE;IACrE,IAAI,OAAO,CAAC,gBAAgB,EAAE,CAAC;QAC7B,MAAM,QAAQ,GAAG,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzD,IAAI,QAAQ,EAAE,CAAC;YACb,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAC/B,OAAO;oBACL;wBACE,IAAI,EAAE,sBAAsB;wBAC5B,UAAU,EAAE,sBAAsB,CAAC,QAAQ,CAAC,IAAI,CAAC;qBAClD;oBACD,OAAO;iBACR,CAAC;YACJ,CAAC;iBAAM,CAAC;gBACN,wEAAwE;gBACxE,OAAO,CAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;YACrC,CAAC;QACH,CAAC;IACH,CAAC;IAED,6EAA6E;IAC7E,MAAM,aAAa,GAAG,OAAO,CAAC,YAAY,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3D,IAAI,aAAa,EAAE,CAAC;QAClB,OAAO;YACL,EAAE,IAAI,EAAE,sBAAsB,EAAE,UAAU,EAAE,aAAa,EAAE;YAC3D,OAAO;SACR,CAAC;IACJ,CAAC;IAED,6CAA6C;IAC7C,IAAI,OAAO,CAAC,cAAc,EAAE,CAAC;QAC3B,MAAM,OAAO,GAAG,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtD,IAAI,OAAO,EAAE,CAAC;YACZ,6DAA6D;YAC7D,gFAAgF;YAChF,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;gBACnB,8CAA8C;gBAC9C,OAAO;oBACL;wBACE,IAAI,EAAE,sBAAsB;wBAC5B,UAAU,EAAE,GAAG,OAAO,CAAC,OAAO,IAAI,OAAO,CAAC,MAAM,EAAE;qBACnD;oBACD,OAAO;iBACR,CAAC;YACJ,CAAC;YACD,4DAA4D;YAC5D,OAAO;gBACL,EAAE,IAAI,EAAE,sBAAsB,EAAE,UAAU,EAAE,OAAO,CAAC,OAAO,EAAE;gBAC7D,OAAO;aACR,CAAC;QACJ,CAAC;IACH,CAAC;IAED,kFAAkF;IAClF,2EAA2E;IAC3E,MAAM,WAAW,GAAG,OAAO,CAAC,YAAY,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzD,IAAI,WAAW,EAAE,CAAC;QAChB,MAAM,UAAU,GAAG,sBAAsB,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC;QAClE,IACE,OAAO,CAAC,qBAAqB;YAC7B,OAAO,CAAC,SAAS,KAAK,OAAO,CAAC,qBAAqB,EACnD,CAAC;YACD,OAAO;gBACL;oBACE,IAAI,EAAE,sBAAsB;oBAC5B,UAAU,EAAE,GAAG,OAAO,CAAC,qBAAqB,IAAI,UAAU,EAAE;iBAC7D;gBACD,OAAO;aACR,CAAC;QACJ,CAAC;QACD,OAAO,CAAC,EAAE,IAAI,EAAE,sBAAsB,EAAE,UAAU,EAAE,UAAU,EAAE,EAAE,OAAO,CAAC,CAAC;IAC7E,CAAC;IAED,sEAAsE;IACtE,IAAI,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,gBAAgB,EAAE,CAAC;QAC7C,MAAM,GAAG,GAAG,WAAW,IAAI,CAAC,gBAAgB,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QAClE,OAAO,CAAC,EAAE,IAAI,EAAE,sBAAsB,EAAE,UAAU,EAAE,GAAG,EAAE,EAAE,OAAO,CAAC,CAAC;IACtE,CAAC;IAED,iFAAiF;IACjF,uEAAuE;IACvE,IAAI,IAAI,CAAC,eAAe,EAAE,CAAC;QACzB,MAAM,GAAG,GAAG,WAAW,IAAI,CAAC,eAAe,EAAE,CAAC;QAC9C,OAAO,CAAC,EAAE,IAAI,EAAE,sBAAsB,EAAE,UAAU,EAAE,GAAG,EAAE,EAAE,OAAO,CAAC,CAAC;IACtE,CAAC;IAED,sDAAsD;IACtD,OAAO;QACL;YACE,IAAI,EAAE,sBAAsB;YAC5B,UAAU,EAAE,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC;SAC9C;QACD,OAAO;KACR,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,QAA2B,EAC3B,OAAuB,EACY,EAAE;IACrC,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvC,OAAO,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;IACvB,CAAC;IAED,IAAI,cAAc,GAAG,OAAO,CAAC;IAC7B,MAAM,QAAQ,GAAoB,EAAE,CAAC;IAErC,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,MAAM,CAAC,OAAO,EAAE,UAAU,CAAC,GAAG,WAAW,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;QACnE,cAAc,GAAG,UAAU,CAAC;QAC5B,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACzB,CAAC;IAED,OAAO,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAC;AACpC,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,QAA2B,EAC3B,OAAuB,EACqB,EAAE;IAC9C,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvC,OAAO,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;IACvB,CAAC;IAED,IAAI,cAAc,GAAG,OAAO,CAAC;IAC7B,MAAM,QAAQ,GAAoB,EAAE,CAAC;IAErC,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,MAAM,CAAC,OAAO,EAAE,UAAU,CAAC,GAAG,WAAW,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;QACnE,cAAc,GAAG,UAAU,CAAC;QAC5B,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACzB,CAAC;IAED,OAAO,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAC;AACpC,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,QAAgB,EAChB,QAA2B,EAC3B,OAAuB,EACG,EAAE;IAC5B,IAAI,cAAc,GAAG,OAAO,CAAC;IAC7B,MAAM,SAAS,GAAa,EAAE,CAAC;IAE/B,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,MAAM,CAAC,OAAO,EAAE,UAAU,CAAC,GAAG,WAAW,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;QACnE,cAAc,GAAG,UAAU,CAAC;QAC5B,MAAM,QAAQ,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;QACxC,gEAAgE;QAChE,MAAM,SAAS,GAAG,QAAQ,CAAC,OAAO,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QACzE,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC5B,CAAC;IAED,MAAM,eAAe,GAAG,GAAG,QAAQ,KAAK,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;IAC/D,OAAO,CAAC,eAAe,EAAE,cAAc,CAAC,CAAC;AAC3C,CAAC,CAAC"}
+{"version":3,"file":"identifiers.js","sourceRoot":"","sources":["../../src/expressions/identifiers.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAC;AACnE,OAAO,EAAE,oBAAoB,EAAE,MAAM,wCAAwC,CAAC;AAC9E,OAAO,EAAE,iCAAiC,EAAE,MAAM,qCAAqC,CAAC;AAMxF;;GAEG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,IAAmD,EACnD,OAAuB,EACvB,YAAqB,EACkB,EAAE;IACzC,wCAAwC;IACxC,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,IACE,YAAY,EAAE,IAAI,KAAK,mBAAmB;YAC1C,CAAC,YAAY,EAAE,IAAI,KAAK,eAAe;gBACrC,YAAY,CAAC,IAAI,KAAK,WAAW,CAAC,EACpC,CAAC;YACD,OAAO;gBACL;oBACE,IAAI,EAAE,mBAAmB;oBACzB,IAAI,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,QAAQ,EAAE;iBACpD;gBACD,OAAO;aACR,CAAC;QACJ,CAAC;QACD,OAAO,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,EAAE,OAAO,CAAC,CAAC;IAClD,CAAC;IAED,gEAAgE;IAChE,gFAAgF;IAChF,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC1B,OAAO,CAAC,oBAAoB,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,CAAC;IACjD,CAAC;IAED,wCAAwC;IACxC,oEAAoE;IACpE,qEAAqE;IACrE,IAAI,OAAO,CAAC,gBAAgB,EAAE,CAAC;QAC7B,MAAM,QAAQ,GAAG,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzD,IAAI,QAAQ,EAAE,CAAC;YACb,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAC/B,OAAO;oBACL,oBAAoB,CAAC,sBAAsB,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;oBAC3D,OAAO;iBACR,CAAC;YACJ,CAAC;iBAAM,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBACpC,wEAAwE;gBACxE,OAAO,CAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;YACrC,CAAC;YAED,OAAO,CAAC,oBAAoB,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;QAC5E,CAAC;IACH,CAAC;IAED,6EAA6E;IAC7E,MAAM,aAAa,GAAG,OAAO,CAAC,YAAY,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3D,IAAI,aAAa,EAAE,CAAC;QAClB,OAAO,CAAC,oBAAoB,CAAC,aAAa,CAAC,EAAE,OAAO,CAAC,CAAC;IACxD,CAAC;IAED,6CAA6C;IAC7C,IAAI,OAAO,CAAC,cAAc,EAAE,CAAC;QAC3B,MAAM,OAAO,GAAG,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtD,IAAI,OAAO,EAAE,CAAC;YACZ,6DAA6D;YAC7D,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBAC7B,8CAA8C;gBAC9C,OAAO;oBACL,oBAAoB,CAAC,GAAG,OAAO,CAAC,OAAO,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;oBAC5D,OAAO;iBACR,CAAC;YACJ,CAAC;YACD,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBAC5B,OAAO;oBACL;wBACE,IAAI,EAAE,yBAAyB;wBAC/B,IAAI,EAAE,OAAO,CAAC,OAAO;qBACtB;oBACD,OAAO;iBACR,CAAC;YACJ,CAAC;YACD,6DAA6D;YAC7D,OAAO,CAAC,oBAAoB,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC,CAAC;QAC1D,CAAC;IACH,CAAC;IAED,kFAAkF;IAClF,2EAA2E;IAC3E,MAAM,WAAW,GAAG,OAAO,CAAC,YAAY,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzD,IAAI,WAAW,EAAE,CAAC;QAChB,MAAM,UAAU,GAAG,sBAAsB,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC;QAClE,IACE,OAAO,CAAC,qBAAqB;YAC7B,OAAO,CAAC,SAAS,KAAK,OAAO,CAAC,qBAAqB,EACnD,CAAC;YACD,OAAO;gBACL,oBAAoB,CAAC,GAAG,OAAO,CAAC,qBAAqB,IAAI,UAAU,EAAE,CAAC;gBACtE,OAAO;aACR,CAAC;QACJ,CAAC;QACD,OAAO,CAAC,oBAAoB,CAAC,UAAU,CAAC,EAAE,OAAO,CAAC,CAAC;IACrD,CAAC;IAED,sEAAsE;IACtE,IAAI,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,gBAAgB,EAAE,CAAC;QAC7C,MAAM,GAAG,GAAG,WAAW,IAAI,CAAC,gBAAgB,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QAClE,OAAO,CAAC,oBAAoB,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,CAAC;IAC9C,CAAC;IAED,iFAAiF;IACjF,uEAAuE;IACvE,IAAI,IAAI,CAAC,eAAe,EAAE,CAAC;QACzB,MAAM,GAAG,GAAG,WAAW,IAAI,CAAC,eAAe,EAAE,CAAC;QAC9C,OAAO,CAAC,oBAAoB,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,CAAC;IAC9C,CAAC;IAED,sDAAsD;IACtD,OAAO,CAAC,oBAAoB,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;AAC5E,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,QAA2B,EAC3B,OAAuB,EACY,EAAE;IACrC,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvC,OAAO,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;IACvB,CAAC;IAED,IAAI,cAAc,GAAG,OAAO,CAAC;IAC7B,MAAM,QAAQ,GAAoB,EAAE,CAAC;IAErC,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,MAAM,CAAC,OAAO,EAAE,UAAU,CAAC,GAAG,WAAW,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;QACnE,cAAc,GAAG,UAAU,CAAC;QAC5B,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACzB,CAAC;IAED,OAAO,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAC;AACpC,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,QAA2B,EAC3B,OAAuB,EACqB,EAAE;IAC9C,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvC,OAAO,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;IACvB,CAAC;IAED,IAAI,cAAc,GAAG,OAAO,CAAC;IAC7B,MAAM,QAAQ,GAAoB,EAAE,CAAC;IAErC,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,MAAM,CAAC,OAAO,EAAE,UAAU,CAAC,GAAG,WAAW,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;QACnE,cAAc,GAAG,UAAU,CAAC;QAC5B,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACzB,CAAC;IAED,OAAO,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAC;AACpC,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,QAAgB,EAChB,QAA2B,EAC3B,OAAuB,EACG,EAAE;IAC5B,IAAI,cAAc,GAAG,OAAO,CAAC;IAC7B,MAAM,SAAS,GAAa,EAAE,CAAC;IAE/B,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,MAAM,CAAC,OAAO,EAAE,UAAU,CAAC,GAAG,WAAW,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;QACnE,cAAc,GAAG,UAAU,CAAC;QAC5B,SAAS,CAAC,IAAI,CAAC,iCAAiC,CAAC,OAAO,CAAC,CAAC,CAAC;IAC7D,CAAC;IAED,MAAM,eAAe,GAAG,GAAG,QAAQ,KAAK,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;IAC/D,OAAO,CAAC,eAAe,EAAE,cAAc,CAAC,CAAC;AAC3C,CAAC,CAAC"}

package/dist/expressions/index.test.js

@@ -1698,6 +1698,48 @@ describe("Expression Emission", () => {
         const result = emitModule(module);
         expect(result).to.include("new global::Tsonic.JSRuntime.JSArray<int>(maybeNums).length");
     });
+    it("should preserve resolved CLR identity for source-bound array element types", () => {
+        const module = {
+            kind: "module",
+            filePath: "/src/test.ts",
+            namespace: "MyApp",
+            className: "test",
+            isStaticContainer: true,
+            imports: [],
+            body: [
+                {
+                    kind: "expressionStatement",
+                    expression: {
+                        kind: "memberAccess",
+                        object: {
+                            kind: "identifier",
+                            name: "attachments",
+                            inferredType: {
+                                kind: "arrayType",
+                                elementType: {
+                                    kind: "referenceType",
+                                    name: "Acme.Core.Attachment",
+                                    resolvedClrType: "Acme.Core.Attachment",
+                                },
+                            },
+                        },
+                        property: "length",
+                        isComputed: false,
+                        isOptional: false,
+                        memberBinding: {
+                            kind: "property",
+                            assembly: "Tsonic.JSRuntime",
+                            type: "Tsonic.JSRuntime.JSArray`1",
+                            member: "length",
+                        },
+                    },
+                },
+            ],
+            exports: [],
+        };
+        const result = emitModule(module);
+        expect(result).to.include("new global::Tsonic.JSRuntime.JSArray<global::Acme.Core.Attachment>(attachments).length");
+    });
     it("should emit array wrapper property access for ReadonlyArray receivers", () => {
         const module = {
             kind: "module",
@@ -1766,6 +1808,81 @@ describe("Expression Emission", () => {
         const result = emitModule(module);
         expect(result).to.include("value.length");
     });
+    it("should emit CLR Length for structural array length without member binding", () => {
+        const module = {
+            kind: "module",
+            filePath: "/src/test.ts",
+            namespace: "MyApp",
+            className: "test",
+            isStaticContainer: true,
+            imports: [],
+            body: [
+                {
+                    kind: "expressionStatement",
+                    expression: {
+                        kind: "memberAccess",
+                        object: {
+                            kind: "identifier",
+                            name: "channels",
+                            inferredType: {
+                                kind: "arrayType",
+                                elementType: {
+                                    kind: "referenceType",
+                                    name: "Acme.Core.Channel",
+                                    resolvedClrType: "Acme.Core.Channel",
+                                },
+                            },
+                        },
+                        property: "length",
+                        isComputed: false,
+                        isOptional: false,
+                    },
+                },
+            ],
+            exports: [],
+        };
+        const result = emitModule(module);
+        expect(result).to.include("channels.Length");
+        expect(result).to.not.include("channels.length");
+    });
+    it("should emit CLR Count for structural dictionary count without member binding", () => {
+        const module = {
+            kind: "module",
+            filePath: "/src/test.ts",
+            namespace: "MyApp",
+            className: "test",
+            isStaticContainer: true,
+            imports: [],
+            body: [
+                {
+                    kind: "expressionStatement",
+                    expression: {
+                        kind: "memberAccess",
+                        object: {
+                            kind: "identifier",
+                            name: "items",
+                            inferredType: {
+                                kind: "dictionaryType",
+                                keyType: { kind: "primitiveType", name: "string" },
+                                valueType: {
+                                    kind: "referenceType",
+                                    name: "Acme.Core.Channel",
+                                    resolvedClrType: "Acme.Core.Channel",
+                                },
+                            },
+                        },
+                        property: "Length",
+                        isComputed: false,
+                        isOptional: false,
+                    },
+                },
+            ],
+            exports: [],
+        };
+        const result = emitModule(module);
+        expect(result).to.include("items.Count");
+        expect(result).to.not.include("items.Length");
+    });
     it("should project CLR Union_n member access deterministically", () => {
         const unionReference = {
             kind: "referenceType",
@@ -2344,6 +2461,134 @@ describe("Expression Emission", () => {
         const result = emitModule(module);
         expect(result).to.include("dict.Remove(key);");
     });
+    it("should hard-fail unsupported delete targets instead of emitting comment placeholders", () => {
+        const module = {
+            kind: "module",
+            filePath: "/src/test.ts",
+            namespace: "MyApp",
+            className: "test",
+            isStaticContainer: true,
+            imports: [],
+            body: [
+                {
+                    kind: "expressionStatement",
+                    expression: {
+                        kind: "unary",
+                        operator: "delete",
+                        expression: {
+                            kind: "memberAccess",
+                            object: {
+                                kind: "identifier",
+                                name: "obj",
+                                inferredType: { kind: "referenceType", name: "Thing" },
+                            },
+                            property: "value",
+                            isComputed: false,
+                            isOptional: false,
+                        },
+                    },
+                },
+            ],
+            exports: [],
+        };
+        expect(() => emitModule(module)).to.throw("ICE: Unsupported delete target reached emitter");
+    });
+    it("should hard-fail compound destructuring assignments instead of emitting fake identifiers", () => {
+        const module = {
+            kind: "module",
+            filePath: "/src/test.ts",
+            namespace: "MyApp",
+            className: "test",
+            isStaticContainer: true,
+            imports: [],
+            body: [
+                {
+                    kind: "expressionStatement",
+                    expression: {
+                        kind: "assignment",
+                        operator: "+=",
+                        left: {
+                            kind: "arrayPattern",
+                            elements: [
+                                {
+                                    pattern: {
+                                        kind: "identifierPattern",
+                                        name: "x",
+                                    },
+                                },
+                            ],
+                        },
+                        right: { kind: "literal", value: 1 },
+                    },
+                },
+            ],
+            exports: [],
+        };
+        expect(() => emitModule(module)).to.throw("ICE: Compound assignment to array/object destructuring pattern reached emitter");
+    });
+    it("should hard-fail object spreads that reach emission without inferred source types", () => {
+        const module = {
+            kind: "module",
+            filePath: "/src/test.ts",
+            namespace: "MyApp",
+            className: "test",
+            isStaticContainer: true,
+            imports: [],
+            body: [
+                {
+                    kind: "interfaceDeclaration",
+                    name: "Target",
+                    typeParameters: [],
+                    extends: [],
+                    members: [
+                        {
+                            kind: "propertySignature",
+                            name: "count",
+                            type: { kind: "primitiveType", name: "number" },
+                            isOptional: false,
+                            isReadonly: false,
+                        },
+                    ],
+                    isExported: false,
+                    isStruct: false,
+                },
+                {
+                    kind: "variableDeclaration",
+                    declarationKind: "const",
+                    isExported: false,
+                    declarations: [
+                        {
+                            kind: "variableDeclarator",
+                            name: { kind: "identifierPattern", name: "value" },
+                            type: { kind: "referenceType", name: "Target" },
+                            initializer: {
+                                kind: "object",
+                                hasSpreads: true,
+                                inferredType: { kind: "referenceType", name: "Target" },
+                                properties: [
+                                    {
+                                        kind: "spread",
+                                        expression: {
+                                            kind: "identifier",
+                                            name: "source",
+                                        },
+                                    },
+                                    {
+                                        kind: "property",
+                                        key: "count",
+                                        value: { kind: "literal", value: 1 },
+                                        shorthand: false,
+                                    },
+                                ],
+                            },
+                        },
+                    ],
+                },
+            ],
+            exports: [],
+        };
+        expect(() => emitModule(module)).to.throw("ICE: Object spread source");
+    });
     it("should infer arrow function return type from inferredType", () => {
         const module = {
             kind: "module",