@tsonic/emitter 0.0.14 → 0.0.15

package/dist/emitter-types/fqn.d.ts

@@ -39,13 +39,6 @@ export declare const FQN: {
         readonly DynamicObject: "global::Tsonic.Runtime.DynamicObject";
         readonly Union: (types: string) => string;
     };
-    readonly TsonicJSRuntime: {
-        readonly Array: "global::Tsonic.JSRuntime.Array";
-        readonly String: "global::Tsonic.JSRuntime.String";
-        readonly Number: "global::Tsonic.JSRuntime.Number";
-        readonly Math: "global::Tsonic.JSRuntime.Math";
-        readonly Console: "global::Tsonic.JSRuntime.Console";
-    };
     readonly Func: (typeArgs: string) => string;
     readonly Action: "global::System.Action";
     readonly ActionOf: (typeArgs: string) => string;

package/dist/emitter-types/fqn.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"fqn.d.ts","sourceRoot":"","sources":["../../src/emitter-types/fqn.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH;;;GAGG;AACH,eAAO,MAAM,aAAa,GAAI,WAAW,MAAM,EAAE,UAAU,MAAM,KAAG,MAEnE,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,eAAe,GAC1B,WAAW,MAAM,EACjB,UAAU,MAAM,EAChB,QAAQ,MAAM,KACb,MAEF,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,SAAS,GAAI,eAAe,MAAM,KAAG,MAEjD,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,GAAG;;;;;;;;iCAWM,MAAM;mCAEJ,MAAM,aAAa,MAAM;wCAEpB,MAAM;;kCAKZ,MAAM;;;gCAMV,MAAM;;;;;;;;;8BAaN,MAAM;;kCAEF,MAAM;CACnB,CAAC"}
+{"version":3,"file":"fqn.d.ts","sourceRoot":"","sources":["../../src/emitter-types/fqn.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH;;;GAGG;AACH,eAAO,MAAM,aAAa,GAAI,WAAW,MAAM,EAAE,UAAU,MAAM,KAAG,MAEnE,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,eAAe,GAC1B,WAAW,MAAM,EACjB,UAAU,MAAM,EAChB,QAAQ,MAAM,KACb,MAEF,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,SAAS,GAAI,eAAe,MAAM,KAAG,MAEjD,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,GAAG;;;;;;;;iCAWM,MAAM;mCAEJ,MAAM,aAAa,MAAM;wCAEpB,MAAM;;kCAKZ,MAAM;;;gCAMV,MAAM;;8BAIN,MAAM;;kCAEF,MAAM;CACnB,CAAC"}

package/dist/emitter-types/fqn.js

@@ -49,14 +49,6 @@ export const FQN = {
         DynamicObject: "global::Tsonic.Runtime.DynamicObject",
         Union: (types) => `global::Tsonic.Runtime.Union<${types}>`,
     },
-    // Tsonic.JSRuntime
-    TsonicJSRuntime: {
-        Array: "global::Tsonic.JSRuntime.Array",
-        String: "global::Tsonic.JSRuntime.String",
-        Number: "global::Tsonic.JSRuntime.Number",
-        Math: "global::Tsonic.JSRuntime.Math",
-        Console: "global::Tsonic.JSRuntime.Console",
-    },
     // System.Func delegates
     Func: (typeArgs) => `global::System.Func<${typeArgs}>`,
     Action: "global::System.Action",

package/dist/emitter-types/fqn.js.map

@@ -1 +1 @@
-{"version":3,"file":"fqn.js","sourceRoot":"","sources":["../../src/emitter-types/fqn.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH;;;GAGG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,SAAiB,EAAE,QAAgB,EAAU,EAAE;IAC3E,OAAO,WAAW,SAAS,IAAI,QAAQ,EAAE,CAAC;AAC5C,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,SAAiB,EACjB,QAAgB,EAChB,MAAc,EACN,EAAE;IACV,OAAO,WAAW,SAAS,IAAI,QAAQ,IAAI,MAAM,EAAE,CAAC;AACtD,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,aAAqB,EAAU,EAAE;IACzD,OAAO,WAAW,aAAa,EAAE,CAAC;AACpC,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,GAAG,GAAG;IACjB,eAAe;IACf,MAAM,EAAE,uBAAuB;IAC/B,MAAM,EAAE,uBAAuB;IAC/B,KAAK,EAAE,sBAAsB;IAC7B,KAAK,EAAE,sBAAsB;IAC7B,MAAM,EAAE,uBAAuB;IAC/B,OAAO,EAAE,wBAAwB;IACjC,IAAI,EAAE,MAAM;IAEZ,6BAA6B;IAC7B,IAAI,EAAE,CAAC,WAAmB,EAAE,EAAE,CAC5B,2CAA2C,WAAW,GAAG;IAC3D,UAAU,EAAE,CAAC,OAAe,EAAE,SAAiB,EAAE,EAAE,CACjD,iDAAiD,OAAO,KAAK,SAAS,GAAG;IAC3E,WAAW,EAAE,CAAC,WAAmB,EAAE,EAAE,CACnC,kDAAkD,WAAW,GAAG;IAElE,yBAAyB;IACzB,IAAI,EAAE,qCAAqC;IAC3C,MAAM,EAAE,CAAC,UAAkB,EAAE,EAAE,CAC7B,uCAAuC,UAAU,GAAG;IAEtD,iBAAiB;IACjB,aAAa,EAAE;QACb,aAAa,EAAE,sCAAsC;QACrD,KAAK,EAAE,CAAC,KAAa,EAAE,EAAE,CAAC,gCAAgC,KAAK,GAAG;KACnE;IAED,mBAAmB;IACnB,eAAe,EAAE;QACf,KAAK,EAAE,gCAAgC;QACvC,MAAM,EAAE,iCAAiC;QACzC,MAAM,EAAE,iCAAiC;QACzC,IAAI,EAAE,+BAA+B;QACrC,OAAO,EAAE,kCAAkC;KAC5C;IAED,wBAAwB;IACxB,IAAI,EAAE,CAAC,QAAgB,EAAE,EAAE,CAAC,uBAAuB,QAAQ,GAAG;IAC9D,MAAM,EAAE,uBAAuB;IAC/B,QAAQ,EAAE,CAAC,QAAgB,EAAE,EAAE,CAAC,yBAAyB,QAAQ,GAAG;CAC5D,CAAC"}
+{"version":3,"file":"fqn.js","sourceRoot":"","sources":["../../src/emitter-types/fqn.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH;;;GAGG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,SAAiB,EAAE,QAAgB,EAAU,EAAE;IAC3E,OAAO,WAAW,SAAS,IAAI,QAAQ,EAAE,CAAC;AAC5C,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,SAAiB,EACjB,QAAgB,EAChB,MAAc,EACN,EAAE;IACV,OAAO,WAAW,SAAS,IAAI,QAAQ,IAAI,MAAM,EAAE,CAAC;AACtD,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,aAAqB,EAAU,EAAE;IACzD,OAAO,WAAW,aAAa,EAAE,CAAC;AACpC,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,GAAG,GAAG;IACjB,eAAe;IACf,MAAM,EAAE,uBAAuB;IAC/B,MAAM,EAAE,uBAAuB;IAC/B,KAAK,EAAE,sBAAsB;IAC7B,KAAK,EAAE,sBAAsB;IAC7B,MAAM,EAAE,uBAAuB;IAC/B,OAAO,EAAE,wBAAwB;IACjC,IAAI,EAAE,MAAM;IAEZ,6BAA6B;IAC7B,IAAI,EAAE,CAAC,WAAmB,EAAE,EAAE,CAC5B,2CAA2C,WAAW,GAAG;IAC3D,UAAU,EAAE,CAAC,OAAe,EAAE,SAAiB,EAAE,EAAE,CACjD,iDAAiD,OAAO,KAAK,SAAS,GAAG;IAC3E,WAAW,EAAE,CAAC,WAAmB,EAAE,EAAE,CACnC,kDAAkD,WAAW,GAAG;IAElE,yBAAyB;IACzB,IAAI,EAAE,qCAAqC;IAC3C,MAAM,EAAE,CAAC,UAAkB,EAAE,EAAE,CAC7B,uCAAuC,UAAU,GAAG;IAEtD,iBAAiB;IACjB,aAAa,EAAE;QACb,aAAa,EAAE,sCAAsC;QACrD,KAAK,EAAE,CAAC,KAAa,EAAE,EAAE,CAAC,gCAAgC,KAAK,GAAG;KACnE;IAED,wBAAwB;IACxB,IAAI,EAAE,CAAC,QAAgB,EAAE,EAAE,CAAC,uBAAuB,QAAQ,GAAG;IAC9D,MAAM,EAAE,uBAAuB;IAC/B,QAAQ,EAAE,CAAC,QAAgB,EAAE,EAAE,CAAC,yBAAyB,QAAQ,GAAG;CAC5D,CAAC"}

package/dist/expression-emitter.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"expression-emitter.d.ts","sourceRoot":"","sources":["../src/expression-emitter.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EACL,YAAY,EACZ,MAAM,EAIP,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAuH5D;;;;;GAKG;AACH,eAAO,MAAM,cAAc,GACzB,MAAM,YAAY,EAClB,SAAS,cAAc,EACvB,eAAe,MAAM,KACpB,CAAC,cAAc,EAAE,cAAc,CA0EjC,CAAC;AAGF,OAAO,EACL,iBAAiB,EACjB,uBAAuB,GACxB,MAAM,8BAA8B,CAAC"}
+{"version":3,"file":"expression-emitter.d.ts","sourceRoot":"","sources":["../src/expression-emitter.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EACL,YAAY,EACZ,MAAM,EAKP,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAgW5D;;;;;GAKG;AACH,eAAO,MAAM,cAAc,GACzB,MAAM,YAAY,EAClB,SAAS,cAAc,EACvB,eAAe,MAAM,KACpB,CAAC,cAAc,EAAE,cAAc,CA6FjC,CAAC;AAGF,OAAO,EACL,iBAAiB,EACjB,uBAAuB,GACxB,MAAM,8BAA8B,CAAC"}

package/dist/expression-emitter.js

@@ -3,6 +3,7 @@
  * Main dispatcher - delegates to specialized modules
  */
 import { emitType } from "./type-emitter.js";
+import { substituteTypeArgs } from "./core/type-resolution.js";
 // Import expression emitters from specialized modules
 import { emitLiteral } from "./expressions/literals.js";
 import { emitIdentifier } from "./expressions/identifiers.js";
@@ -12,6 +13,133 @@ import { emitCall, emitNew } from "./expressions/calls.js";
 import { emitBinary, emitLogical, emitUnary, emitUpdate, emitAssignment, emitConditional, } from "./expressions/operators.js";
 import { emitFunctionExpression, emitArrowFunction, } from "./expressions/functions.js";
 import { emitTemplateLiteral, emitSpread, emitAwait, } from "./expressions/other.js";
+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 getUnconstrainedNullishTypeParamName = (type, context) => {
+    if (type.kind !== "unionType")
+        return undefined;
+    const nonNullTypes = type.types.filter((t) => !(t.kind === "primitiveType" &&
+        (t.name === "null" || t.name === "undefined")));
+    if (nonNullTypes.length !== 1)
+        return undefined;
+    const nonNull = nonNullTypes[0];
+    if (!nonNull)
+        return undefined;
+    const typeParamName = getBareTypeParameterName(nonNull, context);
+    if (!typeParamName)
+        return undefined;
+    const constraintKind = context.typeParamConstraints?.get(typeParamName) ?? "unconstrained";
+    return constraintKind === "unconstrained" ? typeParamName : undefined;
+};
+const maybeCastNullishTypeParam = (expr, fragment, context, expectedType) => {
+    if (!expectedType)
+        return [fragment, context];
+    if (!expr.inferredType)
+        return [fragment, context];
+    const expectedTypeParam = getBareTypeParameterName(expectedType, context);
+    if (!expectedTypeParam)
+        return [fragment, context];
+    const unionTypeParam = getUnconstrainedNullishTypeParamName(expr.inferredType, context);
+    if (!unionTypeParam)
+        return [fragment, context];
+    if (unionTypeParam !== expectedTypeParam)
+        return [fragment, context];
+    const [typeName, newContext] = emitType(expectedType, context);
+    return [{ text: `(${typeName})${fragment.text}` }, newContext];
+};
+const getNullableUnionBaseType = (type) => {
+    if (type.kind !== "unionType")
+        return undefined;
+    const nonNullTypes = type.types.filter((t) => !(t.kind === "primitiveType" &&
+        (t.name === "null" || t.name === "undefined")));
+    if (nonNullTypes.length !== 1)
+        return undefined;
+    return nonNullTypes[0];
+};
+const isNonNullableValueType = (type) => {
+    if (type.kind === "primitiveType") {
+        return (type.name === "number" ||
+            type.name === "int" ||
+            type.name === "boolean" ||
+            type.name === "char");
+    }
+    if (type.kind === "referenceType") {
+        // C# primitive aliases represented as reference types via @tsonic/core.
+        // Keep this list strict — we only unwrap when `.Value` exists.
+        return (type.name === "sbyte" ||
+            type.name === "short" ||
+            type.name === "int" ||
+            type.name === "long" ||
+            type.name === "nint" ||
+            type.name === "int128" ||
+            type.name === "byte" ||
+            type.name === "ushort" ||
+            type.name === "uint" ||
+            type.name === "ulong" ||
+            type.name === "nuint" ||
+            type.name === "uint128" ||
+            type.name === "half" ||
+            type.name === "float" ||
+            type.name === "double" ||
+            type.name === "decimal" ||
+            type.name === "bool" ||
+            type.name === "char");
+    }
+    return false;
+};
+const isSameTypeForNullableUnwrap = (base, expected) => {
+    if (base.kind !== expected.kind)
+        return false;
+    if (base.kind === "primitiveType" && expected.kind === "primitiveType") {
+        return base.name === expected.name;
+    }
+    if (base.kind === "referenceType" && expected.kind === "referenceType") {
+        // This unwrap is only for Nullable<T> value types, so keep matching strict.
+        return (base.name === expected.name &&
+            (base.typeArguments?.length ?? 0) === 0 &&
+            (expected.typeArguments?.length ?? 0) === 0);
+    }
+    return false;
+};
+const maybeUnwrapNullableValueType = (expr, fragment, context, expectedType) => {
+    if (!expectedType)
+        return [fragment, context];
+    if (!expr.inferredType)
+        return [fragment, context];
+    // Only unwrap direct nullable values. For composite expressions (e.g. `a ?? b`)
+    // C# nullish coalescing already produces a non-nullable result when the
+    // fallback is non-nullable, so adding `.Value` is incorrect.
+    if (expr.kind !== "identifier" && expr.kind !== "memberAccess") {
+        return [fragment, context];
+    }
+    // If a narrowing pass already rewrote this identifier (e.g., `id` → `id.Value`
+    // or `id` → `id__n`), don't apply a second Nullable<T> unwrap.
+    if (expr.kind === "identifier" &&
+        (context.narrowedBindings?.has(expr.name) ?? false)) {
+        return [fragment, context];
+    }
+    const nullableBase = getNullableUnionBaseType(expr.inferredType);
+    if (!nullableBase)
+        return [fragment, context];
+    // Only unwrap when the expected type is a non-nullable value type and
+    // the expression is a nullable union of that exact base type.
+    if (!isNonNullableValueType(expectedType))
+        return [fragment, context];
+    if (!isSameTypeForNullableUnwrap(nullableBase, expectedType)) {
+        return [fragment, context];
+    }
+    const needsParens = expr.kind !== "identifier" && expr.kind !== "memberAccess";
+    const inner = needsParens ? `(${fragment.text})` : fragment.text;
+    return [{ text: `${inner}.Value` }, context];
+};
 /**
  * Emit a numeric narrowing expression.
  *
@@ -33,22 +161,12 @@ const emitNumericNarrowing = (expr, context) => {
             );
             return [innerCode, newContext];
         }
-        // For binary/unary ops, variables, and parameters that already produce the
-        // target type, emit without expectedType to avoid redundant casts.
-        // The proof confirms the expression produces the correct type naturally.
-        if (expr.proof.source.type === "binaryOp" ||
-            expr.proof.source.type === "unaryOp" ||
-            expr.proof.source.type === "variable" ||
-            expr.proof.source.type === "parameter" ||
-            expr.proof.source.type === "narrowing") {
-            const [innerCode, newContext] = emitExpression(expr.expression, context
-            // No expectedType - the expression produces the target type naturally
-            );
-            return [innerCode, newContext];
-        }
-        // For dotnetReturn and other proof types, emit without forcing a cast
-        const [innerCode, newContext] = emitExpression(expr.expression, context);
-        return [innerCode, newContext];
+        // Numeric narrowings represent explicit user intent (`x as int`, `x as long`).
+        // Even when the conversion is proven sound, C# generic inference can become
+        // ambiguous without an explicit cast (e.g., choosing between `int` and `long`).
+        const [innerCode, ctx1] = emitExpression(expr.expression, context);
+        const [typeName, ctx2] = emitType(expr.inferredType, ctx1);
+        return [{ text: `(${typeName})${innerCode.text}` }, ctx2];
     }
     // HARD GATE: No proof means the proof pass failed to catch an unprovable narrowing.
     // This is an internal compiler error - the proof pass should have aborted compilation.
@@ -66,13 +184,55 @@ const emitNumericNarrowing = (expr, context) => {
  */
 const emitTypeAssertion = (expr, context) => {
     const [innerCode, ctx1] = emitExpression(expr.expression, context);
-    const [typeName, ctx2] = emitType(expr.targetType, ctx1);
+    const resolveRuntimeCastTarget = (target, ctx) => {
+        // 1) Resolve local type aliases for runtime casting.
+        //    TypeScript type aliases have no runtime representation in C#, except for
+        //    object-literal aliases which we synthesize as classes (`Foo__Alias`).
+        if (target.kind === "referenceType" && ctx.localTypes) {
+            const typeInfo = ctx.localTypes.get(target.name);
+            if (typeInfo?.kind === "typeAlias") {
+                if (typeInfo.type.kind !== "objectType") {
+                    const substituted = target.typeArguments && target.typeArguments.length > 0
+                        ? substituteTypeArgs(typeInfo.type, typeInfo.typeParameters, target.typeArguments)
+                        : typeInfo.type;
+                    return resolveRuntimeCastTarget(substituted, ctx);
+                }
+                // objectType aliases are emitted as `Name__Alias` by emitReferenceType
+                return target;
+            }
+        }
+        // 2) Erase tsbindgen extension-method wrapper types at runtime:
+        //    ExtensionMethods<TShape> is type-only; values are just TShape.
+        if (target.kind === "referenceType" && target.typeArguments?.length) {
+            const importBinding = ctx.importBindings?.get(target.name);
+            const clrName = importBinding?.kind === "type" ? importBinding.clrName : "";
+            if (clrName.endsWith(".ExtensionMethods")) {
+                const shape = target.typeArguments[0];
+                if (shape)
+                    return resolveRuntimeCastTarget(shape, ctx);
+            }
+        }
+        // 3) Intersection types have no C# cast target; cast to the first runtime-like constituent.
+        if (target.kind === "intersectionType") {
+            for (const part of target.types) {
+                const resolved = resolveRuntimeCastTarget(part, ctx);
+                if (resolved.kind !== "intersectionType" && resolved.kind !== "objectType") {
+                    return resolved;
+                }
+            }
+            const fallback = target.types[0];
+            return fallback ? resolveRuntimeCastTarget(fallback, ctx) : target;
+        }
+        return target;
+    };
+    const runtimeTarget = resolveRuntimeCastTarget(expr.targetType, ctx1);
+    const [typeName, ctx2] = emitType(runtimeTarget, ctx1);
     return [{ text: `(${typeName})${innerCode.text}` }, ctx2];
 };
 /**
- * Emit a tryCast expression.
+ * Emit a trycast expression.
  *
- * TypeScript `tryCast<T>(x)` becomes C# `x as T` (safe cast).
+ * TypeScript `trycast<T>(x)` becomes C# `x as T` (safe cast).
  * This returns null if the cast fails instead of throwing.
  */
 const emitTryCast = (expr, context) => {
@@ -80,6 +240,19 @@ const emitTryCast = (expr, context) => {
     const [typeName, ctx2] = emitType(expr.targetType, ctx1);
     return [{ text: `${innerCode.text} as ${typeName}` }, ctx2];
 };
+/**
+ * Emit a stackalloc expression.
+ *
+ * TypeScript `stackalloc<T>(n)` becomes C# `stackalloc T[n]`.
+ */
+const emitStackAlloc = (expr, context) => {
+    const [elementTypeName, ctx1] = emitType(expr.elementType, context);
+    const [sizeFrag, ctx2] = emitExpression(expr.size, ctx1, {
+        kind: "primitiveType",
+        name: "int",
+    });
+    return [{ text: `stackalloc ${elementTypeName}[${sizeFrag.text}]` }, ctx2];
+};
 /**
  * Emit a C# expression from an IR expression
  * @param expr The IR expression to emit
@@ -87,57 +260,62 @@ const emitTryCast = (expr, context) => {
  * @param expectedType Optional expected type for contextual typing (e.g., array element type inference)
  */
 export const emitExpression = (expr, context, expectedType) => {
-    switch (expr.kind) {
-        case "literal":
-            // Pass expectedType for null → default conversion in generic contexts
-            // Numeric literals use raw lexeme (no contextual widening under new spec)
-            return emitLiteral(expr, context, expectedType);
-        case "identifier":
-            return emitIdentifier(expr, context);
-        case "array":
-            return emitArray(expr, context, expectedType);
-        case "object":
-            return emitObject(expr, context, expectedType);
-        case "memberAccess":
-            return emitMemberAccess(expr, context);
-        case "call":
-            return emitCall(expr, context);
-        case "new":
-            return emitNew(expr, context);
-        case "binary":
-            return emitBinary(expr, context, expectedType);
-        case "logical":
-            return emitLogical(expr, context);
-        case "unary":
-            return emitUnary(expr, context, expectedType);
-        case "update":
-            return emitUpdate(expr, context);
-        case "assignment":
-            return emitAssignment(expr, context);
-        case "conditional":
-            return emitConditional(expr, context, expectedType);
-        case "functionExpression":
-            return emitFunctionExpression(expr, context);
-        case "arrowFunction":
-            return emitArrowFunction(expr, context);
-        case "templateLiteral":
-            return emitTemplateLiteral(expr, context);
-        case "spread":
-            return emitSpread(expr, context);
-        case "await":
-            return emitAwait(expr, context);
-        case "this":
-            return [{ text: "this" }, context];
-        case "numericNarrowing":
-            return emitNumericNarrowing(expr, context);
-        case "typeAssertion":
-            return emitTypeAssertion(expr, context);
-        case "tryCast":
-            return emitTryCast(expr, context);
-        default:
-            // Fallback for unhandled expressions
-            return [{ text: "/* TODO: unhandled expression */" }, context];
-    }
+    const [fragment, newContext] = (() => {
+        switch (expr.kind) {
+            case "literal":
+                // Pass expectedType for null → default conversion in generic contexts
+                // Numeric literals use raw lexeme (no contextual widening under new spec)
+                return emitLiteral(expr, context, expectedType);
+            case "identifier":
+                return emitIdentifier(expr, context);
+            case "array":
+                return emitArray(expr, context, expectedType);
+            case "object":
+                return emitObject(expr, context, expectedType);
+            case "memberAccess":
+                return emitMemberAccess(expr, context);
+            case "call":
+                return emitCall(expr, context);
+            case "new":
+                return emitNew(expr, context);
+            case "binary":
+                return emitBinary(expr, context, expectedType);
+            case "logical":
+                return emitLogical(expr, context);
+            case "unary":
+                return emitUnary(expr, context, expectedType);
+            case "update":
+                return emitUpdate(expr, context);
+            case "assignment":
+                return emitAssignment(expr, context);
+            case "conditional":
+                return emitConditional(expr, context, expectedType);
+            case "functionExpression":
+                return emitFunctionExpression(expr, context);
+            case "arrowFunction":
+                return emitArrowFunction(expr, context);
+            case "templateLiteral":
+                return emitTemplateLiteral(expr, context);
+            case "spread":
+                return emitSpread(expr, context);
+            case "await":
+                return emitAwait(expr, context);
+            case "this":
+                return [{ text: "this" }, context];
+            case "numericNarrowing":
+                return emitNumericNarrowing(expr, context);
+            case "typeAssertion":
+                return emitTypeAssertion(expr, context);
+            case "trycast":
+                return emitTryCast(expr, context);
+            case "stackalloc":
+                return emitStackAlloc(expr, context);
+            default:
+                throw new Error(`Unhandled IR expression kind: ${String(expr.kind)}`);
+        }
+    })();
+    const [castedFrag, castedContext] = maybeCastNullishTypeParam(expr, fragment, newContext, expectedType);
+    return maybeUnwrapNullableValueType(expr, castedFrag, castedContext, expectedType);
 };
 // Re-export commonly used functions for backward compatibility
 export { emitTypeArguments, generateSpecializedName, } from "./expressions/identifiers.js";

package/dist/expression-emitter.js.map

@@ -1 +1 @@
-{"version":3,"file":"expression-emitter.js","sourceRoot":"","sources":["../src/expression-emitter.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAUH,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAE7C,sDAAsD;AACtD,OAAO,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAC;AACxD,OAAO,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAC9D,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,8BAA8B,CAAC;AACrE,OAAO,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAC3D,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAC;AAC3D,OAAO,EACL,UAAU,EACV,WAAW,EACX,SAAS,EACT,UAAU,EACV,cAAc,EACd,eAAe,GAChB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,sBAAsB,EACtB,iBAAiB,GAClB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,mBAAmB,EACnB,UAAU,EACV,SAAS,GACV,MAAM,wBAAwB,CAAC;AAEhC;;;;;;;;;;GAUG;AACH,MAAM,oBAAoB,GAAG,CAC3B,IAAkC,EAClC,OAAuB,EACW,EAAE;IACpC,iFAAiF;IACjF,wDAAwD;IACxD,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QAC7B,wEAAwE;QACxE,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YACzC,MAAM,CAAC,SAAS,EAAE,UAAU,CAAC,GAAG,cAAc,CAC5C,IAAI,CAAC,UAAU,EACf,OAAO,EACP,IAAI,CAAC,YAAY,CAAC,8CAA8C;aACjE,CAAC;YACF,OAAO,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;QACjC,CAAC;QAED,2EAA2E;QAC3E,mEAAmE;QACnE,yEAAyE;QACzE,IACE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,KAAK,UAAU;YACrC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS;YACpC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,KAAK,UAAU;YACrC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,KAAK,WAAW;YACtC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,KAAK,WAAW,EACtC,CAAC;YACD,MAAM,CAAC,SAAS,EAAE,UAAU,CAAC,GAAG,cAAc,CAC5C,IAAI,CAAC,UAAU,EACf,OAAO;YACP,sEAAsE;aACvE,CAAC;YACF,OAAO,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;QACjC,CAAC;QAED,sEAAsE;QACtE,MAAM,CAAC,SAAS,EAAE,UAAU,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QACzE,OAAO,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;IACjC,CAAC;IAED,oFAAoF;IACpF,uFAAuF;IACvF,4EAA4E;IAC5E,MAAM,IAAI,KAAK,CACb,kEAAkE;QAChE,WAAW,IAAI,CAAC,UAAU,sBAAsB,IAAI,CAAC,UAAU,CAAC,IAAI,IAAI;QACxE,kEAAkE;QAClE,+CAA+C,CAClD,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,iBAAiB,GAAG,CACxB,IAA+B,EAC/B,OAAuB,EACW,EAAE;IACpC,MAAM,CAAC,SAAS,EAAE,IAAI,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IACnE,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;IACzD,OAAO,CAAC,EAAE,IAAI,EAAE,IAAI,QAAQ,IAAI,SAAS,CAAC,IAAI,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC;AAC5D,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,WAAW,GAAG,CAClB,IAAyB,EACzB,OAAuB,EACW,EAAE;IACpC,MAAM,CAAC,SAAS,EAAE,IAAI,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IACnE,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;IACzD,OAAO,CAAC,EAAE,IAAI,EAAE,GAAG,SAAS,CAAC,IAAI,OAAO,QAAQ,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC;AAC9D,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,IAAkB,EAClB,OAAuB,EACvB,YAAqB,EACa,EAAE;IACpC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,SAAS;YACZ,sEAAsE;YACtE,0EAA0E;YAC1E,OAAO,WAAW,CAAC,IAAI,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC;QAElD,KAAK,YAAY;YACf,OAAO,cAAc,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAEvC,KAAK,OAAO;YACV,OAAO,SAAS,CAAC,IAAI,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC;QAEhD,KAAK,QAAQ;YACX,OAAO,UAAU,CAAC,IAAI,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC;QAEjD,KAAK,cAAc;YACjB,OAAO,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAEzC,KAAK,MAAM;YACT,OAAO,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAEjC,KAAK,KAAK;YACR,OAAO,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAEhC,KAAK,QAAQ;YACX,OAAO,UAAU,CAAC,IAAI,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC;QAEjD,KAAK,SAAS;YACZ,OAAO,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAEpC,KAAK,OAAO;YACV,OAAO,SAAS,CAAC,IAAI,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC;QAEhD,KAAK,QAAQ;YACX,OAAO,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAEnC,KAAK,YAAY;YACf,OAAO,cAAc,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAEvC,KAAK,aAAa;YAChB,OAAO,eAAe,CAAC,IAAI,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC;QAEtD,KAAK,oBAAoB;YACvB,OAAO,sBAAsB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAE/C,KAAK,eAAe;YAClB,OAAO,iBAAiB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAE1C,KAAK,iBAAiB;YACpB,OAAO,mBAAmB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAE5C,KAAK,QAAQ;YACX,OAAO,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAEnC,KAAK,OAAO;YACV,OAAO,SAAS,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAElC,KAAK,MAAM;YACT,OAAO,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,OAAO,CAAC,CAAC;QAErC,KAAK,kBAAkB;YACrB,OAAO,oBAAoB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAE7C,KAAK,eAAe;YAClB,OAAO,iBAAiB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAE1C,KAAK,SAAS;YACZ,OAAO,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAEpC;YACE,qCAAqC;YACrC,OAAO,CAAC,EAAE,IAAI,EAAE,kCAAkC,EAAE,EAAE,OAAO,CAAC,CAAC;IACnE,CAAC;AACH,CAAC,CAAC;AAEF,+DAA+D;AAC/D,OAAO,EACL,iBAAiB,EACjB,uBAAuB,GACxB,MAAM,8BAA8B,CAAC"}
+{"version":3,"file":"expression-emitter.js","sourceRoot":"","sources":["../src/expression-emitter.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAWH,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAC7C,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAE/D,sDAAsD;AACtD,OAAO,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAC;AACxD,OAAO,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAC9D,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,8BAA8B,CAAC;AACrE,OAAO,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAC3D,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAC;AAC3D,OAAO,EACL,UAAU,EACV,WAAW,EACX,SAAS,EACT,UAAU,EACV,cAAc,EACd,eAAe,GAChB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,sBAAsB,EACtB,iBAAiB,GAClB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,mBAAmB,EACnB,UAAU,EACV,SAAS,GACV,MAAM,wBAAwB,CAAC;AAEhC,MAAM,wBAAwB,GAAG,CAC/B,IAAY,EACZ,OAAuB,EACH,EAAE;IACtB,IAAI,IAAI,CAAC,IAAI,KAAK,mBAAmB;QAAE,OAAO,IAAI,CAAC,IAAI,CAAC;IACxD,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;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,oCAAoC,GAAG,CAC3C,IAAY,EACZ,OAAuB,EACH,EAAE;IACtB,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,SAAS,CAAC;IAEhD,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CACpC,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,YAAY,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAEhD,MAAM,OAAO,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;IAChC,IAAI,CAAC,OAAO;QAAE,OAAO,SAAS,CAAC;IAE/B,MAAM,aAAa,GAAG,wBAAwB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IACjE,IAAI,CAAC,aAAa;QAAE,OAAO,SAAS,CAAC;IAErC,MAAM,cAAc,GAClB,OAAO,CAAC,oBAAoB,EAAE,GAAG,CAAC,aAAa,CAAC,IAAI,eAAe,CAAC;IACtE,OAAO,cAAc,KAAK,eAAe,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC;AACxE,CAAC,CAAC;AAEF,MAAM,yBAAyB,GAAG,CAChC,IAAkB,EAClB,QAAwB,EACxB,OAAuB,EACvB,YAAgC,EACE,EAAE;IACpC,IAAI,CAAC,YAAY;QAAE,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC9C,IAAI,CAAC,IAAI,CAAC,YAAY;QAAE,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAEnD,MAAM,iBAAiB,GAAG,wBAAwB,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;IAC1E,IAAI,CAAC,iBAAiB;QAAE,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAEnD,MAAM,cAAc,GAAG,oCAAoC,CACzD,IAAI,CAAC,YAAY,EACjB,OAAO,CACR,CAAC;IACF,IAAI,CAAC,cAAc;QAAE,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAChD,IAAI,cAAc,KAAK,iBAAiB;QAAE,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAErE,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,GAAG,QAAQ,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;IAC/D,OAAO,CAAC,EAAE,IAAI,EAAE,IAAI,QAAQ,IAAI,QAAQ,CAAC,IAAI,EAAE,EAAE,EAAE,UAAU,CAAC,CAAC;AACjE,CAAC,CAAC;AAEF,MAAM,wBAAwB,GAAG,CAAC,IAAY,EAAsB,EAAE;IACpE,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,SAAS,CAAC;IAEhD,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CACpC,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,YAAY,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAChD,OAAO,YAAY,CAAC,CAAC,CAAC,CAAC;AACzB,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAAC,IAAY,EAAW,EAAE;IACvD,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,OAAO,CACL,IAAI,CAAC,IAAI,KAAK,QAAQ;YACtB,IAAI,CAAC,IAAI,KAAK,KAAK;YACnB,IAAI,CAAC,IAAI,KAAK,SAAS;YACvB,IAAI,CAAC,IAAI,KAAK,MAAM,CACrB,CAAC;IACJ,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,wEAAwE;QACxE,+DAA+D;QAC/D,OAAO,CACL,IAAI,CAAC,IAAI,KAAK,OAAO;YACrB,IAAI,CAAC,IAAI,KAAK,OAAO;YACrB,IAAI,CAAC,IAAI,KAAK,KAAK;YACnB,IAAI,CAAC,IAAI,KAAK,MAAM;YACpB,IAAI,CAAC,IAAI,KAAK,MAAM;YACpB,IAAI,CAAC,IAAI,KAAK,QAAQ;YACtB,IAAI,CAAC,IAAI,KAAK,MAAM;YACpB,IAAI,CAAC,IAAI,KAAK,QAAQ;YACtB,IAAI,CAAC,IAAI,KAAK,MAAM;YACpB,IAAI,CAAC,IAAI,KAAK,OAAO;YACrB,IAAI,CAAC,IAAI,KAAK,OAAO;YACrB,IAAI,CAAC,IAAI,KAAK,SAAS;YACvB,IAAI,CAAC,IAAI,KAAK,MAAM;YACpB,IAAI,CAAC,IAAI,KAAK,OAAO;YACrB,IAAI,CAAC,IAAI,KAAK,QAAQ;YACtB,IAAI,CAAC,IAAI,KAAK,SAAS;YACvB,IAAI,CAAC,IAAI,KAAK,MAAM;YACpB,IAAI,CAAC,IAAI,KAAK,MAAM,CACrB,CAAC;IACJ,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,2BAA2B,GAAG,CAAC,IAAY,EAAE,QAAgB,EAAW,EAAE;IAC9E,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IAE9C,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACvE,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,CAAC;IACrC,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACvE,4EAA4E;QAC5E,OAAO,CACL,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI;YAC3B,CAAC,IAAI,CAAC,aAAa,EAAE,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC;YACvC,CAAC,QAAQ,CAAC,aAAa,EAAE,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC,CAC5C,CAAC;IACJ,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,4BAA4B,GAAG,CACnC,IAAkB,EAClB,QAAwB,EACxB,OAAuB,EACvB,YAAgC,EACE,EAAE;IACpC,IAAI,CAAC,YAAY;QAAE,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC9C,IAAI,CAAC,IAAI,CAAC,YAAY;QAAE,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAEnD,gFAAgF;IAChF,wEAAwE;IACxE,6DAA6D;IAC7D,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;QAC/D,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC7B,CAAC;IAED,+EAA+E;IAC/E,+DAA+D;IAC/D,IACE,IAAI,CAAC,IAAI,KAAK,YAAY;QAC1B,CAAC,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,EACnD,CAAC;QACD,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC7B,CAAC;IAED,MAAM,YAAY,GAAG,wBAAwB,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IACjE,IAAI,CAAC,YAAY;QAAE,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAE9C,sEAAsE;IACtE,8DAA8D;IAC9D,IAAI,CAAC,sBAAsB,CAAC,YAAY,CAAC;QAAE,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IACtE,IAAI,CAAC,2BAA2B,CAAC,YAAY,EAAE,YAAY,CAAC,EAAE,CAAC;QAC7D,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC7B,CAAC;IAED,MAAM,WAAW,GACf,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc,CAAC;IAC7D,MAAM,KAAK,GAAG,WAAW,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC;IACjE,OAAO,CAAC,EAAE,IAAI,EAAE,GAAG,KAAK,QAAQ,EAAE,EAAE,OAAO,CAAC,CAAC;AAC/C,CAAC,CAAC;AAEF;;;;;;;;;;GAUG;AACH,MAAM,oBAAoB,GAAG,CAC3B,IAAkC,EAClC,OAAuB,EACW,EAAE;IACpC,iFAAiF;IACjF,wDAAwD;IACxD,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QAC7B,wEAAwE;QACxE,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YACzC,MAAM,CAAC,SAAS,EAAE,UAAU,CAAC,GAAG,cAAc,CAC5C,IAAI,CAAC,UAAU,EACf,OAAO,EACP,IAAI,CAAC,YAAY,CAAC,8CAA8C;aACjE,CAAC;YACF,OAAO,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;QACjC,CAAC;QAED,+EAA+E;QAC/E,4EAA4E;QAC5E,gFAAgF;QAChF,MAAM,CAAC,SAAS,EAAE,IAAI,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QACnE,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;QAC3D,OAAO,CAAC,EAAE,IAAI,EAAE,IAAI,QAAQ,IAAI,SAAS,CAAC,IAAI,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC;IAC5D,CAAC;IAED,oFAAoF;IACpF,uFAAuF;IACvF,4EAA4E;IAC5E,MAAM,IAAI,KAAK,CACb,kEAAkE;QAChE,WAAW,IAAI,CAAC,UAAU,sBAAsB,IAAI,CAAC,UAAU,CAAC,IAAI,IAAI;QACxE,kEAAkE;QAClE,+CAA+C,CAClD,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,iBAAiB,GAAG,CACxB,IAA+B,EAC/B,OAAuB,EACW,EAAE;IACpC,MAAM,CAAC,SAAS,EAAE,IAAI,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAEnE,MAAM,wBAAwB,GAAG,CAC/B,MAAc,EACd,GAAmB,EACX,EAAE;QACV,qDAAqD;QACrD,8EAA8E;QAC9E,2EAA2E;QAC3E,IAAI,MAAM,CAAC,IAAI,KAAK,eAAe,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC;YACtD,MAAM,QAAQ,GAAG,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YACjD,IAAI,QAAQ,EAAE,IAAI,KAAK,WAAW,EAAE,CAAC;gBACnC,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;oBACxC,MAAM,WAAW,GACf,MAAM,CAAC,aAAa,IAAI,MAAM,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC;wBACrD,CAAC,CAAC,kBAAkB,CAChB,QAAQ,CAAC,IAAI,EACb,QAAQ,CAAC,cAAc,EACvB,MAAM,CAAC,aAAa,CACrB;wBACH,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC;oBACpB,OAAO,wBAAwB,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;gBACpD,CAAC;gBACD,uEAAuE;gBACvE,OAAO,MAAM,CAAC;YAChB,CAAC;QACH,CAAC;QAED,gEAAgE;QAChE,oEAAoE;QACpE,IAAI,MAAM,CAAC,IAAI,KAAK,eAAe,IAAI,MAAM,CAAC,aAAa,EAAE,MAAM,EAAE,CAAC;YACpE,MAAM,aAAa,GAAG,GAAG,CAAC,cAAc,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YAC3D,MAAM,OAAO,GAAG,aAAa,EAAE,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;YAC5E,IAAI,OAAO,CAAC,QAAQ,CAAC,mBAAmB,CAAC,EAAE,CAAC;gBAC1C,MAAM,KAAK,GAAG,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;gBACtC,IAAI,KAAK;oBAAE,OAAO,wBAAwB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YACzD,CAAC;QACH,CAAC;QAED,4FAA4F;QAC5F,IAAI,MAAM,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;YACvC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;gBAChC,MAAM,QAAQ,GAAG,wBAAwB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;gBACrD,IAAI,QAAQ,CAAC,IAAI,KAAK,kBAAkB,IAAI,QAAQ,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;oBAC3E,OAAO,QAAQ,CAAC;gBAClB,CAAC;YACH,CAAC;YACD,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YACjC,OAAO,QAAQ,CAAC,CAAC,CAAC,wBAAwB,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;QACrE,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC;IAEF,MAAM,aAAa,GAAG,wBAAwB,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;IACtE,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,GAAG,QAAQ,CAAC,aAAa,EAAE,IAAI,CAAC,CAAC;IACvD,OAAO,CAAC,EAAE,IAAI,EAAE,IAAI,QAAQ,IAAI,SAAS,CAAC,IAAI,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC;AAC5D,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,WAAW,GAAG,CAClB,IAAyB,EACzB,OAAuB,EACW,EAAE;IACpC,MAAM,CAAC,SAAS,EAAE,IAAI,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IACnE,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;IACzD,OAAO,CAAC,EAAE,IAAI,EAAE,GAAG,SAAS,CAAC,IAAI,OAAO,QAAQ,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC;AAC9D,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,cAAc,GAAG,CACrB,IAA4B,EAC5B,OAAuB,EACW,EAAE;IACpC,MAAM,CAAC,eAAe,EAAE,IAAI,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IACpE,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE;QACvD,IAAI,EAAE,eAAe;QACrB,IAAI,EAAE,KAAK;KACZ,CAAC,CAAC;IACH,OAAO,CAAC,EAAE,IAAI,EAAE,cAAc,eAAe,IAAI,QAAQ,CAAC,IAAI,GAAG,EAAE,EAAE,IAAI,CAAC,CAAC;AAC7E,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,IAAkB,EAClB,OAAuB,EACvB,YAAqB,EACa,EAAE;IACpC,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE;QACnC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YACpB,KAAK,SAAS;gBACZ,sEAAsE;gBACtE,0EAA0E;gBAC1E,OAAO,WAAW,CAAC,IAAI,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC;YAElD,KAAK,YAAY;gBACf,OAAO,cAAc,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YAEvC,KAAK,OAAO;gBACV,OAAO,SAAS,CAAC,IAAI,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC;YAEhD,KAAK,QAAQ;gBACX,OAAO,UAAU,CAAC,IAAI,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC;YAEjD,KAAK,cAAc;gBACjB,OAAO,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YAEzC,KAAK,MAAM;gBACT,OAAO,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YAEjC,KAAK,KAAK;gBACR,OAAO,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YAEhC,KAAK,QAAQ;gBACX,OAAO,UAAU,CAAC,IAAI,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC;YAEjD,KAAK,SAAS;gBACZ,OAAO,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YAEpC,KAAK,OAAO;gBACV,OAAO,SAAS,CAAC,IAAI,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC;YAEhD,KAAK,QAAQ;gBACX,OAAO,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YAEnC,KAAK,YAAY;gBACf,OAAO,cAAc,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YAEvC,KAAK,aAAa;gBAChB,OAAO,eAAe,CAAC,IAAI,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC;YAEtD,KAAK,oBAAoB;gBACvB,OAAO,sBAAsB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YAE/C,KAAK,eAAe;gBAClB,OAAO,iBAAiB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YAE1C,KAAK,iBAAiB;gBACpB,OAAO,mBAAmB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YAE5C,KAAK,QAAQ;gBACX,OAAO,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YAEnC,KAAK,OAAO;gBACV,OAAO,SAAS,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YAElC,KAAK,MAAM;gBACT,OAAO,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,OAAO,CAAC,CAAC;YAErC,KAAK,kBAAkB;gBACrB,OAAO,oBAAoB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YAE7C,KAAK,eAAe;gBAClB,OAAO,iBAAiB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YAE1C,KAAK,SAAS;gBACZ,OAAO,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YAEpC,KAAK,YAAY;gBACf,OAAO,cAAc,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YAEvC;gBACE,MAAM,IAAI,KAAK,CACb,iCAAiC,MAAM,CAAE,IAA2B,CAAC,IAAI,CAAC,EAAE,CAC7E,CAAC;QACJ,CAAC;IACH,CAAC,CAAC,EAAE,CAAC;IAEL,MAAM,CAAC,UAAU,EAAE,aAAa,CAAC,GAAG,yBAAyB,CAC3D,IAAI,EACJ,QAAQ,EACR,UAAU,EACV,YAAY,CACb,CAAC;IACF,OAAO,4BAA4B,CACjC,IAAI,EACJ,UAAU,EACV,aAAa,EACb,YAAY,CACb,CAAC;AACJ,CAAC,CAAC;AAEF,+DAA+D;AAC/D,OAAO,EACL,iBAAiB,EACjB,uBAAuB,GACxB,MAAM,8BAA8B,CAAC"}

package/dist/expressions/access.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"access.d.ts","sourceRoot":"","sources":["../../src/expressions/access.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAChD,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAmG7D;;GAEG;AACH,eAAO,MAAM,gBAAgB,GAC3B,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,cAAc,CAAA;CAAE,CAAC,EACrD,SAAS,cAAc,KACtB,CAAC,cAAc,EAAE,cAAc,CAiMjC,CAAC"}
+{"version":3,"file":"access.d.ts","sourceRoot":"","sources":["../../src/expressions/access.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,YAAY,EAAe,MAAM,kBAAkB,CAAC;AAC7D,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAkH7D;;GAEG;AACH,eAAO,MAAM,gBAAgB,GAC3B,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,cAAc,CAAA;CAAE,CAAC,EACrD,SAAS,cAAc,KACtB,CAAC,cAAc,EAAE,cAAc,CAkLjC,CAAC"}

package/dist/expressions/access.js

@@ -4,6 +4,7 @@
 import { emitExpression } from "../expression-emitter.js";
 import { isExplicitViewProperty, extractInterfaceNameFromView, } from "@tsonic/frontend/types/explicit-views.js";
 import { escapeCSharpIdentifier } from "../emitter-types/index.js";
+import { emitType } from "../type-emitter.js";
 import { resolveTypeAlias, stripNullish, getAllPropertySignatures, } from "../core/type-resolution.js";
 // ============================================================================
 // CONTRACT: Emitter ONLY consumes proof markers.
@@ -42,7 +43,19 @@ const hasInt32Proof = (expr) => {
  * Check if an expression represents a static type reference (not an instance)
  * Static type references are: namespace.Type or direct Type identifiers that resolve to types
  */
-const isStaticTypeReference = (expr) => {
+const isStaticTypeReference = (expr, context) => {
+    // Imported CLR types/modules are always static receivers in emitted C#.
+    // This is true even when the frontend did not attach an inferredType for the identifier.
+    if (expr.object.kind === "identifier") {
+        const importBinding = context.importBindings?.get(expr.object.name);
+        if (importBinding)
+            return true;
+        // If this isn't an import and we don't have a receiver type, default to instance.
+        // This prevents CLR-bound instance property accesses (e.g. `x.expression`) from
+        // incorrectly becoming `Type.Expression`.
+        if (!expr.object.inferredType)
+            return false;
+    }
     // If the object is an identifier that's a type name (e.g., Console, Enumerable)
     // we need to check if the member binding's type matches what would be
     // accessed statically. For instance access, the object would be a variable.
@@ -69,6 +82,7 @@ const isStaticTypeReference = (expr) => {
     if (objectType?.kind === "referenceType" ||
         objectType?.kind === "arrayType" ||
         objectType?.kind === "intersectionType" ||
+        objectType?.kind === "unionType" ||
         objectType?.kind === "primitiveType" ||
         objectType?.kind === "literalType") {
         return false;
@@ -84,7 +98,7 @@ export const emitMemberAccess = (expr, context) => {
     if (expr.memberBinding) {
         const { type, member } = expr.memberBinding;
         // Determine if this is a static or instance member access
-        if (isStaticTypeReference(expr)) {
+        if (isStaticTypeReference(expr, context)) {
             // Static access: emit full CLR type and member with global:: prefix
             const text = `global::${type}.${member}`;
             return [{ text }, context];
@@ -98,28 +112,16 @@ export const emitMemberAccess = (expr, context) => {
         }
     }
     const [objectFrag, newContext] = emitExpression(expr.object, context);
-    // Default runtime to "js" when not specified
-    const runtime = context.options.runtime ?? "js";
     if (expr.isComputed) {
         // Check if this is array index access
         const objectType = expr.object.inferredType;
         const isArrayType = objectType?.kind === "arrayType";
-        // In JS mode, use Tsonic.JSRuntime.Array.get() for JS semantics (auto-grow, sparse arrays)
-        // In dotnet mode, use native CLR indexer (no JSRuntime exists)
-        if (isArrayType && runtime === "js") {
-            const indexContext = { ...newContext, isArrayIndex: true };
-            const [propFrag, contextWithIndex] = emitExpression(expr.property, indexContext);
-            const finalContext = { ...contextWithIndex, isArrayIndex: false };
-            const text = `global::Tsonic.JSRuntime.Array.get(${objectFrag.text}, ${propFrag.text})`;
-            return [{ text }, finalContext];
-        }
-        // In dotnet mode, arrays use native List<T> indexer
+        // TypeScript array access - unified for both js and dotnet modes
         // HARD GATE: Index must be proven Int32 (validated by proof pass)
-        if (isArrayType && runtime === "dotnet") {
+        if (isArrayType) {
             const indexContext = { ...newContext, isArrayIndex: true };
             const [propFrag, contextWithIndex] = emitExpression(expr.property, indexContext);
             const finalContext = { ...contextWithIndex, isArrayIndex: false };
-            const accessor = expr.isOptional ? "?[" : "[";
             const indexExpr = expr.property;
             if (!hasInt32Proof(indexExpr)) {
                 // ICE: Unproven index should have been caught by proof pass (TSN5107)
@@ -127,7 +129,8 @@ export const emitMemberAccess = (expr, context) => {
                     `Expression '${propFrag.text}' has no Int32 proof. ` +
                     `This should have been caught by the numeric proof pass (TSN5107).`);
             }
-            const text = `${objectFrag.text}${accessor}${propFrag.text}]`;
+            // Use native CLR indexer
+            const text = `${objectFrag.text}${expr.isOptional ? "?[" : "["}${propFrag.text}]`;
             return [{ text }, finalContext];
         }
         // CLR indexer access (non-TS-array types like List<T>, string, Dictionary, etc.)
@@ -191,30 +194,23 @@ export const emitMemberAccess = (expr, context) => {
             }
         }
     }
-    // In JS runtime mode, rewrite array.length → global::Tsonic.JSRuntime.Array.length(array)
-    // In dotnet mode, C# arrays use .Length (capital L)
+    // Array.length → .Length (C# arrays use .Length property)
     if (isArrayType && prop === "length") {
-        if (runtime === "js") {
-            const text = `global::Tsonic.JSRuntime.Array.length(${objectFrag.text})`;
-            return [{ text }, newContext];
-        }
-        else {
-            // dotnet mode: C# arrays have .Length property
-            const text = `${objectFrag.text}.Length`;
-            return [{ text }, newContext];
-        }
+        const text = `${objectFrag.text}.Length`;
+        return [{ text }, newContext];
     }
     // Check if this is a string type
     const isStringType = objectType?.kind === "primitiveType" && objectType.name === "string";
-    // In JS runtime mode, rewrite string.length → global::Tsonic.JSRuntime.String.length(string)
-    // In dotnet mode, C# strings use .Length (capital L)
+    // String.length → .Length (C# strings use .Length property)
     if (isStringType && prop === "length") {
-        if (runtime === "js") {
-            const text = `global::Tsonic.JSRuntime.String.length(${objectFrag.text})`;
-            return [{ text }, newContext];
-        }
-        else {
-            // dotnet mode: C# strings have .Length property
+        const text = `${objectFrag.text}.Length`;
+        return [{ text }, newContext];
+    }
+    // Span<T>.length → .Length (C# Span<T> uses .Length)
+    if (prop === "length" && objectType) {
+        const resolved = resolveTypeAlias(stripNullish(objectType), context);
+        if (resolved.kind === "referenceType" &&
+            (resolved.name === "Span" || resolved.resolvedClrType?.endsWith("System.Span"))) {
             const text = `${objectFrag.text}.Length`;
             return [{ text }, newContext];
         }
@@ -224,10 +220,10 @@ export const emitMemberAccess = (expr, context) => {
         const interfaceName = extractInterfaceNameFromView(prop);
         if (interfaceName) {
             // Emit as C# interface cast: ((IInterface)obj)
-            // TODO: Need to look up full interface name from metadata
-            // For now, use the extracted short name
-            const text = `((${interfaceName})${objectFrag.text})`;
-            return [{ text }, newContext];
+            const interfaceType = { kind: "referenceType", name: interfaceName };
+            const [interfaceTypeStr, ctxAfterType] = emitType(interfaceType, newContext);
+            const text = `((${interfaceTypeStr})${objectFrag.text})`;
+            return [{ text }, ctxAfterType];
         }
     }
     // Regular property access