@tsonic/emitter 0.0.73 → 0.0.75

package/dist/expressions/operators/helpers.js

@@ -1,6 +1,9 @@
 /**
  * Shared type-checking helpers for operator emitters
  */
+import { resolveEffectiveExpressionType } from "../../core/semantic/narrowed-expression-types.js";
+import { resolveTypeAlias, stripNullish, } from "../../core/semantic/type-resolution.js";
+import { unwrapTransparentExpression } from "../../core/semantic/transparent-expressions.js";
 /**
  * Check if an expression has proven Int32 type from the numeric proof pass.
  * Mirrors the same check in access.ts for consistency.
@@ -61,6 +64,13 @@ export const isCharTyped = (expr) => {
         (expr.inferredType?.kind === "referenceType" &&
             expr.inferredType.name === "char"));
 };
+export const isCharType = (type) => {
+    if (!type)
+        return false;
+    const stripped = stripNullish(type);
+    return ((stripped.kind === "primitiveType" && stripped.name === "char") ||
+        (stripped.kind === "referenceType" && stripped.name === "char"));
+};
 export const stripNullishFromType = (type) => {
     if (!type)
         return undefined;
@@ -125,6 +135,26 @@ export const escapeCharLiteral = (char) => {
 };
 export const isNullishLiteral = (e) => (e.kind === "literal" && (e.value === undefined || e.value === null)) ||
     (e.kind === "identifier" && (e.name === "undefined" || e.name === "null"));
+export const getDictionaryComputedAccess = (expr, context) => {
+    const target = unwrapTransparentExpression(expr);
+    if (target.kind !== "memberAccess" ||
+        !target.isComputed ||
+        typeof target.property === "string") {
+        return undefined;
+    }
+    if (target.accessKind === "dictionary") {
+        return target;
+    }
+    const effectiveObjectType = resolveEffectiveExpressionType(target.object, context) ??
+        target.object.inferredType;
+    if (!effectiveObjectType) {
+        return undefined;
+    }
+    return resolveTypeAlias(stripNullish(effectiveObjectType), context).kind ===
+        "dictionaryType"
+        ? target
+        : undefined;
+};
 /**
  * Check if an IR type is boolean
  */

package/dist/expressions/operators/helpers.js.map

@@ -1 +1 @@
-{"version":3,"file":"helpers.js","sourceRoot":"","sources":["../../../src/expressions/operators/helpers.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH;;;GAGG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,IAAkB,EAAW,EAAE;IAC3D,IACE,IAAI,CAAC,YAAY,EAAE,IAAI,KAAK,eAAe;QAC3C,IAAI,CAAC,YAAY,CAAC,IAAI,KAAK,KAAK,EAChC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IACE,IAAI,CAAC,YAAY,EAAE,IAAI,KAAK,eAAe;QAC3C,IAAI,CAAC,YAAY,CAAC,IAAI,KAAK,KAAK,EAChC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,QAAgB,EAAU,EAAE;IACxD,MAAM,WAAW,GAA2B;QAC1C,IAAI,EAAE,CAAC;QACP,sFAAsF;QACtF,IAAI,EAAE,CAAC;QACP,IAAI,EAAE,CAAC;QACP,GAAG,EAAE,CAAC;QACN,GAAG,EAAE,CAAC;QACN,GAAG,EAAE,CAAC;QACN,IAAI,EAAE,EAAE;QACR,IAAI,EAAE,EAAE;QACR,KAAK,EAAE,EAAE;QACT,KAAK,EAAE,EAAE;QACT,GAAG,EAAE,EAAE;QACP,GAAG,EAAE,EAAE;QACP,IAAI,EAAE,EAAE;QACR,IAAI,EAAE,EAAE;QACR,UAAU,EAAE,EAAE;QACd,EAAE,EAAE,EAAE;QACN,IAAI,EAAE,EAAE;QACR,IAAI,EAAE,EAAE;QACR,KAAK,EAAE,EAAE;QACT,GAAG,EAAE,EAAE;QACP,GAAG,EAAE,EAAE;QACP,GAAG,EAAE,EAAE;QACP,GAAG,EAAE,EAAE;QACP,GAAG,EAAE,EAAE;QACP,IAAI,EAAE,EAAE;KACT,CAAC;IAEF,OAAO,WAAW,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;AACrC,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,IAAkB,EAAW,EAAE;IACzD,OAAO,CACL,CAAC,IAAI,CAAC,YAAY,EAAE,IAAI,KAAK,eAAe;QAC1C,IAAI,CAAC,YAAY,CAAC,IAAI,KAAK,MAAM,CAAC;QACpC,CAAC,IAAI,CAAC,YAAY,EAAE,IAAI,KAAK,eAAe;YAC1C,IAAI,CAAC,YAAY,CAAC,IAAI,KAAK,MAAM,CAAC,CACrC,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,IAAwB,EACJ,EAAE;IACtB,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAC5B,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,IAAI,CAAC;IAC3C,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAClC,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CACC,CAAC,CAAC,IAAI,KAAK,eAAe;QAC1B,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAC9C,CACJ,CAAC;IACF,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;QAC3B,OAAO,IAAI,CAAC,CAAC,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACvD,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,IAAkB,EAAW,EAAE;IAC3D,MAAM,IAAI,GAAG,oBAAoB,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IACrD,IAAI,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACxB,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe;QAAE,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC;IACjE,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe;QAAE,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC;IACjE,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QACrC,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CACpB,CAAC,IAAI,EAAE,EAAE,CACP,CAAC,IAAI,CAAC,IAAI,KAAK,eAAe,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC;YACzD,CAAC,IAAI,CAAC,IAAI,KAAK,eAAe,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAC5D,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,IAAkB,EACE,EAAE;IACtB,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC9C,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IACrD,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC9C,OAAO,IAAI,CAAC,KAAK,CAAC;AACpB,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,IAAY,EAAU,EAAE;IACxD,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,GAAG;YACN,OAAO,KAAK,CAAC;QACf,KAAK,IAAI;YACP,OAAO,MAAM,CAAC;QAChB,KAAK,IAAI;YACP,OAAO,KAAK,CAAC;QACf,KAAK,IAAI;YACP,OAAO,KAAK,CAAC;QACf,KAAK,IAAI;YACP,OAAO,KAAK,CAAC;QACf,KAAK,IAAI;YACP,OAAO,KAAK,CAAC;QACf;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,CAAe,EAAW,EAAE,CAC3D,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,CAAC,KAAK,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC;AAE7E;;GAEG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,IAAkC,EAAW,EAAE;IAC3E,IAAI,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACxB,OAAO,IAAI,CAAC,IAAI,KAAK,eAAe,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC;AAClE,CAAC,CAAC"}
+{"version":3,"file":"helpers.js","sourceRoot":"","sources":["../../../src/expressions/operators/helpers.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH,OAAO,EAAE,8BAA8B,EAAE,MAAM,kDAAkD,CAAC;AAClG,OAAO,EACL,gBAAgB,EAChB,YAAY,GACb,MAAM,wCAAwC,CAAC;AAChD,OAAO,EAAE,2BAA2B,EAAE,MAAM,gDAAgD,CAAC;AAE7F;;;GAGG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,IAAkB,EAAW,EAAE;IAC3D,IACE,IAAI,CAAC,YAAY,EAAE,IAAI,KAAK,eAAe;QAC3C,IAAI,CAAC,YAAY,CAAC,IAAI,KAAK,KAAK,EAChC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IACE,IAAI,CAAC,YAAY,EAAE,IAAI,KAAK,eAAe;QAC3C,IAAI,CAAC,YAAY,CAAC,IAAI,KAAK,KAAK,EAChC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,QAAgB,EAAU,EAAE;IACxD,MAAM,WAAW,GAA2B;QAC1C,IAAI,EAAE,CAAC;QACP,sFAAsF;QACtF,IAAI,EAAE,CAAC;QACP,IAAI,EAAE,CAAC;QACP,GAAG,EAAE,CAAC;QACN,GAAG,EAAE,CAAC;QACN,GAAG,EAAE,CAAC;QACN,IAAI,EAAE,EAAE;QACR,IAAI,EAAE,EAAE;QACR,KAAK,EAAE,EAAE;QACT,KAAK,EAAE,EAAE;QACT,GAAG,EAAE,EAAE;QACP,GAAG,EAAE,EAAE;QACP,IAAI,EAAE,EAAE;QACR,IAAI,EAAE,EAAE;QACR,UAAU,EAAE,EAAE;QACd,EAAE,EAAE,EAAE;QACN,IAAI,EAAE,EAAE;QACR,IAAI,EAAE,EAAE;QACR,KAAK,EAAE,EAAE;QACT,GAAG,EAAE,EAAE;QACP,GAAG,EAAE,EAAE;QACP,GAAG,EAAE,EAAE;QACP,GAAG,EAAE,EAAE;QACP,GAAG,EAAE,EAAE;QACP,IAAI,EAAE,EAAE;KACT,CAAC;IAEF,OAAO,WAAW,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;AACrC,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,IAAkB,EAAW,EAAE;IACzD,OAAO,CACL,CAAC,IAAI,CAAC,YAAY,EAAE,IAAI,KAAK,eAAe;QAC1C,IAAI,CAAC,YAAY,CAAC,IAAI,KAAK,MAAM,CAAC;QACpC,CAAC,IAAI,CAAC,YAAY,EAAE,IAAI,KAAK,eAAe;YAC1C,IAAI,CAAC,YAAY,CAAC,IAAI,KAAK,MAAM,CAAC,CACrC,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,IAAwB,EAAW,EAAE;IAC9D,IAAI,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACxB,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IACpC,OAAO,CACL,CAAC,QAAQ,CAAC,IAAI,KAAK,eAAe,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM,CAAC;QAC/D,CAAC,QAAQ,CAAC,IAAI,KAAK,eAAe,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM,CAAC,CAChE,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,IAAwB,EACJ,EAAE;IACtB,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAC5B,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,IAAI,CAAC;IAC3C,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAClC,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CACC,CAAC,CAAC,IAAI,KAAK,eAAe;QAC1B,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAC9C,CACJ,CAAC;IACF,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;QAC3B,OAAO,IAAI,CAAC,CAAC,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACvD,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,IAAkB,EAAW,EAAE;IAC3D,MAAM,IAAI,GAAG,oBAAoB,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IACrD,IAAI,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACxB,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe;QAAE,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC;IACjE,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe;QAAE,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC;IACjE,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QACrC,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CACpB,CAAC,IAAI,EAAE,EAAE,CACP,CAAC,IAAI,CAAC,IAAI,KAAK,eAAe,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC;YACzD,CAAC,IAAI,CAAC,IAAI,KAAK,eAAe,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAC5D,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,IAAkB,EACE,EAAE;IACtB,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC9C,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IACrD,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC9C,OAAO,IAAI,CAAC,KAAK,CAAC;AACpB,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,IAAY,EAAU,EAAE;IACxD,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,GAAG;YACN,OAAO,KAAK,CAAC;QACf,KAAK,IAAI;YACP,OAAO,MAAM,CAAC;QAChB,KAAK,IAAI;YACP,OAAO,KAAK,CAAC;QACf,KAAK,IAAI;YACP,OAAO,KAAK,CAAC;QACf,KAAK,IAAI;YACP,OAAO,KAAK,CAAC;QACf,KAAK,IAAI;YACP,OAAO,KAAK,CAAC;QACf;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,CAAe,EAAW,EAAE,CAC3D,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,CAAC,KAAK,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC;AAU7E,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,IAAkB,EAClB,OAAuB,EACyB,EAAE;IAClD,MAAM,MAAM,GAAG,2BAA2B,CAAC,IAAI,CAAC,CAAC;IACjD,IACE,MAAM,CAAC,IAAI,KAAK,cAAc;QAC9B,CAAC,MAAM,CAAC,UAAU;QAClB,OAAO,MAAM,CAAC,QAAQ,KAAK,QAAQ,EACnC,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,MAAM,CAAC,UAAU,KAAK,YAAY,EAAE,CAAC;QACvC,OAAO,MAA4C,CAAC;IACtD,CAAC;IAED,MAAM,mBAAmB,GACvB,8BAA8B,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;QACtD,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC;IAC7B,IAAI,CAAC,mBAAmB,EAAE,CAAC;QACzB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,gBAAgB,CAAC,YAAY,CAAC,mBAAmB,CAAC,EAAE,OAAO,CAAC,CAAC,IAAI;QACtE,gBAAgB;QAChB,CAAC,CAAE,MAA6C;QAChD,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,IAAkC,EAAW,EAAE;IAC3E,IAAI,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACxB,OAAO,IAAI,CAAC,IAAI,KAAK,eAAe,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC;AAClE,CAAC,CAAC"}

package/dist/expressions/operators/logical-emitter.d.ts

@@ -1,7 +1,7 @@
 /**
  * Logical operator expression emitter (&&, ||, ??)
  */
-import { IrExpression } from "@tsonic/frontend";
+import { IrExpression, IrType } from "@tsonic/frontend";
 import { EmitterContext } from "../../types.js";
 import type { CSharpExpressionAst } from "../../core/format/backend-ast/types.js";
 /**
@@ -19,5 +19,5 @@ import type { CSharpExpressionAst } from "../../core/format/backend-ast/types.js
  */
 export declare const emitLogical: (expr: Extract<IrExpression, {
     kind: "logical";
-}>, context: EmitterContext) => [CSharpExpressionAst, EmitterContext];
+}>, context: EmitterContext, expectedType?: IrType) => [CSharpExpressionAst, EmitterContext];
 //# sourceMappingURL=logical-emitter.d.ts.map

package/dist/expressions/operators/logical-emitter.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"logical-emitter.d.ts","sourceRoot":"","sources":["../../../src/expressions/operators/logical-emitter.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAChD,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAIhD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,wCAAwC,CAAC;AA0BlF;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,WAAW,GACtB,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE,CAAC,EAChD,SAAS,cAAc,KACtB,CAAC,mBAAmB,EAAE,cAAc,CAoCtC,CAAC"}
+{"version":3,"file":"logical-emitter.d.ts","sourceRoot":"","sources":["../../../src/expressions/operators/logical-emitter.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAWhD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,wCAAwC,CAAC;AA4WlF;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,WAAW,GACtB,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE,CAAC,EAChD,SAAS,cAAc,EACvB,eAAe,MAAM,KACpB,CAAC,mBAAmB,EAAE,cAAc,CAsGtC,CAAC"}

package/dist/expressions/operators/logical-emitter.js

@@ -2,31 +2,275 @@
  * Logical operator expression emitter (&&, ||, ??)
  */
 import { emitExpressionAst } from "../../expression-emitter.js";
-import { isDefinitelyValueType } from "../../core/semantic/type-resolution.js";
+import { emitTypeAst } from "../../type-emitter.js";
+import { resolveDirectValueSurfaceType } from "../../core/semantic/direct-value-surfaces.js";
+import { isDefinitelyValueType, resolveTypeAlias, stripNullish, } from "../../core/semantic/type-resolution.js";
+import { isBroadObjectSlotType } from "../../core/semantic/js-value-types.js";
 import { isBooleanType } from "./helpers.js";
+import { getIdentifierTypeName } from "../../core/format/backend-ast/utils.js";
+import { adaptValueToExpectedTypeAst, resolveDirectStorageCompatibleExpressionType, } from "../expected-type-adaptation.js";
+import { buildInvokedLambdaExpressionAst } from "../invoked-lambda.js";
+import { areIrTypesEquivalent } from "../../core/semantic/type-equivalence.js";
 /**
- * Check if an expression AST contains conditional access (`?.` or `?[`).
+ * Check if an expression AST can still produce a nullable value type.
  * Used to detect nullable value type scenarios in `??` optimization.
  */
-const containsConditionalAccess = (ast) => {
+const preservesNullableValueFallback = (ast) => {
     switch (ast.kind) {
         case "conditionalMemberAccessExpression":
+        case "conditionalElementAccessExpression":
             return true;
+        case "conditionalExpression":
+            return (preservesNullableValueFallback(ast.whenTrue) ||
+                preservesNullableValueFallback(ast.whenFalse) ||
+                (ast.whenTrue.kind === "defaultExpression" &&
+                    ast.whenTrue.type?.kind === "nullableType") ||
+                (ast.whenFalse.kind === "defaultExpression" &&
+                    ast.whenFalse.type?.kind === "nullableType"));
         case "memberAccessExpression":
-            return containsConditionalAccess(ast.expression);
+            return preservesNullableValueFallback(ast.expression);
         case "invocationExpression":
-            return containsConditionalAccess(ast.expression);
+            return (preservesNullableValueFallback(ast.expression) ||
+                (() => {
+                    let callee = ast.expression;
+                    while (callee.kind === "parenthesizedExpression") {
+                        callee = callee.expression;
+                    }
+                    if (callee.kind !== "castExpression") {
+                        return false;
+                    }
+                    const castTypeName = getIdentifierTypeName(callee.type);
+                    if (castTypeName !== "Func" &&
+                        castTypeName !== "System.Func" &&
+                        castTypeName !== "global::System.Func") {
+                        return false;
+                    }
+                    const typeArguments = callee.type.kind === "identifierType" ||
+                        callee.type.kind === "qualifiedIdentifierType"
+                        ? callee.type.typeArguments
+                        : undefined;
+                    const returnType = typeArguments && typeArguments.length > 0
+                        ? typeArguments[typeArguments.length - 1]
+                        : undefined;
+                    return returnType?.kind === "nullableType";
+                })());
         case "elementAccessExpression":
-            return containsConditionalAccess(ast.expression);
+            return preservesNullableValueFallback(ast.expression);
         case "parenthesizedExpression":
-            return containsConditionalAccess(ast.expression);
+            return preservesNullableValueFallback(ast.expression);
+        case "castExpression":
+        case "asExpression":
+            return preservesNullableValueFallback(ast.expression);
+        default:
+            return false;
+    }
+};
+const hasUnionMember = (type, predicate) => {
+    if (!type) {
+        return false;
+    }
+    if (type.kind !== "unionType") {
+        return predicate(type);
+    }
+    return type.types.some(predicate);
+};
+const getBareTypeParameterName = (type, context) => {
+    if (type.kind === "typeParameterType") {
+        return type.name;
+    }
+    if (type.kind === "referenceType" &&
+        (context.typeParameters?.has(type.name) ?? false) &&
+        (!type.typeArguments || type.typeArguments.length === 0)) {
+        return type.name;
+    }
+    return undefined;
+};
+const getUnconstrainedTypeParameterName = (type, context) => {
+    if (!type) {
+        return undefined;
+    }
+    const bareName = getBareTypeParameterName(stripNullish(type), context);
+    if (!bareName) {
+        return undefined;
+    }
+    const constraintKind = context.typeParamConstraints?.get(bareName) ?? "unconstrained";
+    return constraintKind === "unconstrained" ? bareName : undefined;
+};
+const buildSingleEvalGenericNullishAst = (expr, leftAst, leftContext, expectedType) => {
+    if (expr.operator !== "??") {
+        return undefined;
+    }
+    const leftType = expr.left.inferredType;
+    if (!getUnconstrainedTypeParameterName(leftType, leftContext)) {
+        return undefined;
+    }
+    const rightType = expr.right.inferredType;
+    const nonNullLeftType = leftType ? stripNullish(leftType) : undefined;
+    const synthesizedUnionTarget = nonNullLeftType && rightType
+        ? areIrTypesEquivalent(nonNullLeftType, rightType, leftContext)
+            ? nonNullLeftType
+            : {
+                kind: "unionType",
+                types: [nonNullLeftType, rightType],
+            }
+        : undefined;
+    const targetType = expectedType ?? synthesizedUnionTarget ?? expr.inferredType;
+    if (!targetType) {
+        return undefined;
+    }
+    const tempName = "__tsonic_nullish_value";
+    const [parameterTypeAst, parameterTypeContext] = emitTypeAst(leftType ?? { kind: "anyType" }, leftContext);
+    const [returnTypeAst, returnTypeContext] = emitTypeAst(targetType, parameterTypeContext);
+    const tempIdentifier = {
+        kind: "identifierExpression",
+        identifier: tempName,
+    };
+    const [rawRightAst, rightContext] = emitExpressionAst(expr.right, returnTypeContext, targetType);
+    const adaptedLeft = adaptValueToExpectedTypeAst({
+        valueAst: tempIdentifier,
+        actualType: leftType,
+        context: rightContext,
+        expectedType: targetType,
+    }) ?? [tempIdentifier, rightContext];
+    const adaptedRight = adaptValueToExpectedTypeAst({
+        valueAst: rawRightAst,
+        actualType: rightType,
+        context: adaptedLeft[1],
+        expectedType: targetType,
+    }) ?? [rawRightAst, adaptedLeft[1]];
+    return [
+        buildInvokedLambdaExpressionAst({
+            parameters: [{ name: tempName, type: parameterTypeAst }],
+            parameterTypes: [parameterTypeAst],
+            body: {
+                kind: "conditionalExpression",
+                condition: {
+                    kind: "binaryExpression",
+                    operatorToken: "==",
+                    left: {
+                        kind: "castExpression",
+                        type: { kind: "predefinedType", keyword: "object" },
+                        expression: tempIdentifier,
+                    },
+                    right: { kind: "nullLiteralExpression" },
+                },
+                whenTrue: adaptedRight[0],
+                whenFalse: adaptedLeft[0],
+            },
+            arguments: [leftAst],
+            returnType: returnTypeAst,
+            context: adaptedRight[1],
+        }),
+        adaptedRight[1],
+    ];
+};
+const isRepeatableExpressionAst = (ast) => {
+    switch (ast.kind) {
         case "identifierExpression":
-            // Pre-rendered text may contain ?. or ?[ patterns
-            return ast.identifier.includes("?.") || ast.identifier.includes("?[");
+        case "qualifiedIdentifierExpression":
+        case "typeReferenceExpression":
+        case "nullLiteralExpression":
+        case "booleanLiteralExpression":
+        case "stringLiteralExpression":
+        case "charLiteralExpression":
+        case "numericLiteralExpression":
+            return true;
+        case "memberAccessExpression":
+            return isRepeatableExpressionAst(ast.expression);
+        case "elementAccessExpression":
+            return (isRepeatableExpressionAst(ast.expression) &&
+                ast.arguments.every(isRepeatableExpressionAst));
+        case "parenthesizedExpression":
+        case "castExpression":
+        case "asExpression":
+        case "suppressNullableWarningExpression":
+            return isRepeatableExpressionAst(ast.expression);
         default:
             return false;
     }
 };
+const getMapValueType = (receiverType, context) => {
+    if (!receiverType) {
+        return undefined;
+    }
+    const resolved = resolveTypeAlias(stripNullish(receiverType), context);
+    if (resolved.kind !== "referenceType" || resolved.name !== "Map") {
+        return undefined;
+    }
+    return resolved.typeArguments?.[1];
+};
+const isUndefinedPrimitive = (type) => type.kind === "primitiveType" && type.name === "undefined";
+const isNullPrimitive = (type) => type.kind === "primitiveType" && type.name === "null";
+const isNullishOnlyType = (type) => {
+    if (!type) {
+        return false;
+    }
+    if (type.kind !== "unionType") {
+        return isNullPrimitive(type) || isUndefinedPrimitive(type);
+    }
+    return type.types.every((member) => isNullPrimitive(member) || isUndefinedPrimitive(member));
+};
+const tryEmitMapGetUndefinedFallback = (expr, leftAst, rightAst, rightContext, context) => {
+    if (expr.operator !== "??" || expr.left.kind !== "call") {
+        return undefined;
+    }
+    const callee = expr.left.callee;
+    if (callee.kind !== "memberAccess" ||
+        callee.isComputed ||
+        callee.isOptional ||
+        callee.property !== "get") {
+        return undefined;
+    }
+    if (expr.left.arguments.length !== 1 ||
+        (typeof expr.left.arguments[0] === "object" &&
+            "kind" in expr.left.arguments[0] &&
+            expr.left.arguments[0].kind === "spread")) {
+        return undefined;
+    }
+    if (!hasUnionMember(expr.left.inferredType, isUndefinedPrimitive) ||
+        hasUnionMember(expr.left.inferredType, isNullPrimitive)) {
+        return undefined;
+    }
+    const mapValueType = getMapValueType(callee.object.inferredType, context);
+    if (!mapValueType ||
+        hasUnionMember(mapValueType, isUndefinedPrimitive) ||
+        hasUnionMember(mapValueType, isNullPrimitive) ||
+        !isDefinitelyValueType(stripNullish(mapValueType))) {
+        return undefined;
+    }
+    if (leftAst.kind !== "invocationExpression" ||
+        leftAst.expression.kind !== "memberAccessExpression" ||
+        leftAst.expression.memberName !== "get" ||
+        leftAst.arguments.length !== 1) {
+        return undefined;
+    }
+    const receiverAst = leftAst.expression.expression;
+    const argumentAst = leftAst.arguments[0];
+    if (!argumentAst) {
+        return undefined;
+    }
+    if (!isRepeatableExpressionAst(receiverAst) ||
+        !isRepeatableExpressionAst(argumentAst)) {
+        return undefined;
+    }
+    return [
+        {
+            kind: "conditionalExpression",
+            condition: {
+                kind: "invocationExpression",
+                expression: {
+                    kind: "memberAccessExpression",
+                    expression: receiverAst,
+                    memberName: "has",
+                },
+                arguments: [argumentAst],
+            },
+            whenTrue: leftAst,
+            whenFalse: rightAst,
+        },
+        rightContext,
+    ];
+};
 /**
  * Emit a logical operator expression as CSharpExpressionAst
  *
@@ -40,7 +284,7 @@ const containsConditionalAccess = (ast) => {
  *
  * We check if || is used with non-boolean operands and emit ?? instead.
  */
-export const emitLogical = (expr, context) => {
+export const emitLogical = (expr, context, expectedType) => {
     const [leftAst, leftContext] = emitExpressionAst(expr.left, context);
     // If || is used with non-boolean left operand, use ?? instead for nullish coalescing
     const operator = expr.operator === "||" && !isBooleanType(expr.left.inferredType)
@@ -48,6 +292,13 @@ export const emitLogical = (expr, context) => {
         : expr.operator;
     // If the left operand is a non-nullable value type, `??` is invalid in C# and the
     // fallback is unreachable. Emit only the left operand.
+    const directLeftStorageType = resolveDirectStorageCompatibleExpressionType({
+        expr: expr.left,
+        valueAst: leftAst,
+        context: leftContext,
+    }) ?? resolveDirectValueSurfaceType(leftAst, leftContext);
+    const leftPreservesRuntimeNullish = hasUnionMember(directLeftStorageType, isUndefinedPrimitive) ||
+        hasUnionMember(directLeftStorageType, isNullPrimitive);
     if (operator === "??" &&
         expr.left.inferredType &&
         expr.left.inferredType.kind !== "unionType" &&
@@ -55,11 +306,41 @@ export const emitLogical = (expr, context) => {
         // Conditional access (`?.` / `?[`) produces nullable value types in C# even when the
         // underlying member type is non-nullable (e.g., `string?.Length` → `int?`).
         // In that case the fallback is still meaningful and must be preserved.
-        if (!containsConditionalAccess(leftAst)) {
+        if (!preservesNullableValueFallback(leftAst) &&
+            !leftPreservesRuntimeNullish) {
             return [leftAst, leftContext];
         }
     }
-    const [rightAst, rightContext] = emitExpressionAst(expr.right, leftContext);
+    const genericNullish = buildSingleEvalGenericNullishAst({ ...expr, operator }, leftAst, leftContext, expectedType);
+    if (genericNullish) {
+        return genericNullish;
+    }
+    const nullishResultType = expectedType ?? expr.inferredType ?? expr.left.inferredType;
+    const nonNullishResultType = nullishResultType
+        ? stripNullish(nullishResultType)
+        : undefined;
+    const nonNullishInferredResultType = expr.inferredType ?? expr.left.inferredType ?? expectedType;
+    const contextualRightExpectedType = operator === "??"
+        ? expectedType && isBroadObjectSlotType(expectedType, leftContext)
+            ? isNullishOnlyType(expr.right.inferredType)
+                ? nullishResultType
+                : nonNullishInferredResultType
+                    ? stripNullish(nonNullishInferredResultType)
+                    : undefined
+            : isNullishOnlyType(expr.right.inferredType)
+                ? nullishResultType
+                : nonNullishResultType
+        : undefined;
+    const rightExpectedType = contextualRightExpectedType &&
+        expr.right.inferredType &&
+        areIrTypesEquivalent(stripNullish(expr.right.inferredType), contextualRightExpectedType, leftContext)
+        ? undefined
+        : contextualRightExpectedType;
+    const [rightAst, rightContext] = emitExpressionAst(expr.right, leftContext, rightExpectedType);
+    const mapGetFallback = tryEmitMapGetUndefinedFallback(expr, leftAst, rightAst, rightContext, context);
+    if (mapGetFallback) {
+        return mapGetFallback;
+    }
     return [
         {
             kind: "binaryExpression",

package/dist/expressions/operators/logical-emitter.js.map

@@ -1 +1 @@
-{"version":3,"file":"logical-emitter.js","sourceRoot":"","sources":["../../../src/expressions/operators/logical-emitter.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH,OAAO,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,EAAE,qBAAqB,EAAE,MAAM,wCAAwC,CAAC;AAC/E,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAG7C;;;GAGG;AACH,MAAM,yBAAyB,GAAG,CAAC,GAAwB,EAAW,EAAE;IACtE,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACjB,KAAK,mCAAmC;YACtC,OAAO,IAAI,CAAC;QACd,KAAK,wBAAwB;YAC3B,OAAO,yBAAyB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACnD,KAAK,sBAAsB;YACzB,OAAO,yBAAyB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACnD,KAAK,yBAAyB;YAC5B,OAAO,yBAAyB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACnD,KAAK,yBAAyB;YAC5B,OAAO,yBAAyB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACnD,KAAK,sBAAsB;YACzB,kDAAkD;YAClD,OAAO,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACxE;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC,CAAC;AAEF;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CACzB,IAAgD,EAChD,OAAuB,EACgB,EAAE;IACzC,MAAM,CAAC,OAAO,EAAE,WAAW,CAAC,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAErE,qFAAqF;IACrF,MAAM,QAAQ,GACZ,IAAI,CAAC,QAAQ,KAAK,IAAI,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC;QAC9D,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC;IAEpB,kFAAkF;IAClF,uDAAuD;IACvD,IACE,QAAQ,KAAK,IAAI;QACjB,IAAI,CAAC,IAAI,CAAC,YAAY;QACtB,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,KAAK,WAAW;QAC3C,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,EAC7C,CAAC;QACD,qFAAqF;QACrF,4EAA4E;QAC5E,uEAAuE;QACvE,IAAI,CAAC,yBAAyB,CAAC,OAAO,CAAC,EAAE,CAAC;YACxC,OAAO,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;QAChC,CAAC;IACH,CAAC;IAED,MAAM,CAAC,QAAQ,EAAE,YAAY,CAAC,GAAG,iBAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;IAE5E,OAAO;QACL;YACE,IAAI,EAAE,kBAAkB;YACxB,aAAa,EAAE,QAAQ;YACvB,IAAI,EAAE,OAAO;YACb,KAAK,EAAE,QAAQ;SAChB;QACD,YAAY;KACb,CAAC;AACJ,CAAC,CAAC"}
+{"version":3,"file":"logical-emitter.js","sourceRoot":"","sources":["../../../src/expressions/operators/logical-emitter.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH,OAAO,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,6BAA6B,EAAE,MAAM,8CAA8C,CAAC;AAC7F,OAAO,EACL,qBAAqB,EACrB,gBAAgB,EAChB,YAAY,GACb,MAAM,wCAAwC,CAAC;AAChD,OAAO,EAAE,qBAAqB,EAAE,MAAM,uCAAuC,CAAC;AAC9E,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAE7C,OAAO,EAAE,qBAAqB,EAAE,MAAM,wCAAwC,CAAC;AAC/E,OAAO,EACL,2BAA2B,EAC3B,4CAA4C,GAC7C,MAAM,gCAAgC,CAAC;AACxC,OAAO,EAAE,+BAA+B,EAAE,MAAM,sBAAsB,CAAC;AACvE,OAAO,EAAE,oBAAoB,EAAE,MAAM,yCAAyC,CAAC;AAE/E;;;GAGG;AACH,MAAM,8BAA8B,GAAG,CAAC,GAAwB,EAAW,EAAE;IAC3E,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACjB,KAAK,mCAAmC,CAAC;QACzC,KAAK,oCAAoC;YACvC,OAAO,IAAI,CAAC;QACd,KAAK,uBAAuB;YAC1B,OAAO,CACL,8BAA8B,CAAC,GAAG,CAAC,QAAQ,CAAC;gBAC5C,8BAA8B,CAAC,GAAG,CAAC,SAAS,CAAC;gBAC7C,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,KAAK,mBAAmB;oBACxC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,KAAK,cAAc,CAAC;gBAC7C,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,KAAK,mBAAmB;oBACzC,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,KAAK,cAAc,CAAC,CAC/C,CAAC;QACJ,KAAK,wBAAwB;YAC3B,OAAO,8BAA8B,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACxD,KAAK,sBAAsB;YACzB,OAAO,CACL,8BAA8B,CAAC,GAAG,CAAC,UAAU,CAAC;gBAC9C,CAAC,GAAG,EAAE;oBACJ,IAAI,MAAM,GAAG,GAAG,CAAC,UAAU,CAAC;oBAC5B,OAAO,MAAM,CAAC,IAAI,KAAK,yBAAyB,EAAE,CAAC;wBACjD,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC;oBAC7B,CAAC;oBACD,IAAI,MAAM,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;wBACrC,OAAO,KAAK,CAAC;oBACf,CAAC;oBAED,MAAM,YAAY,GAAG,qBAAqB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;oBACxD,IACE,YAAY,KAAK,MAAM;wBACvB,YAAY,KAAK,aAAa;wBAC9B,YAAY,KAAK,qBAAqB,EACtC,CAAC;wBACD,OAAO,KAAK,CAAC;oBACf,CAAC;oBAED,MAAM,aAAa,GACjB,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,gBAAgB;wBACrC,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,yBAAyB;wBAC5C,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,aAAa;wBAC3B,CAAC,CAAC,SAAS,CAAC;oBAChB,MAAM,UAAU,GACd,aAAa,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC;wBACvC,CAAC,CAAC,aAAa,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC;wBACzC,CAAC,CAAC,SAAS,CAAC;oBAChB,OAAO,UAAU,EAAE,IAAI,KAAK,cAAc,CAAC;gBAC7C,CAAC,CAAC,EAAE,CACL,CAAC;QACJ,KAAK,yBAAyB;YAC5B,OAAO,8BAA8B,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACxD,KAAK,yBAAyB;YAC5B,OAAO,8BAA8B,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACxD,KAAK,gBAAgB,CAAC;QACtB,KAAK,cAAc;YACjB,OAAO,8BAA8B,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACxD;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,cAAc,GAAG,CACrB,IAAwB,EACxB,SAAsC,EAC7B,EAAE;IACX,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,OAAO,SAAS,CAAC,IAAI,CAAC,CAAC;IACzB,CAAC;IACD,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;AACpC,CAAC,CAAC;AAEF,MAAM,wBAAwB,GAAG,CAC/B,IAAY,EACZ,OAAuB,EACH,EAAE;IACtB,IAAI,IAAI,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;QACtC,OAAO,IAAI,CAAC,IAAI,CAAC;IACnB,CAAC;IAED,IACE,IAAI,CAAC,IAAI,KAAK,eAAe;QAC7B,CAAC,OAAO,CAAC,cAAc,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC;QACjD,CAAC,CAAC,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,CAAC,EACxD,CAAC;QACD,OAAO,IAAI,CAAC,IAAI,CAAC;IACnB,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,iCAAiC,GAAG,CACxC,IAAwB,EACxB,OAAuB,EACH,EAAE;IACtB,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,QAAQ,GAAG,wBAAwB,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;IACvE,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,cAAc,GAClB,OAAO,CAAC,oBAAoB,EAAE,GAAG,CAAC,QAAQ,CAAC,IAAI,eAAe,CAAC;IACjE,OAAO,cAAc,KAAK,eAAe,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;AACnE,CAAC,CAAC;AAEF,MAAM,gCAAgC,GAAG,CACvC,IAAgD,EAChD,OAA4B,EAC5B,WAA2B,EAC3B,YAAgC,EACmB,EAAE;IACrD,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;QAC3B,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC;IACxC,IAAI,CAAC,iCAAiC,CAAC,QAAQ,EAAE,WAAW,CAAC,EAAE,CAAC;QAC9D,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC;IAC1C,MAAM,eAAe,GAAG,QAAQ,CAAC,CAAC,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACtE,MAAM,sBAAsB,GAC1B,eAAe,IAAI,SAAS;QAC1B,CAAC,CAAC,oBAAoB,CAAC,eAAe,EAAE,SAAS,EAAE,WAAW,CAAC;YAC7D,CAAC,CAAC,eAAe;YACjB,CAAC,CAAE;gBACC,IAAI,EAAE,WAAW;gBACjB,KAAK,EAAE,CAAC,eAAe,EAAE,SAAS,CAAC;aAClB;QACvB,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,UAAU,GACd,YAAY,IAAI,sBAAsB,IAAI,IAAI,CAAC,YAAY,CAAC;IAC9D,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,QAAQ,GAAG,wBAAwB,CAAC;IAC1C,MAAM,CAAC,gBAAgB,EAAE,oBAAoB,CAAC,GAAG,WAAW,CAC1D,QAAQ,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,EAC/B,WAAW,CACZ,CAAC;IACF,MAAM,CAAC,aAAa,EAAE,iBAAiB,CAAC,GAAG,WAAW,CACpD,UAAU,EACV,oBAAoB,CACrB,CAAC;IAEF,MAAM,cAAc,GAAwB;QAC1C,IAAI,EAAE,sBAAsB;QAC5B,UAAU,EAAE,QAAQ;KACrB,CAAC;IAEF,MAAM,CAAC,WAAW,EAAE,YAAY,CAAC,GAAG,iBAAiB,CACnD,IAAI,CAAC,KAAK,EACV,iBAAiB,EACjB,UAAU,CACX,CAAC;IAEF,MAAM,WAAW,GAAG,2BAA2B,CAAC;QAC9C,QAAQ,EAAE,cAAc;QACxB,UAAU,EAAE,QAAQ;QACpB,OAAO,EAAE,YAAY;QACrB,YAAY,EAAE,UAAU;KACzB,CAAC,IAAI,CAAC,cAAc,EAAE,YAAY,CAAC,CAAC;IACrC,MAAM,YAAY,GAAG,2BAA2B,CAAC;QAC/C,QAAQ,EAAE,WAAW;QACrB,UAAU,EAAE,SAAS;QACrB,OAAO,EAAE,WAAW,CAAC,CAAC,CAAC;QACvB,YAAY,EAAE,UAAU;KACzB,CAAC,IAAI,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC;IAEpC,OAAO;QACL,+BAA+B,CAAC;YAC9B,UAAU,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,gBAAgB,EAAE,CAAC;YACxD,cAAc,EAAE,CAAC,gBAAgB,CAAC;YAClC,IAAI,EAAE;gBACJ,IAAI,EAAE,uBAAuB;gBAC7B,SAAS,EAAE;oBACT,IAAI,EAAE,kBAAkB;oBACxB,aAAa,EAAE,IAAI;oBACnB,IAAI,EAAE;wBACJ,IAAI,EAAE,gBAAgB;wBACtB,IAAI,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,QAAQ,EAAE;wBACnD,UAAU,EAAE,cAAc;qBAC3B;oBACD,KAAK,EAAE,EAAE,IAAI,EAAE,uBAAuB,EAAE;iBACzC;gBACD,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC;gBACzB,SAAS,EAAE,WAAW,CAAC,CAAC,CAAC;aAC1B;YACD,SAAS,EAAE,CAAC,OAAO,CAAC;YACpB,UAAU,EAAE,aAAa;YACzB,OAAO,EAAE,YAAY,CAAC,CAAC,CAAC;SACzB,CAAC;QACF,YAAY,CAAC,CAAC,CAAC;KAChB,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,yBAAyB,GAAG,CAAC,GAAwB,EAAW,EAAE;IACtE,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACjB,KAAK,sBAAsB,CAAC;QAC5B,KAAK,+BAA+B,CAAC;QACrC,KAAK,yBAAyB,CAAC;QAC/B,KAAK,uBAAuB,CAAC;QAC7B,KAAK,0BAA0B,CAAC;QAChC,KAAK,yBAAyB,CAAC;QAC/B,KAAK,uBAAuB,CAAC;QAC7B,KAAK,0BAA0B;YAC7B,OAAO,IAAI,CAAC;QACd,KAAK,wBAAwB;YAC3B,OAAO,yBAAyB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACnD,KAAK,yBAAyB;YAC5B,OAAO,CACL,yBAAyB,CAAC,GAAG,CAAC,UAAU,CAAC;gBACzC,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,yBAAyB,CAAC,CAC/C,CAAC;QACJ,KAAK,yBAAyB,CAAC;QAC/B,KAAK,gBAAgB,CAAC;QACtB,KAAK,cAAc,CAAC;QACpB,KAAK,mCAAmC;YACtC,OAAO,yBAAyB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACnD;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CACtB,YAAgC,EAChC,OAAuB,EACH,EAAE;IACtB,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,QAAQ,GAAG,gBAAgB,CAAC,YAAY,CAAC,YAAY,CAAC,EAAE,OAAO,CAAC,CAAC;IACvE,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,IAAI,QAAQ,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACjE,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,CAAC;AACrC,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAAC,IAAY,EAAW,EAAE,CACrD,IAAI,CAAC,IAAI,KAAK,eAAe,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,CAAC;AAE7D,MAAM,eAAe,GAAG,CAAC,IAAY,EAAW,EAAE,CAChD,IAAI,CAAC,IAAI,KAAK,eAAe,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC;AAExD,MAAM,iBAAiB,GAAG,CAAC,IAAwB,EAAW,EAAE;IAC9D,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,OAAO,eAAe,CAAC,IAAI,CAAC,IAAI,oBAAoB,CAAC,IAAI,CAAC,CAAC;IAC7D,CAAC;IACD,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,CACrB,CAAC,MAAM,EAAE,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,oBAAoB,CAAC,MAAM,CAAC,CACpE,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,8BAA8B,GAAG,CACrC,IAAgD,EAChD,OAA4B,EAC5B,QAA6B,EAC7B,YAA4B,EAC5B,OAAuB,EAC4B,EAAE;IACrD,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QACxD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC;IAChC,IACE,MAAM,CAAC,IAAI,KAAK,cAAc;QAC9B,MAAM,CAAC,UAAU;QACjB,MAAM,CAAC,UAAU;QACjB,MAAM,CAAC,QAAQ,KAAK,KAAK,EACzB,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IACE,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;QAChC,CAAC,OAAO,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,QAAQ;YACzC,MAAM,IAAI,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;YAChC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,EAC3C,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IACE,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,EAAE,oBAAoB,CAAC;QAC7D,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,EAAE,eAAe,CAAC,EACvD,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,YAAY,GAAG,eAAe,CAAC,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;IAC1E,IACE,CAAC,YAAY;QACb,cAAc,CAAC,YAAY,EAAE,oBAAoB,CAAC;QAClD,cAAc,CAAC,YAAY,EAAE,eAAe,CAAC;QAC7C,CAAC,qBAAqB,CAAC,YAAY,CAAC,YAAY,CAAC,CAAC,EAClD,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IACE,OAAO,CAAC,IAAI,KAAK,sBAAsB;QACvC,OAAO,CAAC,UAAU,CAAC,IAAI,KAAK,wBAAwB;QACpD,OAAO,CAAC,UAAU,CAAC,UAAU,KAAK,KAAK;QACvC,OAAO,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAC9B,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,WAAW,GAAG,OAAO,CAAC,UAAU,CAAC,UAAU,CAAC;IAClD,MAAM,WAAW,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IACzC,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IACE,CAAC,yBAAyB,CAAC,WAAW,CAAC;QACvC,CAAC,yBAAyB,CAAC,WAAW,CAAC,EACvC,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO;QACL;YACE,IAAI,EAAE,uBAAuB;YAC7B,SAAS,EAAE;gBACT,IAAI,EAAE,sBAAsB;gBAC5B,UAAU,EAAE;oBACV,IAAI,EAAE,wBAAwB;oBAC9B,UAAU,EAAE,WAAW;oBACvB,UAAU,EAAE,KAAK;iBAClB;gBACD,SAAS,EAAE,CAAC,WAAW,CAAC;aACzB;YACD,QAAQ,EAAE,OAAO;YACjB,SAAS,EAAE,QAAQ;SACpB;QACD,YAAY;KACb,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CACzB,IAAgD,EAChD,OAAuB,EACvB,YAAqB,EACkB,EAAE;IACzC,MAAM,CAAC,OAAO,EAAE,WAAW,CAAC,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAErE,qFAAqF;IACrF,MAAM,QAAQ,GACZ,IAAI,CAAC,QAAQ,KAAK,IAAI,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC;QAC9D,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC;IAEpB,kFAAkF;IAClF,uDAAuD;IACvD,MAAM,qBAAqB,GACzB,4CAA4C,CAAC;QAC3C,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,WAAW;KACrB,CAAC,IAAI,6BAA6B,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;IAC5D,MAAM,2BAA2B,GAC/B,cAAc,CAAC,qBAAqB,EAAE,oBAAoB,CAAC;QAC3D,cAAc,CAAC,qBAAqB,EAAE,eAAe,CAAC,CAAC;IACzD,IACE,QAAQ,KAAK,IAAI;QACjB,IAAI,CAAC,IAAI,CAAC,YAAY;QACtB,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,KAAK,WAAW;QAC3C,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,EAC7C,CAAC;QACD,qFAAqF;QACrF,4EAA4E;QAC5E,uEAAuE;QACvE,IACE,CAAC,8BAA8B,CAAC,OAAO,CAAC;YACxC,CAAC,2BAA2B,EAC5B,CAAC;YACD,OAAO,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;QAChC,CAAC;IACH,CAAC;IAED,MAAM,cAAc,GAAG,gCAAgC,CACrD,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,EACrB,OAAO,EACP,WAAW,EACX,YAAY,CACb,CAAC;IACF,IAAI,cAAc,EAAE,CAAC;QACnB,OAAO,cAAc,CAAC;IACxB,CAAC;IAED,MAAM,iBAAiB,GACrB,YAAY,IAAI,IAAI,CAAC,YAAY,IAAI,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC;IAC9D,MAAM,oBAAoB,GAAG,iBAAiB;QAC5C,CAAC,CAAC,YAAY,CAAC,iBAAiB,CAAC;QACjC,CAAC,CAAC,SAAS,CAAC;IACd,MAAM,4BAA4B,GAChC,IAAI,CAAC,YAAY,IAAI,IAAI,CAAC,IAAI,CAAC,YAAY,IAAI,YAAY,CAAC;IAC9D,MAAM,2BAA2B,GAC/B,QAAQ,KAAK,IAAI;QACf,CAAC,CAAC,YAAY,IAAI,qBAAqB,CAAC,YAAY,EAAE,WAAW,CAAC;YAChE,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC;gBAC1C,CAAC,CAAC,iBAAiB;gBACnB,CAAC,CAAC,4BAA4B;oBAC5B,CAAC,CAAC,YAAY,CAAC,4BAA4B,CAAC;oBAC5C,CAAC,CAAC,SAAS;YACf,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC;gBAC1C,CAAC,CAAC,iBAAiB;gBACnB,CAAC,CAAC,oBAAoB;QAC1B,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,iBAAiB,GACrB,2BAA2B;QAC3B,IAAI,CAAC,KAAK,CAAC,YAAY;QACvB,oBAAoB,CAClB,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,EACrC,2BAA2B,EAC3B,WAAW,CACZ;QACC,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,2BAA2B,CAAC;IAClC,MAAM,CAAC,QAAQ,EAAE,YAAY,CAAC,GAAG,iBAAiB,CAChD,IAAI,CAAC,KAAK,EACV,WAAW,EACX,iBAAiB,CAClB,CAAC;IAEF,MAAM,cAAc,GAAG,8BAA8B,CACnD,IAAI,EACJ,OAAO,EACP,QAAQ,EACR,YAAY,EACZ,OAAO,CACR,CAAC;IACF,IAAI,cAAc,EAAE,CAAC;QACnB,OAAO,cAAc,CAAC;IACxB,CAAC;IAED,OAAO;QACL;YACE,IAAI,EAAE,kBAAkB;YACxB,aAAa,EAAE,QAAQ;YACvB,IAAI,EAAE,OAAO;YACb,KAAK,EAAE,QAAQ;SAChB;QACD,YAAY;KACb,CAAC;AACJ,CAAC,CAAC"}

package/dist/expressions/operators/unary-emitter.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"unary-emitter.d.ts","sourceRoot":"","sources":["../../../src/expressions/operators/unary-emitter.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAKhD,OAAO,KAAK,EACV,mBAAmB,EAGpB,MAAM,wCAAwC,CAAC;AAEhD;;;;;;;;;GASG;AACH,eAAO,MAAM,SAAS,GACpB,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,CAAC,EAC9C,SAAS,cAAc,EACvB,eAAe,MAAM,KACpB,CAAC,mBAAmB,EAAE,cAAc,CA+NtC,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,UAAU,GACrB,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,CAAC,EAC/C,SAAS,cAAc,KACtB,CAAC,mBAAmB,EAAE,cAAc,CAsCtC,CAAC"}
+{"version":3,"file":"unary-emitter.d.ts","sourceRoot":"","sources":["../../../src/expressions/operators/unary-emitter.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAWhD,OAAO,KAAK,EACV,mBAAmB,EAGpB,MAAM,wCAAwC,CAAC;AAEhD;;;;;;;;;GASG;AACH,eAAO,MAAM,SAAS,GACpB,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,CAAC,EAC9C,SAAS,cAAc,EACvB,eAAe,MAAM,KACpB,CAAC,mBAAmB,EAAE,cAAc,CAkNtC,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,UAAU,GACrB,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,CAAC,EAC/C,SAAS,cAAc,KACtB,CAAC,mBAAmB,EAAE,cAAc,CAyBtC,CAAC"}

package/dist/expressions/operators/unary-emitter.js

@@ -8,7 +8,10 @@
 import { emitExpressionAst } from "../../expression-emitter.js";
 import { emitTypeAst } from "../../type-emitter.js";
 import { emitBooleanConditionAst } from "../../core/semantic/boolean-context.js";
+import { identifierExpression, identifierType, } from "../../core/format/backend-ast/builders.js";
 import { extractCalleeNameFromAst } from "../../core/format/backend-ast/utils.js";
+import { emitWritableTargetAst } from "./write-targets.js";
+import { getDictionaryComputedAccess } from "./helpers.js";
 /**
  * Emit a unary operator expression as CSharpExpressionAst (-, +, !, ~, typeof, void, delete)
  *
@@ -36,12 +39,8 @@ export const emitUnary = (expr, context, expectedType) => {
     if (expr.operator === "delete") {
         // JavaScript `delete obj[key]` maps to dictionary key removal in CLR:
         //   delete dict[key]  -> dict.Remove(key)
-        const target = expr.expression;
-        if (target.kind === "memberAccess" &&
-            target.isComputed &&
-            typeof target.property !== "string" &&
-            (target.accessKind === "dictionary" ||
-                target.object.inferredType?.kind === "dictionaryType")) {
+        const target = getDictionaryComputedAccess(expr.expression, context);
+        if (target) {
             const [objectAst, objectContext] = emitExpressionAst(target.object, context);
             const [keyAst, keyContext] = emitExpressionAst(target.property, objectContext);
             return [
@@ -57,15 +56,10 @@ export const emitUnary = (expr, context, expectedType) => {
                 keyContext,
             ];
         }
-        const [targetAst, newContext] = emitExpressionAst(target, context);
+        const [targetAst] = emitExpressionAst(expr.expression, context);
         const targetText = extractCalleeNameFromAst(targetAst);
-        return [
-            {
-                kind: "identifierExpression",
-                identifier: `/* delete ${targetText} */`,
-            },
-            newContext,
-        ];
+        throw new Error(`ICE: Unsupported delete target reached emitter: delete ${targetText}. ` +
+            `Only dictionary/index-signature deletes should survive validation.`);
     }
     const [operandAst, newContext] = emitExpressionAst(expr.expression, context);
     if (expr.operator === "typeof") {
@@ -74,8 +68,7 @@ export const emitUnary = (expr, context, expectedType) => {
             {
                 kind: "invocationExpression",
                 expression: {
-                    kind: "identifierExpression",
-                    identifier: "global::Tsonic.Runtime.Operators.@typeof",
+                    ...identifierExpression("global::Tsonic.Runtime.Operators.@typeof"),
                 },
                 arguments: [operandAst],
             },
@@ -152,11 +145,9 @@ export const emitUnary = (expr, context, expectedType) => {
                     { kind: "returnStatement", expression: defaultExpr },
                 ],
             };
-            const funcTypeAst = {
-                kind: "identifierType",
-                name: "global::System.Func",
-                typeArguments: [funcReturnTypeAst],
-            };
+            const funcTypeAst = identifierType("global::System.Func", [
+                funcReturnTypeAst,
+            ]);
             const lambdaAst = {
                 kind: "lambdaExpression",
                 isAsync,
@@ -184,11 +175,7 @@ export const emitUnary = (expr, context, expectedType) => {
             if (!currentContext.isAsync) {
                 throw new Error("ICE: `void await <expr>` reached emitter in a non-async context.");
             }
-            const taskTypeAst = {
-                kind: "identifierType",
-                name: "global::System.Threading.Tasks.Task",
-                typeArguments: [returnTypeAst],
-            };
+            const taskTypeAst = identifierType("global::System.Threading.Tasks.Task", [returnTypeAst]);
             const iifeAst = buildIife(true, taskTypeAst);
             return [{ kind: "awaitExpression", expression: iifeAst }, currentContext];
         }
@@ -208,20 +195,7 @@ export const emitUnary = (expr, context, expectedType) => {
  * Emit an update operator expression as CSharpExpressionAst (++, --)
  */
 export const emitUpdate = (expr, context) => {
-    // Narrowing maps apply to *reads*, not writes.
-    // For update operators, suppress narrowed bindings for the target.
-    const operandCtx = expr.expression.kind === "identifier" &&
-        context.narrowedBindings?.has(expr.expression.name)
-        ? (() => {
-            const next = new Map(context.narrowedBindings);
-            next.delete(expr.expression.name);
-            return { ...context, narrowedBindings: next };
-        })()
-        : context;
-    const [operandAst, ctx] = emitExpressionAst(expr.expression, operandCtx);
-    const newContext = operandCtx !== context
-        ? { ...ctx, narrowedBindings: context.narrowedBindings }
-        : ctx;
+    const [operandAst, newContext] = emitWritableTargetAst(expr.expression, context);
     if (expr.prefix) {
         return [
             {

package/dist/expressions/operators/unary-emitter.js.map

@@ -1 +1 @@
-{"version":3,"file":"unary-emitter.js","sourceRoot":"","sources":["../../../src/expressions/operators/unary-emitter.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAIH,OAAO,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,uBAAuB,EAAE,MAAM,wCAAwC,CAAC;AACjF,OAAO,EAAE,wBAAwB,EAAE,MAAM,wCAAwC,CAAC;AAOlF;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,CACvB,IAA8C,EAC9C,OAAuB,EACvB,YAAqB,EACkB,EAAE;IACzC,uEAAuE;IACvE,+EAA+E;IAC/E,IAAI,IAAI,CAAC,QAAQ,KAAK,GAAG,EAAE,CAAC;QAC1B,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,GAAG,uBAAuB,CAChD,IAAI,CAAC,UAAU,EACf,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC,EAAE,GAAG,CAAC,EACrC,OAAO,CACR,CAAC;QACF,OAAO;YACL;gBACE,IAAI,EAAE,uBAAuB;gBAC7B,aAAa,EAAE,GAAG;gBAClB,OAAO,EAAE,OAAO;aACjB;YACD,OAAO;SACR,CAAC;IACJ,CAAC;IAED,IAAI,IAAI,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;QAC/B,sEAAsE;QACtE,0CAA0C;QAC1C,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC;QAC/B,IACE,MAAM,CAAC,IAAI,KAAK,cAAc;YAC9B,MAAM,CAAC,UAAU;YACjB,OAAO,MAAM,CAAC,QAAQ,KAAK,QAAQ;YACnC,CAAC,MAAM,CAAC,UAAU,KAAK,YAAY;gBACjC,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,IAAI,KAAK,gBAAgB,CAAC,EACxD,CAAC;YACD,MAAM,CAAC,SAAS,EAAE,aAAa,CAAC,GAAG,iBAAiB,CAClD,MAAM,CAAC,MAAM,EACb,OAAO,CACR,CAAC;YACF,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,GAAG,iBAAiB,CAC5C,MAAM,CAAC,QAAQ,EACf,aAAa,CACd,CAAC;YACF,OAAO;gBACL;oBACE,IAAI,EAAE,sBAAsB;oBAC5B,UAAU,EAAE;wBACV,IAAI,EAAE,wBAAwB;wBAC9B,UAAU,EAAE,SAAS;wBACrB,UAAU,EAAE,QAAQ;qBACrB;oBACD,SAAS,EAAE,CAAC,MAAM,CAAC;iBACpB;gBACD,UAAU;aACX,CAAC;QACJ,CAAC;QAED,MAAM,CAAC,SAAS,EAAE,UAAU,CAAC,GAAG,iBAAiB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QACnE,MAAM,UAAU,GAAG,wBAAwB,CAAC,SAAS,CAAC,CAAC;QACvD,OAAO;YACL;gBACE,IAAI,EAAE,sBAAsB;gBAC5B,UAAU,EAAE,aAAa,UAAU,KAAK;aACzC;YACD,UAAU;SACX,CAAC;IACJ,CAAC;IAED,MAAM,CAAC,UAAU,EAAE,UAAU,CAAC,GAAG,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAE7E,IAAI,IAAI,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;QAC/B,2DAA2D;QAC3D,OAAO;YACL;gBACE,IAAI,EAAE,sBAAsB;gBAC5B,UAAU,EAAE;oBACV,IAAI,EAAE,sBAAsB;oBAC5B,UAAU,EAAE,0CAA0C;iBACvD;gBACD,SAAS,EAAE,CAAC,UAAU,CAAC;aACxB;YACD,UAAU;SACX,CAAC;IACJ,CAAC;IAED,IAAI,IAAI,CAAC,QAAQ,KAAK,MAAM,EAAE,CAAC;QAC7B,uDAAuD;QACvD,EAAE;QACF,kEAAkE;QAClE,oDAAoD;QACpD,EAAE;QACF,0EAA0E;QAC1E,MAAM,OAAO,GAAG,IAAI,CAAC,UAAU,CAAC;QAEhC,qEAAqE;QACrE,MAAM,aAAa,GACjB,CAAC,OAAO,CAAC,IAAI,KAAK,SAAS;YACzB,CAAC,OAAO,CAAC,KAAK,KAAK,SAAS,IAAI,OAAO,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC;YAC1D,CAAC,OAAO,CAAC,IAAI,KAAK,YAAY;gBAC5B,CAAC,OAAO,CAAC,IAAI,KAAK,WAAW,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC;QAE/D,IAAI,cAAc,GAAG,UAAU,CAAC;QAEhC,MAAM,qBAAqB,GACzB,YAAY;YACZ,YAAY,CAAC,IAAI,KAAK,UAAU;YAChC,YAAY,CAAC,IAAI,KAAK,WAAW;YAC/B,CAAC,CAAC,YAAY;YACd,CAAC,CAAC,SAAS,CAAC;QAEhB,IAAI,aAAa,GAAkB;YACjC,IAAI,EAAE,cAAc;YACpB,cAAc,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,QAAQ,EAAE;SAC9D,CAAC;QACF,IAAI,qBAAqB,EAAE,CAAC;YAC1B,IAAI,CAAC;gBACH,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,GAAG,WAAW,CACjC,qBAAqB,EACrB,cAAc,CACf,CAAC;gBACF,cAAc,GAAG,IAAI,CAAC;gBACtB,aAAa,GAAG,OAAO,CAAC;YAC1B,CAAC;YAAC,MAAM,CAAC;gBACP,0CAA0C;YAC5C,CAAC;QACH,CAAC;QAED,MAAM,WAAW,GAAwB;YACvC,IAAI,EAAE,mBAAmB;YACzB,IAAI,EAAE,qBAAqB,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS;SACxD,CAAC;QAEF,2DAA2D;QAC3D,MAAM,eAAe,GACnB,OAAO,CAAC,IAAI,KAAK,MAAM;YACvB,OAAO,CAAC,IAAI,KAAK,KAAK;YACtB,OAAO,CAAC,IAAI,KAAK,YAAY;YAC7B,OAAO,CAAC,IAAI,KAAK,QAAQ;YACzB,OAAO,CAAC,IAAI,KAAK,OAAO,CAAC;QAE3B,MAAM,iBAAiB,GAAkC,aAAa;YACpE,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC;gBACE;oBACE,IAAI,EAAE,qBAA8B;oBACpC,UAAU,EAAE,eAAe;wBACzB,CAAC,CAAC,UAAU;wBACZ,CAAC,CAAE;4BACC,IAAI,EAAE,sBAAsB;4BAC5B,aAAa,EAAE,GAAG;4BAClB,IAAI,EAAE;gCACJ,IAAI,EAAE,sBAAsB;gCAC5B,UAAU,EAAE,GAAG;6BAChB;4BACD,KAAK,EAAE,UAAU;yBACM;iBAC9B;aACF,CAAC;QAEN,mDAAmD;QACnD,MAAM,SAAS,GAAG,CAChB,OAAgB,EAChB,iBAAgC,EACX,EAAE;YACvB,MAAM,IAAI,GAAuB;gBAC/B,IAAI,EAAE,gBAAgB;gBACtB,UAAU,EAAE;oBACV,GAAG,iBAAiB;oBACpB,EAAE,IAAI,EAAE,iBAAiB,EAAE,UAAU,EAAE,WAAW,EAAE;iBACrD;aACF,CAAC;YACF,MAAM,WAAW,GAAkB;gBACjC,IAAI,EAAE,gBAAgB;gBACtB,IAAI,EAAE,qBAAqB;gBAC3B,aAAa,EAAE,CAAC,iBAAiB,CAAC;aACnC,CAAC;YACF,MAAM,SAAS,GAAwB;gBACrC,IAAI,EAAE,kBAAkB;gBACxB,OAAO;gBACP,UAAU,EAAE,EAAE;gBACd,IAAI;aACL,CAAC;YACF,MAAM,OAAO,GAAwB;gBACnC,IAAI,EAAE,gBAAgB;gBACtB,IAAI,EAAE,WAAW;gBACjB,UAAU,EAAE;oBACV,IAAI,EAAE,yBAAyB;oBAC/B,UAAU,EAAE,SAAS;iBACtB;aACF,CAAC;YACF,OAAO;gBACL,IAAI,EAAE,sBAAsB;gBAC5B,UAAU,EAAE;oBACV,IAAI,EAAE,yBAAyB;oBAC/B,UAAU,EAAE,OAAO;iBACpB;gBACD,SAAS,EAAE,EAAE;aACd,CAAC;QACJ,CAAC,CAAC;QAEF,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC7B,IAAI,CAAC,cAAc,CAAC,OAAO,EAAE,CAAC;gBAC5B,MAAM,IAAI,KAAK,CACb,kEAAkE,CACnE,CAAC;YACJ,CAAC;YAED,MAAM,WAAW,GAAkB;gBACjC,IAAI,EAAE,gBAAgB;gBACtB,IAAI,EAAE,qCAAqC;gBAC3C,aAAa,EAAE,CAAC,aAAa,CAAC;aAC/B,CAAC;YACF,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;YAC7C,OAAO,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,UAAU,EAAE,OAAO,EAAE,EAAE,cAAc,CAAC,CAAC;QAC5E,CAAC;QAED,OAAO,CAAC,SAAS,CAAC,KAAK,EAAE,aAAa,CAAC,EAAE,cAAc,CAAC,CAAC;IAC3D,CAAC;IAED,oCAAoC;IACpC,OAAO;QACL;YACE,IAAI,EAAE,uBAAuB;YAC7B,aAAa,EAAE,IAAI,CAAC,QAAQ;YAC5B,OAAO,EAAE,UAAU;SACpB;QACD,UAAU;KACX,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CACxB,IAA+C,EAC/C,OAAuB,EACgB,EAAE;IACzC,+CAA+C;IAC/C,mEAAmE;IACnE,MAAM,UAAU,GACd,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,YAAY;QACrC,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;QACjD,CAAC,CAAC,CAAC,GAAG,EAAE;YACJ,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC;YAC/C,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;YAClC,OAAO,EAAE,GAAG,OAAO,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC;QAChD,CAAC,CAAC,EAAE;QACN,CAAC,CAAC,OAAO,CAAC;IAEd,MAAM,CAAC,UAAU,EAAE,GAAG,CAAC,GAAG,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;IACzE,MAAM,UAAU,GACd,UAAU,KAAK,OAAO;QACpB,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,gBAAgB,EAAE,OAAO,CAAC,gBAAgB,EAAE;QACxD,CAAC,CAAC,GAAG,CAAC;IAEV,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;QAChB,OAAO;YACL;gBACE,IAAI,EAAE,uBAAuB;gBAC7B,aAAa,EAAE,IAAI,CAAC,QAAQ;gBAC5B,OAAO,EAAE,UAAU;aACpB;YACD,UAAU;SACX,CAAC;IACJ,CAAC;IAED,OAAO;QACL;YACE,IAAI,EAAE,wBAAwB;YAC9B,aAAa,EAAE,IAAI,CAAC,QAAQ;YAC5B,OAAO,EAAE,UAAU;SACpB;QACD,UAAU;KACX,CAAC;AACJ,CAAC,CAAC"}
+{"version":3,"file":"unary-emitter.js","sourceRoot":"","sources":["../../../src/expressions/operators/unary-emitter.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAIH,OAAO,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,uBAAuB,EAAE,MAAM,wCAAwC,CAAC;AACjF,OAAO,EACL,oBAAoB,EACpB,cAAc,GACf,MAAM,2CAA2C,CAAC;AACnD,OAAO,EAAE,wBAAwB,EAAE,MAAM,wCAAwC,CAAC;AAClF,OAAO,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAC;AAC3D,OAAO,EAAE,2BAA2B,EAAE,MAAM,cAAc,CAAC;AAO3D;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,CACvB,IAA8C,EAC9C,OAAuB,EACvB,YAAqB,EACkB,EAAE;IACzC,uEAAuE;IACvE,+EAA+E;IAC/E,IAAI,IAAI,CAAC,QAAQ,KAAK,GAAG,EAAE,CAAC;QAC1B,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,GAAG,uBAAuB,CAChD,IAAI,CAAC,UAAU,EACf,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC,EAAE,GAAG,CAAC,EACrC,OAAO,CACR,CAAC;QACF,OAAO;YACL;gBACE,IAAI,EAAE,uBAAuB;gBAC7B,aAAa,EAAE,GAAG;gBAClB,OAAO,EAAE,OAAO;aACjB;YACD,OAAO;SACR,CAAC;IACJ,CAAC;IAED,IAAI,IAAI,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;QAC/B,sEAAsE;QACtE,0CAA0C;QAC1C,MAAM,MAAM,GAAG,2BAA2B,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QACrE,IAAI,MAAM,EAAE,CAAC;YACX,MAAM,CAAC,SAAS,EAAE,aAAa,CAAC,GAAG,iBAAiB,CAClD,MAAM,CAAC,MAAM,EACb,OAAO,CACR,CAAC;YACF,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,GAAG,iBAAiB,CAC5C,MAAM,CAAC,QAAQ,EACf,aAAa,CACd,CAAC;YACF,OAAO;gBACL;oBACE,IAAI,EAAE,sBAAsB;oBAC5B,UAAU,EAAE;wBACV,IAAI,EAAE,wBAAwB;wBAC9B,UAAU,EAAE,SAAS;wBACrB,UAAU,EAAE,QAAQ;qBACrB;oBACD,SAAS,EAAE,CAAC,MAAM,CAAC;iBACpB;gBACD,UAAU;aACX,CAAC;QACJ,CAAC;QAED,MAAM,CAAC,SAAS,CAAC,GAAG,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QAChE,MAAM,UAAU,GAAG,wBAAwB,CAAC,SAAS,CAAC,CAAC;QACvD,MAAM,IAAI,KAAK,CACb,0DAA0D,UAAU,IAAI;YACtE,oEAAoE,CACvE,CAAC;IACJ,CAAC;IAED,MAAM,CAAC,UAAU,EAAE,UAAU,CAAC,GAAG,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAE7E,IAAI,IAAI,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;QAC/B,2DAA2D;QAC3D,OAAO;YACL;gBACE,IAAI,EAAE,sBAAsB;gBAC5B,UAAU,EAAE;oBACV,GAAG,oBAAoB,CAAC,0CAA0C,CAAC;iBACpE;gBACD,SAAS,EAAE,CAAC,UAAU,CAAC;aACxB;YACD,UAAU;SACX,CAAC;IACJ,CAAC;IAED,IAAI,IAAI,CAAC,QAAQ,KAAK,MAAM,EAAE,CAAC;QAC7B,uDAAuD;QACvD,EAAE;QACF,kEAAkE;QAClE,oDAAoD;QACpD,EAAE;QACF,0EAA0E;QAC1E,MAAM,OAAO,GAAG,IAAI,CAAC,UAAU,CAAC;QAEhC,qEAAqE;QACrE,MAAM,aAAa,GACjB,CAAC,OAAO,CAAC,IAAI,KAAK,SAAS;YACzB,CAAC,OAAO,CAAC,KAAK,KAAK,SAAS,IAAI,OAAO,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC;YAC1D,CAAC,OAAO,CAAC,IAAI,KAAK,YAAY;gBAC5B,CAAC,OAAO,CAAC,IAAI,KAAK,WAAW,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC;QAE/D,IAAI,cAAc,GAAG,UAAU,CAAC;QAEhC,MAAM,qBAAqB,GACzB,YAAY;YACZ,YAAY,CAAC,IAAI,KAAK,UAAU;YAChC,YAAY,CAAC,IAAI,KAAK,WAAW;YAC/B,CAAC,CAAC,YAAY;YACd,CAAC,CAAC,SAAS,CAAC;QAEhB,IAAI,aAAa,GAAkB;YACjC,IAAI,EAAE,cAAc;YACpB,cAAc,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,QAAQ,EAAE;SAC9D,CAAC;QACF,IAAI,qBAAqB,EAAE,CAAC;YAC1B,IAAI,CAAC;gBACH,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,GAAG,WAAW,CACjC,qBAAqB,EACrB,cAAc,CACf,CAAC;gBACF,cAAc,GAAG,IAAI,CAAC;gBACtB,aAAa,GAAG,OAAO,CAAC;YAC1B,CAAC;YAAC,MAAM,CAAC;gBACP,0CAA0C;YAC5C,CAAC;QACH,CAAC;QAED,MAAM,WAAW,GAAwB;YACvC,IAAI,EAAE,mBAAmB;YACzB,IAAI,EAAE,qBAAqB,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS;SACxD,CAAC;QAEF,2DAA2D;QAC3D,MAAM,eAAe,GACnB,OAAO,CAAC,IAAI,KAAK,MAAM;YACvB,OAAO,CAAC,IAAI,KAAK,KAAK;YACtB,OAAO,CAAC,IAAI,KAAK,YAAY;YAC7B,OAAO,CAAC,IAAI,KAAK,QAAQ;YACzB,OAAO,CAAC,IAAI,KAAK,OAAO,CAAC;QAE3B,MAAM,iBAAiB,GAAkC,aAAa;YACpE,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC;gBACE;oBACE,IAAI,EAAE,qBAA8B;oBACpC,UAAU,EAAE,eAAe;wBACzB,CAAC,CAAC,UAAU;wBACZ,CAAC,CAAE;4BACC,IAAI,EAAE,sBAAsB;4BAC5B,aAAa,EAAE,GAAG;4BAClB,IAAI,EAAE;gCACJ,IAAI,EAAE,sBAAsB;gCAC5B,UAAU,EAAE,GAAG;6BAChB;4BACD,KAAK,EAAE,UAAU;yBACM;iBAC9B;aACF,CAAC;QAEN,mDAAmD;QACnD,MAAM,SAAS,GAAG,CAChB,OAAgB,EAChB,iBAAgC,EACX,EAAE;YACvB,MAAM,IAAI,GAAuB;gBAC/B,IAAI,EAAE,gBAAgB;gBACtB,UAAU,EAAE;oBACV,GAAG,iBAAiB;oBACpB,EAAE,IAAI,EAAE,iBAAiB,EAAE,UAAU,EAAE,WAAW,EAAE;iBACrD;aACF,CAAC;YACF,MAAM,WAAW,GAAkB,cAAc,CAAC,qBAAqB,EAAE;gBACvE,iBAAiB;aAClB,CAAC,CAAC;YACH,MAAM,SAAS,GAAwB;gBACrC,IAAI,EAAE,kBAAkB;gBACxB,OAAO;gBACP,UAAU,EAAE,EAAE;gBACd,IAAI;aACL,CAAC;YACF,MAAM,OAAO,GAAwB;gBACnC,IAAI,EAAE,gBAAgB;gBACtB,IAAI,EAAE,WAAW;gBACjB,UAAU,EAAE;oBACV,IAAI,EAAE,yBAAyB;oBAC/B,UAAU,EAAE,SAAS;iBACtB;aACF,CAAC;YACF,OAAO;gBACL,IAAI,EAAE,sBAAsB;gBAC5B,UAAU,EAAE;oBACV,IAAI,EAAE,yBAAyB;oBAC/B,UAAU,EAAE,OAAO;iBACpB;gBACD,SAAS,EAAE,EAAE;aACd,CAAC;QACJ,CAAC,CAAC;QAEF,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC7B,IAAI,CAAC,cAAc,CAAC,OAAO,EAAE,CAAC;gBAC5B,MAAM,IAAI,KAAK,CACb,kEAAkE,CACnE,CAAC;YACJ,CAAC;YAED,MAAM,WAAW,GAAkB,cAAc,CAC/C,qCAAqC,EACrC,CAAC,aAAa,CAAC,CAChB,CAAC;YACF,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;YAC7C,OAAO,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,UAAU,EAAE,OAAO,EAAE,EAAE,cAAc,CAAC,CAAC;QAC5E,CAAC;QAED,OAAO,CAAC,SAAS,CAAC,KAAK,EAAE,aAAa,CAAC,EAAE,cAAc,CAAC,CAAC;IAC3D,CAAC;IAED,oCAAoC;IACpC,OAAO;QACL;YACE,IAAI,EAAE,uBAAuB;YAC7B,aAAa,EAAE,IAAI,CAAC,QAAQ;YAC5B,OAAO,EAAE,UAAU;SACpB;QACD,UAAU;KACX,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CACxB,IAA+C,EAC/C,OAAuB,EACgB,EAAE;IACzC,MAAM,CAAC,UAAU,EAAE,UAAU,CAAC,GAAG,qBAAqB,CACpD,IAAI,CAAC,UAAU,EACf,OAAO,CACR,CAAC;IAEF,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;QAChB,OAAO;YACL;gBACE,IAAI,EAAE,uBAAuB;gBAC7B,aAAa,EAAE,IAAI,CAAC,QAAQ;gBAC5B,OAAO,EAAE,UAAU;aACpB;YACD,UAAU;SACX,CAAC;IACJ,CAAC;IAED,OAAO;QACL;YACE,IAAI,EAAE,wBAAwB;YAC9B,aAAa,EAAE,IAAI,CAAC,QAAQ;YAC5B,OAAO,EAAE,UAAU;SACpB;QACD,UAAU;KACX,CAAC;AACJ,CAAC,CAAC"}

package/dist/expressions/operators/write-targets.d.ts

@@ -0,0 +1,5 @@
+import { IrExpression } from "@tsonic/frontend";
+import { EmitterContext } from "../../types.js";
+import type { CSharpExpressionAst } from "../../core/format/backend-ast/types.js";
+export declare const emitWritableTargetAst: (expr: IrExpression, context: EmitterContext) => [CSharpExpressionAst, EmitterContext];
+//# sourceMappingURL=write-targets.d.ts.map

package/dist/expressions/operators/write-targets.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"write-targets.d.ts","sourceRoot":"","sources":["../../../src/expressions/operators/write-targets.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAChD,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAIhD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,wCAAwC,CAAC;AAuElF,eAAO,MAAM,qBAAqB,GAChC,MAAM,YAAY,EAClB,SAAS,cAAc,KACtB,CAAC,mBAAmB,EAAE,cAAc,CAmBtC,CAAC"}