@tsonic/emitter 0.0.73 → 0.0.75

package/dist/core/semantic/variable-type-resolution.js

@@ -0,0 +1,250 @@
+/**
+ * Variable type resolution — pure helpers for deriving semantic and storage
+ * types from variable declarations and their initializers.
+ *
+ * Lives in core/semantic so both symbol-types.ts (canonical registration)
+ * and variables.ts (emitter) can depend on it without cycles.
+ */
+import { getAwaitedIrType, } from "@tsonic/frontend";
+import { identifierExpression } from "../format/backend-ast/builders.js";
+import { resolveTypeAlias, stripNullish } from "./type-resolution.js";
+import { resolveEffectiveExpressionType } from "./narrowed-expression-types.js";
+import { normalizeRuntimeStorageType } from "./storage-types.js";
+import { getIdentifierTypeName } from "../format/backend-ast/utils.js";
+import { resolveDirectStorageIrType } from "./direct-storage-ir-types.js";
+import { matchesExpectedEmissionType } from "./expected-type-matching.js";
+import { getRuntimeUnionAliasReferenceKey } from "./runtime-union-alias-identity.js";
+import { applyConditionBranchNarrowing } from "./condition-branch-narrowing.js";
+import { areIrTypesEquivalent } from "./type-equivalence.js";
+import { isAssignable } from "./type-compatibility.js";
+import { getReferenceDeterministicIdentityKey } from "./clr-type-identity.js";
+/**
+ * Resolve the target type from an `asinterface` expression, unwrapping
+ * tsbindgen's ExtensionMethods wrapper and intersection types.
+ */
+export const resolveAsInterfaceTargetType = (type, context) => {
+    const resolved = resolveTypeAlias(stripNullish(type), context);
+    // Unwrap tsbindgen's `ExtensionMethods<TShape>` wrapper (type-only).
+    if (resolved.kind === "referenceType" && resolved.typeArguments?.length) {
+        const importBinding = context.importBindings?.get(resolved.name);
+        const clrName = importBinding?.kind === "type"
+            ? (getIdentifierTypeName(importBinding.typeAst) ?? "")
+            : "";
+        if (clrName.endsWith(".ExtensionMethods")) {
+            const shape = resolved.typeArguments[0];
+            if (shape)
+                return resolveAsInterfaceTargetType(shape, context);
+        }
+    }
+    if (resolved.kind === "intersectionType") {
+        for (const part of resolved.types) {
+            const candidate = resolveAsInterfaceTargetType(part, context);
+            if (candidate.kind === "referenceType" &&
+                candidate.name.startsWith("__Ext_")) {
+                continue;
+            }
+            if (candidate.kind === "objectType" ||
+                candidate.kind === "intersectionType") {
+                continue;
+            }
+            return candidate;
+        }
+    }
+    return resolved;
+};
+/**
+ * Resolve the semantic (frontend IR) type of a variable initializer.
+ *
+ * Returns the authored type without CLR storage normalization — alias names,
+ * union structure, and type-parameter shapes are preserved exactly as written.
+ */
+const containsDeterministicReferenceIdentity = (type) => {
+    switch (type.kind) {
+        case "referenceType":
+            return (getReferenceDeterministicIdentityKey(type) !== undefined ||
+                (type.typeArguments?.some(containsDeterministicReferenceIdentity) ??
+                    false));
+        case "arrayType":
+            return containsDeterministicReferenceIdentity(type.elementType);
+        case "dictionaryType":
+            return (containsDeterministicReferenceIdentity(type.keyType) ||
+                containsDeterministicReferenceIdentity(type.valueType));
+        case "tupleType":
+            return type.elementTypes.some(containsDeterministicReferenceIdentity);
+        case "functionType":
+            return (type.parameters.some((parameter) => !!parameter.type &&
+                containsDeterministicReferenceIdentity(parameter.type)) || containsDeterministicReferenceIdentity(type.returnType));
+        case "unionType":
+        case "intersectionType":
+            return type.types.some(containsDeterministicReferenceIdentity);
+        default:
+            return false;
+    }
+};
+const resolveSourceBackedInitializerType = (expression, context) => {
+    switch (expression.kind) {
+        case "call":
+        case "new":
+            return expression.sourceBackedReturnType;
+        case "await": {
+            const awaitedSourceType = resolveSourceBackedInitializerType(expression.expression, context);
+            if (!awaitedSourceType) {
+                return undefined;
+            }
+            const sourceAwaitedType = getAwaitedIrType(awaitedSourceType) ?? awaitedSourceType;
+            if (expression.inferredType &&
+                containsDeterministicReferenceIdentity(sourceAwaitedType) &&
+                containsDeterministicReferenceIdentity(expression.inferredType) &&
+                !areIrTypesEquivalent(sourceAwaitedType, expression.inferredType, context)) {
+                return expression.inferredType;
+            }
+            return sourceAwaitedType;
+        }
+        default:
+            return undefined;
+    }
+};
+const emitConditionNarrowingStub = (_expr, ctx) => [identifierExpression("__tsonic_narrow"), ctx];
+const resolveConditionalBranchSemanticType = (branch, context) => resolveSourceBackedInitializerType(branch, context) ??
+    resolveEffectiveExpressionType(branch, context) ??
+    branch.inferredType;
+const resolveConditionalInitializerType = (expression, context) => {
+    const truthyContext = applyConditionBranchNarrowing(expression.condition, "truthy", context, emitConditionNarrowingStub);
+    const falsyContext = applyConditionBranchNarrowing(expression.condition, "falsy", context, emitConditionNarrowingStub);
+    const whenTrueType = resolveConditionalBranchSemanticType(expression.whenTrue, truthyContext);
+    const whenFalseType = resolveConditionalBranchSemanticType(expression.whenFalse, falsyContext);
+    if (!whenTrueType) {
+        return whenFalseType ?? expression.inferredType;
+    }
+    if (!whenFalseType) {
+        return whenTrueType;
+    }
+    if (areIrTypesEquivalent(whenTrueType, whenFalseType, context)) {
+        return whenTrueType;
+    }
+    if (isAssignable(whenTrueType, whenFalseType)) {
+        return whenFalseType;
+    }
+    if (isAssignable(whenFalseType, whenTrueType)) {
+        return whenTrueType;
+    }
+    return expression.inferredType;
+};
+const hasExplicitRuntimeUnionCarrierIdentity = (type, context) => {
+    if (!type) {
+        return false;
+    }
+    if (getRuntimeUnionAliasReferenceKey(type, context) !== undefined) {
+        return true;
+    }
+    const resolved = resolveTypeAlias(stripNullish(type), context);
+    return (resolved.kind === "unionType" &&
+        resolved.runtimeCarrierFamilyKey !== undefined);
+};
+const shouldPreserveSemanticRuntimeCarrierStorage = (semanticType, initializerStorageType, context) => {
+    if (!semanticType ||
+        !hasExplicitRuntimeUnionCarrierIdentity(semanticType, context)) {
+        return false;
+    }
+    return (!initializerStorageType ||
+        matchesExpectedEmissionType(initializerStorageType, semanticType, context));
+};
+export const resolveSemanticVariableInitializerType = (initializer, context) => {
+    if (!initializer) {
+        return undefined;
+    }
+    const expression = initializer;
+    if (expression.kind === "typeAssertion") {
+        return expression.targetType;
+    }
+    if (expression.kind === "asinterface") {
+        return resolveAsInterfaceTargetType(expression.targetType, context);
+    }
+    if (expression.kind === "conditional") {
+        return resolveConditionalInitializerType(expression, context);
+    }
+    const sourceBackedType = resolveSourceBackedInitializerType(expression, context);
+    if (sourceBackedType) {
+        return sourceBackedType;
+    }
+    return (resolveEffectiveExpressionType(expression, context) ??
+        expression.inferredType);
+};
+/**
+ * Resolve the expected type for initializer EMISSION.
+ *
+ * For annotated locals, returns the declared type (an authored contract).
+ * For unannotated locals with branch-sensitive initializers (conditionals,
+ * ternaries), returns undefined so the conditional-emitter can derive its
+ * own branch expectations from narrowed branch contexts — which produces
+ * a more precise carrier than storage-normalizing the broad inferred type.
+ * For other unannotated locals, returns the semantic initializer type
+ * WITHOUT storage normalization.
+ */
+export const resolveInitializerEmissionExpectedType = (declaredType, initializer, context) => {
+    // Explicit annotation: use it directly (authored contract)
+    if (declaredType) {
+        return declaredType;
+    }
+    if (!initializer) {
+        return undefined;
+    }
+    // Branch-sensitive initializers: let the conditional/ternary emitter
+    // derive branch expectations from narrowed contexts. Passing a
+    // storage-normalized expected type here forces a carrier shape that
+    // may not match the actual expression carrier (e.g., alias members
+    // collapsed to 'object' by normalizeRuntimeStorageType).
+    if (initializer.kind === "conditional") {
+        return undefined;
+    }
+    // Type assertions / as-interface: use the target type
+    if (initializer.kind === "typeAssertion" ||
+        initializer.kind === "asinterface") {
+        return resolveSemanticVariableInitializerType(initializer, context);
+    }
+    // Numeric narrowing: use the inferred type directly
+    if (initializer.kind === "numericNarrowing") {
+        return initializer.inferredType;
+    }
+    // Other initializers: use the semantic type (not storage-normalized)
+    return resolveSemanticVariableInitializerType(initializer, context);
+};
+/**
+ * Resolve the storage-normalized initializer type for a variable.
+ *
+ * This is the semantic initializer type passed through normalizeRuntimeStorageType.
+ * Used for local storage type registration (resolveLocalStorageType) and
+ * post-emission storage reasoning — NOT for initializer emission expectations.
+ * For emission expected types, use resolveInitializerEmissionExpectedType.
+ */
+export const resolveEffectiveVariableInitializerType = (initializer, context) => {
+    const semantic = resolveSemanticVariableInitializerType(initializer, context);
+    return normalizeRuntimeStorageType(semantic, context) ?? semantic;
+};
+/**
+ * Resolve the CLR storage type for a variable declaration.
+ *
+ * Uses the explicit type annotation or the initializer's storage-aware type.
+ *
+ * Some expressions intentionally emit through a broader CLR storage surface than
+ * their semantic IR type (for example JS-surface dictionary safe reads that
+ * carry `undefined` in storage). Reusing the direct storage IR type here keeps
+ * localValueTypes aligned with the emitted initializer surface so later
+ * expected-type adaptation can materialize the required concrete value.
+ */
+export const resolveLocalStorageType = (decl, context) => {
+    const initializerStorageType = decl.initializer
+        ? resolveDirectStorageIrType(decl.initializer, context)
+        : undefined;
+    const semanticInitializerType = !decl.type && decl.initializer
+        ? resolveSemanticVariableInitializerType(decl.initializer, context)
+        : undefined;
+    if (shouldPreserveSemanticRuntimeCarrierStorage(semanticInitializerType, initializerStorageType, context)) {
+        return semanticInitializerType;
+    }
+    const sourceType = decl.type ??
+        initializerStorageType ??
+        resolveEffectiveVariableInitializerType(decl.initializer, context);
+    return normalizeRuntimeStorageType(sourceType, context);
+};
+//# sourceMappingURL=variable-type-resolution.js.map

package/dist/core/semantic/variable-type-resolution.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"variable-type-resolution.js","sourceRoot":"","sources":["../../../src/core/semantic/variable-type-resolution.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EACL,gBAAgB,GAIjB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EAAE,oBAAoB,EAAE,MAAM,mCAAmC,CAAC;AACzE,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AACtE,OAAO,EAAE,8BAA8B,EAAE,MAAM,gCAAgC,CAAC;AAChF,OAAO,EAAE,2BAA2B,EAAE,MAAM,oBAAoB,CAAC;AACjE,OAAO,EAAE,qBAAqB,EAAE,MAAM,gCAAgC,CAAC;AACvE,OAAO,EAAE,0BAA0B,EAAE,MAAM,8BAA8B,CAAC;AAC1E,OAAO,EAAE,2BAA2B,EAAE,MAAM,6BAA6B,CAAC;AAC1E,OAAO,EAAE,gCAAgC,EAAE,MAAM,mCAAmC,CAAC;AACrF,OAAO,EAAE,6BAA6B,EAAE,MAAM,iCAAiC,CAAC;AAChF,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAC7D,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AACvD,OAAO,EAAE,oCAAoC,EAAE,MAAM,wBAAwB,CAAC;AAE9E;;;GAGG;AACH,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC1C,IAAY,EACZ,OAAuB,EACf,EAAE;IACV,MAAM,QAAQ,GAAG,gBAAgB,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;IAE/D,qEAAqE;IACrE,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,IAAI,QAAQ,CAAC,aAAa,EAAE,MAAM,EAAE,CAAC;QACxE,MAAM,aAAa,GAAG,OAAO,CAAC,cAAc,EAAE,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACjE,MAAM,OAAO,GACX,aAAa,EAAE,IAAI,KAAK,MAAM;YAC5B,CAAC,CAAC,CAAC,qBAAqB,CAAC,aAAa,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;YACtD,CAAC,CAAC,EAAE,CAAC;QACT,IAAI,OAAO,CAAC,QAAQ,CAAC,mBAAmB,CAAC,EAAE,CAAC;YAC1C,MAAM,KAAK,GAAG,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;YACxC,IAAI,KAAK;gBAAE,OAAO,4BAA4B,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QACjE,CAAC;IACH,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QACzC,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;YAClC,MAAM,SAAS,GAAG,4BAA4B,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YAC9D,IACE,SAAS,CAAC,IAAI,KAAK,eAAe;gBAClC,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,EACnC,CAAC;gBACD,SAAS;YACX,CAAC;YACD,IACE,SAAS,CAAC,IAAI,KAAK,YAAY;gBAC/B,SAAS,CAAC,IAAI,KAAK,kBAAkB,EACrC,CAAC;gBACD,SAAS;YACX,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,sCAAsC,GAAG,CAAC,IAAY,EAAW,EAAE;IACvE,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,eAAe;YAClB,OAAO,CACL,oCAAoC,CAAC,IAAI,CAAC,KAAK,SAAS;gBACxD,CAAC,IAAI,CAAC,aAAa,EAAE,IAAI,CAAC,sCAAsC,CAAC;oBAC/D,KAAK,CAAC,CACT,CAAC;QACJ,KAAK,WAAW;YACd,OAAO,sCAAsC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAClE,KAAK,gBAAgB;YACnB,OAAO,CACL,sCAAsC,CAAC,IAAI,CAAC,OAAO,CAAC;gBACpD,sCAAsC,CAAC,IAAI,CAAC,SAAS,CAAC,CACvD,CAAC;QACJ,KAAK,WAAW;YACd,OAAO,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,sCAAsC,CAAC,CAAC;QACxE,KAAK,cAAc;YACjB,OAAO,CACL,IAAI,CAAC,UAAU,CAAC,IAAI,CAClB,CAAC,SAAS,EAAE,EAAE,CACZ,CAAC,CAAC,SAAS,CAAC,IAAI;gBAChB,sCAAsC,CAAC,SAAS,CAAC,IAAI,CAAC,CACzD,IAAI,sCAAsC,CAAC,IAAI,CAAC,UAAU,CAAC,CAC7D,CAAC;QACJ,KAAK,WAAW,CAAC;QACjB,KAAK,kBAAkB;YACrB,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,sCAAsC,CAAC,CAAC;QACjE;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,kCAAkC,GAAG,CACzC,UAAwB,EACxB,OAAuB,EACH,EAAE;IACtB,QAAQ,UAAU,CAAC,IAAI,EAAE,CAAC;QACxB,KAAK,MAAM,CAAC;QACZ,KAAK,KAAK;YACR,OAAO,UAAU,CAAC,sBAAsB,CAAC;QAC3C,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,iBAAiB,GAAG,kCAAkC,CAC1D,UAAU,CAAC,UAAU,EACrB,OAAO,CACR,CAAC;YACF,IAAI,CAAC,iBAAiB,EAAE,CAAC;gBACvB,OAAO,SAAS,CAAC;YACnB,CAAC;YAED,MAAM,iBAAiB,GACrB,gBAAgB,CAAC,iBAAiB,CAAC,IAAI,iBAAiB,CAAC;YAC3D,IACE,UAAU,CAAC,YAAY;gBACvB,sCAAsC,CAAC,iBAAiB,CAAC;gBACzD,sCAAsC,CAAC,UAAU,CAAC,YAAY,CAAC;gBAC/D,CAAC,oBAAoB,CAAC,iBAAiB,EAAE,UAAU,CAAC,YAAY,EAAE,OAAO,CAAC,EAC1E,CAAC;gBACD,OAAO,UAAU,CAAC,YAAY,CAAC;YACjC,CAAC;YAED,OAAO,iBAAiB,CAAC;QAC3B,CAAC;QACD;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,0BAA0B,GAAG,CAAC,KAAmB,EAAE,GAAmB,EAAE,EAAE,CAC9E,CAAC,oBAAoB,CAAC,iBAAiB,CAAC,EAAE,GAAG,CAG5C,CAAC;AAEJ,MAAM,oCAAoC,GAAG,CAC3C,MAAoB,EACpB,OAAuB,EACH,EAAE,CACtB,kCAAkC,CAAC,MAAM,EAAE,OAAO,CAAC;IACnD,8BAA8B,CAAC,MAAM,EAAE,OAAO,CAAC;IAC/C,MAAM,CAAC,YAAY,CAAC;AAEtB,MAAM,iCAAiC,GAAG,CACxC,UAA0D,EAC1D,OAAuB,EACH,EAAE;IACtB,MAAM,aAAa,GAAG,6BAA6B,CACjD,UAAU,CAAC,SAAS,EACpB,QAAQ,EACR,OAAO,EACP,0BAA0B,CAC3B,CAAC;IACF,MAAM,YAAY,GAAG,6BAA6B,CAChD,UAAU,CAAC,SAAS,EACpB,OAAO,EACP,OAAO,EACP,0BAA0B,CAC3B,CAAC;IACF,MAAM,YAAY,GAAG,oCAAoC,CACvD,UAAU,CAAC,QAAQ,EACnB,aAAa,CACd,CAAC;IACF,MAAM,aAAa,GAAG,oCAAoC,CACxD,UAAU,CAAC,SAAS,EACpB,YAAY,CACb,CAAC;IAEF,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,OAAO,aAAa,IAAI,UAAU,CAAC,YAAY,CAAC;IAClD,CAAC;IAED,IAAI,CAAC,aAAa,EAAE,CAAC;QACnB,OAAO,YAAY,CAAC;IACtB,CAAC;IAED,IAAI,oBAAoB,CAAC,YAAY,EAAE,aAAa,EAAE,OAAO,CAAC,EAAE,CAAC;QAC/D,OAAO,YAAY,CAAC;IACtB,CAAC;IAED,IAAI,YAAY,CAAC,YAAY,EAAE,aAAa,CAAC,EAAE,CAAC;QAC9C,OAAO,aAAa,CAAC;IACvB,CAAC;IAED,IAAI,YAAY,CAAC,aAAa,EAAE,YAAY,CAAC,EAAE,CAAC;QAC9C,OAAO,YAAY,CAAC;IACtB,CAAC;IAED,OAAO,UAAU,CAAC,YAAY,CAAC;AACjC,CAAC,CAAC;AAEF,MAAM,sCAAsC,GAAG,CAC7C,IAAwB,EACxB,OAAuB,EACd,EAAE;IACX,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,gCAAgC,CAAC,IAAI,EAAE,OAAO,CAAC,KAAK,SAAS,EAAE,CAAC;QAClE,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,QAAQ,GAAG,gBAAgB,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;IAC/D,OAAO,CACL,QAAQ,CAAC,IAAI,KAAK,WAAW;QAC7B,QAAQ,CAAC,uBAAuB,KAAK,SAAS,CAC/C,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,2CAA2C,GAAG,CAClD,YAAgC,EAChC,sBAA0C,EAC1C,OAAuB,EACC,EAAE;IAC1B,IACE,CAAC,YAAY;QACb,CAAC,sCAAsC,CAAC,YAAY,EAAE,OAAO,CAAC,EAC9D,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,OAAO,CACL,CAAC,sBAAsB;QACvB,2BAA2B,CACzB,sBAAsB,EACtB,YAAY,EACZ,OAAO,CACR,CACF,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,sCAAsC,GAAG,CACpD,WAMa,EACb,OAAuB,EACH,EAAE;IACtB,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,UAAU,GAAG,WAA2B,CAAC;IAE/C,IAAI,UAAU,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACxC,OAAO,UAAU,CAAC,UAAU,CAAC;IAC/B,CAAC;IAED,IAAI,UAAU,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QACtC,OAAO,4BAA4B,CAAC,UAAU,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IACtE,CAAC;IAED,IAAI,UAAU,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QACtC,OAAO,iCAAiC,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAChE,CAAC;IAED,MAAM,gBAAgB,GAAG,kCAAkC,CACzD,UAAU,EACV,OAAO,CACR,CAAC;IACF,IAAI,gBAAgB,EAAE,CAAC;QACrB,OAAO,gBAAgB,CAAC;IAC1B,CAAC;IAED,OAAO,CACL,8BAA8B,CAAC,UAAU,EAAE,OAAO,CAAC;QACnD,UAAU,CAAC,YAAY,CACxB,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,sCAAsC,GAAG,CACpD,YAAgC,EAChC,WAMa,EACb,OAAuB,EACH,EAAE;IACtB,2DAA2D;IAC3D,IAAI,YAAY,EAAE,CAAC;QACjB,OAAO,YAAY,CAAC;IACtB,CAAC;IAED,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,qEAAqE;IACrE,+DAA+D;IAC/D,oEAAoE;IACpE,mEAAmE;IACnE,yDAAyD;IACzD,IAAI,WAAW,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QACvC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,sDAAsD;IACtD,IACE,WAAW,CAAC,IAAI,KAAK,eAAe;QACpC,WAAW,CAAC,IAAI,KAAK,aAAa,EAClC,CAAC;QACD,OAAO,sCAAsC,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IACtE,CAAC;IAED,oDAAoD;IACpD,IAAI,WAAW,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QAC5C,OAAQ,WAAkD,CAAC,YAAY,CAAC;IAC1E,CAAC;IAED,qEAAqE;IACrE,OAAO,sCAAsC,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;AACtE,CAAC,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,uCAAuC,GAAG,CACrD,WAMa,EACb,OAAuB,EACH,EAAE;IACtB,MAAM,QAAQ,GAAG,sCAAsC,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IAC9E,OAAO,2BAA2B,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,QAAQ,CAAC;AACpE,CAAC,CAAC;AAWF;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,IAA4B,EAC5B,OAAuB,EACH,EAAE;IACtB,MAAM,sBAAsB,GAAG,IAAI,CAAC,WAAW;QAC7C,CAAC,CAAC,0BAA0B,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC;QACvD,CAAC,CAAC,SAAS,CAAC;IACd,MAAM,uBAAuB,GAC3B,CAAC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,WAAW;QAC5B,CAAC,CAAC,sCAAsC,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC;QACnE,CAAC,CAAC,SAAS,CAAC;IAChB,IACE,2CAA2C,CACzC,uBAAuB,EACvB,sBAAsB,EACtB,OAAO,CACR,EACD,CAAC;QACD,OAAO,uBAAuB,CAAC;IACjC,CAAC;IAED,MAAM,UAAU,GACd,IAAI,CAAC,IAAI;QACT,sBAAsB;QACtB,uCAAuC,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IAErE,OAAO,2BAA2B,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;AAC1D,CAAC,CAAC"}

package/dist/duplicate-type-suppression.d.ts

@@ -0,0 +1,18 @@
+/**
+ * Duplicate type declaration suppression and deduplication planning.
+ *
+ * Extracted from emitter.ts — contains the logic that detects duplicate type
+ * declarations across modules and builds suppression/canonicalization plans
+ * so that only one copy of each structurally-identical type is emitted.
+ */
+import type { Diagnostic, IrModule } from "@tsonic/frontend";
+export type DuplicatePlanResult = {
+    readonly ok: true;
+    readonly suppressed: ReadonlySet<string>;
+    readonly canonicalLocalTypeTargets: ReadonlyMap<string, string>;
+} | {
+    readonly ok: false;
+    readonly errors: readonly Diagnostic[];
+};
+export declare const planDuplicateTypeSuppression: (modules: readonly IrModule[]) => DuplicatePlanResult;
+//# sourceMappingURL=duplicate-type-suppression.d.ts.map

package/dist/duplicate-type-suppression.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"duplicate-type-suppression.d.ts","sourceRoot":"","sources":["../src/duplicate-type-suppression.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAGH,OAAO,KAAK,EACV,UAAU,EACV,QAAQ,EAGT,MAAM,kBAAkB,CAAC;AAU1B,MAAM,MAAM,mBAAmB,GAC3B;IACE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAClB,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACzC,QAAQ,CAAC,yBAAyB,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACjE,GACD;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,UAAU,EAAE,CAAA;CAAE,CAAC;AAmMnE,eAAO,MAAM,4BAA4B,GACvC,SAAS,SAAS,QAAQ,EAAE,KAC3B,mBA6HF,CAAC"}

package/dist/duplicate-type-suppression.js

@@ -0,0 +1,249 @@
+/**
+ * Duplicate type declaration suppression and deduplication planning.
+ *
+ * Extracted from emitter.ts — contains the logic that detects duplicate type
+ * declarations across modules and builds suppression/canonicalization plans
+ * so that only one copy of each structurally-identical type is emitted.
+ */
+import { stableIrTypeKeyIfDeterministic } from "@tsonic/frontend";
+const isRuntimeTypeDeclaration = (stmt) => {
+    if (stmt.kind === "classDeclaration")
+        return true;
+    if (stmt.kind === "interfaceDeclaration")
+        return true;
+    if (stmt.kind === "enumDeclaration")
+        return true;
+    return (stmt.kind === "typeAliasDeclaration" && stmt.type.kind === "objectType");
+};
+const duplicateGroupKey = (namespace, name) => `${namespace}::${name}`;
+const canonicalLocalTargetKey = (namespace, name) => `${namespace}::${name}`;
+const isCanonicalizableStructuralDeclaration = (stmt) => {
+    if (stmt.kind === "interfaceDeclaration")
+        return !stmt.isExported;
+    if (stmt.kind === "typeAliasDeclaration") {
+        return stmt.type.kind === "objectType" && !stmt.isExported;
+    }
+    return false;
+};
+const stableCircularStringify = (value) => {
+    const seen = new WeakMap();
+    let nextId = 0;
+    const normalize = (current) => {
+        if (current === null)
+            return null;
+        if (typeof current === "bigint") {
+            return { $bigint: current.toString(10) };
+        }
+        if (typeof current !== "object")
+            return current;
+        const existing = seen.get(current);
+        if (existing !== undefined) {
+            return { $ref: existing };
+        }
+        const id = nextId;
+        nextId += 1;
+        seen.set(current, id);
+        if (Array.isArray(current)) {
+            return current.map((entry) => normalize(entry));
+        }
+        const normalized = { $id: id };
+        for (const key of Object.keys(current).sort()) {
+            if (key === "sourceSpan")
+                continue;
+            normalized[key] = normalize(current[key]);
+        }
+        return normalized;
+    };
+    return JSON.stringify(normalize(value));
+};
+const sortTypesByDeterministicKey = (types) => {
+    const keyed = types.map((type, index) => {
+        const key = stableIrTypeKeyIfDeterministic(type);
+        return key ? { type, index, key } : undefined;
+    });
+    if (keyed.some((entry) => entry === undefined)) {
+        return undefined;
+    }
+    keyed.sort((left, right) => {
+        if (!left || !right)
+            return 0;
+        const byKey = left.key.localeCompare(right.key);
+        return byKey !== 0 ? byKey : left.index - right.index;
+    });
+    return keyed
+        .map((entry) => entry?.type)
+        .filter((type) => !!type);
+};
+const semanticSignature = (stmt) => {
+    if (stmt.kind === "interfaceDeclaration") {
+        const sortedExtends = sortTypesByDeterministicKey(stmt.extends);
+        return {
+            deterministic: sortedExtends !== undefined,
+            text: stableCircularStringify({
+                ...stmt,
+                members: [...stmt.members].sort((a, b) => a.name.localeCompare(b.name)),
+                extends: sortedExtends ?? stmt.extends,
+            }),
+        };
+    }
+    if (stmt.kind === "classDeclaration") {
+        // Class member order is semantically significant: field initializers run in
+        // declaration order. Only sort `implements` (order-independent) — preserve
+        // member order to avoid false equivalence when initializer order differs.
+        const sortedImplements = sortTypesByDeterministicKey(stmt.implements);
+        return {
+            deterministic: sortedImplements !== undefined,
+            text: stableCircularStringify({
+                ...stmt,
+                implements: sortedImplements ?? stmt.implements,
+            }),
+        };
+    }
+    // Type aliases: sort objectType members if applicable
+    if (stmt.kind === "typeAliasDeclaration" && stmt.type.kind === "objectType") {
+        return {
+            deterministic: true,
+            text: stableCircularStringify({
+                ...stmt,
+                type: {
+                    ...stmt.type,
+                    members: [...stmt.type.members].sort((a, b) => a.name.localeCompare(b.name)),
+                },
+            }),
+        };
+    }
+    // Enums: do NOT sort — member order is semantically significant
+    // (implicit values depend on order)
+    return { deterministic: true, text: stableCircularStringify(stmt) };
+};
+const canonicalStructuralGroupKey = (stmt) => {
+    if (stmt.kind === "interfaceDeclaration") {
+        const sortedExtends = sortTypesByDeterministicKey(stmt.extends);
+        if (!sortedExtends) {
+            return undefined;
+        }
+        return `iface::${stmt.name}::${stableCircularStringify({
+            typeParameters: stmt.typeParameters ?? [],
+            extends: sortedExtends,
+            members: [...stmt.members].sort((a, b) => a.name.localeCompare(b.name)),
+        })}`;
+    }
+    // Type alias with objectType — sort members
+    if (stmt.type.kind === "objectType") {
+        return `alias::${stmt.name}::${stableCircularStringify({
+            typeParameters: stmt.typeParameters ?? [],
+            type: {
+                ...stmt.type,
+                members: [...stmt.type.members].sort((a, b) => a.name.localeCompare(b.name)),
+            },
+        })}`;
+    }
+    return `alias::${stmt.name}::${stableCircularStringify({
+        typeParameters: stmt.typeParameters ?? [],
+        type: stmt.type,
+    })}`;
+};
+const emittedDeclarationName = (stmt) => {
+    if (stmt.kind === "typeAliasDeclaration" && stmt.type.kind === "objectType") {
+        return `${stmt.name}__Alias`;
+    }
+    return stmt.name;
+};
+const suppressionKey = (filePath, stmt) => `${filePath}::${stmt.kind}::${stmt.name}`;
+export const planDuplicateTypeSuppression = (modules) => {
+    const groups = new Map();
+    const structuralGroups = new Map();
+    for (const module of modules) {
+        for (const stmt of module.body) {
+            if (!isRuntimeTypeDeclaration(stmt))
+                continue;
+            const key = duplicateGroupKey(module.namespace, stmt.name);
+            const entries = groups.get(key) ?? [];
+            entries.push({
+                filePath: module.filePath,
+                namespace: module.namespace,
+                stmt,
+                signature: semanticSignature(stmt),
+            });
+            groups.set(key, entries);
+            if (isCanonicalizableStructuralDeclaration(stmt)) {
+                const structuralKey = canonicalStructuralGroupKey(stmt);
+                if (!structuralKey) {
+                    continue;
+                }
+                const structuralEntries = structuralGroups.get(structuralKey) ?? [];
+                structuralEntries.push({
+                    filePath: module.filePath,
+                    namespace: module.namespace,
+                    stmt,
+                });
+                structuralGroups.set(structuralKey, structuralEntries);
+            }
+        }
+    }
+    const suppressed = new Set();
+    const canonicalLocalTypeTargets = new Map();
+    const errors = [];
+    for (const [key, entries] of groups) {
+        if (entries.length <= 1)
+            continue;
+        const ordered = [...entries].sort((a, b) => a.filePath.localeCompare(b.filePath));
+        const first = ordered[0];
+        if (!first)
+            continue;
+        const firstSig = first.signature;
+        for (let i = 1; i < ordered.length; i += 1) {
+            const entry = ordered[i];
+            if (!entry)
+                continue;
+            if (!firstSig.deterministic || !entry.signature.deterministic) {
+                errors.push({
+                    code: "TSN3003",
+                    severity: "error",
+                    message: `Cross-module type declaration collision for '${key}'. ` +
+                        `The declarations contain type references without deterministic identity, ` +
+                        `so their shapes cannot be compared safely: ${first.filePath}, ${entry.filePath}.`,
+                    hint: "Attach canonical TypeId/CLR identity to the referenced types or make the declarations unambiguous before duplicate suppression runs.",
+                });
+                continue;
+            }
+            if (entry.signature.text === firstSig.text) {
+                suppressed.add(suppressionKey(entry.filePath, entry.stmt));
+                continue;
+            }
+            errors.push({
+                code: "TSN3003",
+                severity: "error",
+                message: `Cross-module type declaration collision for '${key}'. ` +
+                    `Multiple files declare the same namespace/type name with different shapes: ` +
+                    `${first.filePath}, ${entry.filePath}.`,
+                hint: "Rename one declaration or make the declarations shape-identical so the duplicate can be deduplicated deterministically.",
+            });
+        }
+    }
+    if (errors.length > 0)
+        return { ok: false, errors };
+    for (const entries of structuralGroups.values()) {
+        if (entries.length <= 1)
+            continue;
+        const ordered = [...entries].sort((a, b) => a.filePath.localeCompare(b.filePath));
+        const canonical = ordered[0];
+        if (!canonical)
+            continue;
+        const canonicalFqn = `${canonical.namespace}.${emittedDeclarationName(canonical.stmt)}`;
+        for (let i = 1; i < ordered.length; i += 1) {
+            const entry = ordered[i];
+            if (!entry)
+                continue;
+            suppressed.add(suppressionKey(entry.filePath, entry.stmt));
+            if (entry.namespace === canonical.namespace) {
+                continue;
+            }
+            canonicalLocalTypeTargets.set(canonicalLocalTargetKey(entry.namespace, entry.stmt.name), canonicalFqn);
+        }
+    }
+    if (errors.length > 0)
+        return { ok: false, errors };
+    return { ok: true, suppressed, canonicalLocalTypeTargets };
+};
+//# sourceMappingURL=duplicate-type-suppression.js.map

package/dist/duplicate-type-suppression.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"duplicate-type-suppression.js","sourceRoot":"","sources":["../src/duplicate-type-suppression.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,8BAA8B,EAAE,MAAM,kBAAkB,CAAC;AAwBlE,MAAM,wBAAwB,GAAG,CAC/B,IAAiB,EACe,EAAE;IAClC,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB;QAAE,OAAO,IAAI,CAAC;IAClD,IAAI,IAAI,CAAC,IAAI,KAAK,sBAAsB;QAAE,OAAO,IAAI,CAAC;IACtD,IAAI,IAAI,CAAC,IAAI,KAAK,iBAAiB;QAAE,OAAO,IAAI,CAAC;IACjD,OAAO,CACL,IAAI,CAAC,IAAI,KAAK,sBAAsB,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY,CACxE,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,iBAAiB,GAAG,CAAC,SAAiB,EAAE,IAAY,EAAU,EAAE,CACpE,GAAG,SAAS,KAAK,IAAI,EAAE,CAAC;AAE1B,MAAM,uBAAuB,GAAG,CAAC,SAAiB,EAAE,IAAY,EAAU,EAAE,CAC1E,GAAG,SAAS,KAAK,IAAI,EAAE,CAAC;AAO1B,MAAM,sCAAsC,GAAG,CAC7C,IAA4B,EACkB,EAAE;IAChD,IAAI,IAAI,CAAC,IAAI,KAAK,sBAAsB;QAAE,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC;IAClE,IAAI,IAAI,CAAC,IAAI,KAAK,sBAAsB,EAAE,CAAC;QACzC,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC;IAC7D,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,uBAAuB,GAAG,CAAC,KAAc,EAAU,EAAE;IACzD,MAAM,IAAI,GAAG,IAAI,OAAO,EAAkB,CAAC;IAC3C,IAAI,MAAM,GAAG,CAAC,CAAC;IAEf,MAAM,SAAS,GAAG,CAAC,OAAgB,EAAW,EAAE;QAC9C,IAAI,OAAO,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAClC,IAAI,OAAO,OAAO,KAAK,QAAQ,EAAE,CAAC;YAChC,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;QAC3C,CAAC;QACD,IAAI,OAAO,OAAO,KAAK,QAAQ;YAAE,OAAO,OAAO,CAAC;QAEhD,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACnC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QAC5B,CAAC;QAED,MAAM,EAAE,GAAG,MAAM,CAAC;QAClB,MAAM,IAAI,CAAC,CAAC;QACZ,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QAEtB,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;YAC3B,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC;QAClD,CAAC;QAED,MAAM,UAAU,GAA4B,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC;QACxD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;YAC9C,IAAI,GAAG,KAAK,YAAY;gBAAE,SAAS;YACnC,UAAU,CAAC,GAAG,CAAC,GAAG,SAAS,CAAE,OAAmC,CAAC,GAAG,CAAC,CAAC,CAAC;QACzE,CAAC;QACD,OAAO,UAAU,CAAC;IACpB,CAAC,CAAC;IAEF,OAAO,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC;AAC1C,CAAC,CAAC;AAEF,MAAM,2BAA2B,GAAG,CAClC,KAAwB,EACO,EAAE;IACjC,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;QACtC,MAAM,GAAG,GAAG,8BAA8B,CAAC,IAAI,CAAC,CAAC;QACjD,OAAO,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;IAChD,CAAC,CAAC,CAAC;IACH,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,SAAS,CAAC,EAAE,CAAC;QAC/C,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;QACzB,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK;YAAE,OAAO,CAAC,CAAC;QAC9B,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,aAAa,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAChD,OAAO,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,OAAO,KAAK;SACT,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,EAAE,IAAI,CAAC;SAC3B,MAAM,CAAC,CAAC,IAAI,EAAkB,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;AAC9C,CAAC,CAAC;AAOF,MAAM,iBAAiB,GAAG,CACxB,IAA4B,EACT,EAAE;IACrB,IAAI,IAAI,CAAC,IAAI,KAAK,sBAAsB,EAAE,CAAC;QACzC,MAAM,aAAa,GAAG,2BAA2B,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAChE,OAAO;YACL,aAAa,EAAE,aAAa,KAAK,SAAS;YAC1C,IAAI,EAAE,uBAAuB,CAAC;gBAC5B,GAAG,IAAI;gBACP,OAAO,EAAE,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACvC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAC7B;gBACD,OAAO,EAAE,aAAa,IAAI,IAAI,CAAC,OAAO;aACvC,CAAC;SACH,CAAC;IACJ,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QACrC,4EAA4E;QAC5E,2EAA2E;QAC3E,0EAA0E;QAC1E,MAAM,gBAAgB,GAAG,2BAA2B,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACtE,OAAO;YACL,aAAa,EAAE,gBAAgB,KAAK,SAAS;YAC7C,IAAI,EAAE,uBAAuB,CAAC;gBAC5B,GAAG,IAAI;gBACP,UAAU,EAAE,gBAAgB,IAAI,IAAI,CAAC,UAAU;aAChD,CAAC;SACH,CAAC;IACJ,CAAC;IAED,sDAAsD;IACtD,IAAI,IAAI,CAAC,IAAI,KAAK,sBAAsB,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAC5E,OAAO;YACL,aAAa,EAAE,IAAI;YACnB,IAAI,EAAE,uBAAuB,CAAC;gBAC5B,GAAG,IAAI;gBACP,IAAI,EAAE;oBACJ,GAAG,IAAI,CAAC,IAAI;oBACZ,OAAO,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAC5C,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAC7B;iBACF;aACF,CAAC;SACH,CAAC;IACJ,CAAC;IAED,gEAAgE;IAChE,oCAAoC;IACpC,OAAO,EAAE,aAAa,EAAE,IAAI,EAAE,IAAI,EAAE,uBAAuB,CAAC,IAAI,CAAC,EAAE,CAAC;AACtE,CAAC,CAAC;AAEF,MAAM,2BAA2B,GAAG,CAClC,IAA0C,EACtB,EAAE;IACtB,IAAI,IAAI,CAAC,IAAI,KAAK,sBAAsB,EAAE,CAAC;QACzC,MAAM,aAAa,GAAG,2BAA2B,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAChE,IAAI,CAAC,aAAa,EAAE,CAAC;YACnB,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,OAAO,UAAU,IAAI,CAAC,IAAI,KAAK,uBAAuB,CAAC;YACrD,cAAc,EAAE,IAAI,CAAC,cAAc,IAAI,EAAE;YACzC,OAAO,EAAE,aAAa;YACtB,OAAO,EAAE,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;SACxE,CAAC,EAAE,CAAC;IACP,CAAC;IAED,4CAA4C;IAC5C,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACpC,OAAO,UAAU,IAAI,CAAC,IAAI,KAAK,uBAAuB,CAAC;YACrD,cAAc,EAAE,IAAI,CAAC,cAAc,IAAI,EAAE;YACzC,IAAI,EAAE;gBACJ,GAAG,IAAI,CAAC,IAAI;gBACZ,OAAO,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAC5C,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAC7B;aACF;SACF,CAAC,EAAE,CAAC;IACP,CAAC;IAED,OAAO,UAAU,IAAI,CAAC,IAAI,KAAK,uBAAuB,CAAC;QACrD,cAAc,EAAE,IAAI,CAAC,cAAc,IAAI,EAAE;QACzC,IAAI,EAAE,IAAI,CAAC,IAAI;KAChB,CAAC,EAAE,CAAC;AACP,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAAC,IAA4B,EAAU,EAAE;IACtE,IAAI,IAAI,CAAC,IAAI,KAAK,sBAAsB,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAC5E,OAAO,GAAG,IAAI,CAAC,IAAI,SAAS,CAAC;IAC/B,CAAC;IACD,OAAO,IAAI,CAAC,IAAI,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,cAAc,GAAG,CACrB,QAAgB,EAChB,IAA4B,EACpB,EAAE,CAAC,GAAG,QAAQ,KAAK,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,EAAE,CAAC;AAEvD,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC1C,OAA4B,EACP,EAAE;IACvB,MAAM,MAAM,GAAG,IAAI,GAAG,EAQnB,CAAC;IACJ,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAO7B,CAAC;IAEJ,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;YAC/B,IAAI,CAAC,wBAAwB,CAAC,IAAI,CAAC;gBAAE,SAAS;YAE9C,MAAM,GAAG,GAAG,iBAAiB,CAAC,MAAM,CAAC,SAAS,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;YAC3D,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;YACtC,OAAO,CAAC,IAAI,CAAC;gBACX,QAAQ,EAAE,MAAM,CAAC,QAAQ;gBACzB,SAAS,EAAE,MAAM,CAAC,SAAS;gBAC3B,IAAI;gBACJ,SAAS,EAAE,iBAAiB,CAAC,IAAI,CAAC;aACnC,CAAC,CAAC;YACH,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;YAEzB,IAAI,sCAAsC,CAAC,IAAI,CAAC,EAAE,CAAC;gBACjD,MAAM,aAAa,GAAG,2BAA2B,CAAC,IAAI,CAAC,CAAC;gBACxD,IAAI,CAAC,aAAa,EAAE,CAAC;oBACnB,SAAS;gBACX,CAAC;gBACD,MAAM,iBAAiB,GAAG,gBAAgB,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC;gBACpE,iBAAiB,CAAC,IAAI,CAAC;oBACrB,QAAQ,EAAE,MAAM,CAAC,QAAQ;oBACzB,SAAS,EAAE,MAAM,CAAC,SAAS;oBAC3B,IAAI;iBACL,CAAC,CAAC;gBACH,gBAAgB,CAAC,GAAG,CAAC,aAAa,EAAE,iBAAiB,CAAC,CAAC;YACzD,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IACrC,MAAM,yBAAyB,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC5D,MAAM,MAAM,GAAiB,EAAE,CAAC;IAEhC,KAAK,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,IAAI,MAAM,EAAE,CAAC;QACpC,IAAI,OAAO,CAAC,MAAM,IAAI,CAAC;YAAE,SAAS;QAClC,MAAM,OAAO,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACzC,CAAC,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC,CACrC,CAAC;QACF,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QACzB,IAAI,CAAC,KAAK;YAAE,SAAS;QACrB,MAAM,QAAQ,GAAG,KAAK,CAAC,SAAS,CAAC;QAEjC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3C,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;YACzB,IAAI,CAAC,KAAK;gBAAE,SAAS;YACrB,IAAI,CAAC,QAAQ,CAAC,aAAa,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,aAAa,EAAE,CAAC;gBAC9D,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,SAAS;oBACf,QAAQ,EAAE,OAAO;oBACjB,OAAO,EACL,gDAAgD,GAAG,KAAK;wBACxD,2EAA2E;wBAC3E,8CAA8C,KAAK,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ,GAAG;oBACpF,IAAI,EAAE,sIAAsI;iBAC7I,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YAED,IAAI,KAAK,CAAC,SAAS,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,EAAE,CAAC;gBAC3C,UAAU,CAAC,GAAG,CAAC,cAAc,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;gBAC3D,SAAS;YACX,CAAC;YAED,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,SAAS;gBACf,QAAQ,EAAE,OAAO;gBACjB,OAAO,EACL,gDAAgD,GAAG,KAAK;oBACxD,6EAA6E;oBAC7E,GAAG,KAAK,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ,GAAG;gBACzC,IAAI,EAAE,yHAAyH;aAChI,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;IAEpD,KAAK,MAAM,OAAO,IAAI,gBAAgB,CAAC,MAAM,EAAE,EAAE,CAAC;QAChD,IAAI,OAAO,CAAC,MAAM,IAAI,CAAC;YAAE,SAAS;QAClC,MAAM,OAAO,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACzC,CAAC,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC,CACrC,CAAC;QACF,MAAM,SAAS,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAI,CAAC,SAAS;YAAE,SAAS;QACzB,MAAM,YAAY,GAAG,GAAG,SAAS,CAAC,SAAS,IAAI,sBAAsB,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;QAExF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3C,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;YACzB,IAAI,CAAC,KAAK;gBAAE,SAAS;YAErB,UAAU,CAAC,GAAG,CAAC,cAAc,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;YAE3D,IAAI,KAAK,CAAC,SAAS,KAAK,SAAS,CAAC,SAAS,EAAE,CAAC;gBAC5C,SAAS;YACX,CAAC;YAED,yBAAyB,CAAC,GAAG,CAC3B,uBAAuB,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EACzD,YAAY,CACb,CAAC;QACJ,CAAC;IACH,CAAC;IAED,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;IACpD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,yBAAyB,EAAE,CAAC;AAC7D,CAAC,CAAC"}

package/dist/duplicate-type-suppression.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=duplicate-type-suppression.test.d.ts.map

package/dist/duplicate-type-suppression.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"duplicate-type-suppression.test.d.ts","sourceRoot":"","sources":["../src/duplicate-type-suppression.test.ts"],"names":[],"mappings":""}

package/dist/duplicate-type-suppression.test.js

@@ -0,0 +1,44 @@
+import { describe, it } from "mocha";
+import { expect } from "chai";
+import { planDuplicateTypeSuppression } from "./duplicate-type-suppression.js";
+describe("duplicate type suppression", () => {
+    it("handles bigint-valued declaration metadata without throwing", () => {
+        const classDecl = {
+            kind: "classDeclaration",
+            name: "BigCounter",
+            typeParameters: [],
+            implements: [],
+            members: [
+                {
+                    kind: "propertyDeclaration",
+                    name: "seed",
+                    type: { kind: "referenceType", name: "long" },
+                    initializer: {
+                        kind: "literal",
+                        value: 1n,
+                        raw: "1n",
+                    },
+                    accessibility: "public",
+                    isStatic: true,
+                    isReadonly: true,
+                    isRequired: false,
+                },
+            ],
+            isExported: true,
+            isStruct: false,
+        };
+        const module = {
+            kind: "module",
+            filePath: "/src/big-counter.ts",
+            namespace: "Nodejs.Next.Tests",
+            className: "big_counter",
+            isStaticContainer: false,
+            imports: [],
+            exports: [],
+            body: [classDecl],
+        };
+        const result = planDuplicateTypeSuppression([module]);
+        expect(result.ok).to.equal(true);
+    });
+});
+//# sourceMappingURL=duplicate-type-suppression.test.js.map

package/dist/duplicate-type-suppression.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"duplicate-type-suppression.test.js","sourceRoot":"","sources":["../src/duplicate-type-suppression.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAE9B,OAAO,EAAE,4BAA4B,EAAE,MAAM,iCAAiC,CAAC;AAE/E,QAAQ,CAAC,4BAA4B,EAAE,GAAG,EAAE;IAC1C,EAAE,CAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,SAAS,GAAG;YAChB,IAAI,EAAE,kBAAkB;YACxB,IAAI,EAAE,YAAY;YAClB,cAAc,EAAE,EAAE;YAClB,UAAU,EAAE,EAAE;YACd,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,qBAAqB;oBAC3B,IAAI,EAAE,MAAM;oBACZ,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE;oBAC7C,WAAW,EAAE;wBACX,IAAI,EAAE,SAAS;wBACf,KAAK,EAAE,EAAE;wBACT,GAAG,EAAE,IAAI;qBACV;oBACD,aAAa,EAAE,QAAQ;oBACvB,QAAQ,EAAE,IAAI;oBACd,UAAU,EAAE,IAAI;oBAChB,UAAU,EAAE,KAAK;iBAClB;aACF;YACD,UAAU,EAAE,IAAI;YAChB,QAAQ,EAAE,KAAK;SACiB,CAAC;QAEnC,MAAM,MAAM,GAAa;YACvB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,qBAAqB;YAC/B,SAAS,EAAE,mBAAmB;YAC9B,SAAS,EAAE,aAAa;YACxB,iBAAiB,EAAE,KAAK;YACxB,OAAO,EAAE,EAAE;YACX,OAAO,EAAE,EAAE;YACX,IAAI,EAAE,CAAC,SAAS,CAAC;SAClB,CAAC;QAEF,MAAM,MAAM,GAAG,4BAA4B,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;QAEtD,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

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

@@ -30,11 +30,12 @@ export declare const withClassName: (context: EmitterContext, className: string)
  * Scoped fields that should be restored after emission.
  * These fields define lexical scopes and should not leak to parent scopes.
  */
-type ScopedFields = Pick<EmitterContext, "typeParameters" | "typeParamConstraints" | "typeParameterNameMap" | "returnType" | "localNameMap">;
+type ScopedFields = Pick<EmitterContext, "typeParameters" | "typeParamConstraints" | "typeParameterNameMap" | "returnType" | "localNameMap" | "conditionAliases" | "localSemanticTypes" | "localValueTypes" | "narrowedBindings">;
 /**
  * Execute an emission function with scoped context fields.
  *
- * This helper ensures that scoped fields (typeParameters, returnType) are
+ * This helper ensures that scoped fields (typeParameters, returnType,
+ * local lexical maps, and flow narrowings) are
  * restored after emission, preventing scope leaks when context is threaded
  * upward via [result, newContext] tuples.
  *

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

@@ -1 +1 @@
-{"version":3,"file":"context.d.ts","sourceRoot":"","sources":["../../src/emitter-types/context.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,WAAW,CAAC;AAE3D;;GAEG;AACH,eAAO,MAAM,aAAa,GAAI,SAAS,cAAc,KAAG,cAevD,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,MAAM,GAAI,SAAS,cAAc,KAAG,cAG/C,CAAC;AAEH;;GAEG;AACH,eAAO,MAAM,MAAM,GAAI,SAAS,cAAc,KAAG,cAG/C,CAAC;AAEH;;GAEG;AACH,eAAO,MAAM,UAAU,GACrB,SAAS,cAAc,EACvB,UAAU,OAAO,KAChB,cAGD,CAAC;AAEH;;GAEG;AACH,eAAO,MAAM,SAAS,GACpB,SAAS,cAAc,EACvB,SAAS,OAAO,KACf,cAGD,CAAC;AAEH;;GAEG;AACH,eAAO,MAAM,aAAa,GACxB,SAAS,cAAc,EACvB,WAAW,MAAM,KAChB,cAGD,CAAC;AAEH;;;GAGG;AACH,KAAK,YAAY,GAAG,IAAI,CACtB,cAAc,EACZ,gBAAgB,GAChB,sBAAsB,GACtB,sBAAsB,GACtB,YAAY,GACZ,cAAc,CACjB,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,eAAO,MAAM,UAAU,GAAI,CAAC,EAC1B,SAAS,cAAc,EACvB,aAAa,OAAO,CAAC,YAAY,CAAC,EAClC,MAAM,CAAC,GAAG,EAAE,cAAc,KAAK,CAAC,CAAC,EAAE,cAAc,CAAC,KACjD,CAAC,CAAC,EAAE,cAAc,CAuBpB,CAAC"}
+{"version":3,"file":"context.d.ts","sourceRoot":"","sources":["../../src/emitter-types/context.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,WAAW,CAAC;AAE3D;;GAEG;AACH,eAAO,MAAM,aAAa,GAAI,SAAS,cAAc,KAAG,cAgBvD,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,MAAM,GAAI,SAAS,cAAc,KAAG,cAG/C,CAAC;AAEH;;GAEG;AACH,eAAO,MAAM,MAAM,GAAI,SAAS,cAAc,KAAG,cAG/C,CAAC;AAEH;;GAEG;AACH,eAAO,MAAM,UAAU,GACrB,SAAS,cAAc,EACvB,UAAU,OAAO,KAChB,cAGD,CAAC;AAEH;;GAEG;AACH,eAAO,MAAM,SAAS,GACpB,SAAS,cAAc,EACvB,SAAS,OAAO,KACf,cAGD,CAAC;AAEH;;GAEG;AACH,eAAO,MAAM,aAAa,GACxB,SAAS,cAAc,EACvB,WAAW,MAAM,KAChB,cAGD,CAAC;AAEH;;;GAGG;AACH,KAAK,YAAY,GAAG,IAAI,CACtB,cAAc,EACZ,gBAAgB,GAChB,sBAAsB,GACtB,sBAAsB,GACtB,YAAY,GACZ,cAAc,GACd,kBAAkB,GAClB,oBAAoB,GACpB,iBAAiB,GACjB,kBAAkB,CACrB,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,eAAO,MAAM,UAAU,GAAI,CAAC,EAC1B,SAAS,cAAc,EACvB,aAAa,OAAO,CAAC,YAAY,CAAC,EAClC,MAAM,CAAC,GAAG,EAAE,cAAc,KAAK,CAAC,CAAC,EAAE,cAAc,CAAC,KACjD,CAAC,CAAC,EAAE,cAAc,CA2BpB,CAAC"}