@tsonic/emitter 0.0.73 → 0.0.75

package/dist/statements/declarations/variable-type-helpers.js

@@ -0,0 +1,242 @@
+/**
+ * Variable declaration type checking helpers and static field type resolution.
+ *
+ * Provides predicates for type emittability, structural assertion detection,
+ * nullish initializer detection, explicit cast checking, and static field
+ * type resolution.
+ */
+import { NUMERIC_KIND_TO_CSHARP, } from "@tsonic/frontend";
+import { emitExpressionAst } from "../../expression-emitter.js";
+import { emitTypeAst } from "../../type-emitter.js";
+import { resolveBehavioralObjectLiteralType } from "../../expressions/collections.js";
+import { resolveAsInterfaceTargetType } from "../../core/semantic/variable-type-resolution.js";
+import { isDefinitelyValueType, isTypeOnlyStructuralTarget, resolveTypeAlias, stripNullish, } from "../../core/semantic/type-resolution.js";
+import { resolveEffectiveExpressionType } from "../../core/semantic/narrowed-expression-types.js";
+import { resolveIdentifierValueSurfaceType } from "../../core/semantic/direct-value-surfaces.js";
+import { areIrTypesEquivalent } from "../../core/semantic/type-equivalence.js";
+import { extractCalleeNameFromAst } from "../../core/format/backend-ast/utils.js";
+import { identifierType } from "../../core/format/backend-ast/builders.js";
+/**
+ * Types that require explicit LHS type because C# has no literal suffix for them.
+ * For these types, `var x = 200;` would infer `int`, not the intended type.
+ */
+export const TYPES_NEEDING_EXPLICIT_DECL = new Set([
+    "byte",
+    "sbyte",
+    "short",
+    "ushort",
+]);
+/**
+ * Check if a type can be explicitly emitted as a C# type.
+ * Returns false for types that cannot be named in C# (any, unknown, anonymous).
+ */
+export const canEmitTypeExplicitly = (type) => {
+    // Reject any/unknown (these are separate type kinds, not primitive names)
+    if (type.kind === "anyType" || type.kind === "unknownType") {
+        return false;
+    }
+    if (type.kind === "typeParameterType") {
+        return true;
+    }
+    // Accept primitives
+    if (type.kind === "primitiveType") {
+        return true;
+    }
+    // Accept arrays, functions, references, tuples, dictionaries
+    if (type.kind === "arrayType" ||
+        type.kind === "functionType" ||
+        type.kind === "referenceType" ||
+        type.kind === "tupleType" ||
+        type.kind === "dictionaryType") {
+        return true;
+    }
+    // Reject anonymous object types (no CLR backing)
+    if (type.kind === "objectType") {
+        return false;
+    }
+    // Reject unions containing any/unknown
+    if (type.kind === "unionType") {
+        return type.types.every(canEmitTypeExplicitly);
+    }
+    return false;
+};
+export const isStructuralTypeAssertionInitializer = (initializer, context) => initializer?.kind === "typeAssertion" &&
+    !!initializer.targetType &&
+    isTypeOnlyStructuralTarget(initializer.targetType, context);
+export const shouldTreatStructuralAssertionAsErased = (decl, context) => {
+    const initializer = decl.initializer;
+    const targetType = initializer?.targetType;
+    if (!isStructuralTypeAssertionInitializer(initializer, context) ||
+        !targetType) {
+        return false;
+    }
+    if (!decl.type) {
+        return true;
+    }
+    return areIrTypesEquivalent(stripNullish(decl.type), stripNullish(targetType), context);
+};
+/**
+ * Check if a type requires explicit local variable declaration.
+ * Returns true for types like byte, sbyte, short, ushort that have no C# suffix.
+ * Resolves type aliases to get the underlying type.
+ */
+export const needsExplicitLocalType = (type, context) => {
+    // Resolve aliases (e.g., local type aliases)
+    const resolved = resolveTypeAlias(stripNullish(type), context);
+    // Check primitive types
+    if (resolved.kind === "primitiveType") {
+        return TYPES_NEEDING_EXPLICIT_DECL.has(resolved.name);
+    }
+    // Check reference types - these may be CLR types from @tsonic/core
+    // (byte, sbyte, short, ushort are imported as reference types, not primitives)
+    if (resolved.kind === "referenceType") {
+        return TYPES_NEEDING_EXPLICIT_DECL.has(resolved.name);
+    }
+    return false;
+};
+export const isExplicitCastLikeAst = (ast) => ast.kind === "castExpression" ||
+    ast.kind === "asExpression" ||
+    ast.kind === "parenthesizedExpression";
+export const shouldForceDeclaredInitializerCast = (initializer, declaredType, context) => {
+    if (!initializer || !declaredType) {
+        return false;
+    }
+    if (initializer.kind !== "identifier" &&
+        initializer.kind !== "memberAccess" &&
+        initializer.kind !== "typeAssertion") {
+        return false;
+    }
+    const rawInitializer = (() => {
+        let current = initializer;
+        while (current.kind === "typeAssertion") {
+            current = current.expression;
+        }
+        return current;
+    })();
+    const originalType = rawInitializer.kind === "identifier"
+        ? (resolveIdentifierValueSurfaceType(rawInitializer, context) ??
+            rawInitializer.inferredType)
+        : rawInitializer.inferredType;
+    const effectiveType = initializer.kind === "typeAssertion"
+        ? resolveEffectiveExpressionType(initializer.expression, context)
+        : resolveEffectiveExpressionType(initializer, context);
+    if (!originalType || !effectiveType) {
+        return false;
+    }
+    return (!areIrTypesEquivalent(stripNullish(originalType), stripNullish(declaredType), context) &&
+        areIrTypesEquivalent(stripNullish(effectiveType), stripNullish(declaredType), context));
+};
+/**
+ * Helper: check if an initializer is a nullish expression (undefined/null literal or identifier).
+ */
+export const isNullishInitializer = (init) => (init.kind === "literal" &&
+    (init.value === undefined ||
+        init.value === null)) ||
+    (init.kind === "identifier" &&
+        (init.name === "undefined" ||
+            init.name === "null"));
+export const isNullableValueUnion = (type) => {
+    if (!type || type.kind !== "unionType")
+        return false;
+    const hasNullish = type.types.some((member) => member.kind === "primitiveType" &&
+        (member.name === "undefined" || member.name === "null"));
+    if (!hasNullish)
+        return false;
+    return isDefinitelyValueType(stripNullish(type));
+};
+export const shouldEmitReadonlyStaticField = (stmt, decl, context) => {
+    if (stmt.declarationKind !== "const")
+        return false;
+    if (decl.name.kind !== "identifierPattern")
+        return true;
+    return !(decl.name.name && context.mutableModuleBindings?.has(decl.name.name));
+};
+/**
+ * Resolve the C# type AST for a static field declaration.
+ *
+ * Priority:
+ * 1) numericNarrowing initializer (e.g., `1000 as int`) - use CLR type
+ * 2) typeAssertion initializer (e.g., `obj as Person`) - use target type
+ * 3) asinterface initializer (e.g., `asinterface<IQueryable<T>>(db.Events)`) - use target type
+ * 4) Explicit/inferred IR type
+ * 5) Infer from initializer (new, literal, inferredType)
+ * 6) Fallback to object
+ *
+ * Arrow function types are handled separately in emitStaticArrowFieldMembers.
+ */
+export const resolveStaticFieldType = (decl, context) => {
+    const init = decl.initializer;
+    // numericNarrowing
+    if (init?.kind === "numericNarrowing" && init.targetKind) {
+        const csharpType = NUMERIC_KIND_TO_CSHARP.get(init.targetKind) ?? "double";
+        return [identifierType(csharpType), context];
+    }
+    // typeAssertion
+    if (init?.kind === "typeAssertion" && init.targetType) {
+        if (isTypeOnlyStructuralTarget(init.targetType, context)) {
+            const inferredType = decl.type ?? init.inferredType;
+            if (inferredType && canEmitTypeExplicitly(inferredType)) {
+                return emitTypeAst(inferredType, context);
+            }
+            return [{ kind: "varType" }, context];
+        }
+        return emitTypeAst(init.targetType, context);
+    }
+    // asinterface
+    if (init?.kind === "asinterface" && init.targetType) {
+        const targetType = resolveAsInterfaceTargetType(init.targetType, context);
+        return emitTypeAst(targetType, context);
+    }
+    // Explicit type annotation
+    if (decl.type) {
+        return emitTypeAst(decl.type, context);
+    }
+    // Infer from new expression
+    if (init?.kind === "new") {
+        // Type is inferred from the new expression callee + type args.
+        // We emit the callee as expression AST and construct a type from it.
+        const newExpr = init;
+        const [calleeAst, calleeContext] = emitExpressionAst(newExpr.callee, context);
+        let currentContext = calleeContext;
+        const calleeText = extractCalleeNameFromAst(calleeAst);
+        if (newExpr.typeArguments && newExpr.typeArguments.length > 0) {
+            const typeArgs = [];
+            for (const typeArg of newExpr.typeArguments) {
+                const [typeArgAst, newCtx] = emitTypeAst(typeArg, currentContext);
+                typeArgs.push(typeArgAst);
+                currentContext = newCtx;
+            }
+            return [identifierType(calleeText, typeArgs), currentContext];
+        }
+        return [identifierType(calleeText), currentContext];
+    }
+    // Infer from literal
+    if (init?.kind === "literal") {
+        const lit = init;
+        if (typeof lit.value === "string") {
+            return [identifierType("string"), context];
+        }
+        if (typeof lit.value === "number") {
+            const csharpType = lit.numericIntent
+                ? (NUMERIC_KIND_TO_CSHARP.get(lit.numericIntent) ?? "double")
+                : "double";
+            return [identifierType(csharpType), context];
+        }
+        if (typeof lit.value === "boolean") {
+            return [identifierType("bool"), context];
+        }
+        return [identifierType("object"), context];
+    }
+    // Infer from initializer's inferred type
+    if (init?.kind === "object") {
+        const behavioralType = resolveBehavioralObjectLiteralType(init, context);
+        if (behavioralType) {
+            return emitTypeAst(behavioralType, context);
+        }
+    }
+    if (init?.inferredType && canEmitTypeExplicitly(init.inferredType)) {
+        return emitTypeAst(init.inferredType, context);
+    }
+    return [identifierType("object"), context];
+};
+//# sourceMappingURL=variable-type-helpers.js.map

package/dist/statements/declarations/variable-type-helpers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"variable-type-helpers.js","sourceRoot":"","sources":["../../../src/statements/declarations/variable-type-helpers.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAIL,sBAAsB,GACvB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,kCAAkC,EAAE,MAAM,kCAAkC,CAAC;AACtF,OAAO,EAAE,4BAA4B,EAAE,MAAM,iDAAiD,CAAC;AAC/F,OAAO,EACL,qBAAqB,EACrB,0BAA0B,EAC1B,gBAAgB,EAChB,YAAY,GACb,MAAM,wCAAwC,CAAC;AAChD,OAAO,EAAE,8BAA8B,EAAE,MAAM,kDAAkD,CAAC;AAClG,OAAO,EAAE,iCAAiC,EAAE,MAAM,8CAA8C,CAAC;AACjG,OAAO,EAAE,oBAAoB,EAAE,MAAM,yCAAyC,CAAC;AAC/E,OAAO,EAAE,wBAAwB,EAAE,MAAM,wCAAwC,CAAC;AAClF,OAAO,EAAE,cAAc,EAAE,MAAM,2CAA2C,CAAC;AAO3E;;;GAGG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAG,IAAI,GAAG,CAAC;IACjD,MAAM;IACN,OAAO;IACP,OAAO;IACP,QAAQ;CACT,CAAC,CAAC;AAEH;;;GAGG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,IAAY,EAAW,EAAE;IAC7D,0EAA0E;IAC1E,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QAC3D,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;QACtC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,oBAAoB;IACpB,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,6DAA6D;IAC7D,IACE,IAAI,CAAC,IAAI,KAAK,WAAW;QACzB,IAAI,CAAC,IAAI,KAAK,cAAc;QAC5B,IAAI,CAAC,IAAI,KAAK,eAAe;QAC7B,IAAI,CAAC,IAAI,KAAK,WAAW;QACzB,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAC9B,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,iDAAiD;IACjD,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAC/B,OAAO,KAAK,CAAC;IACf,CAAC;IAED,uCAAuC;IACvC,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC;IACjD,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,oCAAoC,GAAG,CAClD,WAMa,EACb,OAAuB,EACd,EAAE,CACX,WAAW,EAAE,IAAI,KAAK,eAAe;IACrC,CAAC,CAAC,WAAW,CAAC,UAAU;IACxB,0BAA0B,CAAC,WAAW,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;AAE9D,MAAM,CAAC,MAAM,sCAAsC,GAAG,CACpD,IAOC,EACD,OAAuB,EACd,EAAE;IACX,MAAM,WAAW,GAAG,IAAI,CAAC,WAAW,CAAC;IACrC,MAAM,UAAU,GAAG,WAAW,EAAE,UAAU,CAAC;IAC3C,IACE,CAAC,oCAAoC,CAAC,WAAW,EAAE,OAAO,CAAC;QAC3D,CAAC,UAAU,EACX,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QACf,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,oBAAoB,CACzB,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EACvB,YAAY,CAAC,UAAU,CAAC,EACxB,OAAO,CACR,CAAC;AACJ,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,IAAY,EACZ,OAAuB,EACd,EAAE;IACX,6CAA6C;IAC7C,MAAM,QAAQ,GAAG,gBAAgB,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;IAE/D,wBAAwB;IACxB,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACtC,OAAO,2BAA2B,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IACxD,CAAC;IAED,mEAAmE;IACnE,+EAA+E;IAC/E,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACtC,OAAO,2BAA2B,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IACxD,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,GAAwB,EAAW,EAAE,CACzE,GAAG,CAAC,IAAI,KAAK,gBAAgB;IAC7B,GAAG,CAAC,IAAI,KAAK,cAAc;IAC3B,GAAG,CAAC,IAAI,KAAK,yBAAyB,CAAC;AAEzC,MAAM,CAAC,MAAM,kCAAkC,GAAG,CAChD,WAAqC,EACrC,YAAgC,EAChC,OAAuB,EACd,EAAE;IACX,IAAI,CAAC,WAAW,IAAI,CAAC,YAAY,EAAE,CAAC;QAClC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IACE,WAAW,CAAC,IAAI,KAAK,YAAY;QACjC,WAAW,CAAC,IAAI,KAAK,cAAc;QACnC,WAAW,CAAC,IAAI,KAAK,eAAe,EACpC,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,cAAc,GAAG,CAAC,GAAG,EAAE;QAC3B,IAAI,OAAO,GAAiB,WAAW,CAAC;QACxC,OAAO,OAAO,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YACxC,OAAO,GAAG,OAAO,CAAC,UAAU,CAAC;QAC/B,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC,CAAC,EAAE,CAAC;IACL,MAAM,YAAY,GAChB,cAAc,CAAC,IAAI,KAAK,YAAY;QAClC,CAAC,CAAC,CAAC,iCAAiC,CAAC,cAAc,EAAE,OAAO,CAAC;YAC3D,cAAc,CAAC,YAAY,CAAC;QAC9B,CAAC,CAAC,cAAc,CAAC,YAAY,CAAC;IAClC,MAAM,aAAa,GACjB,WAAW,CAAC,IAAI,KAAK,eAAe;QAClC,CAAC,CAAC,8BAA8B,CAAC,WAAW,CAAC,UAAU,EAAE,OAAO,CAAC;QACjE,CAAC,CAAC,8BAA8B,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IAE3D,IAAI,CAAC,YAAY,IAAI,CAAC,aAAa,EAAE,CAAC;QACpC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,OAAO,CACL,CAAC,oBAAoB,CACnB,YAAY,CAAC,YAAY,CAAC,EAC1B,YAAY,CAAC,YAAY,CAAC,EAC1B,OAAO,CACR;QACD,oBAAoB,CAClB,YAAY,CAAC,aAAa,CAAC,EAC3B,YAAY,CAAC,YAAY,CAAC,EAC1B,OAAO,CACR,CACF,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,IAIpC,EAAW,EAAE,CACZ,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS;IACtB,CAAE,IAA2B,CAAC,KAAK,KAAK,SAAS;QAC9C,IAA2B,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC;IACjD,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY;QACzB,CAAE,IAAyB,CAAC,IAAI,KAAK,WAAW;YAC7C,IAAyB,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC;AAEnD,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,IAAwB,EAAW,EAAE;IACxE,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,KAAK,CAAC;IAErD,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAChC,CAAC,MAAM,EAAE,EAAE,CACT,MAAM,CAAC,IAAI,KAAK,eAAe;QAC/B,CAAC,MAAM,CAAC,IAAI,KAAK,WAAW,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,CAC1D,CAAC;IACF,IAAI,CAAC,UAAU;QAAE,OAAO,KAAK,CAAC;IAE9B,OAAO,qBAAqB,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC;AACnD,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAC3C,IAA2D,EAC3D,IAKC,EACD,OAAuB,EACd,EAAE;IACX,IAAI,IAAI,CAAC,eAAe,KAAK,OAAO;QAAE,OAAO,KAAK,CAAC;IACnD,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,mBAAmB;QAAE,OAAO,IAAI,CAAC;IACxD,OAAO,CAAC,CACN,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,OAAO,CAAC,qBAAqB,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CACrE,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,IAYC,EACD,OAAuB,EACU,EAAE;IACnC,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC;IAE9B,mBAAmB;IACnB,IAAI,IAAI,EAAE,IAAI,KAAK,kBAAkB,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QACzD,MAAM,UAAU,GAAG,sBAAsB,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,QAAQ,CAAC;QAC3E,OAAO,CAAC,cAAc,CAAC,UAAU,CAAC,EAAE,OAAO,CAAC,CAAC;IAC/C,CAAC;IAED,gBAAgB;IAChB,IAAI,IAAI,EAAE,IAAI,KAAK,eAAe,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QACtD,IAAI,0BAA0B,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,EAAE,CAAC;YACzD,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,YAAY,CAAC;YACpD,IAAI,YAAY,IAAI,qBAAqB,CAAC,YAAY,CAAC,EAAE,CAAC;gBACxD,OAAO,WAAW,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;YAC5C,CAAC;YACD,OAAO,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,OAAO,CAAC,CAAC;QACxC,CAAC;QACD,OAAO,WAAW,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAC/C,CAAC;IAED,cAAc;IACd,IAAI,IAAI,EAAE,IAAI,KAAK,aAAa,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QACpD,MAAM,UAAU,GAAG,4BAA4B,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QAC1E,OAAO,WAAW,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAC1C,CAAC;IAED,2BAA2B;IAC3B,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QACd,OAAO,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACzC,CAAC;IAED,4BAA4B;IAC5B,IAAI,IAAI,EAAE,IAAI,KAAK,KAAK,EAAE,CAAC;QACzB,+DAA+D;QAC/D,qEAAqE;QACrE,MAAM,OAAO,GAAG,IAGf,CAAC;QACF,MAAM,CAAC,SAAS,EAAE,aAAa,CAAC,GAAG,iBAAiB,CAClD,OAAO,CAAC,MAAM,EACd,OAAO,CACR,CAAC;QACF,IAAI,cAAc,GAAG,aAAa,CAAC;QACnC,MAAM,UAAU,GAAG,wBAAwB,CAAC,SAAS,CAAC,CAAC;QAEvD,IAAI,OAAO,CAAC,aAAa,IAAI,OAAO,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC9D,MAAM,QAAQ,GAAoB,EAAE,CAAC;YACrC,KAAK,MAAM,OAAO,IAAI,OAAO,CAAC,aAAa,EAAE,CAAC;gBAC5C,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,GAAG,WAAW,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;gBAClE,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;gBAC1B,cAAc,GAAG,MAAM,CAAC;YAC1B,CAAC;YACD,OAAO,CAAC,cAAc,CAAC,UAAU,EAAE,QAAQ,CAAC,EAAE,cAAc,CAAC,CAAC;QAChE,CAAC;QACD,OAAO,CAAC,cAAc,CAAC,UAAU,CAAC,EAAE,cAAc,CAAC,CAAC;IACtD,CAAC;IAED,qBAAqB;IACrB,IAAI,IAAI,EAAE,IAAI,KAAK,SAAS,EAAE,CAAC;QAC7B,MAAM,GAAG,GAAG,IAAuD,CAAC;QACpE,IAAI,OAAO,GAAG,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;YAClC,OAAO,CAAC,cAAc,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC,CAAC;QAC7C,CAAC;QACD,IAAI,OAAO,GAAG,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;YAClC,MAAM,UAAU,GAAG,GAAG,CAAC,aAAa;gBAClC,CAAC,CAAC,CAAC,sBAAsB,CAAC,GAAG,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,QAAQ,CAAC;gBAC7D,CAAC,CAAC,QAAQ,CAAC;YACb,OAAO,CAAC,cAAc,CAAC,UAAU,CAAC,EAAE,OAAO,CAAC,CAAC;QAC/C,CAAC;QACD,IAAI,OAAO,GAAG,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YACnC,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,CAAC;QAC3C,CAAC;QACD,OAAO,CAAC,cAAc,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC,CAAC;IAC7C,CAAC;IAED,yCAAyC;IACzC,IAAI,IAAI,EAAE,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC5B,MAAM,cAAc,GAAG,kCAAkC,CACvD,IAAiD,EACjD,OAAO,CACR,CAAC;QACF,IAAI,cAAc,EAAE,CAAC;YACnB,OAAO,WAAW,CAAC,cAAc,EAAE,OAAO,CAAC,CAAC;QAC9C,CAAC;IACH,CAAC;IAED,IAAI,IAAI,EAAE,YAAY,IAAI,qBAAqB,CAAC,IAAI,CAAC,YAAY,CAAC,EAAE,CAAC;QACnE,OAAO,WAAW,CAAC,IAAI,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;IACjD,CAAC;IAED,OAAO,CAAC,cAAc,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC,CAAC;AAC7C,CAAC,CAAC"}

package/dist/statements/declarations/variable-type-resolution.d.ts

@@ -0,0 +1,11 @@
+/**
+ * Variable declaration type resolution and local registration helpers
+ * — facade re-exports.
+ *
+ * Implementations live in:
+ *   - variable-type-helpers.ts
+ *   - variable-local-type.ts
+ */
+export { TYPES_NEEDING_EXPLICIT_DECL, canEmitTypeExplicitly, isStructuralTypeAssertionInitializer, shouldTreatStructuralAssertionAsErased, needsExplicitLocalType, isExplicitCastLikeAst, shouldForceDeclaredInitializerCast, isNullishInitializer, isNullableValueUnion, shouldEmitReadonlyStaticField, resolveStaticFieldType, } from "./variable-type-helpers.js";
+export { resolveLocalTypeAst } from "./variable-local-type.js";
+//# sourceMappingURL=variable-type-resolution.d.ts.map

package/dist/statements/declarations/variable-type-resolution.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"variable-type-resolution.d.ts","sourceRoot":"","sources":["../../../src/statements/declarations/variable-type-resolution.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EACL,2BAA2B,EAC3B,qBAAqB,EACrB,oCAAoC,EACpC,sCAAsC,EACtC,sBAAsB,EACtB,qBAAqB,EACrB,kCAAkC,EAClC,oBAAoB,EACpB,oBAAoB,EACpB,6BAA6B,EAC7B,sBAAsB,GACvB,MAAM,4BAA4B,CAAC;AAEpC,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC"}

package/dist/statements/declarations/variable-type-resolution.js

@@ -0,0 +1,11 @@
+/**
+ * Variable declaration type resolution and local registration helpers
+ * — facade re-exports.
+ *
+ * Implementations live in:
+ *   - variable-type-helpers.ts
+ *   - variable-local-type.ts
+ */
+export { TYPES_NEEDING_EXPLICIT_DECL, canEmitTypeExplicitly, isStructuralTypeAssertionInitializer, shouldTreatStructuralAssertionAsErased, needsExplicitLocalType, isExplicitCastLikeAst, shouldForceDeclaredInitializerCast, isNullishInitializer, isNullableValueUnion, shouldEmitReadonlyStaticField, resolveStaticFieldType, } from "./variable-type-helpers.js";
+export { resolveLocalTypeAst } from "./variable-local-type.js";
+//# sourceMappingURL=variable-type-resolution.js.map

package/dist/statements/declarations/variable-type-resolution.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"variable-type-resolution.js","sourceRoot":"","sources":["../../../src/statements/declarations/variable-type-resolution.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EACL,2BAA2B,EAC3B,qBAAqB,EACrB,oCAAoC,EACpC,sCAAsC,EACtC,sBAAsB,EACtB,qBAAqB,EACrB,kCAAkC,EAClC,oBAAoB,EACpB,oBAAoB,EACpB,6BAA6B,EAC7B,sBAAsB,GACvB,MAAM,4BAA4B,CAAC;AAEpC,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC"}

package/dist/statements/declarations/variables.d.ts

@@ -1,5 +1,9 @@
 /**
- * Variable declaration emission
+ * Variable declaration emission - facade/orchestrator
+ *
+ * Delegates to:
+ * - variable-type-resolution.ts  (type resolution helpers)
+ * - variable-static-arrow.ts     (static arrow field emission)
  */
 import { IrStatement } from "@tsonic/frontend";
 import { EmitterContext } from "../../types.js";

package/dist/statements/declarations/variables.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"variables.d.ts","sourceRoot":"","sources":["../../../src/statements/declarations/variables.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAKL,WAAW,EAIZ,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,cAAc,EAAiC,MAAM,gBAAgB,CAAC;AAqB/E,OAAO,KAAK,EACV,kBAAkB,EAGlB,eAAe,EAEhB,MAAM,wCAAwC,CAAC;AAmoBhD;;GAEG;AACH,eAAO,MAAM,uBAAuB,GAClC,MAAM,OAAO,CAAC,WAAW,EAAE;IAAE,IAAI,EAAE,qBAAqB,CAAA;CAAE,CAAC,EAC3D,SAAS,cAAc,KACtB,CAAC,SAAS,eAAe,EAAE,EAAE,cAAc,CA8G7C,CAAC;AA2JF;;;;;GAKG;AACH,eAAO,MAAM,0BAA0B,GACrC,MAAM,OAAO,CAAC,WAAW,EAAE;IAAE,IAAI,EAAE,qBAAqB,CAAA;CAAE,CAAC,EAC3D,SAAS,cAAc,KACtB,CAAC,SAAS,kBAAkB,EAAE,EAAE,cAAc,CAwIhD,CAAC"}
+{"version":3,"file":"variables.d.ts","sourceRoot":"","sources":["../../../src/statements/declarations/variables.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAgBhD,OAAO,KAAK,EACV,kBAAkB,EAElB,eAAe,EAChB,MAAM,wCAAwC,CAAC;AAsHhD;;GAEG;AACH,eAAO,MAAM,uBAAuB,GAClC,MAAM,OAAO,CAAC,WAAW,EAAE;IAAE,IAAI,EAAE,qBAAqB,CAAA;CAAE,CAAC,EAC3D,SAAS,cAAc,KACtB,CAAC,SAAS,eAAe,EAAE,EAAE,cAAc,CAoH7C,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,0BAA0B,GACrC,MAAM,OAAO,CAAC,WAAW,EAAE;IAAE,IAAI,EAAE,qBAAqB,CAAA;CAAE,CAAC,EAC3D,SAAS,cAAc,KACtB,CAAC,SAAS,kBAAkB,EAAE,EAAE,cAAc,CAyOhD,CAAC"}