@tsonic/emitter 0.0.74 → 0.0.75

package/dist/expressions/lambda-parameters.js

@@ -0,0 +1,279 @@
+/**
+ * Lambda parameter emission and lowering.
+ *
+ * Extracted from functions.ts — contains parameter type resolution,
+ * typed parameter AST emission, default-value lowering, and destructuring
+ * prelude generation for lambda expressions.
+ */
+import { emitExpressionAst } from "../expression-emitter.js";
+import { emitTypeAst } from "../type-emitter.js";
+import { escapeCSharpIdentifier } from "../emitter-types/index.js";
+import { lowerPatternAst } from "../patterns.js";
+import { decimalIntegerLiteral } from "../core/format/backend-ast/builders.js";
+import { resolveTypeAlias, stripNullish, getArrayLikeElementType, } from "../core/semantic/type-resolution.js";
+import { unwrapParameterModifierType } from "../core/semantic/parameter-modifier-types.js";
+import { registerParameterTypes } from "../core/semantic/symbol-types.js";
+export const seedLocalNameMapFromParameters = (params, context) => {
+    const map = new Map(context.localNameMap ?? []);
+    let currentContext = context;
+    const used = new Set(context.usedLocalNames ?? []);
+    for (const p of params) {
+        if (!p.bindsDirectly)
+            continue;
+        if (!p.parameter || p.parameter.pattern.kind !== "identifierPattern")
+            continue;
+        map.set(p.parameter.pattern.name, p.emittedName);
+        used.add(p.emittedName);
+        currentContext = registerParameterTypes(p.parameter.pattern.name, p.resolvedType ?? p.parameter.type, (p.parameter.isOptional || p.parameter.initializer !== undefined) &&
+            !p.parameter.isRest, currentContext);
+    }
+    return {
+        ...currentContext,
+        localNameMap: map,
+        usedLocalNames: used,
+    };
+};
+export const resolveContextualFunctionType = (expr, expectedType, context) => {
+    if (expectedType) {
+        const resolvedExpected = resolveTypeAlias(stripNullish(expectedType), context);
+        if (resolvedExpected.kind === "functionType") {
+            return resolvedExpected;
+        }
+    }
+    if (expr.inferredType?.kind === "functionType") {
+        return expr.inferredType;
+    }
+    return undefined;
+};
+const isTypeParameterLike = (type, context) => {
+    if (type.kind === "typeParameterType")
+        return true;
+    if (type.kind === "referenceType" &&
+        (context.typeParameters?.has(type.name) ?? false) &&
+        (!type.typeArguments || type.typeArguments.length === 0)) {
+        return true;
+    }
+    return false;
+};
+const isConcreteLambdaParamType = (type, context) => {
+    if (type.kind === "unknownType" || type.kind === "anyType")
+        return false;
+    return !isTypeParameterLike(type, context);
+};
+const wrapOptionalLambdaParameterTypeAst = (typeAst, isOptional) => isOptional && typeAst.kind !== "nullableType"
+    ? { kind: "nullableType", underlyingType: typeAst }
+    : typeAst;
+/**
+ * Emit lambda parameters as typed AST nodes.
+ */
+export const emitLambdaParametersAst = (parameters, context, contextualFunctionType) => {
+    let currentContext = context;
+    const contextualParameters = contextualFunctionType?.parameters ?? [];
+    const contextualRestIndex = contextualParameters.findIndex((parameter) => parameter?.isRest);
+    const contextualRestParameter = contextualRestIndex >= 0
+        ? (contextualParameters[contextualRestIndex] ?? undefined)
+        : undefined;
+    const plannedParameters = [];
+    let restCarrierName;
+    const ensureRestCarrierName = () => {
+        if (restCarrierName !== undefined)
+            return restCarrierName;
+        const baseName = contextualRestParameter?.pattern.kind === "identifierPattern"
+            ? `__unused_${escapeCSharpIdentifier(contextualRestParameter.pattern.name)}`
+            : "__unused_rest";
+        restCarrierName = baseName;
+        return restCarrierName;
+    };
+    const buildRestCarrierExpression = (index) => {
+        const carrierName = restCarrierName ?? ensureRestCarrierName();
+        if (contextualRestIndex < 0 || index < contextualRestIndex) {
+            return undefined;
+        }
+        if (parameters[index]?.isRest) {
+            return {
+                kind: "identifierExpression",
+                identifier: carrierName,
+            };
+        }
+        return {
+            kind: "elementAccessExpression",
+            expression: {
+                kind: "identifierExpression",
+                identifier: carrierName,
+            },
+            arguments: [decimalIntegerLiteral(index - contextualRestIndex)],
+        };
+    };
+    const pushPlannedParameter = (planned) => {
+        plannedParameters.push(planned);
+    };
+    const synthesizeRestCarrierParameter = () => {
+        if (!contextualRestParameter)
+            return;
+        const carrierName = ensureRestCarrierName();
+        if (plannedParameters.some((planned) => planned.emitInParameterList && planned.emittedName === carrierName)) {
+            return;
+        }
+        pushPlannedParameter({
+            emittedName: carrierName,
+            bindsDirectly: false,
+            emitInParameterList: true,
+            type: contextualRestParameter.type,
+            isOptional: contextualRestParameter.isOptional ||
+                contextualRestParameter.initializer !== undefined,
+        });
+    };
+    const shouldLowerFromContextualRest = (parameter, index) => {
+        if (contextualRestParameter === undefined || index < contextualRestIndex) {
+            return false;
+        }
+        return !(parameter.isRest &&
+            index === contextualRestIndex &&
+            parameters.length === contextualRestIndex + 1);
+    };
+    for (let index = 0; index < parameters.length; index++) {
+        const param = parameters[index];
+        if (!param)
+            continue;
+        const contextualParam = contextualParameters[index];
+        const effectiveParameterType = param.type === undefined && contextualParam?.type !== undefined
+            ? contextualParam.type
+            : param.type?.kind === "functionType" &&
+                contextualParam?.type?.kind === "functionType"
+                ? contextualParam.type
+                : param.type;
+        if (shouldLowerFromContextualRest(param, index)) {
+            synthesizeRestCarrierParameter();
+            pushPlannedParameter({
+                parameter: param,
+                emittedName: `__rest_binding_${index}`,
+                bindsDirectly: false,
+                emitInParameterList: false,
+                isOptional: param.isOptional || param.initializer !== undefined,
+                bindingSourceExpression: buildRestCarrierExpression(index),
+                type: param.isRest && index === contextualRestIndex
+                    ? (contextualRestParameter?.type ?? param.type)
+                    : (getArrayLikeElementType(contextualRestParameter?.type, currentContext) ?? undefined),
+            });
+            continue;
+        }
+        const bindsDirectly = param.pattern.kind === "identifierPattern" &&
+            param.initializer === undefined;
+        const name = bindsDirectly
+            ? escapeCSharpIdentifier(param.pattern.name)
+            : `__param${index}`;
+        const modifier = param.passing !== "value" ? param.passing : undefined;
+        pushPlannedParameter({
+            parameter: param,
+            emittedName: name,
+            bindsDirectly,
+            emitInParameterList: true,
+            type: effectiveParameterType,
+            isOptional: param.isOptional || param.initializer !== undefined,
+            modifier,
+        });
+    }
+    for (let index = parameters.length; index < contextualParameters.length; index += 1) {
+        const contextualParam = contextualParameters[index];
+        if (!contextualParam)
+            continue;
+        if (contextualParam.isRest) {
+            synthesizeRestCarrierParameter();
+            continue;
+        }
+        const contextualIndex = index;
+        const name = contextualParam.pattern.kind === "identifierPattern"
+            ? `__unused_${escapeCSharpIdentifier(contextualParam.pattern.name)}`
+            : `__unused${contextualIndex}`;
+        pushPlannedParameter({
+            emittedName: name,
+            bindsDirectly: false,
+            emitInParameterList: true,
+            type: contextualParam.type,
+            isOptional: contextualParam.isOptional || contextualParam.initializer !== undefined,
+        });
+    }
+    const allHaveConcreteTypes = plannedParameters
+        .filter((planned) => planned.emitInParameterList)
+        .every((planned) => {
+        if (!planned.type)
+            return false;
+        const unwrapped = unwrapParameterModifierType(planned.type);
+        const actualType = unwrapped ?? planned.type;
+        return isConcreteLambdaParamType(actualType, currentContext);
+    });
+    const emittedParameters = [];
+    for (const planned of plannedParameters) {
+        if (!planned.emitInParameterList) {
+            emittedParameters.push({
+                parameter: planned.parameter,
+                emittedName: planned.emittedName,
+                bindsDirectly: planned.bindsDirectly,
+                resolvedType: planned.type,
+                bindingSourceExpression: planned.bindingSourceExpression,
+                bindingSourceType: planned.type,
+            });
+            continue;
+        }
+        let ast;
+        if (allHaveConcreteTypes && planned.type) {
+            const unwrapped = unwrapParameterModifierType(planned.type);
+            const actualType = unwrapped ?? planned.type;
+            const [typeAst, newContext] = emitTypeAst(actualType, currentContext);
+            currentContext = newContext;
+            const finalTypeAst = wrapOptionalLambdaParameterTypeAst(typeAst, planned.isOptional);
+            ast = planned.modifier
+                ? {
+                    name: planned.emittedName,
+                    type: finalTypeAst,
+                    modifier: planned.modifier,
+                }
+                : { name: planned.emittedName, type: finalTypeAst };
+        }
+        else {
+            ast = planned.modifier
+                ? { name: planned.emittedName, modifier: planned.modifier }
+                : { name: planned.emittedName };
+        }
+        emittedParameters.push({
+            parameter: planned.parameter,
+            ast,
+            emittedName: planned.emittedName,
+            bindsDirectly: planned.bindsDirectly,
+            resolvedType: planned.type,
+            bindingSourceExpression: planned.bindingSourceExpression,
+            bindingSourceType: planned.bindingSourceExpression
+                ? planned.type
+                : undefined,
+        });
+    }
+    return [emittedParameters, currentContext];
+};
+export const lowerLambdaParameterPreludeAst = (parameters, context) => {
+    let currentContext = context;
+    const statements = [];
+    for (const parameter of parameters) {
+        if (parameter.bindsDirectly || !parameter.parameter)
+            continue;
+        let inputExpr = parameter.bindingSourceExpression ?? {
+            kind: "identifierExpression",
+            identifier: parameter.emittedName,
+        };
+        const inputType = parameter.bindingSourceType ?? parameter.parameter.type;
+        if (parameter.parameter.initializer) {
+            const [defaultAst, defaultContext] = emitExpressionAst(parameter.parameter.initializer, currentContext, parameter.parameter.type);
+            currentContext = defaultContext;
+            inputExpr = {
+                kind: "binaryExpression",
+                operatorToken: "??",
+                left: inputExpr,
+                right: defaultAst,
+            };
+        }
+        const lowered = lowerPatternAst(parameter.parameter.pattern, inputExpr, inputType, currentContext);
+        statements.push(...lowered.statements);
+        currentContext = lowered.context;
+    }
+    return [statements, currentContext];
+};
+//# sourceMappingURL=lambda-parameters.js.map

package/dist/expressions/lambda-parameters.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lambda-parameters.js","sourceRoot":"","sources":["../../src/expressions/lambda-parameters.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAIH,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAC;AACnE,OAAO,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AACjD,OAAO,EAAE,qBAAqB,EAAE,MAAM,wCAAwC,CAAC;AAC/E,OAAO,EACL,gBAAgB,EAChB,YAAY,EACZ,uBAAuB,GACxB,MAAM,qCAAqC,CAAC;AAC7C,OAAO,EAAE,2BAA2B,EAAE,MAAM,8CAA8C,CAAC;AAC3F,OAAO,EAAE,sBAAsB,EAAE,MAAM,kCAAkC,CAAC;AAkB1E,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAC5C,MAAyC,EACzC,OAAuB,EACP,EAAE;IAClB,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC;IAChD,IAAI,cAAc,GAAG,OAAO,CAAC;IAC7B,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,cAAc,IAAI,EAAE,CAAC,CAAC;IACnD,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,IAAI,CAAC,CAAC,CAAC,aAAa;YAAE,SAAS;QAC/B,IAAI,CAAC,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,KAAK,mBAAmB;YAClE,SAAS;QACX,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,WAAW,CAAC,CAAC;QACjD,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;QACxB,cAAc,GAAG,sBAAsB,CACrC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,EACxB,CAAC,CAAC,YAAY,IAAI,CAAC,CAAC,SAAS,CAAC,IAAI,EAClC,CAAC,CAAC,CAAC,SAAS,CAAC,UAAU,IAAI,CAAC,CAAC,SAAS,CAAC,WAAW,KAAK,SAAS,CAAC;YAC/D,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,EACrB,cAAc,CACf,CAAC;IACJ,CAAC;IACD,OAAO;QACL,GAAG,cAAc;QACjB,YAAY,EAAE,GAAG;QACjB,cAAc,EAAE,IAAI;KACrB,CAAC;AACJ,CAAC,CAAC;AAeF,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAC3C,IAA6E,EAC7E,YAAgC,EAChC,OAAuB,EACa,EAAE;IACtC,IAAI,YAAY,EAAE,CAAC;QACjB,MAAM,gBAAgB,GAAG,gBAAgB,CACvC,YAAY,CAAC,YAAY,CAAC,EAC1B,OAAO,CACR,CAAC;QACF,IAAI,gBAAgB,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;YAC7C,OAAO,gBAAgB,CAAC;QAC1B,CAAC;IACH,CAAC;IAED,IAAI,IAAI,CAAC,YAAY,EAAE,IAAI,KAAK,cAAc,EAAE,CAAC;QAC/C,OAAO,IAAI,CAAC,YAAY,CAAC;IAC3B,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAC1B,IAAY,EACZ,OAAuB,EACd,EAAE;IACX,IAAI,IAAI,CAAC,IAAI,KAAK,mBAAmB;QAAE,OAAO,IAAI,CAAC;IACnD,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;IACd,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,yBAAyB,GAAG,CAChC,IAAY,EACZ,OAAuB,EACd,EAAE;IACX,IAAI,IAAI,CAAC,IAAI,KAAK,aAAa,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACzE,OAAO,CAAC,mBAAmB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;AAC7C,CAAC,CAAC;AAEF,MAAM,kCAAkC,GAAG,CACzC,OAAsB,EACtB,UAAmB,EACJ,EAAE,CACjB,UAAU,IAAI,OAAO,CAAC,IAAI,KAAK,cAAc;IAC3C,CAAC,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,cAAc,EAAE,OAAO,EAAE;IACnD,CAAC,CAAC,OAAO,CAAC;AAEd;;GAEG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,UAAkC,EAClC,OAAuB,EACvB,sBAA+C,EACM,EAAE;IACvD,IAAI,cAAc,GAAG,OAAO,CAAC;IAC7B,MAAM,oBAAoB,GAAG,sBAAsB,EAAE,UAAU,IAAI,EAAE,CAAC;IACtE,MAAM,mBAAmB,GAAG,oBAAoB,CAAC,SAAS,CACxD,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,EAAE,MAAM,CACjC,CAAC;IACF,MAAM,uBAAuB,GAC3B,mBAAmB,IAAI,CAAC;QACtB,CAAC,CAAC,CAAC,oBAAoB,CAAC,mBAAmB,CAAC,IAAI,SAAS,CAAC;QAC1D,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,iBAAiB,GAA6B,EAAE,CAAC;IACvD,IAAI,eAAmC,CAAC;IAExC,MAAM,qBAAqB,GAAG,GAAW,EAAE;QACzC,IAAI,eAAe,KAAK,SAAS;YAAE,OAAO,eAAe,CAAC;QAC1D,MAAM,QAAQ,GACZ,uBAAuB,EAAE,OAAO,CAAC,IAAI,KAAK,mBAAmB;YAC3D,CAAC,CAAC,YAAY,sBAAsB,CAChC,uBAAuB,CAAC,OAAO,CAAC,IAAI,CACrC,EAAE;YACL,CAAC,CAAC,eAAe,CAAC;QACtB,eAAe,GAAG,QAAQ,CAAC;QAC3B,OAAO,eAAe,CAAC;IACzB,CAAC,CAAC;IAEF,MAAM,0BAA0B,GAAG,CACjC,KAAa,EACoB,EAAE;QACnC,MAAM,WAAW,GAAG,eAAe,IAAI,qBAAqB,EAAE,CAAC;QAC/D,IAAI,mBAAmB,GAAG,CAAC,IAAI,KAAK,GAAG,mBAAmB,EAAE,CAAC;YAC3D,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,IAAI,UAAU,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;YAC9B,OAAO;gBACL,IAAI,EAAE,sBAAsB;gBAC5B,UAAU,EAAE,WAAW;aACxB,CAAC;QACJ,CAAC;QAED,OAAO;YACL,IAAI,EAAE,yBAAyB;YAC/B,UAAU,EAAE;gBACV,IAAI,EAAE,sBAAsB;gBAC5B,UAAU,EAAE,WAAW;aACxB;YACD,SAAS,EAAE,CAAC,qBAAqB,CAAC,KAAK,GAAG,mBAAmB,CAAC,CAAC;SAChE,CAAC;IACJ,CAAC,CAAC;IAEF,MAAM,oBAAoB,GAAG,CAAC,OAA+B,EAAQ,EAAE;QACrE,iBAAiB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAClC,CAAC,CAAC;IAEF,MAAM,8BAA8B,GAAG,GAAS,EAAE;QAChD,IAAI,CAAC,uBAAuB;YAAE,OAAO;QACrC,MAAM,WAAW,GAAG,qBAAqB,EAAE,CAAC;QAC5C,IACE,iBAAiB,CAAC,IAAI,CACpB,CAAC,OAAO,EAAE,EAAE,CACV,OAAO,CAAC,mBAAmB,IAAI,OAAO,CAAC,WAAW,KAAK,WAAW,CACrE,EACD,CAAC;YACD,OAAO;QACT,CAAC;QACD,oBAAoB,CAAC;YACnB,WAAW,EAAE,WAAW;YACxB,aAAa,EAAE,KAAK;YACpB,mBAAmB,EAAE,IAAI;YACzB,IAAI,EAAE,uBAAuB,CAAC,IAAI;YAClC,UAAU,EACR,uBAAuB,CAAC,UAAU;gBAClC,uBAAuB,CAAC,WAAW,KAAK,SAAS;SACpD,CAAC,CAAC;IACL,CAAC,CAAC;IAEF,MAAM,6BAA6B,GAAG,CACpC,SAAsB,EACtB,KAAa,EACJ,EAAE;QACX,IAAI,uBAAuB,KAAK,SAAS,IAAI,KAAK,GAAG,mBAAmB,EAAE,CAAC;YACzE,OAAO,KAAK,CAAC;QACf,CAAC;QAED,OAAO,CAAC,CACN,SAAS,CAAC,MAAM;YAChB,KAAK,KAAK,mBAAmB;YAC7B,UAAU,CAAC,MAAM,KAAK,mBAAmB,GAAG,CAAC,CAC9C,CAAC;IACJ,CAAC,CAAC;IAEF,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,UAAU,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QACvD,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;QAChC,IAAI,CAAC,KAAK;YAAE,SAAS;QACrB,MAAM,eAAe,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;QACpD,MAAM,sBAAsB,GAC1B,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,eAAe,EAAE,IAAI,KAAK,SAAS;YAC7D,CAAC,CAAC,eAAe,CAAC,IAAI;YACtB,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,KAAK,cAAc;gBACjC,eAAe,EAAE,IAAI,EAAE,IAAI,KAAK,cAAc;gBAChD,CAAC,CAAC,eAAe,CAAC,IAAI;gBACtB,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC;QAEnB,IAAI,6BAA6B,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC;YAChD,8BAA8B,EAAE,CAAC;YACjC,oBAAoB,CAAC;gBACnB,SAAS,EAAE,KAAK;gBAChB,WAAW,EAAE,kBAAkB,KAAK,EAAE;gBACtC,aAAa,EAAE,KAAK;gBACpB,mBAAmB,EAAE,KAAK;gBAC1B,UAAU,EAAE,KAAK,CAAC,UAAU,IAAI,KAAK,CAAC,WAAW,KAAK,SAAS;gBAC/D,uBAAuB,EAAE,0BAA0B,CAAC,KAAK,CAAC;gBAC1D,IAAI,EACF,KAAK,CAAC,MAAM,IAAI,KAAK,KAAK,mBAAmB;oBAC3C,CAAC,CAAC,CAAC,uBAAuB,EAAE,IAAI,IAAI,KAAK,CAAC,IAAI,CAAC;oBAC/C,CAAC,CAAC,CAAC,uBAAuB,CACtB,uBAAuB,EAAE,IAAI,EAC7B,cAAc,CACf,IAAI,SAAS,CAAC;aACtB,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,MAAM,aAAa,GACjB,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,mBAAmB;YAC1C,KAAK,CAAC,WAAW,KAAK,SAAS,CAAC;QAClC,MAAM,IAAI,GAAG,aAAa;YACxB,CAAC,CAAC,sBAAsB,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;YAC5C,CAAC,CAAC,UAAU,KAAK,EAAE,CAAC;QAEtB,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,KAAK,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;QAEvE,oBAAoB,CAAC;YACnB,SAAS,EAAE,KAAK;YAChB,WAAW,EAAE,IAAI;YACjB,aAAa;YACb,mBAAmB,EAAE,IAAI;YACzB,IAAI,EAAE,sBAAsB;YAC5B,UAAU,EAAE,KAAK,CAAC,UAAU,IAAI,KAAK,CAAC,WAAW,KAAK,SAAS;YAC/D,QAAQ;SACT,CAAC,CAAC;IACL,CAAC;IAED,KACE,IAAI,KAAK,GAAG,UAAU,CAAC,MAAM,EAC7B,KAAK,GAAG,oBAAoB,CAAC,MAAM,EACnC,KAAK,IAAI,CAAC,EACV,CAAC;QACD,MAAM,eAAe,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;QACpD,IAAI,CAAC,eAAe;YAAE,SAAS;QAE/B,IAAI,eAAe,CAAC,MAAM,EAAE,CAAC;YAC3B,8BAA8B,EAAE,CAAC;YACjC,SAAS;QACX,CAAC;QAED,MAAM,eAAe,GAAG,KAAK,CAAC;QAE9B,MAAM,IAAI,GACR,eAAe,CAAC,OAAO,CAAC,IAAI,KAAK,mBAAmB;YAClD,CAAC,CAAC,YAAY,sBAAsB,CAAC,eAAe,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE;YACpE,CAAC,CAAC,WAAW,eAAe,EAAE,CAAC;QAEnC,oBAAoB,CAAC;YACnB,WAAW,EAAE,IAAI;YACjB,aAAa,EAAE,KAAK;YACpB,mBAAmB,EAAE,IAAI;YACzB,IAAI,EAAE,eAAe,CAAC,IAAI;YAC1B,UAAU,EACR,eAAe,CAAC,UAAU,IAAI,eAAe,CAAC,WAAW,KAAK,SAAS;SAC1E,CAAC,CAAC;IACL,CAAC;IAED,MAAM,oBAAoB,GAAG,iBAAiB;SAC3C,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC;SAChD,KAAK,CAAC,CAAC,OAAO,EAAE,EAAE;QACjB,IAAI,CAAC,OAAO,CAAC,IAAI;YAAE,OAAO,KAAK,CAAC;QAChC,MAAM,SAAS,GAAG,2BAA2B,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAC5D,MAAM,UAAU,GAAG,SAAS,IAAI,OAAO,CAAC,IAAI,CAAC;QAC7C,OAAO,yBAAyB,CAAC,UAAU,EAAE,cAAc,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IAEL,MAAM,iBAAiB,GAA6B,EAAE,CAAC;IACvD,KAAK,MAAM,OAAO,IAAI,iBAAiB,EAAE,CAAC;QACxC,IAAI,CAAC,OAAO,CAAC,mBAAmB,EAAE,CAAC;YACjC,iBAAiB,CAAC,IAAI,CAAC;gBACrB,SAAS,EAAE,OAAO,CAAC,SAAS;gBAC5B,WAAW,EAAE,OAAO,CAAC,WAAW;gBAChC,aAAa,EAAE,OAAO,CAAC,aAAa;gBACpC,YAAY,EAAE,OAAO,CAAC,IAAI;gBAC1B,uBAAuB,EAAE,OAAO,CAAC,uBAAuB;gBACxD,iBAAiB,EAAE,OAAO,CAAC,IAAI;aAChC,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,IAAI,GAA6B,CAAC;QAClC,IAAI,oBAAoB,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC;YACzC,MAAM,SAAS,GAAG,2BAA2B,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YAC5D,MAAM,UAAU,GAAG,SAAS,IAAI,OAAO,CAAC,IAAI,CAAC;YAC7C,MAAM,CAAC,OAAO,EAAE,UAAU,CAAC,GAAG,WAAW,CAAC,UAAU,EAAE,cAAc,CAAC,CAAC;YACtE,cAAc,GAAG,UAAU,CAAC;YAC5B,MAAM,YAAY,GAAG,kCAAkC,CACrD,OAAO,EACP,OAAO,CAAC,UAAU,CACnB,CAAC;YACF,GAAG,GAAG,OAAO,CAAC,QAAQ;gBACpB,CAAC,CAAC;oBACE,IAAI,EAAE,OAAO,CAAC,WAAW;oBACzB,IAAI,EAAE,YAAY;oBAClB,QAAQ,EAAE,OAAO,CAAC,QAAQ;iBAC3B;gBACH,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,WAAW,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;QACxD,CAAC;aAAM,CAAC;YACN,GAAG,GAAG,OAAO,CAAC,QAAQ;gBACpB,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,WAAW,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE;gBAC3D,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,WAAW,EAAE,CAAC;QACpC,CAAC;QAED,iBAAiB,CAAC,IAAI,CAAC;YACrB,SAAS,EAAE,OAAO,CAAC,SAAS;YAC5B,GAAG;YACH,WAAW,EAAE,OAAO,CAAC,WAAW;YAChC,aAAa,EAAE,OAAO,CAAC,aAAa;YACpC,YAAY,EAAE,OAAO,CAAC,IAAI;YAC1B,uBAAuB,EAAE,OAAO,CAAC,uBAAuB;YACxD,iBAAiB,EAAE,OAAO,CAAC,uBAAuB;gBAChD,CAAC,CAAC,OAAO,CAAC,IAAI;gBACd,CAAC,CAAC,SAAS;SACd,CAAC,CAAC;IACL,CAAC;IAED,OAAO,CAAC,iBAAiB,EAAE,cAAc,CAAC,CAAC;AAC7C,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAC5C,UAA6C,EAC7C,OAAuB,EAC0B,EAAE;IACnD,IAAI,cAAc,GAAG,OAAO,CAAC;IAC7B,MAAM,UAAU,GAAyB,EAAE,CAAC;IAE5C,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,IAAI,SAAS,CAAC,aAAa,IAAI,CAAC,SAAS,CAAC,SAAS;YAAE,SAAS;QAE9D,IAAI,SAAS,GAAwB,SAAS,CAAC,uBAAuB,IAAI;YACxE,IAAI,EAAE,sBAAsB;YAC5B,UAAU,EAAE,SAAS,CAAC,WAAW;SAClC,CAAC;QACF,MAAM,SAAS,GAAG,SAAS,CAAC,iBAAiB,IAAI,SAAS,CAAC,SAAS,CAAC,IAAI,CAAC;QAE1E,IAAI,SAAS,CAAC,SAAS,CAAC,WAAW,EAAE,CAAC;YACpC,MAAM,CAAC,UAAU,EAAE,cAAc,CAAC,GAAG,iBAAiB,CACpD,SAAS,CAAC,SAAS,CAAC,WAAW,EAC/B,cAAc,EACd,SAAS,CAAC,SAAS,CAAC,IAAI,CACzB,CAAC;YACF,cAAc,GAAG,cAAc,CAAC;YAChC,SAAS,GAAG;gBACV,IAAI,EAAE,kBAAkB;gBACxB,aAAa,EAAE,IAAI;gBACnB,IAAI,EAAE,SAAS;gBACf,KAAK,EAAE,UAAU;aAClB,CAAC;QACJ,CAAC;QAED,MAAM,OAAO,GAAG,eAAe,CAC7B,SAAS,CAAC,SAAS,CAAC,OAAO,EAC3B,SAAS,EACT,SAAS,EACT,cAAc,CACf,CAAC;QACF,UAAU,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;QACvC,cAAc,GAAG,OAAO,CAAC,OAAO,CAAC;IACnC,CAAC;IAED,OAAO,CAAC,UAAU,EAAE,cAAc,CAAC,CAAC;AACtC,CAAC,CAAC"}

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

@@ -1 +1 @@
-{"version":3,"file":"literals.d.ts","sourceRoot":"","sources":["../../src/expressions/literals.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAe7C,OAAO,KAAK,EACV,mBAAmB,EAEpB,MAAM,qCAAqC,CAAC;AAyC7C;;;;;;GAMG;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,CAyGtC,CAAC"}
+{"version":3,"file":"literals.d.ts","sourceRoot":"","sources":["../../src/expressions/literals.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAe7C,OAAO,KAAK,EACV,mBAAmB,EAEpB,MAAM,qCAAqC,CAAC;AAqE7C;;;;;;GAMG;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,CA2GtC,CAAC"}

package/dist/expressions/literals.js

@@ -7,7 +7,7 @@
  * - int, byte, sbyte, short, ushort, double → no suffix needed
  */
 import { containsTypeParameter, isDefinitelyValueType, stripNullish, resolveTypeAlias, } from "../core/semantic/type-resolution.js";
-import { emitTypeAst } from "../type-emitter.js";
+import { emitTypedDefaultAst } from "../core/semantic/defaults.js";
 import { booleanLiteral, charLiteral, nullLiteral, parseNumericLiteral, stringLiteral, } from "../core/format/backend-ast/builders.js";
 /**
  * Get the C# literal suffix for a numeric type.
@@ -40,6 +40,19 @@ const isCharExpectedType = (expectedType, context) => {
     return ((effective.kind === "primitiveType" && effective.name === "char") ||
         (effective.kind === "referenceType" && effective.name === "char"));
 };
+const hasExplicitNullishBranch = (type) => type.kind === "unionType" &&
+    type.types.some((member) => member.kind === "primitiveType" &&
+        (member.name === "null" || member.name === "undefined"));
+const hasNullableValueTypeBase = (type) => {
+    if (type.kind !== "unionType") {
+        return false;
+    }
+    const nonNullishMembers = type.types.filter((member) => !(member.kind === "primitiveType" &&
+        (member.name === "null" || member.name === "undefined")));
+    return (nonNullishMembers.length === 1 &&
+        nonNullishMembers[0] !== undefined &&
+        isDefinitelyValueType(nonNullishMembers[0]));
+};
 /**
  * Emit a literal value as CSharpExpressionAst
  *
@@ -57,7 +70,9 @@ export const emitLiteral = (expr, context, expectedType) => {
         //    Example: Result<number, string> { value: null } → { value = default }
         if (expectedType) {
             if (containsTypeParameter(expectedType) ||
-                isDefinitelyValueType(expectedType)) {
+                hasNullableValueTypeBase(expectedType) ||
+                (isDefinitelyValueType(expectedType) &&
+                    !hasExplicitNullishBranch(expectedType))) {
                 return [{ kind: "defaultExpression" }, context];
             }
         }
@@ -71,7 +86,7 @@ export const emitLiteral = (expr, context, expectedType) => {
         // When we have an expected type, emit a typed default to preserve optional/nullable intent.
         if (expectedType) {
             try {
-                const [typeAst, next] = emitTypeAst(expectedType, context);
+                const [typeAst, next] = emitTypedDefaultAst(expectedType, context);
                 return [{ kind: "defaultExpression", type: typeAst }, next];
             }
             catch {

package/dist/expressions/literals.js.map

@@ -1 +1 @@
-{"version":3,"file":"literals.js","sourceRoot":"","sources":["../../src/expressions/literals.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAIH,OAAO,EACL,qBAAqB,EACrB,qBAAqB,EACrB,YAAY,EACZ,gBAAgB,GACjB,MAAM,qCAAqC,CAAC;AAC7C,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EACL,cAAc,EACd,WAAW,EACX,WAAW,EACX,mBAAmB,EACnB,aAAa,GACd,MAAM,wCAAwC,CAAC;AAMhD;;;;;;GAMG;AACH,MAAM,gBAAgB,GAAG,CACvB,QAAgB,EACwB,EAAE;IAC1C,QAAQ,QAAQ,EAAE,CAAC;QACjB,KAAK,MAAM;YACT,OAAO,GAAG,CAAC;QACb,KAAK,MAAM;YACT,OAAO,GAAG,CAAC;QACb,KAAK,OAAO;YACV,OAAO,IAAI,CAAC;QACd,KAAK,OAAO;YACV,OAAO,GAAG,CAAC;QACb,KAAK,SAAS;YACZ,OAAO,GAAG,CAAC;QACb,6DAA6D;QAC7D;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CACzB,YAAgC,EAChC,OAAuB,EACd,EAAE;IACX,IAAI,CAAC,YAAY;QAAE,OAAO,KAAK,CAAC;IAChC,MAAM,SAAS,GAAG,gBAAgB,CAAC,YAAY,CAAC,YAAY,CAAC,EAAE,OAAO,CAAC,CAAC;IACxE,OAAO,CACL,CAAC,SAAS,CAAC,IAAI,KAAK,eAAe,IAAI,SAAS,CAAC,IAAI,KAAK,MAAM,CAAC;QACjE,CAAC,SAAS,CAAC,IAAI,KAAK,eAAe,IAAI,SAAS,CAAC,IAAI,KAAK,MAAM,CAAC,CAClE,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CACzB,IAAgD,EAChD,OAAuB,EACvB,YAAqB,EACkB,EAAE;IACzC,MAAM,EAAE,KAAK,EAAE,GAAG,IAAI,CAAC;IAEvB,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACnB,iDAAiD;QACjD,4EAA4E;QAC5E,8DAA8D;QAC9D,wDAAwD;QACxD,2EAA2E;QAC3E,IAAI,YAAY,EAAE,CAAC;YACjB,IACE,qBAAqB,CAAC,YAAY,CAAC;gBACnC,qBAAqB,CAAC,YAAY,CAAC,EACnC,CAAC;gBACD,OAAO,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,EAAE,OAAO,CAAC,CAAC;YAClD,CAAC;QACH,CAAC;QACD,OAAO,CAAC,WAAW,EAAE,EAAE,OAAO,CAAC,CAAC;IAClC,CAAC;IAED,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,uEAAuE;QACvE,iCAAiC;QACjC,6EAA6E;QAC7E,EAAE;QACF,4FAA4F;QAC5F,IAAI,YAAY,EAAE,CAAC;YACjB,IAAI,CAAC;gBACH,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,GAAG,WAAW,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;gBAC3D,OAAO,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,IAAI,CAAC,CAAC;YAC9D,CAAC;YAAC,MAAM,CAAC;gBACP,yFAAyF;gBACzF,OAAO,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,EAAE,OAAO,CAAC,CAAC;YAClD,CAAC;QACH,CAAC;QACD,OAAO,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,EAAE,OAAO,CAAC,CAAC;IAClD,CAAC;IAED,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,IAAI,kBAAkB,CAAC,YAAY,EAAE,OAAO,CAAC,EAAE,CAAC;YAC9C,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACvB,MAAM,IAAI,KAAK,CACb,4CAA4C,KAAK,UAAU,KAAK,CAAC,MAAM,KAAK;oBAC1E,gDAAgD,CACnD,CAAC;YACJ,CAAC;YACD,OAAO,CAAC,WAAW,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC,CAAC;QACvC,CAAC;QAED,2BAA2B;QAC3B,OAAO,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC,CAAC;IACzC,CAAC;IAED,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,yEAAyE;QACzE,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC;QAE9C,6DAA6D;QAC7D,+EAA+E;QAC/E,IAAI,YAAY,EAAE,CAAC;YACjB,8DAA8D;YAC9D,MAAM,aAAa,GAAG,gBAAgB,CACpC,YAAY,CAAC,YAAY,CAAC,EAC1B,OAAO,CACR,CAAC;YAEF,wDAAwD;YACxD,MAAM,QAAQ,GACZ,aAAa,CAAC,IAAI,KAAK,eAAe;gBACpC,CAAC,CAAC,aAAa,CAAC,IAAI;gBACpB,CAAC,CAAC,aAAa,CAAC,IAAI,KAAK,eAAe;oBACtC,CAAC,CAAC,aAAa,CAAC,IAAI;oBACpB,CAAC,CAAC,SAAS,CAAC;YAElB,IAAI,QAAQ,EAAE,CAAC;gBACb,MAAM,MAAM,GAAG,gBAAgB,CAAC,QAAQ,CAAC,CAAC;gBAC1C,IAAI,MAAM,EAAE,CAAC;oBACX,+DAA+D;oBAC/D,qDAAqD;oBACrD,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;wBAC3B,MAAM,WAAW,GAAG,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;wBAC7C,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;wBAC1C,MAAM,SAAS,GAAG,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;wBAC7C,IAAI,WAAW,IAAI,MAAM,IAAI,SAAS,EAAE,CAAC;4BACvC,4DAA4D;4BAC5D,MAAM,IAAI,KAAK,CACb,iCAAiC,WAAW,MAAM;gCAChD,4BAA4B,WAAW,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,aAAa;gCAC7F,8CAA8C,CACjD,CAAC;wBACJ,CAAC;oBACH,CAAC;oBACD,OAAO,CAAC,mBAAmB,CAAC,WAAW,EAAE,MAAM,CAAC,EAAE,OAAO,CAAC,CAAC;gBAC7D,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO,CAAC,mBAAmB,CAAC,WAAW,CAAC,EAAE,OAAO,CAAC,CAAC;IACrD,CAAC;IAED,IAAI,OAAO,KAAK,KAAK,SAAS,EAAE,CAAC;QAC/B,OAAO,CAAC,cAAc,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC,CAAC;IAC1C,CAAC;IAED,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;AACjD,CAAC,CAAC"}
+{"version":3,"file":"literals.js","sourceRoot":"","sources":["../../src/expressions/literals.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAIH,OAAO,EACL,qBAAqB,EACrB,qBAAqB,EACrB,YAAY,EACZ,gBAAgB,GACjB,MAAM,qCAAqC,CAAC;AAC7C,OAAO,EAAE,mBAAmB,EAAE,MAAM,8BAA8B,CAAC;AACnE,OAAO,EACL,cAAc,EACd,WAAW,EACX,WAAW,EACX,mBAAmB,EACnB,aAAa,GACd,MAAM,wCAAwC,CAAC;AAMhD;;;;;;GAMG;AACH,MAAM,gBAAgB,GAAG,CACvB,QAAgB,EACwB,EAAE;IAC1C,QAAQ,QAAQ,EAAE,CAAC;QACjB,KAAK,MAAM;YACT,OAAO,GAAG,CAAC;QACb,KAAK,MAAM;YACT,OAAO,GAAG,CAAC;QACb,KAAK,OAAO;YACV,OAAO,IAAI,CAAC;QACd,KAAK,OAAO;YACV,OAAO,GAAG,CAAC;QACb,KAAK,SAAS;YACZ,OAAO,GAAG,CAAC;QACb,6DAA6D;QAC7D;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CACzB,YAAgC,EAChC,OAAuB,EACd,EAAE;IACX,IAAI,CAAC,YAAY;QAAE,OAAO,KAAK,CAAC;IAChC,MAAM,SAAS,GAAG,gBAAgB,CAAC,YAAY,CAAC,YAAY,CAAC,EAAE,OAAO,CAAC,CAAC;IACxE,OAAO,CACL,CAAC,SAAS,CAAC,IAAI,KAAK,eAAe,IAAI,SAAS,CAAC,IAAI,KAAK,MAAM,CAAC;QACjE,CAAC,SAAS,CAAC,IAAI,KAAK,eAAe,IAAI,SAAS,CAAC,IAAI,KAAK,MAAM,CAAC,CAClE,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,wBAAwB,GAAG,CAAC,IAAY,EAAW,EAAE,CACzD,IAAI,CAAC,IAAI,KAAK,WAAW;IACzB,IAAI,CAAC,KAAK,CAAC,IAAI,CACb,CAAC,MAAM,EAAE,EAAE,CACT,MAAM,CAAC,IAAI,KAAK,eAAe;QAC/B,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW,CAAC,CAC1D,CAAC;AAEJ,MAAM,wBAAwB,GAAG,CAAC,IAAY,EAAW,EAAE;IACzD,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,iBAAiB,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CACzC,CAAC,MAAM,EAAE,EAAE,CACT,CAAC,CACC,MAAM,CAAC,IAAI,KAAK,eAAe;QAC/B,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW,CAAC,CACxD,CACJ,CAAC;IAEF,OAAO,CACL,iBAAiB,CAAC,MAAM,KAAK,CAAC;QAC9B,iBAAiB,CAAC,CAAC,CAAC,KAAK,SAAS;QAClC,qBAAqB,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAC5C,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CACzB,IAAgD,EAChD,OAAuB,EACvB,YAAqB,EACkB,EAAE;IACzC,MAAM,EAAE,KAAK,EAAE,GAAG,IAAI,CAAC;IAEvB,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACnB,iDAAiD;QACjD,4EAA4E;QAC5E,8DAA8D;QAC9D,wDAAwD;QACxD,2EAA2E;QAC3E,IAAI,YAAY,EAAE,CAAC;YACjB,IACE,qBAAqB,CAAC,YAAY,CAAC;gBACnC,wBAAwB,CAAC,YAAY,CAAC;gBACtC,CAAC,qBAAqB,CAAC,YAAY,CAAC;oBAClC,CAAC,wBAAwB,CAAC,YAAY,CAAC,CAAC,EAC1C,CAAC;gBACD,OAAO,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,EAAE,OAAO,CAAC,CAAC;YAClD,CAAC;QACH,CAAC;QACD,OAAO,CAAC,WAAW,EAAE,EAAE,OAAO,CAAC,CAAC;IAClC,CAAC;IAED,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,uEAAuE;QACvE,iCAAiC;QACjC,6EAA6E;QAC7E,EAAE;QACF,4FAA4F;QAC5F,IAAI,YAAY,EAAE,CAAC;YACjB,IAAI,CAAC;gBACH,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,GAAG,mBAAmB,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;gBACnE,OAAO,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,IAAI,CAAC,CAAC;YAC9D,CAAC;YAAC,MAAM,CAAC;gBACP,yFAAyF;gBACzF,OAAO,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,EAAE,OAAO,CAAC,CAAC;YAClD,CAAC;QACH,CAAC;QACD,OAAO,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,EAAE,OAAO,CAAC,CAAC;IAClD,CAAC;IAED,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,IAAI,kBAAkB,CAAC,YAAY,EAAE,OAAO,CAAC,EAAE,CAAC;YAC9C,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACvB,MAAM,IAAI,KAAK,CACb,4CAA4C,KAAK,UAAU,KAAK,CAAC,MAAM,KAAK;oBAC1E,gDAAgD,CACnD,CAAC;YACJ,CAAC;YACD,OAAO,CAAC,WAAW,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC,CAAC;QACvC,CAAC;QAED,2BAA2B;QAC3B,OAAO,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC,CAAC;IACzC,CAAC;IAED,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,yEAAyE;QACzE,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC;QAE9C,6DAA6D;QAC7D,+EAA+E;QAC/E,IAAI,YAAY,EAAE,CAAC;YACjB,8DAA8D;YAC9D,MAAM,aAAa,GAAG,gBAAgB,CACpC,YAAY,CAAC,YAAY,CAAC,EAC1B,OAAO,CACR,CAAC;YAEF,wDAAwD;YACxD,MAAM,QAAQ,GACZ,aAAa,CAAC,IAAI,KAAK,eAAe;gBACpC,CAAC,CAAC,aAAa,CAAC,IAAI;gBACpB,CAAC,CAAC,aAAa,CAAC,IAAI,KAAK,eAAe;oBACtC,CAAC,CAAC,aAAa,CAAC,IAAI;oBACpB,CAAC,CAAC,SAAS,CAAC;YAElB,IAAI,QAAQ,EAAE,CAAC;gBACb,MAAM,MAAM,GAAG,gBAAgB,CAAC,QAAQ,CAAC,CAAC;gBAC1C,IAAI,MAAM,EAAE,CAAC;oBACX,+DAA+D;oBAC/D,qDAAqD;oBACrD,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;wBAC3B,MAAM,WAAW,GAAG,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;wBAC7C,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;wBAC1C,MAAM,SAAS,GAAG,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;wBAC7C,IAAI,WAAW,IAAI,MAAM,IAAI,SAAS,EAAE,CAAC;4BACvC,4DAA4D;4BAC5D,MAAM,IAAI,KAAK,CACb,iCAAiC,WAAW,MAAM;gCAChD,4BAA4B,WAAW,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,aAAa;gCAC7F,8CAA8C,CACjD,CAAC;wBACJ,CAAC;oBACH,CAAC;oBACD,OAAO,CAAC,mBAAmB,CAAC,WAAW,EAAE,MAAM,CAAC,EAAE,OAAO,CAAC,CAAC;gBAC7D,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO,CAAC,mBAAmB,CAAC,WAAW,CAAC,EAAE,OAAO,CAAC,CAAC;IACrD,CAAC;IAED,IAAI,OAAO,KAAK,KAAK,SAAS,EAAE,CAAC;QAC/B,OAAO,CAAC,cAAc,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC,CAAC;IAC1C,CAAC;IAED,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;AACjD,CAAC,CAAC"}

package/dist/expressions/literals.test.js

@@ -138,6 +138,54 @@ describe("emitLiteral", () => {
             const [fragment] = emitLiteral(expr, context);
             expect(printExpression(fragment)).to.equal("default");
         });
+        it("emits typed default(string) for undefined in string | undefined context", () => {
+            const expr = {
+                kind: "literal",
+                value: undefined,
+            };
+            const expectedType = {
+                kind: "unionType",
+                types: [
+                    { kind: "primitiveType", name: "string" },
+                    { kind: "primitiveType", name: "undefined" },
+                ],
+            };
+            const context = createContext();
+            const [fragment] = emitLiteral(expr, context, expectedType);
+            expect(printExpression(fragment)).to.equal("default(string)");
+        });
+        it("emits typed default(double?) for undefined in number | null context", () => {
+            const expr = {
+                kind: "literal",
+                value: undefined,
+            };
+            const expectedType = {
+                kind: "unionType",
+                types: [
+                    { kind: "primitiveType", name: "number" },
+                    { kind: "primitiveType", name: "null" },
+                ],
+            };
+            const context = createContext();
+            const [fragment] = emitLiteral(expr, context, expectedType);
+            expect(printExpression(fragment)).to.equal("default(double?)");
+        });
+        it("emits typed default(bool?) for undefined in boolean | undefined context", () => {
+            const expr = {
+                kind: "literal",
+                value: undefined,
+            };
+            const expectedType = {
+                kind: "unionType",
+                types: [
+                    { kind: "primitiveType", name: "boolean" },
+                    { kind: "primitiveType", name: "undefined" },
+                ],
+            };
+            const context = createContext();
+            const [fragment] = emitLiteral(expr, context, expectedType);
+            expect(printExpression(fragment)).to.equal("default(bool?)");
+        });
     });
     describe("number literal", () => {
         it("emits integer literals as-is (lets C# infer type)", () => {

package/dist/expressions/literals.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"literals.test.js","sourceRoot":"","sources":["../../src/expressions/literals.test.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAE9B,OAAO,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAE5C,OAAO,EAAE,eAAe,EAAE,MAAM,uCAAuC,CAAC;AAExE,QAAQ,CAAC,aAAa,EAAE,GAAG,EAAE;IAC3B,MAAM,cAAc,GAAmB;QACrC,aAAa,EAAE,MAAM;QACrB,MAAM,EAAE,CAAC;KACV,CAAC;IAEF,MAAM,aAAa,GAAG,CACpB,cAAoC,EACpB,EAAE,CAAC,CAAC;QACpB,WAAW,EAAE,CAAC;QACd,OAAO,EAAE,cAAc;QACvB,QAAQ,EAAE,KAAK;QACf,OAAO,EAAE,KAAK;QACd,cAAc;QACd,MAAM,EAAE,IAAI,GAAG,EAAU;KAC1B,CAAC,CAAC;IAEH,QAAQ,CAAC,cAAc,EAAE,GAAG,EAAE;QAC5B,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;YACxD,MAAM,IAAI,GAA+C;gBACvD,IAAI,EAAE,SAAS;gBACf,KAAK,EAAE,IAAI;aACZ,CAAC;YACF,MAAM,OAAO,GAAG,aAAa,EAAE,CAAC;YAEhC,MAAM,CAAC,QAAQ,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YAE9C,MAAM,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACrD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,iEAAiE,EAAE,GAAG,EAAE;YACzE,MAAM,IAAI,GAA+C;gBACvD,IAAI,EAAE,SAAS;gBACf,KAAK,EAAE,IAAI;aACZ,CAAC;YACF,MAAM,YAAY,GAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;YACvE,MAAM,OAAO,GAAG,aAAa,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAE9C,MAAM,CAAC,QAAQ,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC;YAE5D,MAAM,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACrD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;YACnE,MAAM,IAAI,GAA+C;gBACvD,IAAI,EAAE,SAAS;gBACf,KAAK,EAAE,IAAI;aACZ,CAAC;YACF,MAAM,YAAY,GAAW,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;YACtE,MAAM,OAAO,GAAG,aAAa,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAE9C,MAAM,CAAC,QAAQ,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC;YAE5D,MAAM,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACxD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mEAAmE,EAAE,GAAG,EAAE;YAC3E,MAAM,IAAI,GAA+C;gBACvD,IAAI,EAAE,SAAS;gBACf,KAAK,EAAE,IAAI;aACZ,CAAC;YACF,MAAM,YAAY,GAAW;gBAC3B,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,OAAO;gBACb,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;aAC1D,CAAC;YACF,MAAM,OAAO,GAAG,aAAa,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAE9C,MAAM,CAAC,QAAQ,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC;YAE5D,MAAM,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACxD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;YACpE,MAAM,IAAI,GAA+C;gBACvD,IAAI,EAAE,SAAS;gBACf,KAAK,EAAE,IAAI;aACZ,CAAC;YACF,MAAM,YAAY,GAAW;gBAC3B,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,OAAO;gBACb,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;aAC3D,CAAC;YACF,MAAM,OAAO,GAAG,aAAa,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAE9C,MAAM,CAAC,QAAQ,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC;YAE5D,MAAM,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACrD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;YAC3D,MAAM,IAAI,GAA+C;gBACvD,IAAI,EAAE,SAAS;gBACf,KAAK,EAAE,IAAI;aACZ,CAAC;YACF,MAAM,YAAY,GAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;YAClE,MAAM,OAAO,GAAG,aAAa,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAE9C,MAAM,CAAC,QAAQ,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC;YAE5D,MAAM,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACrD,CAAC,CAAC,CAAC;QAEH,gDAAgD;QAChD,EAAE,CAAC,0DAA0D,EAAE,GAAG,EAAE;YAClE,MAAM,IAAI,GAA+C;gBACvD,IAAI,EAAE,SAAS;gBACf,KAAK,EAAE,IAAI;aACZ,CAAC;YACF,yDAAyD;YACzD,MAAM,YAAY,GAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;YACvE,MAAM,OAAO,GAAG,aAAa,EAAE,CAAC;YAEhC,MAAM,CAAC,QAAQ,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC;YAE5D,MAAM,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACxD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,0FAA0F,EAAE,GAAG,EAAE;YAClG,MAAM,IAAI,GAA+C;gBACvD,IAAI,EAAE,SAAS;gBACf,KAAK,EAAE,IAAI;aACZ,CAAC;YACF,+DAA+D;YAC/D,iDAAiD;YACjD,MAAM,YAAY,GAAW;gBAC3B,IAAI,EAAE,WAAW;gBACjB,KAAK,EAAE;oBACL,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;oBACzC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE;iBACxC;aACF,CAAC;YACF,MAAM,OAAO,GAAG,aAAa,EAAE,CAAC;YAEhC,MAAM,CAAC,QAAQ,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC;YAE5D,MAAM,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACxD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;YACnE,MAAM,IAAI,GAA+C;gBACvD,IAAI,EAAE,SAAS;gBACf,KAAK,EAAE,IAAI;aACZ,CAAC;YACF,wDAAwD;YACxD,MAAM,YAAY,GAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;YACxE,MAAM,OAAO,GAAG,aAAa,EAAE,CAAC;YAEhC,MAAM,CAAC,QAAQ,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC;YAE5D,MAAM,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACxD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,mBAAmB,EAAE,GAAG,EAAE;QACjC,EAAE,CAAC,+BAA+B,EAAE,GAAG,EAAE;YACvC,MAAM,IAAI,GAA+C;gBACvD,IAAI,EAAE,SAAS;gBACf,KAAK,EAAE,SAAS;aACjB,CAAC;YACF,MAAM,OAAO,GAAG,aAAa,EAAE,CAAC;YAEhC,MAAM,CAAC,QAAQ,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YAE9C,MAAM,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACxD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,gBAAgB,EAAE,GAAG,EAAE;QAC9B,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;YAC3D,MAAM,IAAI,GAA+C;gBACvD,IAAI,EAAE,SAAS;gBACf,KAAK,EAAE,EAAE;aACV,CAAC;YACF,MAAM,OAAO,GAAG,aAAa,EAAE,CAAC;YAEhC,MAAM,CAAC,QAAQ,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YAE9C,MAAM,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACnD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;YAC7D,MAAM,IAAI,GAA+C;gBACvD,IAAI,EAAE,SAAS;gBACf,KAAK,EAAE,IAAI;aACZ,CAAC;YACF,MAAM,OAAO,GAAG,aAAa,EAAE,CAAC;YAEhC,MAAM,CAAC,QAAQ,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YAE9C,MAAM,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACrD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;YACrD,MAAM,IAAI,GAA+C;gBACvD,IAAI,EAAE,SAAS;gBACf,KAAK,EAAE,EAAE;aACV,CAAC;YACF,MAAM,OAAO,GAAmB;gBAC9B,GAAG,aAAa,EAAE;gBAClB,YAAY,EAAE,IAAI;aACnB,CAAC;YAEF,MAAM,CAAC,QAAQ,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YAE9C,MAAM,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACnD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,gBAAgB,EAAE,GAAG,EAAE;QAC9B,EAAE,CAAC,sBAAsB,EAAE,GAAG,EAAE;YAC9B,MAAM,IAAI,GAA+C;gBACvD,IAAI,EAAE,SAAS;gBACf,KAAK,EAAE,cAAc;aACtB,CAAC;YACF,MAAM,OAAO,GAAG,aAAa,EAAE,CAAC;YAEhC,MAAM,CAAC,QAAQ,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YAE9C,MAAM,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC;QAChE,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,iBAAiB,EAAE,GAAG,EAAE;QAC/B,EAAE,CAAC,YAAY,EAAE,GAAG,EAAE;YACpB,MAAM,IAAI,GAA+C;gBACvD,IAAI,EAAE,SAAS;gBACf,KAAK,EAAE,IAAI;aACZ,CAAC;YACF,MAAM,OAAO,GAAG,aAAa,EAAE,CAAC;YAEhC,MAAM,CAAC,QAAQ,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YAE9C,MAAM,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACrD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,aAAa,EAAE,GAAG,EAAE;YACrB,MAAM,IAAI,GAA+C;gBACvD,IAAI,EAAE,SAAS;gBACf,KAAK,EAAE,KAAK;aACb,CAAC;YACF,MAAM,OAAO,GAAG,aAAa,EAAE,CAAC;YAEhC,MAAM,CAAC,QAAQ,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YAE9C,MAAM,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QACtD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
+{"version":3,"file":"literals.test.js","sourceRoot":"","sources":["../../src/expressions/literals.test.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAE9B,OAAO,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAE5C,OAAO,EAAE,eAAe,EAAE,MAAM,uCAAuC,CAAC;AAExE,QAAQ,CAAC,aAAa,EAAE,GAAG,EAAE;IAC3B,MAAM,cAAc,GAAmB;QACrC,aAAa,EAAE,MAAM;QACrB,MAAM,EAAE,CAAC;KACV,CAAC;IAEF,MAAM,aAAa,GAAG,CACpB,cAAoC,EACpB,EAAE,CAAC,CAAC;QACpB,WAAW,EAAE,CAAC;QACd,OAAO,EAAE,cAAc;QACvB,QAAQ,EAAE,KAAK;QACf,OAAO,EAAE,KAAK;QACd,cAAc;QACd,MAAM,EAAE,IAAI,GAAG,EAAU;KAC1B,CAAC,CAAC;IAEH,QAAQ,CAAC,cAAc,EAAE,GAAG,EAAE;QAC5B,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;YACxD,MAAM,IAAI,GAA+C;gBACvD,IAAI,EAAE,SAAS;gBACf,KAAK,EAAE,IAAI;aACZ,CAAC;YACF,MAAM,OAAO,GAAG,aAAa,EAAE,CAAC;YAEhC,MAAM,CAAC,QAAQ,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YAE9C,MAAM,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACrD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,iEAAiE,EAAE,GAAG,EAAE;YACzE,MAAM,IAAI,GAA+C;gBACvD,IAAI,EAAE,SAAS;gBACf,KAAK,EAAE,IAAI;aACZ,CAAC;YACF,MAAM,YAAY,GAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;YACvE,MAAM,OAAO,GAAG,aAAa,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAE9C,MAAM,CAAC,QAAQ,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC;YAE5D,MAAM,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACrD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;YACnE,MAAM,IAAI,GAA+C;gBACvD,IAAI,EAAE,SAAS;gBACf,KAAK,EAAE,IAAI;aACZ,CAAC;YACF,MAAM,YAAY,GAAW,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;YACtE,MAAM,OAAO,GAAG,aAAa,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAE9C,MAAM,CAAC,QAAQ,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC;YAE5D,MAAM,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACxD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mEAAmE,EAAE,GAAG,EAAE;YAC3E,MAAM,IAAI,GAA+C;gBACvD,IAAI,EAAE,SAAS;gBACf,KAAK,EAAE,IAAI;aACZ,CAAC;YACF,MAAM,YAAY,GAAW;gBAC3B,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,OAAO;gBACb,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;aAC1D,CAAC;YACF,MAAM,OAAO,GAAG,aAAa,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAE9C,MAAM,CAAC,QAAQ,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC;YAE5D,MAAM,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACxD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;YACpE,MAAM,IAAI,GAA+C;gBACvD,IAAI,EAAE,SAAS;gBACf,KAAK,EAAE,IAAI;aACZ,CAAC;YACF,MAAM,YAAY,GAAW;gBAC3B,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,OAAO;gBACb,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;aAC3D,CAAC;YACF,MAAM,OAAO,GAAG,aAAa,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAE9C,MAAM,CAAC,QAAQ,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC;YAE5D,MAAM,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACrD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;YAC3D,MAAM,IAAI,GAA+C;gBACvD,IAAI,EAAE,SAAS;gBACf,KAAK,EAAE,IAAI;aACZ,CAAC;YACF,MAAM,YAAY,GAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;YAClE,MAAM,OAAO,GAAG,aAAa,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAE9C,MAAM,CAAC,QAAQ,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC;YAE5D,MAAM,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACrD,CAAC,CAAC,CAAC;QAEH,gDAAgD;QAChD,EAAE,CAAC,0DAA0D,EAAE,GAAG,EAAE;YAClE,MAAM,IAAI,GAA+C;gBACvD,IAAI,EAAE,SAAS;gBACf,KAAK,EAAE,IAAI;aACZ,CAAC;YACF,yDAAyD;YACzD,MAAM,YAAY,GAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;YACvE,MAAM,OAAO,GAAG,aAAa,EAAE,CAAC;YAEhC,MAAM,CAAC,QAAQ,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC;YAE5D,MAAM,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACxD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,0FAA0F,EAAE,GAAG,EAAE;YAClG,MAAM,IAAI,GAA+C;gBACvD,IAAI,EAAE,SAAS;gBACf,KAAK,EAAE,IAAI;aACZ,CAAC;YACF,+DAA+D;YAC/D,iDAAiD;YACjD,MAAM,YAAY,GAAW;gBAC3B,IAAI,EAAE,WAAW;gBACjB,KAAK,EAAE;oBACL,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;oBACzC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE;iBACxC;aACF,CAAC;YACF,MAAM,OAAO,GAAG,aAAa,EAAE,CAAC;YAEhC,MAAM,CAAC,QAAQ,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC;YAE5D,MAAM,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACxD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;YACnE,MAAM,IAAI,GAA+C;gBACvD,IAAI,EAAE,SAAS;gBACf,KAAK,EAAE,IAAI;aACZ,CAAC;YACF,wDAAwD;YACxD,MAAM,YAAY,GAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;YACxE,MAAM,OAAO,GAAG,aAAa,EAAE,CAAC;YAEhC,MAAM,CAAC,QAAQ,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC;YAE5D,MAAM,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACxD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,mBAAmB,EAAE,GAAG,EAAE;QACjC,EAAE,CAAC,+BAA+B,EAAE,GAAG,EAAE;YACvC,MAAM,IAAI,GAA+C;gBACvD,IAAI,EAAE,SAAS;gBACf,KAAK,EAAE,SAAS;aACjB,CAAC;YACF,MAAM,OAAO,GAAG,aAAa,EAAE,CAAC;YAEhC,MAAM,CAAC,QAAQ,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YAE9C,MAAM,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACxD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,yEAAyE,EAAE,GAAG,EAAE;YACjF,MAAM,IAAI,GAA+C;gBACvD,IAAI,EAAE,SAAS;gBACf,KAAK,EAAE,SAAS;aACjB,CAAC;YACF,MAAM,YAAY,GAAW;gBAC3B,IAAI,EAAE,WAAW;gBACjB,KAAK,EAAE;oBACL,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;oBACzC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE;iBAC7C;aACF,CAAC;YACF,MAAM,OAAO,GAAG,aAAa,EAAE,CAAC;YAEhC,MAAM,CAAC,QAAQ,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC;YAE5D,MAAM,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC;QAChE,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,qEAAqE,EAAE,GAAG,EAAE;YAC7E,MAAM,IAAI,GAA+C;gBACvD,IAAI,EAAE,SAAS;gBACf,KAAK,EAAE,SAAS;aACjB,CAAC;YACF,MAAM,YAAY,GAAW;gBAC3B,IAAI,EAAE,WAAW;gBACjB,KAAK,EAAE;oBACL,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;oBACzC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE;iBACxC;aACF,CAAC;YACF,MAAM,OAAO,GAAG,aAAa,EAAE,CAAC;YAEhC,MAAM,CAAC,QAAQ,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC;YAE5D,MAAM,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC;QACjE,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,yEAAyE,EAAE,GAAG,EAAE;YACjF,MAAM,IAAI,GAA+C;gBACvD,IAAI,EAAE,SAAS;gBACf,KAAK,EAAE,SAAS;aACjB,CAAC;YACF,MAAM,YAAY,GAAW;gBAC3B,IAAI,EAAE,WAAW;gBACjB,KAAK,EAAE;oBACL,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE;oBAC1C,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE;iBAC7C;aACF,CAAC;YACF,MAAM,OAAO,GAAG,aAAa,EAAE,CAAC;YAEhC,MAAM,CAAC,QAAQ,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC;YAE5D,MAAM,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC;QAC/D,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,gBAAgB,EAAE,GAAG,EAAE;QAC9B,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;YAC3D,MAAM,IAAI,GAA+C;gBACvD,IAAI,EAAE,SAAS;gBACf,KAAK,EAAE,EAAE;aACV,CAAC;YACF,MAAM,OAAO,GAAG,aAAa,EAAE,CAAC;YAEhC,MAAM,CAAC,QAAQ,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YAE9C,MAAM,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACnD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;YAC7D,MAAM,IAAI,GAA+C;gBACvD,IAAI,EAAE,SAAS;gBACf,KAAK,EAAE,IAAI;aACZ,CAAC;YACF,MAAM,OAAO,GAAG,aAAa,EAAE,CAAC;YAEhC,MAAM,CAAC,QAAQ,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YAE9C,MAAM,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACrD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;YACrD,MAAM,IAAI,GAA+C;gBACvD,IAAI,EAAE,SAAS;gBACf,KAAK,EAAE,EAAE;aACV,CAAC;YACF,MAAM,OAAO,GAAmB;gBAC9B,GAAG,aAAa,EAAE;gBAClB,YAAY,EAAE,IAAI;aACnB,CAAC;YAEF,MAAM,CAAC,QAAQ,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YAE9C,MAAM,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACnD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,gBAAgB,EAAE,GAAG,EAAE;QAC9B,EAAE,CAAC,sBAAsB,EAAE,GAAG,EAAE;YAC9B,MAAM,IAAI,GAA+C;gBACvD,IAAI,EAAE,SAAS;gBACf,KAAK,EAAE,cAAc;aACtB,CAAC;YACF,MAAM,OAAO,GAAG,aAAa,EAAE,CAAC;YAEhC,MAAM,CAAC,QAAQ,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YAE9C,MAAM,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC;QAChE,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,iBAAiB,EAAE,GAAG,EAAE;QAC/B,EAAE,CAAC,YAAY,EAAE,GAAG,EAAE;YACpB,MAAM,IAAI,GAA+C;gBACvD,IAAI,EAAE,SAAS;gBACf,KAAK,EAAE,IAAI;aACZ,CAAC;YACF,MAAM,OAAO,GAAG,aAAa,EAAE,CAAC;YAEhC,MAAM,CAAC,QAAQ,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YAE9C,MAAM,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACrD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,aAAa,EAAE,GAAG,EAAE;YACrB,MAAM,IAAI,GAA+C;gBACvD,IAAI,EAAE,SAAS;gBACf,KAAK,EAAE,KAAK;aACb,CAAC;YACF,MAAM,OAAO,GAAG,aAAa,EAAE,CAAC;YAEhC,MAAM,CAAC,QAAQ,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YAE9C,MAAM,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QACtD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/expressions/object-helpers.d.ts

@@ -0,0 +1,22 @@
+/**
+ * Shared helpers for object and dictionary literal emission.
+ */
+import { IrClassMember, IrExpression, IrType } from "@tsonic/frontend";
+import { EmitterContext } from "../types.js";
+import type { CSharpExpressionAst, CSharpTypeAst } from "../core/format/backend-ast/types.js";
+import type { LocalTypeInfo } from "../emitter-types/core.js";
+export declare const emitObjectMemberName: (receiverType: IrType | undefined, memberName: string, context: EmitterContext) => string;
+export declare const getDeterministicObjectKeyName: (key: string | IrExpression) => string | undefined;
+export declare const isObjectRootTypeAst: (typeAst: CSharpTypeAst) => boolean;
+export declare const isObjectRootType: (type: IrType, context: EmitterContext) => boolean;
+export declare const isDictionaryLikeSpreadType: (type: IrType, context: EmitterContext) => boolean;
+export declare const createStringLiteralExpression: (value: string) => CSharpExpressionAst;
+export declare const createDictionaryElementAccess: (targetIdentifier: string, key: CSharpExpressionAst) => CSharpExpressionAst;
+/**
+ * Get property names from an object-like type.
+ */
+export declare const getObjectTypePropertyNames: (type: IrType, context: EmitterContext) => readonly string[];
+export declare const hasMatchingBehaviorMember: (candidate: Extract<LocalTypeInfo, {
+    kind: "class";
+}>, member: IrClassMember) => boolean;
+//# sourceMappingURL=object-helpers.d.ts.map

package/dist/expressions/object-helpers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"object-helpers.d.ts","sourceRoot":"","sources":["../../src/expressions/object-helpers.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AACvE,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAM7C,OAAO,KAAK,EACV,mBAAmB,EACnB,aAAa,EACd,MAAM,qCAAqC,CAAC;AAC7C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AAW9D,eAAO,MAAM,oBAAoB,GAC/B,cAAc,MAAM,GAAG,SAAS,EAChC,YAAY,MAAM,EAClB,SAAS,cAAc,KACtB,MAGF,CAAC;AAEF,eAAO,MAAM,6BAA6B,GACxC,KAAK,MAAM,GAAG,YAAY,KACzB,MAAM,GAAG,SAMX,CAAC;AAEF,eAAO,MAAM,mBAAmB,GAAI,SAAS,aAAa,KAAG,OAS5D,CAAC;AAEF,eAAO,MAAM,gBAAgB,GAC3B,MAAM,MAAM,EACZ,SAAS,cAAc,KACtB,OAGF,CAAC;AAEF,eAAO,MAAM,0BAA0B,GACrC,MAAM,MAAM,EACZ,SAAS,cAAc,KACtB,OAKF,CAAC;AAEF,eAAO,MAAM,6BAA6B,GACxC,OAAO,MAAM,KACZ,mBAA2C,CAAC;AAE/C,eAAO,MAAM,6BAA6B,GACxC,kBAAkB,MAAM,EACxB,KAAK,mBAAmB,KACvB,mBAID,CAAC;AAEH;;GAEG;AACH,eAAO,MAAM,0BAA0B,GACrC,MAAM,MAAM,EACZ,SAAS,cAAc,KACtB,SAAS,MAAM,EAyDjB,CAAC;AAEF,eAAO,MAAM,yBAAyB,GACpC,WAAW,OAAO,CAAC,aAAa,EAAE;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,CAAC,EACpD,QAAQ,aAAa,KACpB,OAoBF,CAAC"}

package/dist/expressions/object-helpers.js

@@ -0,0 +1,98 @@
+/**
+ * Shared helpers for object and dictionary literal emission.
+ */
+import { emitCSharpName } from "../naming-policy.js";
+import { identifierExpression, stringLiteral, } from "../core/format/backend-ast/builders.js";
+import { resolveTypeMemberIndexMap, resolveTypeMemberKind, typeMemberKindToBucket, } from "../core/semantic/member-surfaces.js";
+import { stripNullish, resolveTypeAlias, } from "../core/semantic/type-resolution.js";
+export const emitObjectMemberName = (receiverType, memberName, context) => {
+    const kind = resolveTypeMemberKind(receiverType, memberName, context);
+    return emitCSharpName(memberName, typeMemberKindToBucket(kind), context);
+};
+export const getDeterministicObjectKeyName = (key) => {
+    if (typeof key === "string")
+        return key;
+    if (key.kind === "literal" && typeof key.value === "string") {
+        return key.value;
+    }
+    return undefined;
+};
+export const isObjectRootTypeAst = (typeAst) => {
+    if (typeAst.kind === "predefinedType") {
+        return typeAst.keyword === "object";
+    }
+    if (typeAst.kind === "identifierType") {
+        const normalized = typeAst.name.replace(/^global::/, "");
+        return normalized === "object" || normalized === "System.Object";
+    }
+    return false;
+};
+export const isObjectRootType = (type, context) => {
+    const resolved = resolveTypeAlias(stripNullish(type), context);
+    return resolved.kind === "referenceType" && resolved.name === "object";
+};
+export const isDictionaryLikeSpreadType = (type, context) => {
+    const resolved = resolveTypeAlias(stripNullish(type), context);
+    return (resolved.kind === "dictionaryType" || isObjectRootType(resolved, context));
+};
+export const createStringLiteralExpression = (value) => stringLiteral(value);
+export const createDictionaryElementAccess = (targetIdentifier, key) => ({
+    kind: "elementAccessExpression",
+    expression: identifierExpression(targetIdentifier),
+    arguments: [key],
+});
+/**
+ * Get property names from an object-like type.
+ */
+export const getObjectTypePropertyNames = (type, context) => {
+    const resolved = resolveTypeAlias(stripNullish(type), context);
+    if (resolved.kind === "objectType") {
+        return resolved.members
+            .filter((m) => m.kind === "propertySignature")
+            .map((m) => m.name);
+    }
+    if (resolved.kind === "referenceType") {
+        const localType = context.localTypes?.get(resolved.name);
+        if (localType?.kind === "interface") {
+            return localType.members
+                .filter((m) => m.kind === "propertySignature")
+                .map((m) => m.name);
+        }
+        if (localType?.kind === "class") {
+            return localType.members
+                .filter((m) => m.kind === "propertyDeclaration" && !m.isStatic)
+                .map((m) => m.name);
+        }
+        if (localType?.kind === "typeAlias" &&
+            localType.type.kind === "objectType") {
+            return localType.type.members
+                .filter((m) => m.kind === "propertySignature")
+                .map((m) => m.name);
+        }
+        const perType = resolveTypeMemberIndexMap(resolved, context);
+        if (perType) {
+            const names = [];
+            for (const [memberName, kind] of perType.entries()) {
+                if (kind === "property" || kind === "field") {
+                    names.push(memberName);
+                }
+            }
+            return names;
+        }
+    }
+    return [];
+};
+export const hasMatchingBehaviorMember = (candidate, member) => {
+    if (member.kind === "propertyDeclaration") {
+        return candidate.members.some((candidateMember) => candidateMember.kind === "propertyDeclaration" &&
+            candidateMember.name === member.name &&
+            !!candidateMember.getterBody === !!member.getterBody &&
+            !!candidateMember.setterBody === !!member.setterBody);
+    }
+    if (member.kind === "methodDeclaration") {
+        return candidate.members.some((candidateMember) => candidateMember.kind === "methodDeclaration" &&
+            candidateMember.name === member.name);
+    }
+    return false;
+};
+//# sourceMappingURL=object-helpers.js.map

package/dist/expressions/object-helpers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"object-helpers.js","sourceRoot":"","sources":["../../src/expressions/object-helpers.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AACrD,OAAO,EACL,oBAAoB,EACpB,aAAa,GACd,MAAM,wCAAwC,CAAC;AAMhD,OAAO,EACL,yBAAyB,EACzB,qBAAqB,EACrB,sBAAsB,GACvB,MAAM,qCAAqC,CAAC;AAC7C,OAAO,EACL,YAAY,EACZ,gBAAgB,GACjB,MAAM,qCAAqC,CAAC;AAE7C,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,YAAgC,EAChC,UAAkB,EAClB,OAAuB,EACf,EAAE;IACV,MAAM,IAAI,GAAG,qBAAqB,CAAC,YAAY,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC;IACtE,OAAO,cAAc,CAAC,UAAU,EAAE,sBAAsB,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;AAC3E,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAC3C,GAA0B,EACN,EAAE;IACtB,IAAI,OAAO,GAAG,KAAK,QAAQ;QAAE,OAAO,GAAG,CAAC;IACxC,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,GAAG,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC5D,OAAO,GAAG,CAAC,KAAK,CAAC;IACnB,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,OAAsB,EAAW,EAAE;IACrE,IAAI,OAAO,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACtC,OAAO,OAAO,CAAC,OAAO,KAAK,QAAQ,CAAC;IACtC,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACtC,MAAM,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;QACzD,OAAO,UAAU,KAAK,QAAQ,IAAI,UAAU,KAAK,eAAe,CAAC;IACnE,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,IAAY,EACZ,OAAuB,EACd,EAAE;IACX,MAAM,QAAQ,GAAG,gBAAgB,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;IAC/D,OAAO,QAAQ,CAAC,IAAI,KAAK,eAAe,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,CAAC;AACzE,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,0BAA0B,GAAG,CACxC,IAAY,EACZ,OAAuB,EACd,EAAE;IACX,MAAM,QAAQ,GAAG,gBAAgB,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;IAC/D,OAAO,CACL,QAAQ,CAAC,IAAI,KAAK,gBAAgB,IAAI,gBAAgB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAC1E,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAC3C,KAAa,EACQ,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;AAE/C,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAC3C,gBAAwB,EACxB,GAAwB,EACH,EAAE,CAAC,CAAC;IACzB,IAAI,EAAE,yBAAyB;IAC/B,UAAU,EAAE,oBAAoB,CAAC,gBAAgB,CAAC;IAClD,SAAS,EAAE,CAAC,GAAG,CAAC;CACjB,CAAC,CAAC;AAEH;;GAEG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG,CACxC,IAAY,EACZ,OAAuB,EACJ,EAAE;IACrB,MAAM,QAAQ,GAAG,gBAAgB,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;IAE/D,IAAI,QAAQ,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACnC,OAAO,QAAQ,CAAC,OAAO;aACpB,MAAM,CACL,CAAC,CAAC,EAAyD,EAAE,CAC3D,CAAC,CAAC,IAAI,KAAK,mBAAmB,CACjC;aACA,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACxB,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACtC,MAAM,SAAS,GAAG,OAAO,CAAC,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACzD,IAAI,SAAS,EAAE,IAAI,KAAK,WAAW,EAAE,CAAC;YACpC,OAAO,SAAS,CAAC,OAAO;iBACrB,MAAM,CACL,CAAC,CAAC,EAAyD,EAAE,CAC3D,CAAC,CAAC,IAAI,KAAK,mBAAmB,CACjC;iBACA,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACxB,CAAC;QAED,IAAI,SAAS,EAAE,IAAI,KAAK,OAAO,EAAE,CAAC;YAChC,OAAO,SAAS,CAAC,OAAO;iBACrB,MAAM,CACL,CAAC,CAAC,EAA2D,EAAE,CAC7D,CAAC,CAAC,IAAI,KAAK,qBAAqB,IAAI,CAAC,CAAC,CAAC,QAAQ,CAClD;iBACA,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACxB,CAAC;QAED,IACE,SAAS,EAAE,IAAI,KAAK,WAAW;YAC/B,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY,EACpC,CAAC;YACD,OAAO,SAAS,CAAC,IAAI,CAAC,OAAO;iBAC1B,MAAM,CACL,CAAC,CAAC,EAAyD,EAAE,CAC3D,CAAC,CAAC,IAAI,KAAK,mBAAmB,CACjC;iBACA,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACxB,CAAC;QAED,MAAM,OAAO,GAAG,yBAAyB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC7D,IAAI,OAAO,EAAE,CAAC;YACZ,MAAM,KAAK,GAAa,EAAE,CAAC;YAC3B,KAAK,MAAM,CAAC,UAAU,EAAE,IAAI,CAAC,IAAI,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC;gBACnD,IAAI,IAAI,KAAK,UAAU,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;oBAC5C,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;gBACzB,CAAC;YACH,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IAED,OAAO,EAAE,CAAC;AACZ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,SAAoD,EACpD,MAAqB,EACZ,EAAE;IACX,IAAI,MAAM,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;QAC1C,OAAO,SAAS,CAAC,OAAO,CAAC,IAAI,CAC3B,CAAC,eAAe,EAAE,EAAE,CAClB,eAAe,CAAC,IAAI,KAAK,qBAAqB;YAC9C,eAAe,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI;YACpC,CAAC,CAAC,eAAe,CAAC,UAAU,KAAK,CAAC,CAAC,MAAM,CAAC,UAAU;YACpD,CAAC,CAAC,eAAe,CAAC,UAAU,KAAK,CAAC,CAAC,MAAM,CAAC,UAAU,CACvD,CAAC;IACJ,CAAC;IAED,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;QACxC,OAAO,SAAS,CAAC,OAAO,CAAC,IAAI,CAC3B,CAAC,eAAe,EAAE,EAAE,CAClB,eAAe,CAAC,IAAI,KAAK,mBAAmB;YAC5C,eAAe,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,CACvC,CAAC;IACJ,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC"}

package/dist/expressions/object-literal-spreads.d.ts

@@ -0,0 +1,20 @@
+/**
+ * Object literal spread/IIFE emission and behavioral type resolution.
+ *
+ * Handles object literals with spread properties (using IIFE pattern)
+ * and resolves behavioral object literal types by matching against
+ * synthesized anonymous classes.
+ */
+import { IrExpression, IrType } from "@tsonic/frontend";
+import { EmitterContext } from "../types.js";
+import type { CSharpExpressionAst, CSharpTypeAst } from "../core/format/backend-ast/types.js";
+/**
+ * Emit an object literal with spreads using IIFE pattern.
+ */
+export declare const emitObjectWithSpreads: (expr: Extract<IrExpression, {
+    kind: "object";
+}>, context: EmitterContext, effectiveType: IrType | undefined, typeAst: CSharpTypeAst, targetType: IrType | undefined) => [CSharpExpressionAst, EmitterContext];
+export declare const resolveBehavioralObjectLiteralType: (expr: Extract<IrExpression, {
+    kind: "object";
+}>, context: EmitterContext) => IrType | undefined;
+//# sourceMappingURL=object-literal-spreads.d.ts.map

package/dist/expressions/object-literal-spreads.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"object-literal-spreads.d.ts","sourceRoot":"","sources":["../../src/expressions/object-literal-spreads.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAiB,YAAY,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AACvE,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAK7C,OAAO,KAAK,EACV,mBAAmB,EAEnB,aAAa,EACd,MAAM,qCAAqC,CAAC;AAU7C;;GAEG;AACH,eAAO,MAAM,qBAAqB,GAChC,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,CAAC,EAC/C,SAAS,cAAc,EACvB,eAAe,MAAM,GAAG,SAAS,EACjC,SAAS,aAAa,EACtB,YAAY,MAAM,GAAG,SAAS,KAC7B,CAAC,mBAAmB,EAAE,cAAc,CA0FtC,CAAC;AAoFF,eAAO,MAAM,kCAAkC,GAC7C,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,CAAC,EAC/C,SAAS,cAAc,KACtB,MAAM,GAAG,SA2DX,CAAC"}