@tsonic/emitter 0.0.73 → 0.0.75

package/dist/expressions/identifiers.js

@@ -3,16 +3,33 @@
  */
 import { emitTypeAst } from "../type-emitter.js";
 import { escapeCSharpIdentifier } from "../emitter-types/index.js";
-import { renderTypeAst } from "../core/format/backend-ast/utils.js";
+import { identifierExpression } from "../core/format/backend-ast/builders.js";
+import { normalizeClrQualifiedName, stableIdentifierSuffixFromTypeAst, } from "../core/format/backend-ast/utils.js";
+import { emitTypedDefaultAst } from "../core/semantic/defaults.js";
+import { buildRuntimeSubsetExpressionAst, tryEmitExactStorageCompatibleNarrowedIdentifier, isBroadStorageTarget, tryEmitCollapsedStorageIdentifier, tryEmitImplicitNarrowedStorageIdentifier, tryEmitImplicitRuntimeSubsetStorageIdentifier, tryEmitMaterializedNarrowedIdentifier, matchesEmittedStorageSurface, tryEmitReifiedStorageIdentifier, tryEmitStorageCompatibleIdentifier, tryEmitStorageCompatibleNarrowedIdentifier, } from "./identifier-storage.js";
+import { matchesExpectedEmissionType } from "../core/semantic/expected-type-matching.js";
+import { stripNullish } from "../core/semantic/type-resolution.js";
+import { willCarryAsRuntimeUnion } from "../core/semantic/union-semantics.js";
+import { isExpectedIntegralIrType, maybeCastNumericToExpectedIntegralAst, } from "./post-emission-adaptation.js";
 /**
  * Emit an identifier as CSharpExpressionAst
  */
 export const emitIdentifier = (expr, context, expectedType) => {
+    const maybeWrapLocalIntegralCast = (identifierAst, currentContext) => {
+        if (!expectedType ||
+            !isExpectedIntegralIrType(expectedType, currentContext)) {
+            return [identifierAst, currentContext];
+        }
+        const storageType = currentContext.localValueTypes?.get(expr.name);
+        if (!storageType) {
+            return [identifierAst, currentContext];
+        }
+        return maybeCastNumericToExpectedIntegralAst(identifierAst, storageType, currentContext, expectedType);
+    };
     // Special case for undefined -> default
     if (expr.name === "undefined") {
-        if (expectedType?.kind === "typeParameterType" ||
-            (expectedType?.kind === "primitiveType" &&
-                expectedType.name === "undefined")) {
+        if (expectedType?.kind === "primitiveType" &&
+            expectedType.name === "undefined") {
             return [
                 {
                     kind: "defaultExpression",
@@ -21,12 +38,16 @@ export const emitIdentifier = (expr, context, expectedType) => {
                 context,
             ];
         }
+        if (expectedType) {
+            const [typeAst, nextContext] = emitTypedDefaultAst(expectedType, context);
+            return [{ kind: "defaultExpression", type: typeAst }, nextContext];
+        }
         return [{ kind: "defaultExpression" }, context];
     }
     // TypeScript `super` maps to C# `base` for member access/calls.
     // (`super()` constructor calls are handled separately in constructor emission.)
     if (expr.name === "super") {
-        return [{ kind: "identifierExpression", identifier: "base" }, context];
+        return [identifierExpression("base"), context];
     }
     // Narrowing remap for union type guards
     // - "rename": account -> account__1_3 (if-statements with temp var)
@@ -36,55 +57,136 @@ export const emitIdentifier = (expr, context, expectedType) => {
         if (narrowed) {
             if (narrowed.kind === "rename") {
                 return [
-                    {
-                        kind: "identifierExpression",
-                        identifier: escapeCSharpIdentifier(narrowed.name),
-                    },
+                    identifierExpression(escapeCSharpIdentifier(narrowed.name)),
                     context,
                 ];
             }
             else if (narrowed.kind === "expr") {
-                // kind === "expr" - emit pre-built AST (e.g., parenthesized AsN() call)
+                const exactStorageCompatible = tryEmitExactStorageCompatibleNarrowedIdentifier(expr, narrowed, context, expectedType);
+                if (exactStorageCompatible) {
+                    return exactStorageCompatible;
+                }
+                const storageCompatible = tryEmitStorageCompatibleNarrowedIdentifier(expr, narrowed, context, expectedType);
+                if (storageCompatible &&
+                    expectedType &&
+                    isBroadStorageTarget(expectedType, context)) {
+                    return storageCompatible;
+                }
+                const materializedNarrowed = tryEmitMaterializedNarrowedIdentifier(narrowed, context, expectedType);
+                if (materializedNarrowed) {
+                    return materializedNarrowed;
+                }
+                if (storageCompatible) {
+                    return storageCompatible;
+                }
+                const implicitStorage = tryEmitImplicitNarrowedStorageIdentifier(expr, narrowed, context);
+                if (implicitStorage) {
+                    return implicitStorage;
+                }
                 return [narrowed.exprAst, context];
             }
-            return [
-                {
-                    kind: "identifierExpression",
-                    identifier: escapeCSharpIdentifier(expr.name),
-                },
-                context,
-            ];
+            else if (narrowed.kind === "runtimeSubset") {
+                const storageCompatibleExpected = expectedType
+                    ? tryEmitStorageCompatibleIdentifier(expr, context, expectedType)
+                    : undefined;
+                if (storageCompatibleExpected && expectedType) {
+                    return [storageCompatibleExpected, context];
+                }
+                const [sameSourceCarrierSurface, sourceCarrierContext] = expectedType && narrowed.sourceType
+                    ? matchesEmittedStorageSurface(stripNullish(narrowed.sourceType), expectedType, context)
+                    : [false, context];
+                const canReuseOriginalCarrierForExpectedTarget = !!expectedType &&
+                    !!narrowed.sourceType &&
+                    (sameSourceCarrierSurface ||
+                        (isBroadStorageTarget(expectedType, context) &&
+                            matchesExpectedEmissionType(stripNullish(narrowed.sourceType), expectedType, context)));
+                if (canReuseOriginalCarrierForExpectedTarget) {
+                    const originalCarrier = narrowed.storageExprAst ??
+                        identifierExpression(context.localNameMap?.get(expr.name) ??
+                            escapeCSharpIdentifier(expr.name));
+                    return [originalCarrier, sourceCarrierContext];
+                }
+                const shouldPreferNarrowedSubsetTarget = !!narrowed.type &&
+                    !!expectedType &&
+                    (isBroadStorageTarget(expectedType, context) ||
+                        (willCarryAsRuntimeUnion(expectedType, context) &&
+                            !willCarryAsRuntimeUnion(narrowed.type, context) &&
+                            matchesExpectedEmissionType(narrowed.type, expectedType, context)));
+                const preferredSubsetTargetType = shouldPreferNarrowedSubsetTarget
+                    ? narrowed.type
+                    : expectedType;
+                const expectedSubset = expectedType
+                    ? buildRuntimeSubsetExpressionAst(expr, narrowed, context, preferredSubsetTargetType)
+                    : undefined;
+                if (expectedSubset) {
+                    return expectedSubset;
+                }
+                const implicitStorage = tryEmitImplicitRuntimeSubsetStorageIdentifier(expr, narrowed, context);
+                if (implicitStorage) {
+                    return implicitStorage;
+                }
+                // Storage-compatible shortcut is intentionally skipped here.
+                // When a runtimeSubset binding is active, the variable has been
+                // narrowed to a semantic subset (e.g., PathSpec slots within a
+                // 5-member carrier). The raw storage identifier carries the full
+                // carrier, not the subset. Using it would lose the narrowing and
+                // cause incorrect carrier-shape adaptation downstream.
+                const subsetAst = buildRuntimeSubsetExpressionAst(expr, narrowed, context);
+                if (subsetAst) {
+                    return subsetAst;
+                }
+            }
+            return [identifierExpression(escapeCSharpIdentifier(expr.name)), context];
         }
     }
+    const contextualReturnStorageFallback = expectedType === undefined && context.returnType
+        ? tryEmitStorageCompatibleIdentifier(expr, context, context.returnType)
+        : undefined;
+    if (contextualReturnStorageFallback) {
+        return [contextualReturnStorageFallback, context];
+    }
+    const storageFallback = tryEmitStorageCompatibleIdentifier(expr, context, expectedType);
+    if (storageFallback) {
+        return [storageFallback, context];
+    }
     // Lexical remap for locals/parameters (prevents C# CS0136 shadowing errors).
+    const reifiedStorage = tryEmitReifiedStorageIdentifier(expr, context, expectedType);
+    if (reifiedStorage) {
+        return reifiedStorage;
+    }
+    const collapsedStorage = expectedType === undefined
+        ? tryEmitCollapsedStorageIdentifier(expr, context)
+        : undefined;
+    if (collapsedStorage) {
+        return collapsedStorage;
+    }
     const remappedLocal = context.localNameMap?.get(expr.name);
     if (remappedLocal) {
-        return [
-            { kind: "identifierExpression", identifier: remappedLocal },
-            context,
-        ];
+        return maybeWrapLocalIntegralCast(identifierExpression(remappedLocal), context);
     }
     // Check if this identifier is from an import
     if (context.importBindings) {
         const binding = context.importBindings.get(expr.name);
         if (binding) {
             // Imported identifier - always use fully-qualified reference
-            // Use pre-computed clrName directly (all resolution done when building binding)
-            if (binding.member) {
+            if (binding.kind === "value") {
                 // Value import with member - Container.member
+                return [
+                    identifierExpression(`${binding.clrName}.${binding.member}`),
+                    context,
+                ];
+            }
+            if (binding.kind === "type") {
                 return [
                     {
-                        kind: "identifierExpression",
-                        identifier: `${binding.clrName}.${binding.member}`,
+                        kind: "typeReferenceExpression",
+                        type: binding.typeAst,
                     },
                     context,
                 ];
             }
-            // Type, namespace, or default import - use clrName directly
-            return [
-                { kind: "identifierExpression", identifier: binding.clrName },
-                context,
-            ];
+            // Namespace import - use precomputed container name directly
+            return [identifierExpression(binding.clrName), context];
         }
     }
     // Static module members (functions/fields) in the current file's container class.
@@ -94,35 +196,30 @@ export const emitIdentifier = (expr, context, expectedType) => {
         const memberName = escapeCSharpIdentifier(valueSymbol.csharpName);
         if (context.moduleStaticClassName &&
             context.className !== context.moduleStaticClassName) {
+            const moduleNamespace = context.moduleNamespace ?? context.options.rootNamespace;
+            const containerPrefix = moduleNamespace.startsWith("global::")
+                ? moduleNamespace
+                : `global::${moduleNamespace}`;
             return [
-                {
-                    kind: "identifierExpression",
-                    identifier: `${context.moduleStaticClassName}.${memberName}`,
-                },
+                identifierExpression(`${containerPrefix}.${context.moduleStaticClassName}.${memberName}`),
                 context,
             ];
         }
-        return [{ kind: "identifierExpression", identifier: memberName }, context];
+        return [identifierExpression(memberName), context];
     }
     // Use custom C# name from binding if specified (with global:: prefix)
     if (expr.csharpName && expr.resolvedAssembly) {
         const fqn = `global::${expr.resolvedAssembly}.${expr.csharpName}`;
-        return [{ kind: "identifierExpression", identifier: fqn }, context];
+        return [identifierExpression(fqn), context];
     }
-    // Use resolved binding if available (from binding manifest) with global:: prefix
-    // resolvedClrType is already the full CLR type name, just add global::
+    // Use resolved binding if available (from binding manifest) with global:: prefix.
+    // Normalize nested CLR type syntax (Outer+Inner`1) before emitting.
     if (expr.resolvedClrType) {
-        const fqn = `global::${expr.resolvedClrType}`;
-        return [{ kind: "identifierExpression", identifier: fqn }, context];
+        const fqn = normalizeClrQualifiedName(expr.resolvedClrType, true);
+        return [identifierExpression(fqn), context];
     }
     // Fallback: use identifier as-is (escape C# keywords)
-    return [
-        {
-            kind: "identifierExpression",
-            identifier: escapeCSharpIdentifier(expr.name),
-        },
-        context,
-    ];
+    return maybeWrapLocalIntegralCast(identifierExpression(escapeCSharpIdentifier(expr.name)), context);
 };
 /**
  * Emit type arguments as CSharpTypeAst[]
@@ -167,10 +264,7 @@ export const generateSpecializedName = (baseName, typeArgs, context) => {
     for (const typeArg of typeArgs) {
         const [typeAst, newContext] = emitTypeAst(typeArg, currentContext);
         currentContext = newContext;
-        const typeName = renderTypeAst(typeAst);
-        // Sanitize type name for use in identifier (remove <>, ?, etc.)
-        const sanitized = typeName.replace(/[<>?,\s]/g, "_").replace(/\./g, "_");
-        typeNames.push(sanitized);
+        typeNames.push(stableIdentifierSuffixFromTypeAst(typeAst));
     }
     const specializedName = `${baseName}__${typeNames.join("__")}`;
     return [specializedName, currentContext];

package/dist/expressions/identifiers.js.map

@@ -1 +1 @@
-{"version":3,"file":"identifiers.js","sourceRoot":"","sources":["../../src/expressions/identifiers.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAC;AACnE,OAAO,EAAE,aAAa,EAAE,MAAM,qCAAqC,CAAC;AAMpE;;GAEG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,IAAmD,EACnD,OAAuB,EACvB,YAAqB,EACkB,EAAE;IACzC,wCAAwC;IACxC,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,IACE,YAAY,EAAE,IAAI,KAAK,mBAAmB;YAC1C,CAAC,YAAY,EAAE,IAAI,KAAK,eAAe;gBACrC,YAAY,CAAC,IAAI,KAAK,WAAW,CAAC,EACpC,CAAC;YACD,OAAO;gBACL;oBACE,IAAI,EAAE,mBAAmB;oBACzB,IAAI,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,QAAQ,EAAE;iBACpD;gBACD,OAAO;aACR,CAAC;QACJ,CAAC;QACD,OAAO,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,EAAE,OAAO,CAAC,CAAC;IAClD,CAAC;IAED,gEAAgE;IAChE,gFAAgF;IAChF,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC1B,OAAO,CAAC,EAAE,IAAI,EAAE,sBAAsB,EAAE,UAAU,EAAE,MAAM,EAAE,EAAE,OAAO,CAAC,CAAC;IACzE,CAAC;IAED,wCAAwC;IACxC,oEAAoE;IACpE,qEAAqE;IACrE,IAAI,OAAO,CAAC,gBAAgB,EAAE,CAAC;QAC7B,MAAM,QAAQ,GAAG,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzD,IAAI,QAAQ,EAAE,CAAC;YACb,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAC/B,OAAO;oBACL;wBACE,IAAI,EAAE,sBAAsB;wBAC5B,UAAU,EAAE,sBAAsB,CAAC,QAAQ,CAAC,IAAI,CAAC;qBAClD;oBACD,OAAO;iBACR,CAAC;YACJ,CAAC;iBAAM,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBACpC,wEAAwE;gBACxE,OAAO,CAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;YACrC,CAAC;YAED,OAAO;gBACL;oBACE,IAAI,EAAE,sBAAsB;oBAC5B,UAAU,EAAE,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC;iBAC9C;gBACD,OAAO;aACR,CAAC;QACJ,CAAC;IACH,CAAC;IAED,6EAA6E;IAC7E,MAAM,aAAa,GAAG,OAAO,CAAC,YAAY,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3D,IAAI,aAAa,EAAE,CAAC;QAClB,OAAO;YACL,EAAE,IAAI,EAAE,sBAAsB,EAAE,UAAU,EAAE,aAAa,EAAE;YAC3D,OAAO;SACR,CAAC;IACJ,CAAC;IAED,6CAA6C;IAC7C,IAAI,OAAO,CAAC,cAAc,EAAE,CAAC;QAC3B,MAAM,OAAO,GAAG,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtD,IAAI,OAAO,EAAE,CAAC;YACZ,6DAA6D;YAC7D,gFAAgF;YAChF,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;gBACnB,8CAA8C;gBAC9C,OAAO;oBACL;wBACE,IAAI,EAAE,sBAAsB;wBAC5B,UAAU,EAAE,GAAG,OAAO,CAAC,OAAO,IAAI,OAAO,CAAC,MAAM,EAAE;qBACnD;oBACD,OAAO;iBACR,CAAC;YACJ,CAAC;YACD,4DAA4D;YAC5D,OAAO;gBACL,EAAE,IAAI,EAAE,sBAAsB,EAAE,UAAU,EAAE,OAAO,CAAC,OAAO,EAAE;gBAC7D,OAAO;aACR,CAAC;QACJ,CAAC;IACH,CAAC;IAED,kFAAkF;IAClF,2EAA2E;IAC3E,MAAM,WAAW,GAAG,OAAO,CAAC,YAAY,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzD,IAAI,WAAW,EAAE,CAAC;QAChB,MAAM,UAAU,GAAG,sBAAsB,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC;QAClE,IACE,OAAO,CAAC,qBAAqB;YAC7B,OAAO,CAAC,SAAS,KAAK,OAAO,CAAC,qBAAqB,EACnD,CAAC;YACD,OAAO;gBACL;oBACE,IAAI,EAAE,sBAAsB;oBAC5B,UAAU,EAAE,GAAG,OAAO,CAAC,qBAAqB,IAAI,UAAU,EAAE;iBAC7D;gBACD,OAAO;aACR,CAAC;QACJ,CAAC;QACD,OAAO,CAAC,EAAE,IAAI,EAAE,sBAAsB,EAAE,UAAU,EAAE,UAAU,EAAE,EAAE,OAAO,CAAC,CAAC;IAC7E,CAAC;IAED,sEAAsE;IACtE,IAAI,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,gBAAgB,EAAE,CAAC;QAC7C,MAAM,GAAG,GAAG,WAAW,IAAI,CAAC,gBAAgB,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QAClE,OAAO,CAAC,EAAE,IAAI,EAAE,sBAAsB,EAAE,UAAU,EAAE,GAAG,EAAE,EAAE,OAAO,CAAC,CAAC;IACtE,CAAC;IAED,iFAAiF;IACjF,uEAAuE;IACvE,IAAI,IAAI,CAAC,eAAe,EAAE,CAAC;QACzB,MAAM,GAAG,GAAG,WAAW,IAAI,CAAC,eAAe,EAAE,CAAC;QAC9C,OAAO,CAAC,EAAE,IAAI,EAAE,sBAAsB,EAAE,UAAU,EAAE,GAAG,EAAE,EAAE,OAAO,CAAC,CAAC;IACtE,CAAC;IAED,sDAAsD;IACtD,OAAO;QACL;YACE,IAAI,EAAE,sBAAsB;YAC5B,UAAU,EAAE,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC;SAC9C;QACD,OAAO;KACR,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,QAA2B,EAC3B,OAAuB,EACY,EAAE;IACrC,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvC,OAAO,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;IACvB,CAAC;IAED,IAAI,cAAc,GAAG,OAAO,CAAC;IAC7B,MAAM,QAAQ,GAAoB,EAAE,CAAC;IAErC,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,MAAM,CAAC,OAAO,EAAE,UAAU,CAAC,GAAG,WAAW,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;QACnE,cAAc,GAAG,UAAU,CAAC;QAC5B,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACzB,CAAC;IAED,OAAO,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAC;AACpC,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,QAA2B,EAC3B,OAAuB,EACqB,EAAE;IAC9C,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvC,OAAO,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;IACvB,CAAC;IAED,IAAI,cAAc,GAAG,OAAO,CAAC;IAC7B,MAAM,QAAQ,GAAoB,EAAE,CAAC;IAErC,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,MAAM,CAAC,OAAO,EAAE,UAAU,CAAC,GAAG,WAAW,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;QACnE,cAAc,GAAG,UAAU,CAAC;QAC5B,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACzB,CAAC;IAED,OAAO,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAC;AACpC,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,QAAgB,EAChB,QAA2B,EAC3B,OAAuB,EACG,EAAE;IAC5B,IAAI,cAAc,GAAG,OAAO,CAAC;IAC7B,MAAM,SAAS,GAAa,EAAE,CAAC;IAE/B,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,MAAM,CAAC,OAAO,EAAE,UAAU,CAAC,GAAG,WAAW,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;QACnE,cAAc,GAAG,UAAU,CAAC;QAC5B,MAAM,QAAQ,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;QACxC,gEAAgE;QAChE,MAAM,SAAS,GAAG,QAAQ,CAAC,OAAO,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QACzE,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC5B,CAAC;IAED,MAAM,eAAe,GAAG,GAAG,QAAQ,KAAK,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;IAC/D,OAAO,CAAC,eAAe,EAAE,cAAc,CAAC,CAAC;AAC3C,CAAC,CAAC"}
+{"version":3,"file":"identifiers.js","sourceRoot":"","sources":["../../src/expressions/identifiers.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAC;AACnE,OAAO,EAAE,oBAAoB,EAAE,MAAM,wCAAwC,CAAC;AAC9E,OAAO,EACL,yBAAyB,EACzB,iCAAiC,GAClC,MAAM,qCAAqC,CAAC;AAC7C,OAAO,EAAE,mBAAmB,EAAE,MAAM,8BAA8B,CAAC;AAKnE,OAAO,EACL,+BAA+B,EAC/B,+CAA+C,EAC/C,oBAAoB,EACpB,iCAAiC,EACjC,wCAAwC,EACxC,6CAA6C,EAC7C,qCAAqC,EACrC,4BAA4B,EAC5B,+BAA+B,EAC/B,kCAAkC,EAClC,0CAA0C,GAC3C,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,2BAA2B,EAAE,MAAM,4CAA4C,CAAC;AACzF,OAAO,EAAE,YAAY,EAAE,MAAM,qCAAqC,CAAC;AACnE,OAAO,EAAE,uBAAuB,EAAE,MAAM,qCAAqC,CAAC;AAC9E,OAAO,EACL,wBAAwB,EACxB,qCAAqC,GACtC,MAAM,+BAA+B,CAAC;AAEvC;;GAEG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,IAAmD,EACnD,OAAuB,EACvB,YAAqB,EACkB,EAAE;IACzC,MAAM,0BAA0B,GAAG,CACjC,aAAkC,EAClC,cAA8B,EACS,EAAE;QACzC,IACE,CAAC,YAAY;YACb,CAAC,wBAAwB,CAAC,YAAY,EAAE,cAAc,CAAC,EACvD,CAAC;YACD,OAAO,CAAC,aAAa,EAAE,cAAc,CAAC,CAAC;QACzC,CAAC;QAED,MAAM,WAAW,GAAG,cAAc,CAAC,eAAe,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnE,IAAI,CAAC,WAAW,EAAE,CAAC;YACjB,OAAO,CAAC,aAAa,EAAE,cAAc,CAAC,CAAC;QACzC,CAAC;QAED,OAAO,qCAAqC,CAC1C,aAAa,EACb,WAAW,EACX,cAAc,EACd,YAAY,CACb,CAAC;IACJ,CAAC,CAAC;IAEF,wCAAwC;IACxC,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,IACE,YAAY,EAAE,IAAI,KAAK,eAAe;YACtC,YAAY,CAAC,IAAI,KAAK,WAAW,EACjC,CAAC;YACD,OAAO;gBACL;oBACE,IAAI,EAAE,mBAAmB;oBACzB,IAAI,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,QAAQ,EAAE;iBACpD;gBACD,OAAO;aACR,CAAC;QACJ,CAAC;QACD,IAAI,YAAY,EAAE,CAAC;YACjB,MAAM,CAAC,OAAO,EAAE,WAAW,CAAC,GAAG,mBAAmB,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;YAC1E,OAAO,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,WAAW,CAAC,CAAC;QACrE,CAAC;QACD,OAAO,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,EAAE,OAAO,CAAC,CAAC;IAClD,CAAC;IAED,gEAAgE;IAChE,gFAAgF;IAChF,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC1B,OAAO,CAAC,oBAAoB,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,CAAC;IACjD,CAAC;IAED,wCAAwC;IACxC,oEAAoE;IACpE,qEAAqE;IACrE,IAAI,OAAO,CAAC,gBAAgB,EAAE,CAAC;QAC7B,MAAM,QAAQ,GAAG,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzD,IAAI,QAAQ,EAAE,CAAC;YACb,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAC/B,OAAO;oBACL,oBAAoB,CAAC,sBAAsB,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;oBAC3D,OAAO;iBACR,CAAC;YACJ,CAAC;iBAAM,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBACpC,MAAM,sBAAsB,GAC1B,+CAA+C,CAC7C,IAAI,EACJ,QAAQ,EACR,OAAO,EACP,YAAY,CACb,CAAC;gBACJ,IAAI,sBAAsB,EAAE,CAAC;oBAC3B,OAAO,sBAAsB,CAAC;gBAChC,CAAC;gBAED,MAAM,iBAAiB,GAAG,0CAA0C,CAClE,IAAI,EACJ,QAAQ,EACR,OAAO,EACP,YAAY,CACb,CAAC;gBACF,IACE,iBAAiB;oBACjB,YAAY;oBACZ,oBAAoB,CAAC,YAAY,EAAE,OAAO,CAAC,EAC3C,CAAC;oBACD,OAAO,iBAAiB,CAAC;gBAC3B,CAAC;gBAED,MAAM,oBAAoB,GAAG,qCAAqC,CAChE,QAAQ,EACR,OAAO,EACP,YAAY,CACb,CAAC;gBACF,IAAI,oBAAoB,EAAE,CAAC;oBACzB,OAAO,oBAAoB,CAAC;gBAC9B,CAAC;gBAED,IAAI,iBAAiB,EAAE,CAAC;oBACtB,OAAO,iBAAiB,CAAC;gBAC3B,CAAC;gBAED,MAAM,eAAe,GAAG,wCAAwC,CAC9D,IAAI,EACJ,QAAQ,EACR,OAAO,CACR,CAAC;gBACF,IAAI,eAAe,EAAE,CAAC;oBACpB,OAAO,eAAe,CAAC;gBACzB,CAAC;gBAED,OAAO,CAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;YACrC,CAAC;iBAAM,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;gBAC7C,MAAM,yBAAyB,GAAG,YAAY;oBAC5C,CAAC,CAAC,kCAAkC,CAAC,IAAI,EAAE,OAAO,EAAE,YAAY,CAAC;oBACjE,CAAC,CAAC,SAAS,CAAC;gBACd,IAAI,yBAAyB,IAAI,YAAY,EAAE,CAAC;oBAC9C,OAAO,CAAC,yBAAyB,EAAE,OAAO,CAAC,CAAC;gBAC9C,CAAC;gBAED,MAAM,CAAC,wBAAwB,EAAE,oBAAoB,CAAC,GACpD,YAAY,IAAI,QAAQ,CAAC,UAAU;oBACjC,CAAC,CAAC,4BAA4B,CAC1B,YAAY,CAAC,QAAQ,CAAC,UAAU,CAAC,EACjC,YAAY,EACZ,OAAO,CACR;oBACH,CAAC,CAAC,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;gBACvB,MAAM,wCAAwC,GAC5C,CAAC,CAAC,YAAY;oBACd,CAAC,CAAC,QAAQ,CAAC,UAAU;oBACrB,CAAC,wBAAwB;wBACvB,CAAC,oBAAoB,CAAC,YAAY,EAAE,OAAO,CAAC;4BAC1C,2BAA2B,CACzB,YAAY,CAAC,QAAQ,CAAC,UAAU,CAAC,EACjC,YAAY,EACZ,OAAO,CACR,CAAC,CAAC,CAAC;gBACV,IAAI,wCAAwC,EAAE,CAAC;oBAC7C,MAAM,eAAe,GACnB,QAAQ,CAAC,cAAc;wBACvB,oBAAoB,CAClB,OAAO,CAAC,YAAY,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;4BAClC,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,CACpC,CAAC;oBACJ,OAAO,CAAC,eAAe,EAAE,oBAAoB,CAAC,CAAC;gBACjD,CAAC;gBAED,MAAM,gCAAgC,GACpC,CAAC,CAAC,QAAQ,CAAC,IAAI;oBACf,CAAC,CAAC,YAAY;oBACd,CAAC,oBAAoB,CAAC,YAAY,EAAE,OAAO,CAAC;wBAC1C,CAAC,uBAAuB,CAAC,YAAY,EAAE,OAAO,CAAC;4BAC7C,CAAC,uBAAuB,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;4BAChD,2BAA2B,CACzB,QAAQ,CAAC,IAAI,EACb,YAAY,EACZ,OAAO,CACR,CAAC,CAAC,CAAC;gBACV,MAAM,yBAAyB,GAAG,gCAAgC;oBAChE,CAAC,CAAC,QAAQ,CAAC,IAAI;oBACf,CAAC,CAAC,YAAY,CAAC;gBACjB,MAAM,cAAc,GAAG,YAAY;oBACjC,CAAC,CAAC,+BAA+B,CAC7B,IAAI,EACJ,QAAQ,EACR,OAAO,EACP,yBAAyB,CAC1B;oBACH,CAAC,CAAC,SAAS,CAAC;gBACd,IAAI,cAAc,EAAE,CAAC;oBACnB,OAAO,cAAc,CAAC;gBACxB,CAAC;gBAED,MAAM,eAAe,GAAG,6CAA6C,CACnE,IAAI,EACJ,QAAQ,EACR,OAAO,CACR,CAAC;gBACF,IAAI,eAAe,EAAE,CAAC;oBACpB,OAAO,eAAe,CAAC;gBACzB,CAAC;gBAED,6DAA6D;gBAC7D,gEAAgE;gBAChE,+DAA+D;gBAC/D,iEAAiE;gBACjE,iEAAiE;gBACjE,uDAAuD;gBAEvD,MAAM,SAAS,GAAG,+BAA+B,CAC/C,IAAI,EACJ,QAAQ,EACR,OAAO,CACR,CAAC;gBACF,IAAI,SAAS,EAAE,CAAC;oBACd,OAAO,SAAS,CAAC;gBACnB,CAAC;YACH,CAAC;YAED,OAAO,CAAC,oBAAoB,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;QAC5E,CAAC;IACH,CAAC;IAED,MAAM,+BAA+B,GACnC,YAAY,KAAK,SAAS,IAAI,OAAO,CAAC,UAAU;QAC9C,CAAC,CAAC,kCAAkC,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,UAAU,CAAC;QACvE,CAAC,CAAC,SAAS,CAAC;IAChB,IAAI,+BAA+B,EAAE,CAAC;QACpC,OAAO,CAAC,+BAA+B,EAAE,OAAO,CAAC,CAAC;IACpD,CAAC;IAED,MAAM,eAAe,GAAG,kCAAkC,CACxD,IAAI,EACJ,OAAO,EACP,YAAY,CACb,CAAC;IACF,IAAI,eAAe,EAAE,CAAC;QACpB,OAAO,CAAC,eAAe,EAAE,OAAO,CAAC,CAAC;IACpC,CAAC;IAED,6EAA6E;IAC7E,MAAM,cAAc,GAAG,+BAA+B,CACpD,IAAI,EACJ,OAAO,EACP,YAAY,CACb,CAAC;IACF,IAAI,cAAc,EAAE,CAAC;QACnB,OAAO,cAAc,CAAC;IACxB,CAAC;IAED,MAAM,gBAAgB,GACpB,YAAY,KAAK,SAAS;QACxB,CAAC,CAAC,iCAAiC,CAAC,IAAI,EAAE,OAAO,CAAC;QAClD,CAAC,CAAC,SAAS,CAAC;IAChB,IAAI,gBAAgB,EAAE,CAAC;QACrB,OAAO,gBAAgB,CAAC;IAC1B,CAAC;IAED,MAAM,aAAa,GAAG,OAAO,CAAC,YAAY,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3D,IAAI,aAAa,EAAE,CAAC;QAClB,OAAO,0BAA0B,CAC/B,oBAAoB,CAAC,aAAa,CAAC,EACnC,OAAO,CACR,CAAC;IACJ,CAAC;IAED,6CAA6C;IAC7C,IAAI,OAAO,CAAC,cAAc,EAAE,CAAC;QAC3B,MAAM,OAAO,GAAG,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtD,IAAI,OAAO,EAAE,CAAC;YACZ,6DAA6D;YAC7D,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBAC7B,8CAA8C;gBAC9C,OAAO;oBACL,oBAAoB,CAAC,GAAG,OAAO,CAAC,OAAO,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;oBAC5D,OAAO;iBACR,CAAC;YACJ,CAAC;YACD,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBAC5B,OAAO;oBACL;wBACE,IAAI,EAAE,yBAAyB;wBAC/B,IAAI,EAAE,OAAO,CAAC,OAAO;qBACtB;oBACD,OAAO;iBACR,CAAC;YACJ,CAAC;YACD,6DAA6D;YAC7D,OAAO,CAAC,oBAAoB,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC,CAAC;QAC1D,CAAC;IACH,CAAC;IAED,kFAAkF;IAClF,2EAA2E;IAC3E,MAAM,WAAW,GAAG,OAAO,CAAC,YAAY,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzD,IAAI,WAAW,EAAE,CAAC;QAChB,MAAM,UAAU,GAAG,sBAAsB,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC;QAClE,IACE,OAAO,CAAC,qBAAqB;YAC7B,OAAO,CAAC,SAAS,KAAK,OAAO,CAAC,qBAAqB,EACnD,CAAC;YACD,MAAM,eAAe,GACnB,OAAO,CAAC,eAAe,IAAI,OAAO,CAAC,OAAO,CAAC,aAAa,CAAC;YAC3D,MAAM,eAAe,GAAG,eAAe,CAAC,UAAU,CAAC,UAAU,CAAC;gBAC5D,CAAC,CAAC,eAAe;gBACjB,CAAC,CAAC,WAAW,eAAe,EAAE,CAAC;YACjC,OAAO;gBACL,oBAAoB,CAClB,GAAG,eAAe,IAAI,OAAO,CAAC,qBAAqB,IAAI,UAAU,EAAE,CACpE;gBACD,OAAO;aACR,CAAC;QACJ,CAAC;QACD,OAAO,CAAC,oBAAoB,CAAC,UAAU,CAAC,EAAE,OAAO,CAAC,CAAC;IACrD,CAAC;IAED,sEAAsE;IACtE,IAAI,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,gBAAgB,EAAE,CAAC;QAC7C,MAAM,GAAG,GAAG,WAAW,IAAI,CAAC,gBAAgB,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QAClE,OAAO,CAAC,oBAAoB,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,CAAC;IAC9C,CAAC;IAED,kFAAkF;IAClF,oEAAoE;IACpE,IAAI,IAAI,CAAC,eAAe,EAAE,CAAC;QACzB,MAAM,GAAG,GAAG,yBAAyB,CAAC,IAAI,CAAC,eAAe,EAAE,IAAI,CAAC,CAAC;QAClE,OAAO,CAAC,oBAAoB,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,CAAC;IAC9C,CAAC;IAED,sDAAsD;IACtD,OAAO,0BAA0B,CAC/B,oBAAoB,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EACvD,OAAO,CACR,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,QAA2B,EAC3B,OAAuB,EACY,EAAE;IACrC,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvC,OAAO,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;IACvB,CAAC;IAED,IAAI,cAAc,GAAG,OAAO,CAAC;IAC7B,MAAM,QAAQ,GAAoB,EAAE,CAAC;IAErC,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,MAAM,CAAC,OAAO,EAAE,UAAU,CAAC,GAAG,WAAW,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;QACnE,cAAc,GAAG,UAAU,CAAC;QAC5B,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACzB,CAAC;IAED,OAAO,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAC;AACpC,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,QAA2B,EAC3B,OAAuB,EACqB,EAAE;IAC9C,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvC,OAAO,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;IACvB,CAAC;IAED,IAAI,cAAc,GAAG,OAAO,CAAC;IAC7B,MAAM,QAAQ,GAAoB,EAAE,CAAC;IAErC,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,MAAM,CAAC,OAAO,EAAE,UAAU,CAAC,GAAG,WAAW,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;QACnE,cAAc,GAAG,UAAU,CAAC;QAC5B,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACzB,CAAC;IAED,OAAO,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAC;AACpC,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,QAAgB,EAChB,QAA2B,EAC3B,OAAuB,EACG,EAAE;IAC5B,IAAI,cAAc,GAAG,OAAO,CAAC;IAC7B,MAAM,SAAS,GAAa,EAAE,CAAC;IAE/B,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,MAAM,CAAC,OAAO,EAAE,UAAU,CAAC,GAAG,WAAW,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;QACnE,cAAc,GAAG,UAAU,CAAC;QAC5B,SAAS,CAAC,IAAI,CAAC,iCAAiC,CAAC,OAAO,CAAC,CAAC,CAAC;IAC7D,CAAC;IAED,MAAM,eAAe,GAAG,GAAG,QAAQ,KAAK,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;IAC/D,OAAO,CAAC,eAAe,EAAE,cAAc,CAAC,CAAC;AAC3C,CAAC,CAAC"}

package/dist/expressions/index-cases/alias-carrier-widening.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=alias-carrier-widening.test.d.ts.map

package/dist/expressions/index-cases/alias-carrier-widening.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"alias-carrier-widening.test.d.ts","sourceRoot":"","sources":["../../../src/expressions/index-cases/alias-carrier-widening.test.ts"],"names":[],"mappings":""}