@tsonic/emitter 0.0.74 → 0.0.75

package/dist/expressions/exact-comparison.js

@@ -0,0 +1,240 @@
+/**
+ * Exact-comparison lowering helpers.
+ * Determines whether an already-emitted C# AST node matches an expected type,
+ * avoiding redundant casts.
+ */
+import { emitTypeAst } from "../type-emitter.js";
+import { stripNullish, splitRuntimeNullishUnionMembers, resolveTypeAlias, isDefinitelyValueType, } from "../core/semantic/type-resolution.js";
+import { resolveComparableType } from "../core/semantic/comparable-types.js";
+import { areIrTypesEquivalent } from "../core/semantic/type-equivalence.js";
+import { extractCalleeNameFromAst, getIdentifierTypeName, sameTypeAstSurface, stripNullableTypeAst, } from "../core/format/backend-ast/utils.js";
+import { canPreferAnonymousStructuralTarget, resolveAnonymousStructuralReferenceType, } from "./structural-adaptation.js";
+import { getContextualTypeVisitKey } from "../core/semantic/deterministic-type-keys.js";
+export const hasNullishBranch = (type) => {
+    if (!type || type.kind !== "unionType")
+        return false;
+    return type.types.some((member) => member.kind === "primitiveType" &&
+        (member.name === "null" || member.name === "undefined"));
+};
+const isSafelyEmittableTypeForExactComparison = (type, context, visited = new WeakSet()) => {
+    if (typeof type === "object" && type !== null) {
+        if (visited.has(type)) {
+            return true;
+        }
+        visited.add(type);
+    }
+    const stripped = stripNullish(type);
+    switch (stripped.kind) {
+        case "primitiveType":
+        case "literalType":
+        case "typeParameterType":
+        case "voidType":
+        case "anyType":
+        case "unknownType":
+        case "neverType":
+            return true;
+        case "objectType":
+            return false;
+        case "referenceType":
+            return (stripped.typeArguments ?? []).every((typeArgument) => typeArgument !== undefined &&
+                isSafelyEmittableTypeForExactComparison(typeArgument, context, visited));
+        case "arrayType":
+            return isSafelyEmittableTypeForExactComparison(stripped.elementType, context, visited);
+        case "dictionaryType":
+            return (isSafelyEmittableTypeForExactComparison(stripped.keyType, context, visited) &&
+                isSafelyEmittableTypeForExactComparison(stripped.valueType, context, visited));
+        case "tupleType":
+            return stripped.elementTypes.every((elementType) => elementType !== undefined &&
+                isSafelyEmittableTypeForExactComparison(elementType, context, visited));
+        case "functionType":
+            return (stripped.parameters.every((parameter) => !parameter.type ||
+                isSafelyEmittableTypeForExactComparison(parameter.type, context, visited)) &&
+                isSafelyEmittableTypeForExactComparison(stripped.returnType, context, visited));
+        case "unionType":
+        case "intersectionType":
+            return stripped.types.every((memberType) => memberType !== undefined &&
+                isSafelyEmittableTypeForExactComparison(memberType, context, visited));
+    }
+};
+const getSafeExactComparisonTargetType = (type, context) => {
+    if (isSafelyEmittableTypeForExactComparison(type, context)) {
+        return type;
+    }
+    const stripped = stripNullish(type);
+    if (isSafelyEmittableTypeForExactComparison(stripped, context)) {
+        return stripped;
+    }
+    const anonymousStructuralTarget = canPreferAnonymousStructuralTarget(type)
+        ? resolveAnonymousStructuralReferenceType(type, context)
+        : undefined;
+    if (anonymousStructuralTarget &&
+        isSafelyEmittableTypeForExactComparison(anonymousStructuralTarget, context)) {
+        return anonymousStructuralTarget;
+    }
+    const normalized = resolveComparableType(type, context);
+    if (isSafelyEmittableTypeForExactComparison(normalized, context)) {
+        return normalized;
+    }
+    return undefined;
+};
+export const tryEmitExactComparisonTargetAst = (type, context) => {
+    const candidates = [];
+    const seen = new Set();
+    const pushCandidate = (candidate) => {
+        if (!candidate) {
+            return;
+        }
+        const key = getContextualTypeVisitKey(candidate, context);
+        if (seen.has(key)) {
+            return;
+        }
+        seen.add(key);
+        candidates.push(candidate);
+    };
+    pushCandidate(getSafeExactComparisonTargetType(type, context));
+    pushCandidate(resolveComparableType(type, context));
+    for (const candidate of candidates) {
+        try {
+            return emitTypeAst(candidate, context);
+        }
+        catch {
+            continue;
+        }
+    }
+    return undefined;
+};
+export const canUseImplicitOptionalSurfaceConversion = (actualType, expectedType, context) => {
+    if (!hasNullishBranch(expectedType)) {
+        return false;
+    }
+    const normalizedActualBase = resolveComparableType(stripNullish(actualType), context);
+    const normalizedExpectedBase = resolveComparableType(stripNullish(expectedType), context);
+    return areIrTypesEquivalent(normalizedActualBase, normalizedExpectedBase, context);
+};
+export const isExactCastToType = (ast, targetType) => ast.kind === "castExpression" && sameTypeAstSurface(ast.type, targetType);
+export const isExactAsExpressionToType = (ast, targetType) => ast.kind === "asExpression" && sameTypeAstSurface(ast.type, targetType);
+export const isExactArrayCreationToType = (ast, targetType) => {
+    const concreteTargetType = stripNullableTypeAst(targetType);
+    if (concreteTargetType.kind !== "arrayType" ||
+        concreteTargetType.rank !== 1) {
+        return false;
+    }
+    if (ast.kind === "arrayCreationExpression") {
+        return sameTypeAstSurface(stripNullableTypeAst(ast.elementType), stripNullableTypeAst(concreteTargetType.elementType));
+    }
+    if (ast.kind !== "invocationExpression") {
+        return false;
+    }
+    if (extractCalleeNameFromAst(ast.expression) !== "global::System.Array.Empty" ||
+        ast.typeArguments?.length !== 1) {
+        return false;
+    }
+    const [elementTypeArgument] = ast.typeArguments;
+    if (!elementTypeArgument) {
+        return false;
+    }
+    return sameTypeAstSurface(stripNullableTypeAst(elementTypeArgument), stripNullableTypeAst(concreteTargetType.elementType));
+};
+const isExactRuntimeUnionFactoryCallToType = (ast, targetType) => {
+    if (ast.kind !== "invocationExpression") {
+        return false;
+    }
+    if (ast.expression.kind !== "memberAccessExpression") {
+        return false;
+    }
+    if (!/^From[1-8]$/.test(ast.expression.memberName)) {
+        return false;
+    }
+    if (ast.expression.expression.kind !== "typeReferenceExpression") {
+        return false;
+    }
+    return sameTypeAstSurface(ast.expression.expression.type, targetType);
+};
+const isExactDefaultExpressionToType = (ast, targetType) => ast.kind === "defaultExpression" &&
+    ast.type !== undefined &&
+    sameTypeAstSurface(ast.type, targetType);
+const isThrowExpressionToType = (ast) => ast.kind === "throwExpression";
+const isExactRuntimeUnionMatchToType = (ast, targetType) => {
+    if (ast.kind !== "invocationExpression") {
+        return false;
+    }
+    if (ast.expression.kind !== "memberAccessExpression" ||
+        ast.expression.memberName !== "Match") {
+        return false;
+    }
+    if (ast.arguments.length === 0) {
+        return false;
+    }
+    const [explicitTypeArgument] = ast.typeArguments ?? [];
+    if (explicitTypeArgument &&
+        sameTypeAstSurface(explicitTypeArgument, targetType)) {
+        return true;
+    }
+    return ast.arguments.every((argument) => {
+        if (argument.kind !== "lambdaExpression") {
+            return false;
+        }
+        return (argument.body.kind !== "blockStatement" &&
+            isExactExpressionToType(argument.body, targetType));
+    });
+};
+const isExactConditionalExpressionToType = (ast, targetType) => ast.kind === "conditionalExpression" &&
+    isExactExpressionToType(ast.whenTrue, targetType) &&
+    isExactExpressionToType(ast.whenFalse, targetType);
+const isExactInvokedLambdaToType = (ast, targetType) => {
+    if (ast.kind !== "invocationExpression") {
+        return false;
+    }
+    let target = ast.expression;
+    while (target.kind === "parenthesizedExpression") {
+        target = target.expression;
+    }
+    if (target.kind !== "castExpression") {
+        return false;
+    }
+    const delegateType = stripNullableTypeAst(target.type);
+    const delegateTypeName = getIdentifierTypeName(delegateType);
+    if (delegateTypeName !== "Func" &&
+        delegateTypeName !== "System.Func" &&
+        delegateTypeName !== "global::System.Func") {
+        return false;
+    }
+    const delegateTypeArguments = delegateType.kind === "identifierType" ||
+        delegateType.kind === "qualifiedIdentifierType"
+        ? delegateType.typeArguments
+        : undefined;
+    const returnType = delegateTypeArguments && delegateTypeArguments.length > 0
+        ? delegateTypeArguments[delegateTypeArguments.length - 1]
+        : undefined;
+    return !!returnType && sameTypeAstSurface(returnType, targetType);
+};
+export const isExactNullableValueAccessToType = (ast, actualType, expectedType, context) => {
+    if (ast.kind !== "memberAccessExpression" || ast.memberName !== "Value") {
+        return false;
+    }
+    const splitActual = splitRuntimeNullishUnionMembers(actualType);
+    if (!splitActual?.hasRuntimeNullish ||
+        splitActual.nonNullishMembers.length !== 1) {
+        return false;
+    }
+    const [baseMember] = splitActual.nonNullishMembers;
+    if (!baseMember) {
+        return false;
+    }
+    const resolvedBase = resolveTypeAlias(stripNullish(baseMember), context);
+    const resolvedExpected = resolveTypeAlias(stripNullish(expectedType), context);
+    return (isDefinitelyValueType(resolvedExpected) &&
+        areIrTypesEquivalent(resolvedBase, resolvedExpected, context));
+};
+export const isExactExpressionToType = (ast, targetType) => isThrowExpressionToType(ast) ||
+    isExactObjectCreationToType(ast, targetType) ||
+    isExactCastToType(ast, targetType) ||
+    isExactAsExpressionToType(ast, targetType) ||
+    isExactInvokedLambdaToType(ast, targetType) ||
+    isExactRuntimeUnionFactoryCallToType(ast, targetType) ||
+    isExactDefaultExpressionToType(ast, targetType) ||
+    isExactRuntimeUnionMatchToType(ast, targetType) ||
+    isExactConditionalExpressionToType(ast, targetType);
+const isExactObjectCreationToType = (ast, targetType) => ast.kind === "objectCreationExpression" &&
+    sameTypeAstSurface(ast.type, targetType);
+//# sourceMappingURL=exact-comparison.js.map

package/dist/expressions/exact-comparison.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"exact-comparison.js","sourceRoot":"","sources":["../../src/expressions/exact-comparison.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAIH,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EACL,YAAY,EACZ,+BAA+B,EAC/B,gBAAgB,EAChB,qBAAqB,GACtB,MAAM,qCAAqC,CAAC;AAC7C,OAAO,EAAE,qBAAqB,EAAE,MAAM,sCAAsC,CAAC;AAC7E,OAAO,EAAE,oBAAoB,EAAE,MAAM,sCAAsC,CAAC;AAC5E,OAAO,EACL,wBAAwB,EACxB,qBAAqB,EACrB,kBAAkB,EAClB,oBAAoB,GACrB,MAAM,qCAAqC,CAAC;AAK7C,OAAO,EACL,kCAAkC,EAClC,uCAAuC,GACxC,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,yBAAyB,EAAE,MAAM,6CAA6C,CAAC;AAExF,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,IAAwB,EAAW,EAAE;IACpE,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,KAAK,CAAC;IACrD,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CACpB,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;AACJ,CAAC,CAAC;AAEF,MAAM,uCAAuC,GAAG,CAC9C,IAAY,EACZ,OAAuB,EACvB,UAA2B,IAAI,OAAO,EAAE,EAC/B,EAAE;IACX,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAC9C,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACtB,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACpB,CAAC;IAED,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IAEpC,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;QACtB,KAAK,eAAe,CAAC;QACrB,KAAK,aAAa,CAAC;QACnB,KAAK,mBAAmB,CAAC;QACzB,KAAK,UAAU,CAAC;QAChB,KAAK,SAAS,CAAC;QACf,KAAK,aAAa,CAAC;QACnB,KAAK,WAAW;YACd,OAAO,IAAI,CAAC;QACd,KAAK,YAAY;YACf,OAAO,KAAK,CAAC;QACf,KAAK,eAAe;YAClB,OAAO,CAAC,QAAQ,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,KAAK,CACzC,CAAC,YAAY,EAAE,EAAE,CACf,YAAY,KAAK,SAAS;gBAC1B,uCAAuC,CACrC,YAAY,EACZ,OAAO,EACP,OAAO,CACR,CACJ,CAAC;QACJ,KAAK,WAAW;YACd,OAAO,uCAAuC,CAC5C,QAAQ,CAAC,WAAW,EACpB,OAAO,EACP,OAAO,CACR,CAAC;QACJ,KAAK,gBAAgB;YACnB,OAAO,CACL,uCAAuC,CACrC,QAAQ,CAAC,OAAO,EAChB,OAAO,EACP,OAAO,CACR;gBACD,uCAAuC,CACrC,QAAQ,CAAC,SAAS,EAClB,OAAO,EACP,OAAO,CACR,CACF,CAAC;QACJ,KAAK,WAAW;YACd,OAAO,QAAQ,CAAC,YAAY,CAAC,KAAK,CAChC,CAAC,WAAW,EAAE,EAAE,CACd,WAAW,KAAK,SAAS;gBACzB,uCAAuC,CAAC,WAAW,EAAE,OAAO,EAAE,OAAO,CAAC,CACzE,CAAC;QACJ,KAAK,cAAc;YACjB,OAAO,CACL,QAAQ,CAAC,UAAU,CAAC,KAAK,CACvB,CAAC,SAAS,EAAE,EAAE,CACZ,CAAC,SAAS,CAAC,IAAI;gBACf,uCAAuC,CACrC,SAAS,CAAC,IAAI,EACd,OAAO,EACP,OAAO,CACR,CACJ;gBACD,uCAAuC,CACrC,QAAQ,CAAC,UAAU,EACnB,OAAO,EACP,OAAO,CACR,CACF,CAAC;QACJ,KAAK,WAAW,CAAC;QACjB,KAAK,kBAAkB;YACrB,OAAO,QAAQ,CAAC,KAAK,CAAC,KAAK,CACzB,CAAC,UAAU,EAAE,EAAE,CACb,UAAU,KAAK,SAAS;gBACxB,uCAAuC,CAAC,UAAU,EAAE,OAAO,EAAE,OAAO,CAAC,CACxE,CAAC;IACN,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,gCAAgC,GAAG,CACvC,IAAY,EACZ,OAAuB,EACH,EAAE;IACtB,IAAI,uCAAuC,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC;QAC3D,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IACpC,IAAI,uCAAuC,CAAC,QAAQ,EAAE,OAAO,CAAC,EAAE,CAAC;QAC/D,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,MAAM,yBAAyB,GAAG,kCAAkC,CAAC,IAAI,CAAC;QACxE,CAAC,CAAC,uCAAuC,CAAC,IAAI,EAAE,OAAO,CAAC;QACxD,CAAC,CAAC,SAAS,CAAC;IACd,IACE,yBAAyB;QACzB,uCAAuC,CAAC,yBAAyB,EAAE,OAAO,CAAC,EAC3E,CAAC;QACD,OAAO,yBAAyB,CAAC;IACnC,CAAC;IAED,MAAM,UAAU,GAAG,qBAAqB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACxD,IAAI,uCAAuC,CAAC,UAAU,EAAE,OAAO,CAAC,EAAE,CAAC;QACjE,OAAO,UAAU,CAAC;IACpB,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAC7C,IAAY,EACZ,OAAuB,EACsB,EAAE;IAC/C,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAE/B,MAAM,aAAa,GAAG,CAAC,SAA6B,EAAQ,EAAE;QAC5D,IAAI,CAAC,SAAS,EAAE,CAAC;YACf,OAAO;QACT,CAAC;QACD,MAAM,GAAG,GAAG,yBAAyB,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QAC1D,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAClB,OAAO;QACT,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACd,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC7B,CAAC,CAAC;IAEF,aAAa,CAAC,gCAAgC,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;IAC/D,aAAa,CAAC,qBAAqB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;IAEpD,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,IAAI,CAAC;YACH,OAAO,WAAW,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QACzC,CAAC;QAAC,MAAM,CAAC;YACP,SAAS;QACX,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,uCAAuC,GAAG,CACrD,UAAkB,EAClB,YAAoB,EACpB,OAAuB,EACd,EAAE;IACX,IAAI,CAAC,gBAAgB,CAAC,YAAY,CAAC,EAAE,CAAC;QACpC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,oBAAoB,GAAG,qBAAqB,CAChD,YAAY,CAAC,UAAU,CAAC,EACxB,OAAO,CACR,CAAC;IACF,MAAM,sBAAsB,GAAG,qBAAqB,CAClD,YAAY,CAAC,YAAY,CAAC,EAC1B,OAAO,CACR,CAAC;IAEF,OAAO,oBAAoB,CACzB,oBAAoB,EACpB,sBAAsB,EACtB,OAAO,CACR,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,GAAwB,EACxB,UAAyB,EAChB,EAAE,CACX,GAAG,CAAC,IAAI,KAAK,gBAAgB,IAAI,kBAAkB,CAAC,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;AAE5E,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,GAAwB,EACxB,UAAyB,EAChB,EAAE,CACX,GAAG,CAAC,IAAI,KAAK,cAAc,IAAI,kBAAkB,CAAC,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;AAE1E,MAAM,CAAC,MAAM,0BAA0B,GAAG,CACxC,GAAwB,EACxB,UAAyB,EAChB,EAAE;IACX,MAAM,kBAAkB,GAAG,oBAAoB,CAAC,UAAU,CAAC,CAAC;IAC5D,IACE,kBAAkB,CAAC,IAAI,KAAK,WAAW;QACvC,kBAAkB,CAAC,IAAI,KAAK,CAAC,EAC7B,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,GAAG,CAAC,IAAI,KAAK,yBAAyB,EAAE,CAAC;QAC3C,OAAO,kBAAkB,CACvB,oBAAoB,CAAC,GAAG,CAAC,WAAW,CAAC,EACrC,oBAAoB,CAAC,kBAAkB,CAAC,WAAW,CAAC,CACrD,CAAC;IACJ,CAAC;IAED,IAAI,GAAG,CAAC,IAAI,KAAK,sBAAsB,EAAE,CAAC;QACxC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IACE,wBAAwB,CAAC,GAAG,CAAC,UAAU,CAAC,KAAK,4BAA4B;QACzE,GAAG,CAAC,aAAa,EAAE,MAAM,KAAK,CAAC,EAC/B,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,CAAC,mBAAmB,CAAC,GAAG,GAAG,CAAC,aAAa,CAAC;IAChD,IAAI,CAAC,mBAAmB,EAAE,CAAC;QACzB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,kBAAkB,CACvB,oBAAoB,CAAC,mBAAmB,CAAC,EACzC,oBAAoB,CAAC,kBAAkB,CAAC,WAAW,CAAC,CACrD,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,oCAAoC,GAAG,CAC3C,GAAwB,EACxB,UAAyB,EAChB,EAAE;IACX,IAAI,GAAG,CAAC,IAAI,KAAK,sBAAsB,EAAE,CAAC;QACxC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,GAAG,CAAC,UAAU,CAAC,IAAI,KAAK,wBAAwB,EAAE,CAAC;QACrD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;QACnD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,KAAK,yBAAyB,EAAE,CAAC;QACjE,OAAO,KAAK,CAAC;IACf,CAAC;IAED,OAAO,kBAAkB,CAAC,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;AACxE,CAAC,CAAC;AAEF,MAAM,8BAA8B,GAAG,CACrC,GAAwB,EACxB,UAAyB,EAChB,EAAE,CACX,GAAG,CAAC,IAAI,KAAK,mBAAmB;IAChC,GAAG,CAAC,IAAI,KAAK,SAAS;IACtB,kBAAkB,CAAC,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;AAE3C,MAAM,uBAAuB,GAAG,CAAC,GAAwB,EAAW,EAAE,CACpE,GAAG,CAAC,IAAI,KAAK,iBAAiB,CAAC;AAEjC,MAAM,8BAA8B,GAAG,CACrC,GAAwB,EACxB,UAAyB,EAChB,EAAE;IACX,IAAI,GAAG,CAAC,IAAI,KAAK,sBAAsB,EAAE,CAAC;QACxC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IACE,GAAG,CAAC,UAAU,CAAC,IAAI,KAAK,wBAAwB;QAChD,GAAG,CAAC,UAAU,CAAC,UAAU,KAAK,OAAO,EACrC,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,GAAG,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC/B,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,CAAC,oBAAoB,CAAC,GAAG,GAAG,CAAC,aAAa,IAAI,EAAE,CAAC;IACvD,IACE,oBAAoB;QACpB,kBAAkB,CAAC,oBAAoB,EAAE,UAAU,CAAC,EACpD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,EAAE;QACtC,IAAI,QAAQ,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;YACzC,OAAO,KAAK,CAAC;QACf,CAAC;QACD,OAAO,CACL,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,gBAAgB;YACvC,uBAAuB,CAAC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC,CACnD,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC;AAEF,MAAM,kCAAkC,GAAG,CACzC,GAAwB,EACxB,UAAyB,EAChB,EAAE,CACX,GAAG,CAAC,IAAI,KAAK,uBAAuB;IACpC,uBAAuB,CAAC,GAAG,CAAC,QAAQ,EAAE,UAAU,CAAC;IACjD,uBAAuB,CAAC,GAAG,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;AAErD,MAAM,0BAA0B,GAAG,CACjC,GAAwB,EACxB,UAAyB,EAChB,EAAE;IACX,IAAI,GAAG,CAAC,IAAI,KAAK,sBAAsB,EAAE,CAAC;QACxC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,MAAM,GAAG,GAAG,CAAC,UAAU,CAAC;IAC5B,OAAO,MAAM,CAAC,IAAI,KAAK,yBAAyB,EAAE,CAAC;QACjD,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC;IAC7B,CAAC;IAED,IAAI,MAAM,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACrC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,YAAY,GAAG,oBAAoB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACvD,MAAM,gBAAgB,GAAG,qBAAqB,CAAC,YAAY,CAAC,CAAC;IAC7D,IACE,gBAAgB,KAAK,MAAM;QAC3B,gBAAgB,KAAK,aAAa;QAClC,gBAAgB,KAAK,qBAAqB,EAC1C,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,qBAAqB,GACzB,YAAY,CAAC,IAAI,KAAK,gBAAgB;QACtC,YAAY,CAAC,IAAI,KAAK,yBAAyB;QAC7C,CAAC,CAAC,YAAY,CAAC,aAAa;QAC5B,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,UAAU,GACd,qBAAqB,IAAI,qBAAqB,CAAC,MAAM,GAAG,CAAC;QACvD,CAAC,CAAC,qBAAqB,CAAC,qBAAqB,CAAC,MAAM,GAAG,CAAC,CAAC;QACzD,CAAC,CAAC,SAAS,CAAC;IAChB,OAAO,CAAC,CAAC,UAAU,IAAI,kBAAkB,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;AACpE,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,gCAAgC,GAAG,CAC9C,GAAwB,EACxB,UAAkB,EAClB,YAAoB,EACpB,OAAuB,EACd,EAAE;IACX,IAAI,GAAG,CAAC,IAAI,KAAK,wBAAwB,IAAI,GAAG,CAAC,UAAU,KAAK,OAAO,EAAE,CAAC;QACxE,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,WAAW,GAAG,+BAA+B,CAAC,UAAU,CAAC,CAAC;IAChE,IACE,CAAC,WAAW,EAAE,iBAAiB;QAC/B,WAAW,CAAC,iBAAiB,CAAC,MAAM,KAAK,CAAC,EAC1C,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,CAAC,UAAU,CAAC,GAAG,WAAW,CAAC,iBAAiB,CAAC;IACnD,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,YAAY,GAAG,gBAAgB,CAAC,YAAY,CAAC,UAAU,CAAC,EAAE,OAAO,CAAC,CAAC;IACzE,MAAM,gBAAgB,GAAG,gBAAgB,CACvC,YAAY,CAAC,YAAY,CAAC,EAC1B,OAAO,CACR,CAAC;IACF,OAAO,CACL,qBAAqB,CAAC,gBAAgB,CAAC;QACvC,oBAAoB,CAAC,YAAY,EAAE,gBAAgB,EAAE,OAAO,CAAC,CAC9D,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,GAAwB,EACxB,UAAyB,EAChB,EAAE,CACX,uBAAuB,CAAC,GAAG,CAAC;IAC5B,2BAA2B,CAAC,GAAG,EAAE,UAAU,CAAC;IAC5C,iBAAiB,CAAC,GAAG,EAAE,UAAU,CAAC;IAClC,yBAAyB,CAAC,GAAG,EAAE,UAAU,CAAC;IAC1C,0BAA0B,CAAC,GAAG,EAAE,UAAU,CAAC;IAC3C,oCAAoC,CAAC,GAAG,EAAE,UAAU,CAAC;IACrD,8BAA8B,CAAC,GAAG,EAAE,UAAU,CAAC;IAC/C,8BAA8B,CAAC,GAAG,EAAE,UAAU,CAAC;IAC/C,kCAAkC,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;AAEtD,MAAM,2BAA2B,GAAG,CAClC,GAAwB,EACxB,UAAyB,EAChB,EAAE,CACX,GAAG,CAAC,IAAI,KAAK,0BAA0B;IACvC,kBAAkB,CAAC,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC"}

package/dist/expressions/exact-global-bindings.d.ts

@@ -0,0 +1,6 @@
+import type { CSharpExpressionAst, CSharpTypeAst } from "../core/format/backend-ast/types.js";
+import type { EmitterContext } from "../types.js";
+export declare const resolveExactGlobalBindingFqn: (name: string, context: EmitterContext) => string;
+export declare const buildExactGlobalBindingReference: (name: string, context: EmitterContext) => CSharpExpressionAst;
+export declare const buildExactGlobalBindingType: (name: string, typeArguments: readonly CSharpTypeAst[] | undefined, context: EmitterContext) => CSharpTypeAst;
+//# sourceMappingURL=exact-global-bindings.d.ts.map

package/dist/expressions/exact-global-bindings.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"exact-global-bindings.d.ts","sourceRoot":"","sources":["../../src/expressions/exact-global-bindings.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EACV,mBAAmB,EACnB,aAAa,EACd,MAAM,qCAAqC,CAAC;AAC7C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAElD,eAAO,MAAM,4BAA4B,GACvC,MAAM,MAAM,EACZ,SAAS,cAAc,KACtB,MAmBF,CAAC;AAEF,eAAO,MAAM,gCAAgC,GAC3C,MAAM,MAAM,EACZ,SAAS,cAAc,KACtB,mBACgE,CAAC;AAEpE,eAAO,MAAM,2BAA2B,GACtC,MAAM,MAAM,EACZ,eAAe,SAAS,aAAa,EAAE,GAAG,SAAS,EACnD,SAAS,cAAc,KACtB,aACyE,CAAC"}

package/dist/expressions/exact-global-bindings.js

@@ -0,0 +1,15 @@
+import { identifierExpression, identifierType, } from "../core/format/backend-ast/builders.js";
+import { normalizeClrQualifiedName } from "../core/format/backend-ast/utils.js";
+export const resolveExactGlobalBindingFqn = (name, context) => {
+    const descriptor = context.bindingRegistry?.getExactBindingByKind(name, "global");
+    if (!descriptor) {
+        throw new Error(`Missing exact global binding '${name}' required for surface '${context.options.surface ?? "<unspecified>"}'.`);
+    }
+    if (descriptor.csharpName) {
+        return `global::${descriptor.assembly}.${descriptor.csharpName}`;
+    }
+    return normalizeClrQualifiedName(descriptor.staticType ?? descriptor.type, true);
+};
+export const buildExactGlobalBindingReference = (name, context) => identifierExpression(resolveExactGlobalBindingFqn(name, context));
+export const buildExactGlobalBindingType = (name, typeArguments, context) => identifierType(resolveExactGlobalBindingFqn(name, context), typeArguments);
+//# sourceMappingURL=exact-global-bindings.js.map

package/dist/expressions/exact-global-bindings.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"exact-global-bindings.js","sourceRoot":"","sources":["../../src/expressions/exact-global-bindings.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,oBAAoB,EACpB,cAAc,GACf,MAAM,wCAAwC,CAAC;AAChD,OAAO,EAAE,yBAAyB,EAAE,MAAM,qCAAqC,CAAC;AAOhF,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC1C,IAAY,EACZ,OAAuB,EACf,EAAE;IACV,MAAM,UAAU,GAAG,OAAO,CAAC,eAAe,EAAE,qBAAqB,CAC/D,IAAI,EACJ,QAAQ,CACT,CAAC;IACF,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,MAAM,IAAI,KAAK,CACb,iCAAiC,IAAI,2BAA2B,OAAO,CAAC,OAAO,CAAC,OAAO,IAAI,eAAe,IAAI,CAC/G,CAAC;IACJ,CAAC;IAED,IAAI,UAAU,CAAC,UAAU,EAAE,CAAC;QAC1B,OAAO,WAAW,UAAU,CAAC,QAAQ,IAAI,UAAU,CAAC,UAAU,EAAE,CAAC;IACnE,CAAC;IAED,OAAO,yBAAyB,CAC9B,UAAU,CAAC,UAAU,IAAI,UAAU,CAAC,IAAI,EACxC,IAAI,CACL,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,gCAAgC,GAAG,CAC9C,IAAY,EACZ,OAAuB,EACF,EAAE,CACvB,oBAAoB,CAAC,4BAA4B,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;AAEpE,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,IAAY,EACZ,aAAmD,EACnD,OAAuB,EACR,EAAE,CACjB,cAAc,CAAC,4BAA4B,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,aAAa,CAAC,CAAC"}

package/dist/expressions/expected-type-adaptation.d.ts

@@ -0,0 +1,55 @@
+import { type IrExpression, type IrType } from "@tsonic/frontend";
+import type { CSharpExpressionAst } from "../core/format/backend-ast/types.js";
+import type { EmitterContext } from "../types.js";
+export declare const hasMismatchedCollectionElementCarrier: (sourceType: IrType, targetType: IrType, context: EmitterContext) => boolean;
+export declare const resolveCarrierPreservingSourceType: (sourceType: IrType | undefined, carrierTargetType: IrType | undefined, context: EmitterContext) => IrType | undefined;
+export declare const resolveCarrierPreservingRawExpectedType: (opts: {
+    readonly expr: IrExpression;
+    readonly selectedExpectedType: IrType | undefined;
+    readonly contextualExpectedType: IrType | undefined;
+    readonly surfaceExpectedType: IrType | undefined;
+    readonly finalExpectedType: IrType | undefined;
+    readonly context: EmitterContext;
+}) => IrType | undefined;
+export declare const resolveDirectStorageCompatibleExpressionType: (opts: {
+    readonly expr: IrExpression;
+    readonly valueAst: CSharpExpressionAst;
+    readonly context: EmitterContext;
+}) => IrType | undefined;
+export declare const resolveDirectStorageCompatibleIrType: (opts: {
+    readonly expr: IrExpression;
+    readonly context: EmitterContext;
+}) => IrType | undefined;
+export declare const resolveRuntimeCarrierCompatibleExpressionAst: (opts: {
+    readonly expr: IrExpression;
+    readonly context: EmitterContext;
+}) => CSharpExpressionAst | undefined;
+export declare const resolveRuntimeCarrierCompatibleIrType: (opts: {
+    readonly expr: IrExpression;
+    readonly context: EmitterContext;
+}) => IrType | undefined;
+export declare const tryEmitCarrierPreservingExpressionAst: (opts: {
+    readonly expr: IrExpression;
+    readonly expectedType: IrType | undefined;
+    readonly context: EmitterContext;
+}) => {
+    readonly ast: CSharpExpressionAst;
+    readonly context: EmitterContext;
+    readonly actualType: IrType;
+} | undefined;
+export declare const adaptValueToExpectedTypeAst: (opts: {
+    readonly valueAst: CSharpExpressionAst;
+    readonly actualType: IrType | undefined;
+    readonly context: EmitterContext;
+    readonly expectedType: IrType | undefined;
+    readonly visited?: ReadonlySet<string>;
+    readonly allowUnionNarrowing?: boolean;
+    readonly selectedSourceMemberNs?: ReadonlySet<number>;
+}) => [CSharpExpressionAst, EmitterContext] | undefined;
+export declare const adaptEmittedExpressionAst: (opts: {
+    readonly expr: IrExpression;
+    readonly valueAst: CSharpExpressionAst;
+    readonly context: EmitterContext;
+    readonly expectedType: IrType | undefined;
+}) => [CSharpExpressionAst, EmitterContext];
+//# sourceMappingURL=expected-type-adaptation.d.ts.map

package/dist/expressions/expected-type-adaptation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"expected-type-adaptation.d.ts","sourceRoot":"","sources":["../../src/expressions/expected-type-adaptation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,YAAY,EAAE,KAAK,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAGlE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,qCAAqC,CAAC;AAC/E,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAgNlD,eAAO,MAAM,qCAAqC,GAChD,YAAY,MAAM,EAClB,YAAY,MAAM,EAClB,SAAS,cAAc,KACtB,OA4BF,CAAC;AAEF,eAAO,MAAM,kCAAkC,GAC7C,YAAY,MAAM,GAAG,SAAS,EAC9B,mBAAmB,MAAM,GAAG,SAAS,EACrC,SAAS,cAAc,KACtB,MAAM,GAAG,SA4CX,CAAC;AAqJF,eAAO,MAAM,uCAAuC,GAAI,MAAM;IAC5D,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,oBAAoB,EAAE,MAAM,GAAG,SAAS,CAAC;IAClD,QAAQ,CAAC,sBAAsB,EAAE,MAAM,GAAG,SAAS,CAAC;IACpD,QAAQ,CAAC,mBAAmB,EAAE,MAAM,GAAG,SAAS,CAAC;IACjD,QAAQ,CAAC,iBAAiB,EAAE,MAAM,GAAG,SAAS,CAAC;IAC/C,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC;CAClC,KAAG,MAAM,GAAG,SAwLZ,CAAC;AAEF,eAAO,MAAM,4CAA4C,GAAI,MAAM;IACjE,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,mBAAmB,CAAC;IACvC,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC;CAClC,KAAG,MAAM,GAAG,SAC+D,CAAC;AAE7E,eAAO,MAAM,oCAAoC,GAAI,MAAM;IACzD,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC;CAClC,KAAG,MAAM,GAAG,SAAgE,CAAC;AAE9E,eAAO,MAAM,4CAA4C,GAAI,MAAM;IACjE,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC;CAClC,KAAG,mBAAmB,GAAG,SACmC,CAAC;AAE9D,eAAO,MAAM,qCAAqC,GAAI,MAAM;IAC1D,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC;CAClC,KAAG,MAAM,GAAG,SAAiE,CAAC;AAE/E,eAAO,MAAM,qCAAqC,GAAI,MAAM;IAC1D,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,YAAY,EAAE,MAAM,GAAG,SAAS,CAAC;IAC1C,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC;CAClC,KACG;IACE,QAAQ,CAAC,GAAG,EAAE,mBAAmB,CAAC;IAClC,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC;IACjC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B,GACD,SAuCH,CAAC;AAyaF,eAAO,MAAM,2BAA2B,GAAI,MAAM;IAChD,QAAQ,CAAC,QAAQ,EAAE,mBAAmB,CAAC;IACvC,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,SAAS,CAAC;IACxC,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC;IACjC,QAAQ,CAAC,YAAY,EAAE,MAAM,GAAG,SAAS,CAAC;IAC1C,QAAQ,CAAC,OAAO,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACvC,QAAQ,CAAC,mBAAmB,CAAC,EAAE,OAAO,CAAC;IACvC,QAAQ,CAAC,sBAAsB,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CACvD,KAAG,CAAC,mBAAmB,EAAE,cAAc,CAAC,GAAG,SA8K3C,CAAC;AAEF,eAAO,MAAM,yBAAyB,GAAI,MAAM;IAC9C,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,mBAAmB,CAAC;IACvC,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC;IACjC,QAAQ,CAAC,YAAY,EAAE,MAAM,GAAG,SAAS,CAAC;CAC3C,KAAG,CAAC,mBAAmB,EAAE,cAAc,CAmfvC,CAAC"}