@tsonic/emitter 0.0.76 → 0.0.78

package/dist/expressions/identifier-storage/storage-compatible.js

@@ -0,0 +1,76 @@
+import { matchesExpectedEmissionType } from "../../core/semantic/expected-type-matching.js";
+import { resolveEffectiveExpressionType } from "../../core/semantic/narrowed-expression-types.js";
+import { willCarryAsRuntimeUnion } from "../../core/semantic/union-semantics.js";
+import { stripNullish } from "../../core/semantic/type-resolution.js";
+import { isBroadStorageTarget } from "./broad-storage-target.js";
+import { matchesEmittedStorageSurface } from "./storage-surface-match.js";
+import { getStorageIdentifierAst, needsStructuralCollectionMaterialization, } from "./storage-surface-shared.js";
+export const tryEmitStorageCompatibleIdentifier = (expr, context, expectedType) => {
+    if (!expectedType) {
+        return undefined;
+    }
+    const storageType = context.localValueTypes?.get(expr.name);
+    const storageIdentifierAst = getStorageIdentifierAst(expr, context);
+    if (!storageIdentifierAst || !storageType) {
+        return undefined;
+    }
+    if (isBroadStorageTarget(expectedType, context)) {
+        return storageIdentifierAst;
+    }
+    const effectiveType = context.localSemanticTypes?.get(expr.name) ??
+        resolveEffectiveExpressionType(expr, context);
+    const strippedEffectiveType = effectiveType
+        ? stripNullish(effectiveType)
+        : undefined;
+    const strippedExpectedType = stripNullish(expectedType);
+    const effectiveNamedStructuralAliasMatchesExpected = strippedEffectiveType?.kind === "referenceType" &&
+        strippedExpectedType.kind === "referenceType" &&
+        strippedEffectiveType.structuralOrigin === "namedReference" &&
+        (strippedEffectiveType.structuralMembers?.length ?? 0) > 0 &&
+        strippedEffectiveType.name === strippedExpectedType.name;
+    if (!isBroadStorageTarget(expectedType, context) &&
+        !willCarryAsRuntimeUnion(expectedType, context) &&
+        matchesExpectedEmissionType(effectiveType, expectedType, context)) {
+        return effectiveNamedStructuralAliasMatchesExpected
+            ? storageIdentifierAst
+            : undefined;
+    }
+    if (!matchesExpectedEmissionType(storageType, expectedType, context)) {
+        return undefined;
+    }
+    if (willCarryAsRuntimeUnion(expectedType, context) &&
+        !willCarryAsRuntimeUnion(storageType, context)) {
+        return undefined;
+    }
+    if (needsStructuralCollectionMaterialization(storageType, expectedType, context)) {
+        return undefined;
+    }
+    return storageIdentifierAst;
+};
+export const tryEmitCollapsedStorageIdentifier = (expr, context) => {
+    const storageType = context.localValueTypes?.get(expr.name);
+    const storageIdentifierAst = getStorageIdentifierAst(expr, context);
+    if (!storageIdentifierAst || !storageType) {
+        return undefined;
+    }
+    const effectiveType = resolveEffectiveExpressionType(expr, context);
+    if (!effectiveType) {
+        return undefined;
+    }
+    let sameSurfaceResult;
+    try {
+        sameSurfaceResult = matchesEmittedStorageSurface(storageType, effectiveType, context);
+    }
+    catch (err) {
+        if (err instanceof Error) {
+            throw new Error(`${err.message} [identifier=${expr.name}]`);
+        }
+        throw err;
+    }
+    const [sameSurface, nextContext] = sameSurfaceResult;
+    if (!sameSurface) {
+        return undefined;
+    }
+    return [storageIdentifierAst, nextContext];
+};
+//# sourceMappingURL=storage-compatible.js.map

package/dist/expressions/identifier-storage/storage-compatible.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"storage-compatible.js","sourceRoot":"","sources":["../../../src/expressions/identifier-storage/storage-compatible.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,2BAA2B,EAAE,MAAM,+CAA+C,CAAC;AAC5F,OAAO,EAAE,8BAA8B,EAAE,MAAM,kDAAkD,CAAC;AAClG,OAAO,EAAE,uBAAuB,EAAE,MAAM,wCAAwC,CAAC;AACjF,OAAO,EAAE,YAAY,EAAE,MAAM,wCAAwC,CAAC;AAEtE,OAAO,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAC;AACjE,OAAO,EAAE,4BAA4B,EAAE,MAAM,4BAA4B,CAAC;AAC1E,OAAO,EACL,uBAAuB,EACvB,wCAAwC,GACzC,MAAM,6BAA6B,CAAC;AAErC,MAAM,CAAC,MAAM,kCAAkC,GAAG,CAChD,IAAmD,EACnD,OAAuB,EACvB,YAAgC,EACC,EAAE;IACnC,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,WAAW,GAAG,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5D,MAAM,oBAAoB,GAAG,uBAAuB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACpE,IAAI,CAAC,oBAAoB,IAAI,CAAC,WAAW,EAAE,CAAC;QAC1C,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,oBAAoB,CAAC,YAAY,EAAE,OAAO,CAAC,EAAE,CAAC;QAChD,OAAO,oBAAoB,CAAC;IAC9B,CAAC;IAED,MAAM,aAAa,GACjB,OAAO,CAAC,kBAAkB,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;QAC1C,8BAA8B,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAChD,MAAM,qBAAqB,GAAG,aAAa;QACzC,CAAC,CAAC,YAAY,CAAC,aAAa,CAAC;QAC7B,CAAC,CAAC,SAAS,CAAC;IACd,MAAM,oBAAoB,GAAG,YAAY,CAAC,YAAY,CAAC,CAAC;IACxD,MAAM,4CAA4C,GAChD,qBAAqB,EAAE,IAAI,KAAK,eAAe;QAC/C,oBAAoB,CAAC,IAAI,KAAK,eAAe;QAC7C,qBAAqB,CAAC,gBAAgB,KAAK,gBAAgB;QAC3D,CAAC,qBAAqB,CAAC,iBAAiB,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC;QAC1D,qBAAqB,CAAC,IAAI,KAAK,oBAAoB,CAAC,IAAI,CAAC;IAC3D,IACE,CAAC,oBAAoB,CAAC,YAAY,EAAE,OAAO,CAAC;QAC5C,CAAC,uBAAuB,CAAC,YAAY,EAAE,OAAO,CAAC;QAC/C,2BAA2B,CAAC,aAAa,EAAE,YAAY,EAAE,OAAO,CAAC,EACjE,CAAC;QACD,OAAO,4CAA4C;YACjD,CAAC,CAAC,oBAAoB;YACtB,CAAC,CAAC,SAAS,CAAC;IAChB,CAAC;IAED,IAAI,CAAC,2BAA2B,CAAC,WAAW,EAAE,YAAY,EAAE,OAAO,CAAC,EAAE,CAAC;QACrE,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IACE,uBAAuB,CAAC,YAAY,EAAE,OAAO,CAAC;QAC9C,CAAC,uBAAuB,CAAC,WAAW,EAAE,OAAO,CAAC,EAC9C,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IACE,wCAAwC,CAAC,WAAW,EAAE,YAAY,EAAE,OAAO,CAAC,EAC5E,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,oBAAoB,CAAC;AAC9B,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,iCAAiC,GAAG,CAC/C,IAAmD,EACnD,OAAuB,EAC4B,EAAE;IACrD,MAAM,WAAW,GAAG,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5D,MAAM,oBAAoB,GAAG,uBAAuB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACpE,IAAI,CAAC,oBAAoB,IAAI,CAAC,WAAW,EAAE,CAAC;QAC1C,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,aAAa,GAAG,8BAA8B,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACpE,IAAI,CAAC,aAAa,EAAE,CAAC;QACnB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,iBAA4C,CAAC;IACjD,IAAI,CAAC;QACH,iBAAiB,GAAG,4BAA4B,CAC9C,WAAW,EACX,aAAa,EACb,OAAO,CACR,CAAC;IACJ,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,IAAI,GAAG,YAAY,KAAK,EAAE,CAAC;YACzB,MAAM,IAAI,KAAK,CAAC,GAAG,GAAG,CAAC,OAAO,gBAAgB,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC;QAC9D,CAAC;QACD,MAAM,GAAG,CAAC;IACZ,CAAC;IACD,MAAM,CAAC,WAAW,EAAE,WAAW,CAAC,GAAG,iBAAiB,CAAC;IACrD,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,CAAC,oBAAoB,EAAE,WAAW,CAAC,CAAC;AAC7C,CAAC,CAAC"}

package/dist/expressions/identifier-storage/storage-surface-match.d.ts

@@ -0,0 +1,4 @@
+import { IrType } from "@tsonic/frontend";
+import { EmitterContext } from "../../types.js";
+export declare const matchesEmittedStorageSurface: (actualType: IrType | undefined, expectedType: IrType | undefined, context: EmitterContext) => [boolean, EmitterContext];
+//# sourceMappingURL=storage-surface-match.d.ts.map

package/dist/expressions/identifier-storage/storage-surface-match.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"storage-surface-match.d.ts","sourceRoot":"","sources":["../../../src/expressions/identifier-storage/storage-surface-match.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC1C,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAiEhD,eAAO,MAAM,4BAA4B,GACvC,YAAY,MAAM,GAAG,SAAS,EAC9B,cAAc,MAAM,GAAG,SAAS,EAChC,SAAS,cAAc,KACtB,CAAC,OAAO,EAAE,cAAc,CAsG1B,CAAC"}

package/dist/expressions/identifier-storage/storage-surface-match.js

@@ -0,0 +1,95 @@
+import { emitTypeAst } from "../../type-emitter.js";
+import { stableTypeKeyFromAst } from "../../core/format/backend-ast/utils.js";
+import { requiresValueTypeMaterialization } from "../../core/semantic/expected-type-matching.js";
+import { describeIrTypeForDiagnostics } from "../../core/semantic/deterministic-type-keys.js";
+import { resolveStructuralReferenceType } from "../../core/semantic/structural-shape-matching.js";
+import { normalizeStructuralEmissionType, stripNullish, } from "../../core/semantic/type-resolution.js";
+const buildStorageSurfaceDiagnosticContext = (actualType, expectedType, strippedActual, strippedExpected, context) => `[storage-surface originalActual=${describeIrTypeForDiagnostics(actualType, context)} originalExpected=${describeIrTypeForDiagnostics(expectedType, context)} actual=${describeIrTypeForDiagnostics(strippedActual, context)} expected=${describeIrTypeForDiagnostics(strippedExpected, context)}]`;
+const containsRawObjectType = (type, seen = new Set()) => {
+    if (seen.has(type)) {
+        return false;
+    }
+    seen.add(type);
+    switch (type.kind) {
+        case "objectType":
+            return true;
+        case "arrayType":
+            return containsRawObjectType(type.elementType, seen);
+        case "tupleType":
+            return type.elementTypes.some((elementType) => containsRawObjectType(elementType, seen));
+        case "dictionaryType":
+            return containsRawObjectType(type.valueType, seen);
+        case "unionType":
+        case "intersectionType":
+            return type.types.some((memberType) => containsRawObjectType(memberType, seen));
+        case "referenceType":
+            return (type.typeArguments?.some((typeArgument) => containsRawObjectType(typeArgument, seen)) ?? false);
+        default:
+            return false;
+    }
+};
+export const matchesEmittedStorageSurface = (actualType, expectedType, context) => {
+    const tryEmitSurfaceTypeAst = (type, currentContext) => {
+        try {
+            return emitTypeAst(type, currentContext);
+        }
+        catch (err) {
+            if (err instanceof Error &&
+                (err.message.startsWith("ICE: Unresolved reference type ") ||
+                    err.message.startsWith("ICE: Non-transparent intersection type reached emitter") ||
+                    err.message.startsWith("ICE: 'unknown' type reached emitter") ||
+                    err.message.startsWith("ICE: 'any' type reached emitter"))) {
+                return undefined;
+            }
+            throw err;
+        }
+    };
+    if (!actualType || !expectedType) {
+        return [false, context];
+    }
+    if (requiresValueTypeMaterialization(actualType, expectedType, context)) {
+        return [false, context];
+    }
+    const strippedActual = normalizeStructuralEmissionType(resolveStructuralReferenceType(stripNullish(actualType), context) ??
+        stripNullish(actualType), context);
+    const strippedExpected = normalizeStructuralEmissionType(resolveStructuralReferenceType(stripNullish(expectedType), context) ??
+        stripNullish(expectedType), context);
+    if (containsRawObjectType(strippedActual) ||
+        containsRawObjectType(strippedExpected)) {
+        return [false, context];
+    }
+    let actualSurface;
+    try {
+        actualSurface = tryEmitSurfaceTypeAst(strippedActual, context);
+    }
+    catch (err) {
+        if (err instanceof Error) {
+            throw new Error(`${err.message} ${buildStorageSurfaceDiagnosticContext(actualType, expectedType, strippedActual, strippedExpected, context)}`);
+        }
+        throw err;
+    }
+    if (!actualSurface) {
+        return [false, context];
+    }
+    const [actualTypeAst, actualTypeContext] = actualSurface;
+    let expectedSurface;
+    try {
+        expectedSurface = tryEmitSurfaceTypeAst(strippedExpected, actualTypeContext);
+    }
+    catch (err) {
+        if (err instanceof Error) {
+            throw new Error(`${err.message} ${buildStorageSurfaceDiagnosticContext(actualType, expectedType, strippedActual, strippedExpected, actualTypeContext)}`);
+        }
+        throw err;
+    }
+    if (!expectedSurface) {
+        return [false, context];
+    }
+    const [expectedTypeAst, expectedTypeContext] = expectedSurface;
+    return [
+        stableTypeKeyFromAst(actualTypeAst) ===
+            stableTypeKeyFromAst(expectedTypeAst),
+        expectedTypeContext,
+    ];
+};
+//# sourceMappingURL=storage-surface-match.js.map

package/dist/expressions/identifier-storage/storage-surface-match.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"storage-surface-match.js","sourceRoot":"","sources":["../../../src/expressions/identifier-storage/storage-surface-match.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,oBAAoB,EAAE,MAAM,wCAAwC,CAAC;AAC9E,OAAO,EAAE,gCAAgC,EAAE,MAAM,+CAA+C,CAAC;AACjG,OAAO,EAAE,4BAA4B,EAAE,MAAM,gDAAgD,CAAC;AAC9F,OAAO,EAAE,8BAA8B,EAAE,MAAM,kDAAkD,CAAC;AAClG,OAAO,EACL,+BAA+B,EAC/B,YAAY,GACb,MAAM,wCAAwC,CAAC;AAEhD,MAAM,oCAAoC,GAAG,CAC3C,UAAkB,EAClB,YAAoB,EACpB,cAAsB,EACtB,gBAAwB,EACxB,OAAuB,EACf,EAAE,CACV,mCAAmC,4BAA4B,CAC7D,UAAU,EACV,OAAO,CACR,qBAAqB,4BAA4B,CAChD,YAAY,EACZ,OAAO,CACR,WAAW,4BAA4B,CACtC,cAAc,EACd,OAAO,CACR,aAAa,4BAA4B,CAAC,gBAAgB,EAAE,OAAO,CAAC,GAAG,CAAC;AAE3E,MAAM,qBAAqB,GAAG,CAC5B,IAAY,EACZ,OAAO,IAAI,GAAG,EAAU,EACf,EAAE;IACX,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QACnB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAEf,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,YAAY;YACf,OAAO,IAAI,CAAC;QACd,KAAK,WAAW;YACd,OAAO,qBAAqB,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;QACvD,KAAK,WAAW;YACd,OAAO,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,EAAE,CAC5C,qBAAqB,CAAC,WAAW,EAAE,IAAI,CAAC,CACzC,CAAC;QACJ,KAAK,gBAAgB;YACnB,OAAO,qBAAqB,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;QACrD,KAAK,WAAW,CAAC;QACjB,KAAK,kBAAkB;YACrB,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,EAAE,CACpC,qBAAqB,CAAC,UAAU,EAAE,IAAI,CAAC,CACxC,CAAC;QACJ,KAAK,eAAe;YAClB,OAAO,CACL,IAAI,CAAC,aAAa,EAAE,IAAI,CAAC,CAAC,YAAY,EAAE,EAAE,CACxC,qBAAqB,CAAC,YAAY,EAAE,IAAI,CAAC,CAC1C,IAAI,KAAK,CACX,CAAC;QACJ;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC1C,UAA8B,EAC9B,YAAgC,EAChC,OAAuB,EACI,EAAE;IAC7B,MAAM,qBAAqB,GAAG,CAC5B,IAAY,EACZ,cAA8B,EACmC,EAAE;QACnE,IAAI,CAAC;YACH,OAAO,WAAW,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;QAC3C,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,IACE,GAAG,YAAY,KAAK;gBACpB,CAAC,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,iCAAiC,CAAC;oBACxD,GAAG,CAAC,OAAO,CAAC,UAAU,CACpB,wDAAwD,CACzD;oBACD,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,qCAAqC,CAAC;oBAC7D,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,iCAAiC,CAAC,CAAC,EAC5D,CAAC;gBACD,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,MAAM,GAAG,CAAC;QACZ,CAAC;IACH,CAAC,CAAC;IAEF,IAAI,CAAC,UAAU,IAAI,CAAC,YAAY,EAAE,CAAC;QACjC,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAC1B,CAAC;IAED,IAAI,gCAAgC,CAAC,UAAU,EAAE,YAAY,EAAE,OAAO,CAAC,EAAE,CAAC;QACxE,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAC1B,CAAC;IAED,MAAM,cAAc,GAAG,+BAA+B,CACpD,8BAA8B,CAAC,YAAY,CAAC,UAAU,CAAC,EAAE,OAAO,CAAC;QAC/D,YAAY,CAAC,UAAU,CAAC,EAC1B,OAAO,CACR,CAAC;IACF,MAAM,gBAAgB,GAAG,+BAA+B,CACtD,8BAA8B,CAAC,YAAY,CAAC,YAAY,CAAC,EAAE,OAAO,CAAC;QACjE,YAAY,CAAC,YAAY,CAAC,EAC5B,OAAO,CACR,CAAC;IACF,IACE,qBAAqB,CAAC,cAAc,CAAC;QACrC,qBAAqB,CAAC,gBAAgB,CAAC,EACvC,CAAC;QACD,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAC1B,CAAC;IACD,IAAI,aAES,CAAC;IACd,IAAI,CAAC;QACH,aAAa,GAAG,qBAAqB,CAAC,cAAc,EAAE,OAAO,CAAC,CAAC;IACjE,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,IAAI,GAAG,YAAY,KAAK,EAAE,CAAC;YACzB,MAAM,IAAI,KAAK,CACb,GAAG,GAAG,CAAC,OAAO,IAAI,oCAAoC,CACpD,UAAU,EACV,YAAY,EACZ,cAAc,EACd,gBAAgB,EAChB,OAAO,CACR,EAAE,CACJ,CAAC;QACJ,CAAC;QACD,MAAM,GAAG,CAAC;IACZ,CAAC;IACD,IAAI,CAAC,aAAa,EAAE,CAAC;QACnB,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAC1B,CAAC;IACD,MAAM,CAAC,aAAa,EAAE,iBAAiB,CAAC,GAAG,aAAa,CAAC;IACzD,IAAI,eAES,CAAC;IACd,IAAI,CAAC;QACH,eAAe,GAAG,qBAAqB,CACrC,gBAAgB,EAChB,iBAAiB,CAClB,CAAC;IACJ,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,IAAI,GAAG,YAAY,KAAK,EAAE,CAAC;YACzB,MAAM,IAAI,KAAK,CACb,GAAG,GAAG,CAAC,OAAO,IAAI,oCAAoC,CACpD,UAAU,EACV,YAAY,EACZ,cAAc,EACd,gBAAgB,EAChB,iBAAiB,CAClB,EAAE,CACJ,CAAC;QACJ,CAAC;QACD,MAAM,GAAG,CAAC;IACZ,CAAC;IACD,IAAI,CAAC,eAAe,EAAE,CAAC;QACrB,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAC1B,CAAC;IACD,MAAM,CAAC,eAAe,EAAE,mBAAmB,CAAC,GAAG,eAAe,CAAC;IAE/D,OAAO;QACL,oBAAoB,CAAC,aAAa,CAAC;YACjC,oBAAoB,CAAC,eAAe,CAAC;QACvC,mBAAmB;KACpB,CAAC;AACJ,CAAC,CAAC"}

package/dist/expressions/identifier-storage/storage-surface-shared.d.ts

@@ -0,0 +1,12 @@
+import { IrExpression, IrType } from "@tsonic/frontend";
+import { EmitterContext, NarrowedBinding } from "../../types.js";
+import type { CSharpExpressionAst } from "../../core/format/backend-ast/types.js";
+export declare const getStorageIdentifierAst: (expr: Extract<IrExpression, {
+    kind: "identifier";
+}>, context: EmitterContext) => CSharpExpressionAst | undefined;
+export declare const needsStructuralCollectionMaterialization: (actualType: IrType | undefined, expectedType: IrType | undefined, context: EmitterContext) => boolean;
+export declare const wrapMaterializedTargetAst: (valueAst: CSharpExpressionAst, targetType: IrType, context: EmitterContext) => [CSharpExpressionAst, EmitterContext];
+export declare const preservesMaterializedValueTypeNarrowing: (narrowed: Extract<NarrowedBinding, {
+    kind: "expr";
+}>, context: EmitterContext) => boolean;
+//# sourceMappingURL=storage-surface-shared.d.ts.map

package/dist/expressions/identifier-storage/storage-surface-shared.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"storage-surface-shared.d.ts","sourceRoot":"","sources":["../../../src/expressions/identifier-storage/storage-surface-shared.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAQjE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,wCAAwC,CAAC;AAQlF,eAAO,MAAM,uBAAuB,GAClC,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,CAAC,EACnD,SAAS,cAAc,KACtB,mBAAmB,GAAG,SAWxB,CAAC;AAEF,eAAO,MAAM,wCAAwC,GACnD,YAAY,MAAM,GAAG,SAAS,EAC9B,cAAc,MAAM,GAAG,SAAS,EAChC,SAAS,cAAc,KACtB,OAgDF,CAAC;AAEF,eAAO,MAAM,yBAAyB,GACpC,UAAU,mBAAmB,EAC7B,YAAY,MAAM,EAClB,SAAS,cAAc,KACtB,CAAC,mBAAmB,EAAE,cAAc,CAsBtC,CAAC;AAEF,eAAO,MAAM,uCAAuC,GAClD,UAAU,OAAO,CAAC,eAAe,EAAE;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,EACpD,SAAS,cAAc,KACtB,OAQF,CAAC"}

package/dist/expressions/identifier-storage/storage-surface-shared.js

@@ -0,0 +1,77 @@
+import { emitTypeAst } from "../../type-emitter.js";
+import { escapeCSharpIdentifier } from "../../emitter-types/index.js";
+import { identifierExpression } from "../../core/format/backend-ast/builders.js";
+import { stripNullableTypeAst } from "../../core/format/backend-ast/utils.js";
+import { requiresValueTypeMaterialization } from "../../core/semantic/expected-type-matching.js";
+import { resolveStructuralReferenceType } from "../../core/semantic/structural-shape-matching.js";
+import { stripNullish } from "../../core/semantic/type-resolution.js";
+import { getArrayElementType, getDictionaryValueType, isSameNominalType, } from "../structural-type-shapes.js";
+import { isExactExpressionToType } from "../exact-comparison.js";
+export const getStorageIdentifierAst = (expr, context) => {
+    const remappedLocal = context.localNameMap?.get(expr.name);
+    if (remappedLocal) {
+        return identifierExpression(remappedLocal);
+    }
+    if (context.localValueTypes?.has(expr.name)) {
+        return identifierExpression(escapeCSharpIdentifier(expr.name));
+    }
+    return undefined;
+};
+export const needsStructuralCollectionMaterialization = (actualType, expectedType, context) => {
+    if (!actualType || !expectedType) {
+        return false;
+    }
+    const actualArrayElement = getArrayElementType(actualType, context);
+    const expectedArrayElement = getArrayElementType(expectedType, context);
+    if (actualArrayElement && expectedArrayElement) {
+        const actualStructuralElement = resolveStructuralReferenceType(actualArrayElement, context) ??
+            stripNullish(actualArrayElement);
+        const expectedStructuralElement = resolveStructuralReferenceType(expectedArrayElement, context) ??
+            stripNullish(expectedArrayElement);
+        if ((actualStructuralElement.kind === "objectType" ||
+            expectedStructuralElement.kind === "objectType") &&
+            !isSameNominalType(actualArrayElement, expectedArrayElement, context)) {
+            return true;
+        }
+    }
+    const actualDictionaryValue = getDictionaryValueType(actualType, context);
+    const expectedDictionaryValue = getDictionaryValueType(expectedType, context);
+    if (actualDictionaryValue && expectedDictionaryValue) {
+        const actualStructuralValue = resolveStructuralReferenceType(actualDictionaryValue, context) ??
+            stripNullish(actualDictionaryValue);
+        const expectedStructuralValue = resolveStructuralReferenceType(expectedDictionaryValue, context) ??
+            stripNullish(expectedDictionaryValue);
+        if ((actualStructuralValue.kind === "objectType" ||
+            expectedStructuralValue.kind === "objectType") &&
+            !isSameNominalType(actualDictionaryValue, expectedDictionaryValue, context)) {
+            return true;
+        }
+    }
+    return false;
+};
+export const wrapMaterializedTargetAst = (valueAst, targetType, context) => {
+    const [targetTypeAst, nextContext] = emitTypeAst(targetType, context);
+    if (isExactExpressionToType(valueAst, stripNullableTypeAst(targetTypeAst))) {
+        return [valueAst, nextContext];
+    }
+    if (valueAst.kind === "castExpression" ||
+        (valueAst.kind === "memberAccessExpression" &&
+            valueAst.memberName === "Value")) {
+        return [valueAst, context];
+    }
+    return [
+        {
+            kind: "castExpression",
+            type: targetTypeAst,
+            expression: valueAst,
+        },
+        nextContext,
+    ];
+};
+export const preservesMaterializedValueTypeNarrowing = (narrowed, context) => {
+    const sourceType = narrowed.sourceType ?? narrowed.storageType ?? narrowed.carrierType;
+    return (!!sourceType &&
+        !!narrowed.type &&
+        requiresValueTypeMaterialization(sourceType, narrowed.type, context));
+};
+//# sourceMappingURL=storage-surface-shared.js.map

package/dist/expressions/identifier-storage/storage-surface-shared.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"storage-surface-shared.js","sourceRoot":"","sources":["../../../src/expressions/identifier-storage/storage-surface-shared.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,sBAAsB,EAAE,MAAM,8BAA8B,CAAC;AACtE,OAAO,EAAE,oBAAoB,EAAE,MAAM,2CAA2C,CAAC;AACjF,OAAO,EAAE,oBAAoB,EAAE,MAAM,wCAAwC,CAAC;AAC9E,OAAO,EAAE,gCAAgC,EAAE,MAAM,+CAA+C,CAAC;AACjG,OAAO,EAAE,8BAA8B,EAAE,MAAM,kDAAkD,CAAC;AAClG,OAAO,EAAE,YAAY,EAAE,MAAM,wCAAwC,CAAC;AAEtE,OAAO,EACL,mBAAmB,EACnB,sBAAsB,EACtB,iBAAiB,GAClB,MAAM,8BAA8B,CAAC;AACtC,OAAO,EAAE,uBAAuB,EAAE,MAAM,wBAAwB,CAAC;AAEjE,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,IAAmD,EACnD,OAAuB,EACU,EAAE;IACnC,MAAM,aAAa,GAAG,OAAO,CAAC,YAAY,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3D,IAAI,aAAa,EAAE,CAAC;QAClB,OAAO,oBAAoB,CAAC,aAAa,CAAC,CAAC;IAC7C,CAAC;IAED,IAAI,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5C,OAAO,oBAAoB,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IACjE,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,wCAAwC,GAAG,CACtD,UAA8B,EAC9B,YAAgC,EAChC,OAAuB,EACd,EAAE;IACX,IAAI,CAAC,UAAU,IAAI,CAAC,YAAY,EAAE,CAAC;QACjC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,kBAAkB,GAAG,mBAAmB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IACpE,MAAM,oBAAoB,GAAG,mBAAmB,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;IACxE,IAAI,kBAAkB,IAAI,oBAAoB,EAAE,CAAC;QAC/C,MAAM,uBAAuB,GAC3B,8BAA8B,CAAC,kBAAkB,EAAE,OAAO,CAAC;YAC3D,YAAY,CAAC,kBAAkB,CAAC,CAAC;QACnC,MAAM,yBAAyB,GAC7B,8BAA8B,CAAC,oBAAoB,EAAE,OAAO,CAAC;YAC7D,YAAY,CAAC,oBAAoB,CAAC,CAAC;QAErC,IACE,CAAC,uBAAuB,CAAC,IAAI,KAAK,YAAY;YAC5C,yBAAyB,CAAC,IAAI,KAAK,YAAY,CAAC;YAClD,CAAC,iBAAiB,CAAC,kBAAkB,EAAE,oBAAoB,EAAE,OAAO,CAAC,EACrE,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAED,MAAM,qBAAqB,GAAG,sBAAsB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAC1E,MAAM,uBAAuB,GAAG,sBAAsB,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;IAC9E,IAAI,qBAAqB,IAAI,uBAAuB,EAAE,CAAC;QACrD,MAAM,qBAAqB,GACzB,8BAA8B,CAAC,qBAAqB,EAAE,OAAO,CAAC;YAC9D,YAAY,CAAC,qBAAqB,CAAC,CAAC;QACtC,MAAM,uBAAuB,GAC3B,8BAA8B,CAAC,uBAAuB,EAAE,OAAO,CAAC;YAChE,YAAY,CAAC,uBAAuB,CAAC,CAAC;QAExC,IACE,CAAC,qBAAqB,CAAC,IAAI,KAAK,YAAY;YAC1C,uBAAuB,CAAC,IAAI,KAAK,YAAY,CAAC;YAChD,CAAC,iBAAiB,CAChB,qBAAqB,EACrB,uBAAuB,EACvB,OAAO,CACR,EACD,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,QAA6B,EAC7B,UAAkB,EAClB,OAAuB,EACgB,EAAE;IACzC,MAAM,CAAC,aAAa,EAAE,WAAW,CAAC,GAAG,WAAW,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IACtE,IAAI,uBAAuB,CAAC,QAAQ,EAAE,oBAAoB,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC;QAC3E,OAAO,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;IACjC,CAAC;IAED,IACE,QAAQ,CAAC,IAAI,KAAK,gBAAgB;QAClC,CAAC,QAAQ,CAAC,IAAI,KAAK,wBAAwB;YACzC,QAAQ,CAAC,UAAU,KAAK,OAAO,CAAC,EAClC,CAAC;QACD,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC7B,CAAC;IAED,OAAO;QACL;YACE,IAAI,EAAE,gBAAgB;YACtB,IAAI,EAAE,aAAa;YACnB,UAAU,EAAE,QAAQ;SACrB;QACD,WAAW;KACZ,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,uCAAuC,GAAG,CACrD,QAAoD,EACpD,OAAuB,EACd,EAAE;IACX,MAAM,UAAU,GACd,QAAQ,CAAC,UAAU,IAAI,QAAQ,CAAC,WAAW,IAAI,QAAQ,CAAC,WAAW,CAAC;IACtE,OAAO,CACL,CAAC,CAAC,UAAU;QACZ,CAAC,CAAC,QAAQ,CAAC,IAAI;QACf,gCAAgC,CAAC,UAAU,EAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CACrE,CAAC;AACJ,CAAC,CAAC"}

package/dist/expressions/identifier-storage/storage-surface.d.ts

@@ -0,0 +1,9 @@
+export { isBroadStorageTarget } from "./broad-storage-target.js";
+export { matchesEmittedStorageSurface } from "./storage-surface-match.js";
+export { buildRuntimeSubsetExpressionAst, tryEmitRuntimeSubsetMemberProjectionIdentifier, } from "./runtime-subset.js";
+export { tryEmitCollapsedStorageIdentifier, tryEmitStorageCompatibleIdentifier, } from "./storage-compatible.js";
+export { tryEmitImplicitNarrowedStorageIdentifier, tryEmitImplicitRuntimeSubsetStorageIdentifier, } from "./implicit-storage.js";
+export { tryEmitReifiedStorageIdentifier } from "./reified-storage.js";
+export { tryEmitExactStorageCompatibleNarrowedIdentifier, tryEmitStorageCompatibleNarrowedIdentifier, } from "./narrowed-storage-compatible.js";
+export { tryEmitMaterializedNarrowedIdentifier } from "./materialized-narrowed.js";
+//# sourceMappingURL=storage-surface.d.ts.map

package/dist/expressions/identifier-storage/storage-surface.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"storage-surface.d.ts","sourceRoot":"","sources":["../../../src/expressions/identifier-storage/storage-surface.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAC;AACjE,OAAO,EAAE,4BAA4B,EAAE,MAAM,4BAA4B,CAAC;AAC1E,OAAO,EACL,+BAA+B,EAC/B,8CAA8C,GAC/C,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,iCAAiC,EACjC,kCAAkC,GACnC,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,wCAAwC,EACxC,6CAA6C,GAC9C,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,+BAA+B,EAAE,MAAM,sBAAsB,CAAC;AACvE,OAAO,EACL,+CAA+C,EAC/C,0CAA0C,GAC3C,MAAM,kCAAkC,CAAC;AAC1C,OAAO,EAAE,qCAAqC,EAAE,MAAM,4BAA4B,CAAC"}

package/dist/expressions/identifier-storage/storage-surface.js

@@ -0,0 +1,9 @@
+export { isBroadStorageTarget } from "./broad-storage-target.js";
+export { matchesEmittedStorageSurface } from "./storage-surface-match.js";
+export { buildRuntimeSubsetExpressionAst, tryEmitRuntimeSubsetMemberProjectionIdentifier, } from "./runtime-subset.js";
+export { tryEmitCollapsedStorageIdentifier, tryEmitStorageCompatibleIdentifier, } from "./storage-compatible.js";
+export { tryEmitImplicitNarrowedStorageIdentifier, tryEmitImplicitRuntimeSubsetStorageIdentifier, } from "./implicit-storage.js";
+export { tryEmitReifiedStorageIdentifier } from "./reified-storage.js";
+export { tryEmitExactStorageCompatibleNarrowedIdentifier, tryEmitStorageCompatibleNarrowedIdentifier, } from "./narrowed-storage-compatible.js";
+export { tryEmitMaterializedNarrowedIdentifier } from "./materialized-narrowed.js";
+//# sourceMappingURL=storage-surface.js.map

package/dist/expressions/identifier-storage/storage-surface.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"storage-surface.js","sourceRoot":"","sources":["../../../src/expressions/identifier-storage/storage-surface.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAC;AACjE,OAAO,EAAE,4BAA4B,EAAE,MAAM,4BAA4B,CAAC;AAC1E,OAAO,EACL,+BAA+B,EAC/B,8CAA8C,GAC/C,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,iCAAiC,EACjC,kCAAkC,GACnC,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,wCAAwC,EACxC,6CAA6C,GAC9C,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,+BAA+B,EAAE,MAAM,sBAAsB,CAAC;AACvE,OAAO,EACL,+CAA+C,EAC/C,0CAA0C,GAC3C,MAAM,kCAAkC,CAAC;AAC1C,OAAO,EAAE,qCAAqC,EAAE,MAAM,4BAA4B,CAAC"}

package/dist/expressions/identifier-storage.d.ts

@@ -1,43 +1,2 @@
-import { IrExpression, IrType } from "@tsonic/frontend";
-import { EmitterContext, NarrowedBinding } from "../types.js";
-import type { CSharpExpressionAst } from "../core/format/backend-ast/types.js";
-export declare const isBroadStorageTarget: (expectedType: IrType | undefined, context: EmitterContext) => boolean;
-export declare const buildRuntimeSubsetExpressionAst: (expr: Extract<IrExpression, {
-    kind: "identifier";
-}>, narrowed: Extract<NarrowedBinding, {
-    kind: "runtimeSubset";
-}>, context: EmitterContext, targetType?: IrType | undefined) => [CSharpExpressionAst, EmitterContext] | undefined;
-export declare const tryEmitStorageCompatibleIdentifier: (expr: Extract<IrExpression, {
-    kind: "identifier";
-}>, context: EmitterContext, expectedType: IrType | undefined) => CSharpExpressionAst | undefined;
-export declare const tryEmitCollapsedStorageIdentifier: (expr: Extract<IrExpression, {
-    kind: "identifier";
-}>, context: EmitterContext) => [CSharpExpressionAst, EmitterContext] | undefined;
-export declare const tryEmitImplicitNarrowedStorageIdentifier: (expr: Extract<IrExpression, {
-    kind: "identifier";
-}>, narrowed: Extract<NarrowedBinding, {
-    kind: "expr";
-}>, context: EmitterContext) => [CSharpExpressionAst, EmitterContext] | undefined;
-export declare const tryEmitImplicitRuntimeSubsetStorageIdentifier: (expr: Extract<IrExpression, {
-    kind: "identifier";
-}>, narrowed: Extract<NarrowedBinding, {
-    kind: "runtimeSubset";
-}>, context: EmitterContext) => [CSharpExpressionAst, EmitterContext] | undefined;
-export declare const tryEmitReifiedStorageIdentifier: (expr: Extract<IrExpression, {
-    kind: "identifier";
-}>, context: EmitterContext, expectedType: IrType | undefined) => [CSharpExpressionAst, EmitterContext] | undefined;
-export declare const tryEmitStorageCompatibleNarrowedIdentifier: (expr: Extract<IrExpression, {
-    kind: "identifier";
-}>, narrowed: Extract<NarrowedBinding, {
-    kind: "expr";
-}>, context: EmitterContext, expectedType: IrType | undefined) => [CSharpExpressionAst, EmitterContext] | undefined;
-export declare const tryEmitExactStorageCompatibleNarrowedIdentifier: (expr: Extract<IrExpression, {
-    kind: "identifier";
-}>, narrowed: Extract<NarrowedBinding, {
-    kind: "expr";
-}>, context: EmitterContext, expectedType: IrType | undefined) => [CSharpExpressionAst, EmitterContext] | undefined;
-export declare const tryEmitMaterializedNarrowedIdentifier: (narrowed: Extract<NarrowedBinding, {
-    kind: "expr";
-}>, context: EmitterContext, expectedType: IrType | undefined) => [CSharpExpressionAst, EmitterContext] | undefined;
-export declare const matchesEmittedStorageSurface: (actualType: IrType | undefined, expectedType: IrType | undefined, context: EmitterContext) => [boolean, EmitterContext];
+export { buildRuntimeSubsetExpressionAst, isBroadStorageTarget, matchesEmittedStorageSurface, tryEmitCollapsedStorageIdentifier, tryEmitExactStorageCompatibleNarrowedIdentifier, tryEmitImplicitNarrowedStorageIdentifier, tryEmitImplicitRuntimeSubsetStorageIdentifier, tryEmitMaterializedNarrowedIdentifier, tryEmitReifiedStorageIdentifier, tryEmitRuntimeSubsetMemberProjectionIdentifier, tryEmitStorageCompatibleIdentifier, tryEmitStorageCompatibleNarrowedIdentifier, } from "./identifier-storage/storage-surface.js";
 //# sourceMappingURL=identifier-storage.d.ts.map

package/dist/expressions/identifier-storage.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"identifier-storage.d.ts","sourceRoot":"","sources":["../../src/expressions/identifier-storage.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAyB9D,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,qCAAqC,CAAC;AAgH/E,eAAO,MAAM,oBAAoB,GAC/B,cAAc,MAAM,GAAG,SAAS,EAChC,SAAS,cAAc,KACtB,OAgCF,CAAC;AA0BF,eAAO,MAAM,+BAA+B,GAC1C,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,CAAC,EACnD,UAAU,OAAO,CAAC,eAAe,EAAE;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC,EAC7D,SAAS,cAAc,EACvB,aAAY,MAAM,GAAG,SAAyB,KAC7C,CAAC,mBAAmB,EAAE,cAAc,CAAC,GAAG,SA0C1C,CAAC;AAEF,eAAO,MAAM,kCAAkC,GAC7C,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,CAAC,EACnD,SAAS,cAAc,EACvB,cAAc,MAAM,GAAG,SAAS,KAC/B,mBAAmB,GAAG,SAmCxB,CAAC;AAEF,eAAO,MAAM,iCAAiC,GAC5C,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,CAAC,EACnD,SAAS,cAAc,KACtB,CAAC,mBAAmB,EAAE,cAAc,CAAC,GAAG,SA+B1C,CAAC;AAEF,eAAO,MAAM,wCAAwC,GACnD,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,CAAC,EACnD,UAAU,OAAO,CAAC,eAAe,EAAE;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,EACpD,SAAS,cAAc,KACtB,CAAC,mBAAmB,EAAE,cAAc,CAAC,GAAG,SAsC1C,CAAC;AAEF,eAAO,MAAM,6CAA6C,GACxD,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,CAAC,EACnD,UAAU,OAAO,CAAC,eAAe,EAAE;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC,EAC7D,SAAS,cAAc,KACtB,CAAC,mBAAmB,EAAE,cAAc,CAAC,GAAG,SAqB1C,CAAC;AAEF,eAAO,MAAM,+BAA+B,GAC1C,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,CAAC,EACnD,SAAS,cAAc,EACvB,cAAc,MAAM,GAAG,SAAS,KAC/B,CAAC,mBAAmB,EAAE,cAAc,CAAC,GAAG,SAuB1C,CAAC;AAEF,eAAO,MAAM,0CAA0C,GACrD,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,CAAC,EACnD,UAAU,OAAO,CAAC,eAAe,EAAE;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,EACpD,SAAS,cAAc,EACvB,cAAc,MAAM,GAAG,SAAS,KAC/B,CAAC,mBAAmB,EAAE,cAAc,CAAC,GAAG,SAoI1C,CAAC;AAEF,eAAO,MAAM,+CAA+C,GAC1D,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,CAAC,EACnD,UAAU,OAAO,CAAC,eAAe,EAAE;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,EACpD,SAAS,cAAc,EACvB,cAAc,MAAM,GAAG,SAAS,KAC/B,CAAC,mBAAmB,EAAE,cAAc,CAAC,GAAG,SA8D1C,CAAC;AAEF,eAAO,MAAM,qCAAqC,GAChD,UAAU,OAAO,CAAC,eAAe,EAAE;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,EACpD,SAAS,cAAc,EACvB,cAAc,MAAM,GAAG,SAAS,KAC/B,CAAC,mBAAmB,EAAE,cAAc,CAAC,GAAG,SA8C1C,CAAC;AAEF,eAAO,MAAM,4BAA4B,GACvC,YAAY,MAAM,GAAG,SAAS,EAC9B,cAAc,MAAM,GAAG,SAAS,EAChC,SAAS,cAAc,KACtB,CAAC,OAAO,EAAE,cAAc,CAuI1B,CAAC"}
+{"version":3,"file":"identifier-storage.d.ts","sourceRoot":"","sources":["../../src/expressions/identifier-storage.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,+BAA+B,EAC/B,oBAAoB,EACpB,4BAA4B,EAC5B,iCAAiC,EACjC,+CAA+C,EAC/C,wCAAwC,EACxC,6CAA6C,EAC7C,qCAAqC,EACrC,+BAA+B,EAC/B,8CAA8C,EAC9C,kCAAkC,EAClC,0CAA0C,GAC3C,MAAM,yCAAyC,CAAC"}