@tsonic/emitter 0.0.76 → 0.0.78

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

@@ -0,0 +1,44 @@
+import { identifierExpression } from "../../core/format/backend-ast/builders.js";
+import { tryResolveRuntimeUnionMemberType } from "../../core/semantic/narrowed-expression-types.js";
+import { willCarryAsRuntimeUnion } from "../../core/semantic/union-semantics.js";
+import { matchesEmittedStorageSurface } from "./storage-surface-match.js";
+export const tryEmitImplicitNarrowedStorageIdentifier = (expr, narrowed, context) => {
+    if (!narrowed.storageExprAst || !narrowed.type) {
+        return undefined;
+    }
+    const storageType = narrowed.storageType ?? context.localValueTypes?.get(expr.name);
+    if (!storageType) {
+        return undefined;
+    }
+    const narrowedProjectionType = narrowed.type ??
+        tryResolveRuntimeUnionMemberType(narrowed.sourceType ?? storageType, narrowed.exprAst, context);
+    const shouldAvoidProjectedRuntimeUnionStorageReuse = narrowed.storageExprAst !== undefined &&
+        narrowed.storageExprAst !== narrowed.exprAst &&
+        willCarryAsRuntimeUnion(storageType, context) &&
+        !!narrowedProjectionType &&
+        !willCarryAsRuntimeUnion(narrowedProjectionType, context);
+    if (shouldAvoidProjectedRuntimeUnionStorageReuse) {
+        return undefined;
+    }
+    const [sameSurface, nextContext] = matchesEmittedStorageSurface(storageType, narrowed.type, context);
+    if (!sameSurface) {
+        return undefined;
+    }
+    return [narrowed.storageExprAst, nextContext];
+};
+export const tryEmitImplicitRuntimeSubsetStorageIdentifier = (expr, narrowed, context) => {
+    if (!narrowed.type) {
+        return undefined;
+    }
+    const remappedLocal = context.localNameMap?.get(expr.name);
+    const storageType = context.localValueTypes?.get(expr.name);
+    if (!remappedLocal || !storageType) {
+        return undefined;
+    }
+    const [sameSurface, nextContext] = matchesEmittedStorageSurface(storageType, narrowed.type, context);
+    if (!sameSurface) {
+        return undefined;
+    }
+    return [identifierExpression(remappedLocal), nextContext];
+};
+//# sourceMappingURL=implicit-storage.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"implicit-storage.js","sourceRoot":"","sources":["../../../src/expressions/identifier-storage/implicit-storage.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,oBAAoB,EAAE,MAAM,2CAA2C,CAAC;AACjF,OAAO,EAAE,gCAAgC,EAAE,MAAM,kDAAkD,CAAC;AACpG,OAAO,EAAE,uBAAuB,EAAE,MAAM,wCAAwC,CAAC;AAEjF,OAAO,EAAE,4BAA4B,EAAE,MAAM,4BAA4B,CAAC;AAE1E,MAAM,CAAC,MAAM,wCAAwC,GAAG,CACtD,IAAmD,EACnD,QAAoD,EACpD,OAAuB,EAC4B,EAAE;IACrD,IAAI,CAAC,QAAQ,CAAC,cAAc,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;QAC/C,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,WAAW,GACf,QAAQ,CAAC,WAAW,IAAI,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClE,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,sBAAsB,GAC1B,QAAQ,CAAC,IAAI;QACb,gCAAgC,CAC9B,QAAQ,CAAC,UAAU,IAAI,WAAW,EAClC,QAAQ,CAAC,OAAO,EAChB,OAAO,CACR,CAAC;IACJ,MAAM,4CAA4C,GAChD,QAAQ,CAAC,cAAc,KAAK,SAAS;QACrC,QAAQ,CAAC,cAAc,KAAK,QAAQ,CAAC,OAAO;QAC5C,uBAAuB,CAAC,WAAW,EAAE,OAAO,CAAC;QAC7C,CAAC,CAAC,sBAAsB;QACxB,CAAC,uBAAuB,CAAC,sBAAsB,EAAE,OAAO,CAAC,CAAC;IAC5D,IAAI,4CAA4C,EAAE,CAAC;QACjD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,CAAC,WAAW,EAAE,WAAW,CAAC,GAAG,4BAA4B,CAC7D,WAAW,EACX,QAAQ,CAAC,IAAI,EACb,OAAO,CACR,CAAC;IACF,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,CAAC,QAAQ,CAAC,cAAc,EAAE,WAAW,CAAC,CAAC;AAChD,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,6CAA6C,GAAG,CAC3D,IAAmD,EACnD,QAA6D,EAC7D,OAAuB,EAC4B,EAAE;IACrD,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;QACnB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,aAAa,GAAG,OAAO,CAAC,YAAY,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3D,MAAM,WAAW,GAAG,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5D,IAAI,CAAC,aAAa,IAAI,CAAC,WAAW,EAAE,CAAC;QACnC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,CAAC,WAAW,EAAE,WAAW,CAAC,GAAG,4BAA4B,CAC7D,WAAW,EACX,QAAQ,CAAC,IAAI,EACb,OAAO,CACR,CAAC;IACF,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,CAAC,oBAAoB,CAAC,aAAa,CAAC,EAAE,WAAW,CAAC,CAAC;AAC5D,CAAC,CAAC"}

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

@@ -0,0 +1,7 @@
+import { IrType } from "@tsonic/frontend";
+import { EmitterContext, NarrowedBinding } from "../../types.js";
+import type { CSharpExpressionAst } from "../../core/format/backend-ast/types.js";
+export declare const tryEmitMaterializedNarrowedIdentifier: (narrowed: Extract<NarrowedBinding, {
+    kind: "expr";
+}>, context: EmitterContext, expectedType: IrType | undefined) => [CSharpExpressionAst, EmitterContext] | undefined;
+//# sourceMappingURL=materialized-narrowed.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"materialized-narrowed.d.ts","sourceRoot":"","sources":["../../../src/expressions/identifier-storage/materialized-narrowed.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC1C,OAAO,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAiBjE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,wCAAwC,CAAC;AAGlF,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,SA+J1C,CAAC"}

package/dist/expressions/identifier-storage/materialized-narrowed.js

@@ -0,0 +1,92 @@
+import { emitTypeAst } from "../../type-emitter.js";
+import { sameTypeAstSurface, stripNullableTypeAst, } from "../../core/format/backend-ast/utils.js";
+import { matchesExpectedEmissionType } from "../../core/semantic/expected-type-matching.js";
+import { materializeDirectNarrowingAst } from "../../core/semantic/materialized-narrowing.js";
+import { tryResolveRuntimeUnionMemberType } from "../../core/semantic/narrowed-expression-types.js";
+import { buildRuntimeUnionLayout, buildRuntimeUnionTypeAst, } from "../../core/semantic/runtime-unions.js";
+import { buildRuntimeUnionFactoryCallAst } from "../../core/semantic/runtime-union-projection.js";
+import { resolveDirectValueSurfaceType } from "../../core/semantic/direct-value-surfaces.js";
+import { runtimeUnionAliasReferencesMatch } from "../../core/semantic/runtime-union-alias-identity.js";
+import { willCarryAsRuntimeUnion } from "../../core/semantic/union-semantics.js";
+import { wrapMaterializedTargetAst } from "./storage-surface-shared.js";
+export const tryEmitMaterializedNarrowedIdentifier = (narrowed, context, expectedType) => {
+    if (!expectedType) {
+        return undefined;
+    }
+    const effectiveType = narrowed.type ?? narrowed.sourceType;
+    if (!effectiveType) {
+        return undefined;
+    }
+    const directMemberType = tryResolveRuntimeUnionMemberType(narrowed.sourceType ?? effectiveType, narrowed.exprAst, context);
+    if (directMemberType &&
+        willCarryAsRuntimeUnion(directMemberType, context) &&
+        willCarryAsRuntimeUnion(expectedType, context) &&
+        runtimeUnionAliasReferencesMatch(directMemberType, expectedType, context)) {
+        return [narrowed.exprAst, context];
+    }
+    const directSurfaceMemberType = resolveDirectValueSurfaceType(narrowed.exprAst, context) ??
+        directMemberType;
+    const directAliasCarrierType = directMemberType ?? directSurfaceMemberType;
+    if (directAliasCarrierType &&
+        willCarryAsRuntimeUnion(directAliasCarrierType, context) &&
+        willCarryAsRuntimeUnion(expectedType, context)) {
+        const [expectedLayout, expectedLayoutContext] = buildRuntimeUnionLayout(expectedType, context, emitTypeAst);
+        if (expectedLayout) {
+            const aliasMemberIndices = expectedLayout.members.flatMap((member, index) => member &&
+                runtimeUnionAliasReferencesMatch(member, directAliasCarrierType, expectedLayoutContext)
+                ? [index]
+                : []);
+            if (aliasMemberIndices.length === 1) {
+                const [memberIndex] = aliasMemberIndices;
+                if (memberIndex !== undefined) {
+                    return [
+                        buildRuntimeUnionFactoryCallAst(buildRuntimeUnionTypeAst(expectedLayout), memberIndex + 1, narrowed.exprAst),
+                        expectedLayoutContext,
+                    ];
+                }
+            }
+        }
+    }
+    if (directSurfaceMemberType &&
+        willCarryAsRuntimeUnion(directSurfaceMemberType, context) &&
+        willCarryAsRuntimeUnion(expectedType, context) &&
+        runtimeUnionAliasReferencesMatch(directSurfaceMemberType, expectedType, context)) {
+        return [narrowed.exprAst, context];
+    }
+    if (directSurfaceMemberType &&
+        willCarryAsRuntimeUnion(expectedType, context) &&
+        !willCarryAsRuntimeUnion(directSurfaceMemberType, context)) {
+        const [expectedLayout, expectedLayoutContext] = buildRuntimeUnionLayout(expectedType, context, emitTypeAst);
+        if (expectedLayout) {
+            const [directSurfaceTypeAst, directSurfaceContext] = emitTypeAst(directSurfaceMemberType, expectedLayoutContext);
+            const matchingMemberIndices = expectedLayout.memberTypeAsts.flatMap((memberTypeAst, index) => memberTypeAst &&
+                sameTypeAstSurface(stripNullableTypeAst(directSurfaceTypeAst), stripNullableTypeAst(memberTypeAst))
+                ? [index]
+                : []);
+            if (matchingMemberIndices.length === 1) {
+                const [memberIndex] = matchingMemberIndices;
+                if (memberIndex !== undefined) {
+                    return [
+                        buildRuntimeUnionFactoryCallAst(buildRuntimeUnionTypeAst(expectedLayout), memberIndex + 1, narrowed.exprAst),
+                        directSurfaceContext,
+                    ];
+                }
+            }
+        }
+    }
+    if (directMemberType &&
+        matchesExpectedEmissionType(directMemberType, expectedType, context)) {
+        return [narrowed.exprAst, context];
+    }
+    if (directMemberType &&
+        willCarryAsRuntimeUnion(expectedType, context) &&
+        !willCarryAsRuntimeUnion(directMemberType, context)) {
+        const [expectedLayout, expectedLayoutContext] = buildRuntimeUnionLayout(expectedType, context, emitTypeAst);
+        if (expectedLayout?.members.some((member) => matchesExpectedEmissionType(directMemberType, member, context))) {
+            return [narrowed.exprAst, expectedLayoutContext];
+        }
+    }
+    const materialized = materializeDirectNarrowingAst(narrowed.exprAst, effectiveType, expectedType, context);
+    return wrapMaterializedTargetAst(materialized[0], expectedType, materialized[1]);
+};
+//# sourceMappingURL=materialized-narrowed.js.map

package/dist/expressions/identifier-storage/materialized-narrowed.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"materialized-narrowed.js","sourceRoot":"","sources":["../../../src/expressions/identifier-storage/materialized-narrowed.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EACL,kBAAkB,EAClB,oBAAoB,GACrB,MAAM,wCAAwC,CAAC;AAChD,OAAO,EAAE,2BAA2B,EAAE,MAAM,+CAA+C,CAAC;AAC5F,OAAO,EAAE,6BAA6B,EAAE,MAAM,+CAA+C,CAAC;AAC9F,OAAO,EAAE,gCAAgC,EAAE,MAAM,kDAAkD,CAAC;AACpG,OAAO,EACL,uBAAuB,EACvB,wBAAwB,GACzB,MAAM,uCAAuC,CAAC;AAC/C,OAAO,EAAE,+BAA+B,EAAE,MAAM,iDAAiD,CAAC;AAClG,OAAO,EAAE,6BAA6B,EAAE,MAAM,8CAA8C,CAAC;AAC7F,OAAO,EAAE,gCAAgC,EAAE,MAAM,qDAAqD,CAAC;AACvG,OAAO,EAAE,uBAAuB,EAAE,MAAM,wCAAwC,CAAC;AAEjF,OAAO,EAAE,yBAAyB,EAAE,MAAM,6BAA6B,CAAC;AAExE,MAAM,CAAC,MAAM,qCAAqC,GAAG,CACnD,QAAoD,EACpD,OAAuB,EACvB,YAAgC,EACmB,EAAE;IACrD,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,aAAa,GAAG,QAAQ,CAAC,IAAI,IAAI,QAAQ,CAAC,UAAU,CAAC;IAC3D,IAAI,CAAC,aAAa,EAAE,CAAC;QACnB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,gBAAgB,GAAG,gCAAgC,CACvD,QAAQ,CAAC,UAAU,IAAI,aAAa,EACpC,QAAQ,CAAC,OAAO,EAChB,OAAO,CACR,CAAC;IACF,IACE,gBAAgB;QAChB,uBAAuB,CAAC,gBAAgB,EAAE,OAAO,CAAC;QAClD,uBAAuB,CAAC,YAAY,EAAE,OAAO,CAAC;QAC9C,gCAAgC,CAAC,gBAAgB,EAAE,YAAY,EAAE,OAAO,CAAC,EACzE,CAAC;QACD,OAAO,CAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IACrC,CAAC;IAED,MAAM,uBAAuB,GAC3B,6BAA6B,CAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;QACxD,gBAAgB,CAAC;IAEnB,MAAM,sBAAsB,GAAG,gBAAgB,IAAI,uBAAuB,CAAC;IAC3E,IACE,sBAAsB;QACtB,uBAAuB,CAAC,sBAAsB,EAAE,OAAO,CAAC;QACxD,uBAAuB,CAAC,YAAY,EAAE,OAAO,CAAC,EAC9C,CAAC;QACD,MAAM,CAAC,cAAc,EAAE,qBAAqB,CAAC,GAAG,uBAAuB,CACrE,YAAY,EACZ,OAAO,EACP,WAAW,CACZ,CAAC;QACF,IAAI,cAAc,EAAE,CAAC;YACnB,MAAM,kBAAkB,GAAG,cAAc,CAAC,OAAO,CAAC,OAAO,CACvD,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAChB,MAAM;gBACN,gCAAgC,CAC9B,MAAM,EACN,sBAAsB,EACtB,qBAAqB,CACtB;gBACC,CAAC,CAAC,CAAC,KAAK,CAAC;gBACT,CAAC,CAAC,EAAE,CACT,CAAC;YACF,IAAI,kBAAkB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACpC,MAAM,CAAC,WAAW,CAAC,GAAG,kBAAkB,CAAC;gBACzC,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;oBAC9B,OAAO;wBACL,+BAA+B,CAC7B,wBAAwB,CAAC,cAAc,CAAC,EACxC,WAAW,GAAG,CAAC,EACf,QAAQ,CAAC,OAAO,CACjB;wBACD,qBAAqB;qBACtB,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,IACE,uBAAuB;QACvB,uBAAuB,CAAC,uBAAuB,EAAE,OAAO,CAAC;QACzD,uBAAuB,CAAC,YAAY,EAAE,OAAO,CAAC;QAC9C,gCAAgC,CAC9B,uBAAuB,EACvB,YAAY,EACZ,OAAO,CACR,EACD,CAAC;QACD,OAAO,CAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IACrC,CAAC;IAED,IACE,uBAAuB;QACvB,uBAAuB,CAAC,YAAY,EAAE,OAAO,CAAC;QAC9C,CAAC,uBAAuB,CAAC,uBAAuB,EAAE,OAAO,CAAC,EAC1D,CAAC;QACD,MAAM,CAAC,cAAc,EAAE,qBAAqB,CAAC,GAAG,uBAAuB,CACrE,YAAY,EACZ,OAAO,EACP,WAAW,CACZ,CAAC;QACF,IAAI,cAAc,EAAE,CAAC;YACnB,MAAM,CAAC,oBAAoB,EAAE,oBAAoB,CAAC,GAAG,WAAW,CAC9D,uBAAuB,EACvB,qBAAqB,CACtB,CAAC;YACF,MAAM,qBAAqB,GAAG,cAAc,CAAC,cAAc,CAAC,OAAO,CACjE,CAAC,aAAa,EAAE,KAAK,EAAE,EAAE,CACvB,aAAa;gBACb,kBAAkB,CAChB,oBAAoB,CAAC,oBAAoB,CAAC,EAC1C,oBAAoB,CAAC,aAAa,CAAC,CACpC;gBACC,CAAC,CAAC,CAAC,KAAK,CAAC;gBACT,CAAC,CAAC,EAAE,CACT,CAAC;YACF,IAAI,qBAAqB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACvC,MAAM,CAAC,WAAW,CAAC,GAAG,qBAAqB,CAAC;gBAC5C,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;oBAC9B,OAAO;wBACL,+BAA+B,CAC7B,wBAAwB,CAAC,cAAc,CAAC,EACxC,WAAW,GAAG,CAAC,EACf,QAAQ,CAAC,OAAO,CACjB;wBACD,oBAAoB;qBACrB,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,IACE,gBAAgB;QAChB,2BAA2B,CAAC,gBAAgB,EAAE,YAAY,EAAE,OAAO,CAAC,EACpE,CAAC;QACD,OAAO,CAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IACrC,CAAC;IAED,IACE,gBAAgB;QAChB,uBAAuB,CAAC,YAAY,EAAE,OAAO,CAAC;QAC9C,CAAC,uBAAuB,CAAC,gBAAgB,EAAE,OAAO,CAAC,EACnD,CAAC;QACD,MAAM,CAAC,cAAc,EAAE,qBAAqB,CAAC,GAAG,uBAAuB,CACrE,YAAY,EACZ,OAAO,EACP,WAAW,CACZ,CAAC;QACF,IACE,cAAc,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CACtC,2BAA2B,CAAC,gBAAgB,EAAE,MAAM,EAAE,OAAO,CAAC,CAC/D,EACD,CAAC;YACD,OAAO,CAAC,QAAQ,CAAC,OAAO,EAAE,qBAAqB,CAAC,CAAC;QACnD,CAAC;IACH,CAAC;IAED,MAAM,YAAY,GAAG,6BAA6B,CAChD,QAAQ,CAAC,OAAO,EAChB,aAAa,EACb,YAAY,EACZ,OAAO,CACR,CAAC;IAEF,OAAO,yBAAyB,CAC9B,YAAY,CAAC,CAAC,CAAC,EACf,YAAY,EACZ,YAAY,CAAC,CAAC,CAAC,CAChB,CAAC;AACJ,CAAC,CAAC"}

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

@@ -0,0 +1,14 @@
+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 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;
+//# sourceMappingURL=narrowed-storage-compatible.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"narrowed-storage-compatible.d.ts","sourceRoot":"","sources":["../../../src/expressions/identifier-storage/narrowed-storage-compatible.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAWjE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,wCAAwC,CAAC;AAKlF,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,SA+J1C,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,SA6E1C,CAAC"}

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

@@ -0,0 +1,168 @@
+import { identifierExpression } from "../../core/format/backend-ast/builders.js";
+import { escapeCSharpIdentifier } from "../../emitter-types/index.js";
+import { matchesExpectedEmissionType, requiresValueTypeMaterialization, } from "../../core/semantic/expected-type-matching.js";
+import { tryResolveRuntimeUnionMemberType } from "../../core/semantic/narrowed-expression-types.js";
+import { willCarryAsRuntimeUnion } from "../../core/semantic/union-semantics.js";
+import { stripNullish } from "../../core/semantic/type-resolution.js";
+import { isStorageErasedBroadObjectPassThroughType } from "../../core/semantic/broad-object-types.js";
+import { isBroadStorageTarget } from "./broad-storage-target.js";
+import { matchesEmittedStorageSurface } from "./storage-surface-match.js";
+import { preservesMaterializedValueTypeNarrowing } from "./storage-surface-shared.js";
+export const tryEmitStorageCompatibleNarrowedIdentifier = (expr, narrowed, context, expectedType) => {
+    if (!narrowed.type && !expectedType) {
+        return undefined;
+    }
+    const remappedLocal = context.localNameMap?.get(expr.name);
+    const storageType = narrowed.storageType ?? context.localValueTypes?.get(expr.name);
+    if (!storageType) {
+        return undefined;
+    }
+    const targetType = expectedType ?? narrowed.type;
+    if (!targetType) {
+        return undefined;
+    }
+    const narrowedProjectionType = narrowed.type ??
+        tryResolveRuntimeUnionMemberType(narrowed.sourceType ?? storageType, narrowed.exprAst, context);
+    const shouldAvoidProjectedRuntimeUnionStorageReuse = narrowed.storageExprAst !== undefined &&
+        narrowed.storageExprAst !== narrowed.exprAst &&
+        willCarryAsRuntimeUnion(storageType, context) &&
+        !!narrowedProjectionType &&
+        !willCarryAsRuntimeUnion(narrowedProjectionType, context);
+    const shouldAvoidBroadStorageReuse = !!expectedType &&
+        !!narrowed.type &&
+        isBroadStorageTarget(expectedType, context) &&
+        willCarryAsRuntimeUnion(storageType, context) &&
+        !willCarryAsRuntimeUnion(narrowed.type, context);
+    const shouldAvoidBroadCarrierReuseForProjectedNarrowing = !!expectedType &&
+        isBroadStorageTarget(expectedType, context) &&
+        narrowed.carrierExprAst !== undefined &&
+        narrowed.carrierExprAst !== narrowed.exprAst;
+    const shouldPreserveMaterializedValueNarrowing = preservesMaterializedValueTypeNarrowing(narrowed, context);
+    const shouldAvoidStorageReuse = shouldAvoidBroadStorageReuse ||
+        shouldAvoidProjectedRuntimeUnionStorageReuse ||
+        shouldAvoidBroadCarrierReuseForProjectedNarrowing ||
+        shouldPreserveMaterializedValueNarrowing;
+    const originalRuntimeCarrierAst = narrowed.carrierExprAst ??
+        narrowed.storageExprAst ??
+        (remappedLocal ? identifierExpression(remappedLocal) : undefined);
+    const originalRuntimeCarrierType = narrowed.carrierExprAst
+        ? (narrowed.carrierType ?? context.localValueTypes?.get(expr.name))
+        : storageType;
+    const [sameSourceCarrierSurface, carrierSurfaceContext] = expectedType && originalRuntimeCarrierType
+        ? matchesEmittedStorageSurface(stripNullish(originalRuntimeCarrierType), expectedType, context)
+        : [false, context];
+    const canReuseOriginalRuntimeCarrier = !!expectedType &&
+        !!originalRuntimeCarrierAst &&
+        !!originalRuntimeCarrierType &&
+        willCarryAsRuntimeUnion(expectedType, context) &&
+        sameSourceCarrierSurface &&
+        !shouldAvoidStorageReuse &&
+        (!narrowedProjectionType ||
+            !willCarryAsRuntimeUnion(narrowedProjectionType, context));
+    const canReuseOriginalCarrierSurface = !!expectedType &&
+        !!originalRuntimeCarrierAst &&
+        !!originalRuntimeCarrierType &&
+        sameSourceCarrierSurface &&
+        !shouldAvoidStorageReuse &&
+        !requiresValueTypeMaterialization(originalRuntimeCarrierType, expectedType, carrierSurfaceContext);
+    if (expectedType &&
+        isBroadStorageTarget(expectedType, context) &&
+        !shouldAvoidStorageReuse) {
+        const originalSourceCarrierType = narrowed.carrierType ??
+            narrowed.sourceType ??
+            context.localValueTypes?.get(expr.name);
+        if (originalSourceCarrierType &&
+            !willCarryAsRuntimeUnion(originalSourceCarrierType, context) &&
+            (matchesExpectedEmissionType(stripNullish(originalSourceCarrierType), expectedType, context) ||
+                isStorageErasedBroadObjectPassThroughType(originalSourceCarrierType, context))) {
+            return [
+                identifierExpression(remappedLocal ?? escapeCSharpIdentifier(expr.name)),
+                context,
+            ];
+        }
+        if (narrowed.carrierExprAst) {
+            return [narrowed.carrierExprAst, context];
+        }
+        if (remappedLocal) {
+            return [identifierExpression(remappedLocal), context];
+        }
+        if (narrowed.storageExprAst) {
+            return [narrowed.storageExprAst, context];
+        }
+    }
+    if (canReuseOriginalRuntimeCarrier) {
+        return [originalRuntimeCarrierAst, carrierSurfaceContext];
+    }
+    if (canReuseOriginalCarrierSurface) {
+        return [originalRuntimeCarrierAst, carrierSurfaceContext];
+    }
+    const [sameSurface, nextContext] = matchesEmittedStorageSurface(storageType, targetType, context);
+    if (!sameSurface) {
+        return undefined;
+    }
+    if (!narrowed.storageExprAst) {
+        if (!remappedLocal) {
+            return undefined;
+        }
+        return [identifierExpression(remappedLocal), nextContext];
+    }
+    if (narrowed.exprAst.kind === "memberAccessExpression" &&
+        narrowed.exprAst.memberName === "Value" &&
+        narrowed.exprAst.expression === narrowed.storageExprAst) {
+        return undefined;
+    }
+    if (shouldAvoidStorageReuse) {
+        return undefined;
+    }
+    return [narrowed.storageExprAst, nextContext];
+};
+export const tryEmitExactStorageCompatibleNarrowedIdentifier = (expr, narrowed, context, expectedType) => {
+    if (!expectedType) {
+        return undefined;
+    }
+    const remappedLocal = context.localNameMap?.get(expr.name);
+    const storageType = narrowed.storageType ?? context.localValueTypes?.get(expr.name);
+    if (!storageType) {
+        return undefined;
+    }
+    const originalRuntimeCarrierAst = narrowed.carrierExprAst ??
+        narrowed.storageExprAst ??
+        (remappedLocal ? identifierExpression(remappedLocal) : undefined);
+    const originalRuntimeCarrierType = narrowed.carrierExprAst
+        ? (narrowed.carrierType ?? context.localValueTypes?.get(expr.name))
+        : storageType;
+    const [sameSourceCarrierSurface, carrierSurfaceContext] = originalRuntimeCarrierAst && originalRuntimeCarrierType
+        ? matchesEmittedStorageSurface(stripNullish(originalRuntimeCarrierType), expectedType, context)
+        : [false, context];
+    if (preservesMaterializedValueTypeNarrowing(narrowed, context)) {
+        return undefined;
+    }
+    if (originalRuntimeCarrierAst &&
+        willCarryAsRuntimeUnion(expectedType, context) &&
+        sameSourceCarrierSurface) {
+        return [originalRuntimeCarrierAst, carrierSurfaceContext];
+    }
+    if (originalRuntimeCarrierAst &&
+        sameSourceCarrierSurface &&
+        originalRuntimeCarrierType &&
+        !requiresValueTypeMaterialization(originalRuntimeCarrierType, expectedType, carrierSurfaceContext)) {
+        return [originalRuntimeCarrierAst, carrierSurfaceContext];
+    }
+    const [sameStorageSurface, nextContext] = matchesEmittedStorageSurface(storageType, expectedType, context);
+    if (!sameStorageSurface) {
+        return undefined;
+    }
+    if (narrowed.exprAst.kind === "memberAccessExpression" &&
+        narrowed.exprAst.memberName === "Value" &&
+        narrowed.exprAst.expression === narrowed.storageExprAst) {
+        return undefined;
+    }
+    if (narrowed.storageExprAst) {
+        return [narrowed.storageExprAst, nextContext];
+    }
+    if (!remappedLocal) {
+        return undefined;
+    }
+    return [identifierExpression(remappedLocal), nextContext];
+};
+//# sourceMappingURL=narrowed-storage-compatible.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"narrowed-storage-compatible.js","sourceRoot":"","sources":["../../../src/expressions/identifier-storage/narrowed-storage-compatible.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,oBAAoB,EAAE,MAAM,2CAA2C,CAAC;AACjF,OAAO,EAAE,sBAAsB,EAAE,MAAM,8BAA8B,CAAC;AACtE,OAAO,EACL,2BAA2B,EAC3B,gCAAgC,GACjC,MAAM,+CAA+C,CAAC;AACvD,OAAO,EAAE,gCAAgC,EAAE,MAAM,kDAAkD,CAAC;AACpG,OAAO,EAAE,uBAAuB,EAAE,MAAM,wCAAwC,CAAC;AACjF,OAAO,EAAE,YAAY,EAAE,MAAM,wCAAwC,CAAC;AACtE,OAAO,EAAE,yCAAyC,EAAE,MAAM,2CAA2C,CAAC;AAEtG,OAAO,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAC;AACjE,OAAO,EAAE,4BAA4B,EAAE,MAAM,4BAA4B,CAAC;AAC1E,OAAO,EAAE,uCAAuC,EAAE,MAAM,6BAA6B,CAAC;AAEtF,MAAM,CAAC,MAAM,0CAA0C,GAAG,CACxD,IAAmD,EACnD,QAAoD,EACpD,OAAuB,EACvB,YAAgC,EACmB,EAAE;IACrD,IAAI,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;QACpC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,aAAa,GAAG,OAAO,CAAC,YAAY,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3D,MAAM,WAAW,GACf,QAAQ,CAAC,WAAW,IAAI,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClE,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,UAAU,GAAG,YAAY,IAAI,QAAQ,CAAC,IAAI,CAAC;IACjD,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,sBAAsB,GAC1B,QAAQ,CAAC,IAAI;QACb,gCAAgC,CAC9B,QAAQ,CAAC,UAAU,IAAI,WAAW,EAClC,QAAQ,CAAC,OAAO,EAChB,OAAO,CACR,CAAC;IACJ,MAAM,4CAA4C,GAChD,QAAQ,CAAC,cAAc,KAAK,SAAS;QACrC,QAAQ,CAAC,cAAc,KAAK,QAAQ,CAAC,OAAO;QAC5C,uBAAuB,CAAC,WAAW,EAAE,OAAO,CAAC;QAC7C,CAAC,CAAC,sBAAsB;QACxB,CAAC,uBAAuB,CAAC,sBAAsB,EAAE,OAAO,CAAC,CAAC;IAE5D,MAAM,4BAA4B,GAChC,CAAC,CAAC,YAAY;QACd,CAAC,CAAC,QAAQ,CAAC,IAAI;QACf,oBAAoB,CAAC,YAAY,EAAE,OAAO,CAAC;QAC3C,uBAAuB,CAAC,WAAW,EAAE,OAAO,CAAC;QAC7C,CAAC,uBAAuB,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACnD,MAAM,iDAAiD,GACrD,CAAC,CAAC,YAAY;QACd,oBAAoB,CAAC,YAAY,EAAE,OAAO,CAAC;QAC3C,QAAQ,CAAC,cAAc,KAAK,SAAS;QACrC,QAAQ,CAAC,cAAc,KAAK,QAAQ,CAAC,OAAO,CAAC;IAC/C,MAAM,wCAAwC,GAC5C,uCAAuC,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC7D,MAAM,uBAAuB,GAC3B,4BAA4B;QAC5B,4CAA4C;QAC5C,iDAAiD;QACjD,wCAAwC,CAAC;IAC3C,MAAM,yBAAyB,GAC7B,QAAQ,CAAC,cAAc;QACvB,QAAQ,CAAC,cAAc;QACvB,CAAC,aAAa,CAAC,CAAC,CAAC,oBAAoB,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IACpE,MAAM,0BAA0B,GAAG,QAAQ,CAAC,cAAc;QACxD,CAAC,CAAC,CAAC,QAAQ,CAAC,WAAW,IAAI,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnE,CAAC,CAAC,WAAW,CAAC;IAChB,MAAM,CAAC,wBAAwB,EAAE,qBAAqB,CAAC,GACrD,YAAY,IAAI,0BAA0B;QACxC,CAAC,CAAC,4BAA4B,CAC1B,YAAY,CAAC,0BAA0B,CAAC,EACxC,YAAY,EACZ,OAAO,CACR;QACH,CAAC,CAAC,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IACvB,MAAM,8BAA8B,GAClC,CAAC,CAAC,YAAY;QACd,CAAC,CAAC,yBAAyB;QAC3B,CAAC,CAAC,0BAA0B;QAC5B,uBAAuB,CAAC,YAAY,EAAE,OAAO,CAAC;QAC9C,wBAAwB;QACxB,CAAC,uBAAuB;QACxB,CAAC,CAAC,sBAAsB;YACtB,CAAC,uBAAuB,CAAC,sBAAsB,EAAE,OAAO,CAAC,CAAC,CAAC;IAC/D,MAAM,8BAA8B,GAClC,CAAC,CAAC,YAAY;QACd,CAAC,CAAC,yBAAyB;QAC3B,CAAC,CAAC,0BAA0B;QAC5B,wBAAwB;QACxB,CAAC,uBAAuB;QACxB,CAAC,gCAAgC,CAC/B,0BAA0B,EAC1B,YAAY,EACZ,qBAAqB,CACtB,CAAC;IACJ,IACE,YAAY;QACZ,oBAAoB,CAAC,YAAY,EAAE,OAAO,CAAC;QAC3C,CAAC,uBAAuB,EACxB,CAAC;QACD,MAAM,yBAAyB,GAC7B,QAAQ,CAAC,WAAW;YACpB,QAAQ,CAAC,UAAU;YACnB,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1C,IACE,yBAAyB;YACzB,CAAC,uBAAuB,CAAC,yBAAyB,EAAE,OAAO,CAAC;YAC5D,CAAC,2BAA2B,CAC1B,YAAY,CAAC,yBAAyB,CAAC,EACvC,YAAY,EACZ,OAAO,CACR;gBACC,yCAAyC,CACvC,yBAAyB,EACzB,OAAO,CACR,CAAC,EACJ,CAAC;YACD,OAAO;gBACL,oBAAoB,CAClB,aAAa,IAAI,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,CACnD;gBACD,OAAO;aACR,CAAC;QACJ,CAAC;QACD,IAAI,QAAQ,CAAC,cAAc,EAAE,CAAC;YAC5B,OAAO,CAAC,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC,CAAC;QAC5C,CAAC;QACD,IAAI,aAAa,EAAE,CAAC;YAClB,OAAO,CAAC,oBAAoB,CAAC,aAAa,CAAC,EAAE,OAAO,CAAC,CAAC;QACxD,CAAC;QACD,IAAI,QAAQ,CAAC,cAAc,EAAE,CAAC;YAC5B,OAAO,CAAC,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC,CAAC;QAC5C,CAAC;IACH,CAAC;IACD,IAAI,8BAA8B,EAAE,CAAC;QACnC,OAAO,CAAC,yBAAyB,EAAE,qBAAqB,CAAC,CAAC;IAC5D,CAAC;IACD,IAAI,8BAA8B,EAAE,CAAC;QACnC,OAAO,CAAC,yBAAyB,EAAE,qBAAqB,CAAC,CAAC;IAC5D,CAAC;IAED,MAAM,CAAC,WAAW,EAAE,WAAW,CAAC,GAAG,4BAA4B,CAC7D,WAAW,EACX,UAAU,EACV,OAAO,CACR,CAAC;IACF,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,CAAC,QAAQ,CAAC,cAAc,EAAE,CAAC;QAC7B,IAAI,CAAC,aAAa,EAAE,CAAC;YACnB,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,OAAO,CAAC,oBAAoB,CAAC,aAAa,CAAC,EAAE,WAAW,CAAC,CAAC;IAC5D,CAAC;IAED,IACE,QAAQ,CAAC,OAAO,CAAC,IAAI,KAAK,wBAAwB;QAClD,QAAQ,CAAC,OAAO,CAAC,UAAU,KAAK,OAAO;QACvC,QAAQ,CAAC,OAAO,CAAC,UAAU,KAAK,QAAQ,CAAC,cAAc,EACvD,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,uBAAuB,EAAE,CAAC;QAC5B,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,CAAC,QAAQ,CAAC,cAAc,EAAE,WAAW,CAAC,CAAC;AAChD,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,+CAA+C,GAAG,CAC7D,IAAmD,EACnD,QAAoD,EACpD,OAAuB,EACvB,YAAgC,EACmB,EAAE;IACrD,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,aAAa,GAAG,OAAO,CAAC,YAAY,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3D,MAAM,WAAW,GACf,QAAQ,CAAC,WAAW,IAAI,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClE,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,yBAAyB,GAC7B,QAAQ,CAAC,cAAc;QACvB,QAAQ,CAAC,cAAc;QACvB,CAAC,aAAa,CAAC,CAAC,CAAC,oBAAoB,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IACpE,MAAM,0BAA0B,GAAG,QAAQ,CAAC,cAAc;QACxD,CAAC,CAAC,CAAC,QAAQ,CAAC,WAAW,IAAI,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnE,CAAC,CAAC,WAAW,CAAC;IAChB,MAAM,CAAC,wBAAwB,EAAE,qBAAqB,CAAC,GACrD,yBAAyB,IAAI,0BAA0B;QACrD,CAAC,CAAC,4BAA4B,CAC1B,YAAY,CAAC,0BAA0B,CAAC,EACxC,YAAY,EACZ,OAAO,CACR;QACH,CAAC,CAAC,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IACvB,IAAI,uCAAuC,CAAC,QAAQ,EAAE,OAAO,CAAC,EAAE,CAAC;QAC/D,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IACE,yBAAyB;QACzB,uBAAuB,CAAC,YAAY,EAAE,OAAO,CAAC;QAC9C,wBAAwB,EACxB,CAAC;QACD,OAAO,CAAC,yBAAyB,EAAE,qBAAqB,CAAC,CAAC;IAC5D,CAAC;IACD,IACE,yBAAyB;QACzB,wBAAwB;QACxB,0BAA0B;QAC1B,CAAC,gCAAgC,CAC/B,0BAA0B,EAC1B,YAAY,EACZ,qBAAqB,CACtB,EACD,CAAC;QACD,OAAO,CAAC,yBAAyB,EAAE,qBAAqB,CAAC,CAAC;IAC5D,CAAC;IAED,MAAM,CAAC,kBAAkB,EAAE,WAAW,CAAC,GAAG,4BAA4B,CACpE,WAAW,EACX,YAAY,EACZ,OAAO,CACR,CAAC;IACF,IAAI,CAAC,kBAAkB,EAAE,CAAC;QACxB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IACE,QAAQ,CAAC,OAAO,CAAC,IAAI,KAAK,wBAAwB;QAClD,QAAQ,CAAC,OAAO,CAAC,UAAU,KAAK,OAAO;QACvC,QAAQ,CAAC,OAAO,CAAC,UAAU,KAAK,QAAQ,CAAC,cAAc,EACvD,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,QAAQ,CAAC,cAAc,EAAE,CAAC;QAC5B,OAAO,CAAC,QAAQ,CAAC,cAAc,EAAE,WAAW,CAAC,CAAC;IAChD,CAAC;IAED,IAAI,CAAC,aAAa,EAAE,CAAC;QACnB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,CAAC,oBAAoB,CAAC,aAAa,CAAC,EAAE,WAAW,CAAC,CAAC;AAC5D,CAAC,CAAC"}

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

@@ -0,0 +1,7 @@
+import { IrExpression, IrType } from "@tsonic/frontend";
+import { EmitterContext } from "../../types.js";
+import type { CSharpExpressionAst } from "../../core/format/backend-ast/types.js";
+export declare const tryEmitReifiedStorageIdentifier: (expr: Extract<IrExpression, {
+    kind: "identifier";
+}>, context: EmitterContext, expectedType: IrType | undefined) => [CSharpExpressionAst, EmitterContext] | undefined;
+//# sourceMappingURL=reified-storage.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"reified-storage.d.ts","sourceRoot":"","sources":["../../../src/expressions/identifier-storage/reified-storage.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAMhD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,wCAAwC,CAAC;AAElF,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"}

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

@@ -0,0 +1,25 @@
+import { emitTypeAst } from "../../type-emitter.js";
+import { identifierExpression } from "../../core/format/backend-ast/builders.js";
+import { matchesSemanticExpectedType } from "../../core/semantic/expected-type-matching.js";
+import { resolveEffectiveExpressionType } from "../../core/semantic/narrowed-expression-types.js";
+import { adaptStorageErasedValueAst } from "../../core/semantic/storage-erased-adaptation.js";
+export const tryEmitReifiedStorageIdentifier = (expr, context, expectedType) => {
+    const remappedLocal = context.localNameMap?.get(expr.name);
+    const storageType = context.localValueTypes?.get(expr.name);
+    if (!remappedLocal || !storageType) {
+        return undefined;
+    }
+    const effectiveType = resolveEffectiveExpressionType(expr, context);
+    const expressionType = expr.inferredType;
+    const expressionMatchesExpected = matchesSemanticExpectedType(expressionType, expectedType, context);
+    return adaptStorageErasedValueAst({
+        valueAst: identifierExpression(remappedLocal),
+        semanticType: expressionMatchesExpected ? expressionType : effectiveType,
+        storageType,
+        expectedType,
+        context,
+        emitTypeAst,
+        allowCastFallback: expressionMatchesExpected,
+    });
+};
+//# sourceMappingURL=reified-storage.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"reified-storage.js","sourceRoot":"","sources":["../../../src/expressions/identifier-storage/reified-storage.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,oBAAoB,EAAE,MAAM,2CAA2C,CAAC;AACjF,OAAO,EAAE,2BAA2B,EAAE,MAAM,+CAA+C,CAAC;AAC5F,OAAO,EAAE,8BAA8B,EAAE,MAAM,kDAAkD,CAAC;AAClG,OAAO,EAAE,0BAA0B,EAAE,MAAM,kDAAkD,CAAC;AAG9F,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAC7C,IAAmD,EACnD,OAAuB,EACvB,YAAgC,EACmB,EAAE;IACrD,MAAM,aAAa,GAAG,OAAO,CAAC,YAAY,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3D,MAAM,WAAW,GAAG,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5D,IAAI,CAAC,aAAa,IAAI,CAAC,WAAW,EAAE,CAAC;QACnC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,aAAa,GAAG,8BAA8B,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACpE,MAAM,cAAc,GAAG,IAAI,CAAC,YAAY,CAAC;IACzC,MAAM,yBAAyB,GAAG,2BAA2B,CAC3D,cAAc,EACd,YAAY,EACZ,OAAO,CACR,CAAC;IACF,OAAO,0BAA0B,CAAC;QAChC,QAAQ,EAAE,oBAAoB,CAAC,aAAa,CAAC;QAC7C,YAAY,EAAE,yBAAyB,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,aAAa;QACxE,WAAW;QACX,YAAY;QACZ,OAAO;QACP,WAAW;QACX,iBAAiB,EAAE,yBAAyB;KAC7C,CAAC,CAAC;AACL,CAAC,CAAC"}

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

@@ -0,0 +1,14 @@
+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 buildRuntimeSubsetExpressionAst: (expr: Extract<IrExpression, {
+    kind: "identifier";
+}>, narrowed: Extract<NarrowedBinding, {
+    kind: "runtimeSubset";
+}>, context: EmitterContext, targetType?: IrType | undefined) => [CSharpExpressionAst, EmitterContext] | undefined;
+export declare const tryEmitRuntimeSubsetMemberProjectionIdentifier: (expr: Extract<IrExpression, {
+    kind: "identifier";
+}>, narrowed: Extract<NarrowedBinding, {
+    kind: "runtimeSubset";
+}>, context: EmitterContext, expectedType: IrType | undefined) => [CSharpExpressionAst, EmitterContext] | undefined;
+//# sourceMappingURL=runtime-subset.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"runtime-subset.d.ts","sourceRoot":"","sources":["../../../src/expressions/identifier-storage/runtime-subset.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAWjE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,wCAAwC,CAAC;AAKlF,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,SAqE1C,CAAC;AAEF,eAAO,MAAM,8CAA8C,GACzD,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,cAAc,MAAM,GAAG,SAAS,KAC/B,CAAC,mBAAmB,EAAE,cAAc,CAAC,GAAG,SA8D1C,CAAC"}

package/dist/expressions/identifier-storage/runtime-subset.js

@@ -0,0 +1,100 @@
+import { emitTypeAst } from "../../type-emitter.js";
+import { escapeCSharpIdentifier } from "../../emitter-types/index.js";
+import { identifierExpression } from "../../core/format/backend-ast/builders.js";
+import { stableTypeKeyFromAst } from "../../core/format/backend-ast/utils.js";
+import { tryBuildRuntimeMaterializationAst, } from "../../core/semantic/runtime-reification.js";
+import { buildRuntimeUnionLayout } from "../../core/semantic/runtime-unions.js";
+import { getCanonicalRuntimeUnionMembers } from "../../core/semantic/runtime-union-frame.js";
+import { willCarryAsRuntimeUnion } from "../../core/semantic/union-semantics.js";
+import { isBroadStorageTarget } from "./broad-storage-target.js";
+import { wrapMaterializedTargetAst } from "./storage-surface-shared.js";
+export const buildRuntimeSubsetExpressionAst = (expr, narrowed, context, targetType = narrowed.type) => {
+    const sourceType = narrowed.sourceType ?? expr.inferredType;
+    if (!sourceType || !targetType) {
+        return undefined;
+    }
+    const sourceFrame = (() => {
+        const sourceValueAst = narrowed.storageExprAst ??
+            identifierExpression(escapeCSharpIdentifier(expr.name));
+        if (narrowed.sourceMembers &&
+            narrowed.sourceCandidateMemberNs &&
+            narrowed.sourceMembers.length === narrowed.sourceCandidateMemberNs.length) {
+            const explicitFrame = {
+                members: narrowed.sourceMembers,
+                candidateMemberNs: narrowed.sourceCandidateMemberNs,
+                runtimeUnionArity: narrowed.runtimeUnionArity,
+            };
+            const storageType = context.localValueTypes?.get(expr.name);
+            const storageMembers = sourceValueAst.kind === "identifierExpression" && storageType
+                ? getCanonicalRuntimeUnionMembers(storageType, context)
+                : undefined;
+            return storageMembers &&
+                storageMembers.length > (explicitFrame.runtimeUnionArity ?? 0)
+                ? {
+                    members: storageMembers,
+                    candidateMemberNs: storageMembers.map((_, index) => index + 1),
+                    runtimeUnionArity: storageMembers.length,
+                }
+                : explicitFrame;
+        }
+        const inferredMembers = narrowed.type
+            ? getCanonicalRuntimeUnionMembers(narrowed.type, context)
+            : undefined;
+        return inferredMembers &&
+            inferredMembers.length === narrowed.runtimeMemberNs.length
+            ? {
+                members: inferredMembers,
+                candidateMemberNs: narrowed.runtimeMemberNs,
+                runtimeUnionArity: narrowed.runtimeUnionArity,
+            }
+            : undefined;
+    })();
+    const sourceValueAst = narrowed.storageExprAst ??
+        identifierExpression(escapeCSharpIdentifier(expr.name));
+    const materialized = tryBuildRuntimeMaterializationAst(sourceValueAst, sourceType, targetType, context, emitTypeAst, new Set(narrowed.runtimeMemberNs), sourceFrame);
+    if (!materialized) {
+        return undefined;
+    }
+    return wrapMaterializedTargetAst(materialized[0], targetType, materialized[1]);
+};
+export const tryEmitRuntimeSubsetMemberProjectionIdentifier = (expr, narrowed, context, expectedType) => {
+    if (!expectedType ||
+        isBroadStorageTarget(expectedType, context) ||
+        willCarryAsRuntimeUnion(expectedType, context) ||
+        narrowed.runtimeMemberNs.length !== 1) {
+        return undefined;
+    }
+    const [sourceMemberN] = narrowed.runtimeMemberNs;
+    if (sourceMemberN === undefined || sourceMemberN < 1) {
+        return undefined;
+    }
+    const sourceType = narrowed.sourceType ?? expr.inferredType;
+    if (!sourceType) {
+        return undefined;
+    }
+    const [sourceLayout, sourceLayoutContext] = buildRuntimeUnionLayout(sourceType, context, emitTypeAst);
+    const sourceMember = sourceLayout?.members[sourceMemberN - 1];
+    if (!sourceLayout || !sourceMember) {
+        return undefined;
+    }
+    const [sourceMemberAst, sourceMemberContext] = emitTypeAst(sourceMember, sourceLayoutContext);
+    const [expectedAst, expectedContext] = emitTypeAst(expectedType, sourceMemberContext);
+    if (stableTypeKeyFromAst(sourceMemberAst) !== stableTypeKeyFromAst(expectedAst)) {
+        return undefined;
+    }
+    const carrierAst = narrowed.storageExprAst ??
+        identifierExpression(context.localNameMap?.get(expr.name) ?? escapeCSharpIdentifier(expr.name));
+    return [
+        {
+            kind: "invocationExpression",
+            expression: {
+                kind: "memberAccessExpression",
+                expression: carrierAst,
+                memberName: `As${sourceMemberN}`,
+            },
+            arguments: [],
+        },
+        expectedContext,
+    ];
+};
+//# sourceMappingURL=runtime-subset.js.map

package/dist/expressions/identifier-storage/runtime-subset.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime-subset.js","sourceRoot":"","sources":["../../../src/expressions/identifier-storage/runtime-subset.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,EAEL,iCAAiC,GAClC,MAAM,4CAA4C,CAAC;AACpD,OAAO,EAAE,uBAAuB,EAAE,MAAM,uCAAuC,CAAC;AAChF,OAAO,EAAE,+BAA+B,EAAE,MAAM,4CAA4C,CAAC;AAE7F,OAAO,EAAE,uBAAuB,EAAE,MAAM,wCAAwC,CAAC;AACjF,OAAO,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAC;AACjE,OAAO,EAAE,yBAAyB,EAAE,MAAM,6BAA6B,CAAC;AAExE,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAC7C,IAAmD,EACnD,QAA6D,EAC7D,OAAuB,EACvB,aAAiC,QAAQ,CAAC,IAAI,EACK,EAAE;IACrD,MAAM,UAAU,GAAG,QAAQ,CAAC,UAAU,IAAI,IAAI,CAAC,YAAY,CAAC;IAC5D,IAAI,CAAC,UAAU,IAAI,CAAC,UAAU,EAAE,CAAC;QAC/B,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,WAAW,GAAkD,CAAC,GAAG,EAAE;QACvE,MAAM,cAAc,GAClB,QAAQ,CAAC,cAAc;YACvB,oBAAoB,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QAC1D,IACE,QAAQ,CAAC,aAAa;YACtB,QAAQ,CAAC,uBAAuB;YAChC,QAAQ,CAAC,aAAa,CAAC,MAAM,KAAK,QAAQ,CAAC,uBAAuB,CAAC,MAAM,EACzE,CAAC;YACD,MAAM,aAAa,GAAG;gBACpB,OAAO,EAAE,QAAQ,CAAC,aAAa;gBAC/B,iBAAiB,EAAE,QAAQ,CAAC,uBAAuB;gBACnD,iBAAiB,EAAE,QAAQ,CAAC,iBAAiB;aAC9C,CAAC;YACF,MAAM,WAAW,GAAG,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC5D,MAAM,cAAc,GAClB,cAAc,CAAC,IAAI,KAAK,sBAAsB,IAAI,WAAW;gBAC3D,CAAC,CAAC,+BAA+B,CAAC,WAAW,EAAE,OAAO,CAAC;gBACvD,CAAC,CAAC,SAAS,CAAC;YAChB,OAAO,cAAc;gBACnB,cAAc,CAAC,MAAM,GAAG,CAAC,aAAa,CAAC,iBAAiB,IAAI,CAAC,CAAC;gBAC9D,CAAC,CAAC;oBACE,OAAO,EAAE,cAAc;oBACvB,iBAAiB,EAAE,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,GAAG,CAAC,CAAC;oBAC9D,iBAAiB,EAAE,cAAc,CAAC,MAAM;iBACzC;gBACH,CAAC,CAAC,aAAa,CAAC;QACpB,CAAC;QAED,MAAM,eAAe,GAAG,QAAQ,CAAC,IAAI;YACnC,CAAC,CAAC,+BAA+B,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;YACzD,CAAC,CAAC,SAAS,CAAC;QACd,OAAO,eAAe;YACpB,eAAe,CAAC,MAAM,KAAK,QAAQ,CAAC,eAAe,CAAC,MAAM;YAC1D,CAAC,CAAC;gBACE,OAAO,EAAE,eAAe;gBACxB,iBAAiB,EAAE,QAAQ,CAAC,eAAe;gBAC3C,iBAAiB,EAAE,QAAQ,CAAC,iBAAiB;aAC9C;YACH,CAAC,CAAC,SAAS,CAAC;IAChB,CAAC,CAAC,EAAE,CAAC;IACL,MAAM,cAAc,GAClB,QAAQ,CAAC,cAAc;QACvB,oBAAoB,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IAE1D,MAAM,YAAY,GAAG,iCAAiC,CACpD,cAAc,EACd,UAAU,EACV,UAAU,EACV,OAAO,EACP,WAAW,EACX,IAAI,GAAG,CAAC,QAAQ,CAAC,eAAe,CAAC,EACjC,WAAW,CACZ,CAAC;IACF,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,yBAAyB,CAC9B,YAAY,CAAC,CAAC,CAAC,EACf,UAAU,EACV,YAAY,CAAC,CAAC,CAAC,CAChB,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,8CAA8C,GAAG,CAC5D,IAAmD,EACnD,QAA6D,EAC7D,OAAuB,EACvB,YAAgC,EACmB,EAAE;IACrD,IACE,CAAC,YAAY;QACb,oBAAoB,CAAC,YAAY,EAAE,OAAO,CAAC;QAC3C,uBAAuB,CAAC,YAAY,EAAE,OAAO,CAAC;QAC9C,QAAQ,CAAC,eAAe,CAAC,MAAM,KAAK,CAAC,EACrC,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,CAAC,aAAa,CAAC,GAAG,QAAQ,CAAC,eAAe,CAAC;IACjD,IAAI,aAAa,KAAK,SAAS,IAAI,aAAa,GAAG,CAAC,EAAE,CAAC;QACrD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,UAAU,GAAG,QAAQ,CAAC,UAAU,IAAI,IAAI,CAAC,YAAY,CAAC;IAC5D,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,CAAC,YAAY,EAAE,mBAAmB,CAAC,GAAG,uBAAuB,CACjE,UAAU,EACV,OAAO,EACP,WAAW,CACZ,CAAC;IACF,MAAM,YAAY,GAAG,YAAY,EAAE,OAAO,CAAC,aAAa,GAAG,CAAC,CAAC,CAAC;IAC9D,IAAI,CAAC,YAAY,IAAI,CAAC,YAAY,EAAE,CAAC;QACnC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,CAAC,eAAe,EAAE,mBAAmB,CAAC,GAAG,WAAW,CACxD,YAAY,EACZ,mBAAmB,CACpB,CAAC;IACF,MAAM,CAAC,WAAW,EAAE,eAAe,CAAC,GAAG,WAAW,CAChD,YAAY,EACZ,mBAAmB,CACpB,CAAC;IACF,IACE,oBAAoB,CAAC,eAAe,CAAC,KAAK,oBAAoB,CAAC,WAAW,CAAC,EAC3E,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,UAAU,GACd,QAAQ,CAAC,cAAc;QACvB,oBAAoB,CAClB,OAAO,CAAC,YAAY,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,CAC1E,CAAC;IAEJ,OAAO;QACL;YACE,IAAI,EAAE,sBAAsB;YAC5B,UAAU,EAAE;gBACV,IAAI,EAAE,wBAAwB;gBAC9B,UAAU,EAAE,UAAU;gBACtB,UAAU,EAAE,KAAK,aAAa,EAAE;aACjC;YACD,SAAS,EAAE,EAAE;SACd;QACD,eAAe;KAChB,CAAC;AACJ,CAAC,CAAC"}

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

@@ -0,0 +1,10 @@
+import { IrExpression, IrType } from "@tsonic/frontend";
+import { EmitterContext } from "../../types.js";
+import type { CSharpExpressionAst } from "../../core/format/backend-ast/types.js";
+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;
+//# sourceMappingURL=storage-compatible.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"storage-compatible.d.ts","sourceRoot":"","sources":["../../../src/expressions/identifier-storage/storage-compatible.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAKhD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,wCAAwC,CAAC;AAQlF,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,SAwDxB,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"}