@tsonic/emitter 0.0.73 → 0.0.75

package/dist/core/semantic/direct-value-surfaces.js

@@ -0,0 +1,181 @@
+import { getRuntimeUnionReferenceMembers } from "./runtime-union-shared.js";
+import { getCanonicalRuntimeUnionMembers } from "./runtime-unions.js";
+import { getPropertyType, resolveTypeAlias } from "./type-resolution.js";
+const resolveDirectIdentifierName = (emittedIdentifier, context) => {
+    if (context.localValueTypes?.has(emittedIdentifier) ||
+        context.localSemanticTypes?.has(emittedIdentifier) ||
+        context.narrowedBindings?.has(emittedIdentifier)) {
+        return emittedIdentifier;
+    }
+    const narrowedRename = Array.from(context.narrowedBindings ?? []).find(([, binding]) => binding.kind === "rename" && binding.name === emittedIdentifier)?.[0];
+    if (narrowedRename) {
+        return narrowedRename;
+    }
+    return Array.from(context.localNameMap ?? []).find(([, emitted]) => emitted === emittedIdentifier)?.[0];
+};
+const resolveDirectIdentifierBinding = (emittedIdentifier, context) => {
+    if (context.localValueTypes?.has(emittedIdentifier) ||
+        context.localSemanticTypes?.has(emittedIdentifier) ||
+        context.narrowedBindings?.has(emittedIdentifier)) {
+        return {
+            sourceName: emittedIdentifier,
+            isNarrowedRenameIdentifier: false,
+        };
+    }
+    const narrowedRename = Array.from(context.narrowedBindings ?? []).find(([, binding]) => binding.kind === "rename" && binding.name === emittedIdentifier)?.[0];
+    if (narrowedRename) {
+        return {
+            sourceName: narrowedRename,
+            isNarrowedRenameIdentifier: true,
+        };
+    }
+    const sourceName = Array.from(context.localNameMap ?? []).find(([, emitted]) => emitted === emittedIdentifier)?.[0];
+    return sourceName
+        ? {
+            sourceName,
+            isNarrowedRenameIdentifier: false,
+        }
+        : undefined;
+};
+const unwrapTransparentValueAst = (valueAst) => valueAst.kind === "parenthesizedExpression"
+    ? unwrapTransparentValueAst(valueAst.expression)
+    : valueAst;
+const hasExplicitRuntimeCarrierIdentity = (candidate, context) => {
+    if (!candidate) {
+        return false;
+    }
+    if (candidate.kind === "referenceType" &&
+        getRuntimeUnionReferenceMembers(candidate) !== undefined) {
+        return true;
+    }
+    const resolved = resolveTypeAlias(candidate, context);
+    return (resolved.kind === "unionType" &&
+        resolved.runtimeCarrierFamilyKey !== undefined);
+};
+const preferRuntimeCarrierCandidate = (context, ...candidates) => candidates.find((candidate) => hasExplicitRuntimeCarrierIdentity(candidate, context)) ??
+    candidates.find((candidate) => candidate !== undefined);
+const tryResolveRuntimeUnionAsMemberType = (valueAst, context) => {
+    const directAst = unwrapTransparentValueAst(valueAst);
+    if (directAst.kind !== "invocationExpression") {
+        return undefined;
+    }
+    if (directAst.expression.kind !== "memberAccessExpression" ||
+        directAst.arguments.length !== 0) {
+        return undefined;
+    }
+    const memberMatch = /^As(\d+)$/.exec(directAst.expression.memberName);
+    if (!memberMatch) {
+        return undefined;
+    }
+    const memberIndex = Number(memberMatch[1]) - 1;
+    if (!Number.isInteger(memberIndex) || memberIndex < 0) {
+        return undefined;
+    }
+    const receiverCarrierType = preferRuntimeCarrierCandidate(context, resolveDirectRuntimeCarrierType(directAst.expression.expression, context), resolveDirectValueSurfaceType(directAst.expression.expression, context));
+    if (!receiverCarrierType) {
+        return undefined;
+    }
+    const runtimeMembers = getCanonicalRuntimeUnionMembers(receiverCarrierType, context);
+    return runtimeMembers?.[memberIndex];
+};
+const withOptionalUndefined = (type) => {
+    if (type.kind === "unionType" &&
+        type.types.some((member) => member.kind === "primitiveType" && member.name === "undefined")) {
+        return type;
+    }
+    return type.kind === "unionType"
+        ? {
+            ...type,
+            types: [...type.types, { kind: "primitiveType", name: "undefined" }],
+        }
+        : {
+            kind: "unionType",
+            types: [type, { kind: "primitiveType", name: "undefined" }],
+        };
+};
+const tryResolveDirectMemberAccessSurfaceType = (valueAst, context) => {
+    const directAst = unwrapTransparentValueAst(valueAst);
+    if (directAst.kind !== "memberAccessExpression" &&
+        directAst.kind !== "conditionalMemberAccessExpression") {
+        return undefined;
+    }
+    const receiverType = preferRuntimeCarrierCandidate(context, resolveDirectRuntimeCarrierType(directAst.expression, context), resolveDirectValueSurfaceType(directAst.expression, context));
+    if (!receiverType) {
+        return undefined;
+    }
+    const memberType = getPropertyType(receiverType, directAst.memberName, context);
+    if (!memberType) {
+        return undefined;
+    }
+    return directAst.kind === "conditionalMemberAccessExpression"
+        ? withOptionalUndefined(memberType)
+        : memberType;
+};
+const resolveNamedRuntimeCarrierType = (name, context) => {
+    const localSemanticType = context.localSemanticTypes?.get(name);
+    const localStorageType = context.localValueTypes?.get(name);
+    const narrowed = context.narrowedBindings?.get(name);
+    if (!narrowed) {
+        return preferRuntimeCarrierCandidate(context, localStorageType, localSemanticType);
+    }
+    switch (narrowed.kind) {
+        case "expr":
+            return narrowed.carrierExprAst
+                ? preferRuntimeCarrierCandidate(context, narrowed.carrierType, narrowed.sourceType, localSemanticType, narrowed.type, narrowed.storageType, localStorageType)
+                : preferRuntimeCarrierCandidate(context, narrowed.sourceType, localSemanticType, narrowed.type, narrowed.storageType, localStorageType);
+        case "runtimeSubset":
+            return preferRuntimeCarrierCandidate(context, narrowed.sourceType, localSemanticType, narrowed.type, localStorageType);
+        case "rename":
+            return preferRuntimeCarrierCandidate(context, narrowed.sourceType, localSemanticType, narrowed.type, localStorageType);
+    }
+};
+export const resolveDirectValueSurfaceType = (valueAst, context) => {
+    const directAst = unwrapTransparentValueAst(valueAst);
+    if (directAst.kind !== "identifierExpression") {
+        return (tryResolveRuntimeUnionAsMemberType(directAst, context) ??
+            tryResolveDirectMemberAccessSurfaceType(directAst, context));
+    }
+    const originalName = resolveDirectIdentifierName(directAst.identifier, context);
+    if (!originalName) {
+        return undefined;
+    }
+    const narrowed = context.narrowedBindings?.get(originalName);
+    if (narrowed?.kind === "expr" || narrowed?.kind === "runtimeSubset") {
+        return narrowed.type ?? narrowed.sourceType;
+    }
+    if (narrowed?.kind === "rename") {
+        return narrowed.type ?? narrowed.sourceType;
+    }
+    return context.localValueTypes?.get(originalName);
+};
+export const resolveDirectRuntimeCarrierType = (valueAst, context) => {
+    const directAst = unwrapTransparentValueAst(valueAst);
+    if (directAst.kind !== "identifierExpression") {
+        const materializedMemberType = tryResolveRuntimeUnionAsMemberType(directAst, context);
+        return hasExplicitRuntimeCarrierIdentity(materializedMemberType, context)
+            ? materializedMemberType
+            : undefined;
+    }
+    const identifierBinding = resolveDirectIdentifierBinding(directAst.identifier, context);
+    if (!identifierBinding) {
+        return undefined;
+    }
+    if (identifierBinding.isNarrowedRenameIdentifier) {
+        const narrowed = context.narrowedBindings?.get(identifierBinding.sourceName);
+        return hasExplicitRuntimeCarrierIdentity(narrowed?.type, context)
+            ? narrowed?.type
+            : undefined;
+    }
+    return resolveNamedRuntimeCarrierType(identifierBinding.sourceName, context);
+};
+export const resolveIdentifierValueSurfaceType = (expr, context) => {
+    const narrowed = context.narrowedBindings?.get(expr.name);
+    if (narrowed?.kind === "expr") {
+        return narrowed.type ?? narrowed.sourceType;
+    }
+    if (narrowed?.kind === "runtimeSubset") {
+        return narrowed.type ?? narrowed.sourceType;
+    }
+    return context.localValueTypes?.get(expr.name);
+};
+//# sourceMappingURL=direct-value-surfaces.js.map

package/dist/core/semantic/direct-value-surfaces.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"direct-value-surfaces.js","sourceRoot":"","sources":["../../../src/core/semantic/direct-value-surfaces.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,+BAA+B,EAAE,MAAM,2BAA2B,CAAC;AAC5E,OAAO,EAAE,+BAA+B,EAAE,MAAM,qBAAqB,CAAC;AACtE,OAAO,EAAE,eAAe,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AAEzE,MAAM,2BAA2B,GAAG,CAClC,iBAAyB,EACzB,OAAuB,EACH,EAAE;IACtB,IACE,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,iBAAiB,CAAC;QAC/C,OAAO,CAAC,kBAAkB,EAAE,GAAG,CAAC,iBAAiB,CAAC;QAClD,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,iBAAiB,CAAC,EAChD,CAAC;QACD,OAAO,iBAAiB,CAAC;IAC3B,CAAC;IAED,MAAM,cAAc,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,gBAAgB,IAAI,EAAE,CAAC,CAAC,IAAI,CACpE,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,EAAE,CACd,OAAO,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,IAAI,KAAK,iBAAiB,CAClE,EAAE,CAAC,CAAC,CAAC,CAAC;IACP,IAAI,cAAc,EAAE,CAAC;QACnB,OAAO,cAAc,CAAC;IACxB,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC,IAAI,CAChD,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC,OAAO,KAAK,iBAAiB,CAC/C,EAAE,CAAC,CAAC,CAAC,CAAC;AACT,CAAC,CAAC;AAEF,MAAM,8BAA8B,GAAG,CACrC,iBAAyB,EACzB,OAAuB,EAMX,EAAE;IACd,IACE,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,iBAAiB,CAAC;QAC/C,OAAO,CAAC,kBAAkB,EAAE,GAAG,CAAC,iBAAiB,CAAC;QAClD,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,iBAAiB,CAAC,EAChD,CAAC;QACD,OAAO;YACL,UAAU,EAAE,iBAAiB;YAC7B,0BAA0B,EAAE,KAAK;SAClC,CAAC;IACJ,CAAC;IAED,MAAM,cAAc,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,gBAAgB,IAAI,EAAE,CAAC,CAAC,IAAI,CACpE,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,EAAE,CACd,OAAO,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,IAAI,KAAK,iBAAiB,CAClE,EAAE,CAAC,CAAC,CAAC,CAAC;IACP,IAAI,cAAc,EAAE,CAAC;QACnB,OAAO;YACL,UAAU,EAAE,cAAc;YAC1B,0BAA0B,EAAE,IAAI;SACjC,CAAC;IACJ,CAAC;IAED,MAAM,UAAU,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC,IAAI,CAC5D,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC,OAAO,KAAK,iBAAiB,CAC/C,EAAE,CAAC,CAAC,CAAC,CAAC;IACP,OAAO,UAAU;QACf,CAAC,CAAC;YACE,UAAU;YACV,0BAA0B,EAAE,KAAK;SAClC;QACH,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC,CAAC;AAEF,MAAM,yBAAyB,GAAG,CAChC,QAA6B,EACR,EAAE,CACvB,QAAQ,CAAC,IAAI,KAAK,yBAAyB;IACzC,CAAC,CAAC,yBAAyB,CAAC,QAAQ,CAAC,UAAU,CAAC;IAChD,CAAC,CAAC,QAAQ,CAAC;AAEf,MAAM,iCAAiC,GAAG,CACxC,SAA6B,EAC7B,OAAuB,EACF,EAAE;IACvB,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IACE,SAAS,CAAC,IAAI,KAAK,eAAe;QAClC,+BAA+B,CAAC,SAAS,CAAC,KAAK,SAAS,EACxD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,QAAQ,GAAG,gBAAgB,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IACtD,OAAO,CACL,QAAQ,CAAC,IAAI,KAAK,WAAW;QAC7B,QAAQ,CAAC,uBAAuB,KAAK,SAAS,CAC/C,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,6BAA6B,GAAG,CACpC,OAAuB,EACvB,GAAG,UAAkC,EACjB,EAAE,CACtB,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAC5B,iCAAiC,CAAC,SAAS,EAAE,OAAO,CAAC,CACtD;IACD,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAuB,EAAE,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC;AAE/E,MAAM,kCAAkC,GAAG,CACzC,QAA6B,EAC7B,OAAuB,EACH,EAAE;IACtB,MAAM,SAAS,GAAG,yBAAyB,CAAC,QAAQ,CAAC,CAAC;IACtD,IAAI,SAAS,CAAC,IAAI,KAAK,sBAAsB,EAAE,CAAC;QAC9C,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IACE,SAAS,CAAC,UAAU,CAAC,IAAI,KAAK,wBAAwB;QACtD,SAAS,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAChC,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,WAAW,GAAG,WAAW,CAAC,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;IACtE,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,WAAW,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IAC/C,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,WAAW,CAAC,IAAI,WAAW,GAAG,CAAC,EAAE,CAAC;QACtD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,mBAAmB,GAAG,6BAA6B,CACvD,OAAO,EACP,+BAA+B,CAAC,SAAS,CAAC,UAAU,CAAC,UAAU,EAAE,OAAO,CAAC,EACzE,6BAA6B,CAAC,SAAS,CAAC,UAAU,CAAC,UAAU,EAAE,OAAO,CAAC,CACxE,CAAC;IACF,IAAI,CAAC,mBAAmB,EAAE,CAAC;QACzB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,cAAc,GAAG,+BAA+B,CACpD,mBAAmB,EACnB,OAAO,CACR,CAAC;IACF,OAAO,cAAc,EAAE,CAAC,WAAW,CAAC,CAAC;AACvC,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAAC,IAAY,EAAU,EAAE;IACrD,IACE,IAAI,CAAC,IAAI,KAAK,WAAW;QACzB,IAAI,CAAC,KAAK,CAAC,IAAI,CACb,CAAC,MAAM,EAAE,EAAE,CACT,MAAM,CAAC,IAAI,KAAK,eAAe,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW,CACjE,EACD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,IAAI,CAAC,IAAI,KAAK,WAAW;QAC9B,CAAC,CAAC;YACE,GAAG,IAAI;YACP,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;SACrE;QACH,CAAC,CAAC;YACE,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;SAC5D,CAAC;AACR,CAAC,CAAC;AAEF,MAAM,uCAAuC,GAAG,CAC9C,QAA6B,EAC7B,OAAuB,EACH,EAAE;IACtB,MAAM,SAAS,GAAG,yBAAyB,CAAC,QAAQ,CAAC,CAAC;IACtD,IACE,SAAS,CAAC,IAAI,KAAK,wBAAwB;QAC3C,SAAS,CAAC,IAAI,KAAK,mCAAmC,EACtD,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,YAAY,GAAG,6BAA6B,CAChD,OAAO,EACP,+BAA+B,CAAC,SAAS,CAAC,UAAU,EAAE,OAAO,CAAC,EAC9D,6BAA6B,CAAC,SAAS,CAAC,UAAU,EAAE,OAAO,CAAC,CAC7D,CAAC;IACF,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,UAAU,GAAG,eAAe,CAAC,YAAY,EAAE,SAAS,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAChF,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,SAAS,CAAC,IAAI,KAAK,mCAAmC;QAC3D,CAAC,CAAC,qBAAqB,CAAC,UAAU,CAAC;QACnC,CAAC,CAAC,UAAU,CAAC;AACjB,CAAC,CAAC;AAEF,MAAM,8BAA8B,GAAG,CACrC,IAAY,EACZ,OAAuB,EACH,EAAE;IACtB,MAAM,iBAAiB,GAAG,OAAO,CAAC,kBAAkB,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;IAChE,MAAM,gBAAgB,GAAG,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;IAC5D,MAAM,QAAQ,GAAG,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;IAErD,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,6BAA6B,CAClC,OAAO,EACP,gBAAgB,EAChB,iBAAiB,CAClB,CAAC;IACJ,CAAC;IAED,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;QACtB,KAAK,MAAM;YACT,OAAO,QAAQ,CAAC,cAAc;gBAC5B,CAAC,CAAC,6BAA6B,CAC3B,OAAO,EACP,QAAQ,CAAC,WAAW,EACpB,QAAQ,CAAC,UAAU,EACnB,iBAAiB,EACjB,QAAQ,CAAC,IAAI,EACb,QAAQ,CAAC,WAAW,EACpB,gBAAgB,CACjB;gBACH,CAAC,CAAC,6BAA6B,CAC3B,OAAO,EACP,QAAQ,CAAC,UAAU,EACnB,iBAAiB,EACjB,QAAQ,CAAC,IAAI,EACb,QAAQ,CAAC,WAAW,EACpB,gBAAgB,CACjB,CAAC;QACR,KAAK,eAAe;YAClB,OAAO,6BAA6B,CAClC,OAAO,EACP,QAAQ,CAAC,UAAU,EACnB,iBAAiB,EACjB,QAAQ,CAAC,IAAI,EACb,gBAAgB,CACjB,CAAC;QACJ,KAAK,QAAQ;YACX,OAAO,6BAA6B,CAClC,OAAO,EACP,QAAQ,CAAC,UAAU,EACnB,iBAAiB,EACjB,QAAQ,CAAC,IAAI,EACb,gBAAgB,CACjB,CAAC;IACN,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAC3C,QAA6B,EAC7B,OAAuB,EACH,EAAE;IACtB,MAAM,SAAS,GAAG,yBAAyB,CAAC,QAAQ,CAAC,CAAC;IACtD,IAAI,SAAS,CAAC,IAAI,KAAK,sBAAsB,EAAE,CAAC;QAC9C,OAAO,CACL,kCAAkC,CAAC,SAAS,EAAE,OAAO,CAAC;YACtD,uCAAuC,CAAC,SAAS,EAAE,OAAO,CAAC,CAC5D,CAAC;IACJ,CAAC;IAED,MAAM,YAAY,GAAG,2BAA2B,CAC9C,SAAS,CAAC,UAAU,EACpB,OAAO,CACR,CAAC;IACF,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,QAAQ,GAAG,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC;IAC7D,IAAI,QAAQ,EAAE,IAAI,KAAK,MAAM,IAAI,QAAQ,EAAE,IAAI,KAAK,eAAe,EAAE,CAAC;QACpE,OAAO,QAAQ,CAAC,IAAI,IAAI,QAAQ,CAAC,UAAU,CAAC;IAC9C,CAAC;IAED,IAAI,QAAQ,EAAE,IAAI,KAAK,QAAQ,EAAE,CAAC;QAChC,OAAO,QAAQ,CAAC,IAAI,IAAI,QAAQ,CAAC,UAAU,CAAC;IAC9C,CAAC;IAED,OAAO,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC;AACpD,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAC7C,QAA6B,EAC7B,OAAuB,EACH,EAAE;IACtB,MAAM,SAAS,GAAG,yBAAyB,CAAC,QAAQ,CAAC,CAAC;IACtD,IAAI,SAAS,CAAC,IAAI,KAAK,sBAAsB,EAAE,CAAC;QAC9C,MAAM,sBAAsB,GAAG,kCAAkC,CAC/D,SAAS,EACT,OAAO,CACR,CAAC;QACF,OAAO,iCAAiC,CAAC,sBAAsB,EAAE,OAAO,CAAC;YACvE,CAAC,CAAC,sBAAsB;YACxB,CAAC,CAAC,SAAS,CAAC;IAChB,CAAC;IAED,MAAM,iBAAiB,GAAG,8BAA8B,CACtD,SAAS,CAAC,UAAU,EACpB,OAAO,CACR,CAAC;IACF,IAAI,CAAC,iBAAiB,EAAE,CAAC;QACvB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,iBAAiB,CAAC,0BAA0B,EAAE,CAAC;QACjD,MAAM,QAAQ,GAAG,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAC;QAC7E,OAAO,iCAAiC,CAAC,QAAQ,EAAE,IAAI,EAAE,OAAO,CAAC;YAC/D,CAAC,CAAC,QAAQ,EAAE,IAAI;YAChB,CAAC,CAAC,SAAS,CAAC;IAChB,CAAC;IAED,OAAO,8BAA8B,CAAC,iBAAiB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;AAC/E,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,iCAAiC,GAAG,CAC/C,IAAmD,EACnD,OAAuB,EACH,EAAE;IACtB,MAAM,QAAQ,GAAG,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1D,IAAI,QAAQ,EAAE,IAAI,KAAK,MAAM,EAAE,CAAC;QAC9B,OAAO,QAAQ,CAAC,IAAI,IAAI,QAAQ,CAAC,UAAU,CAAC;IAC9C,CAAC;IAED,IAAI,QAAQ,EAAE,IAAI,KAAK,eAAe,EAAE,CAAC;QACvC,OAAO,QAAQ,CAAC,IAAI,IAAI,QAAQ,CAAC,UAAU,CAAC;IAC9C,CAAC;IAED,OAAO,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACjD,CAAC,CAAC"}

package/dist/core/semantic/direct-value-surfaces.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=direct-value-surfaces.test.d.ts.map

package/dist/core/semantic/direct-value-surfaces.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"direct-value-surfaces.test.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/direct-value-surfaces.test.ts"],"names":[],"mappings":""}

package/dist/core/semantic/direct-value-surfaces.test.js

@@ -0,0 +1,116 @@
+import { describe, it } from "mocha";
+import { expect } from "chai";
+import { createContext } from "../../emitter-types/context.js";
+import { decimalIntegerLiteral } from "../format/backend-ast/builders.js";
+import { resolveDirectRuntimeCarrierType, resolveDirectValueSurfaceType, } from "./direct-value-surfaces.js";
+const stringType = { kind: "primitiveType", name: "string" };
+const numberType = { kind: "primitiveType", name: "number" };
+const uint8ArrayType = {
+    kind: "referenceType",
+    name: "Uint8Array",
+    resolvedClrType: "js.Uint8Array",
+};
+describe("direct-value-surfaces", () => {
+    it("returns direct local value types for emitted identifiers", () => {
+        const context = {
+            ...createContext({ rootNamespace: "Test" }),
+            localValueTypes: new Map([["value", stringType]]),
+        };
+        expect(resolveDirectValueSurfaceType({ kind: "identifierExpression", identifier: "value" }, context)).to.equal(stringType);
+    });
+    it("resolves through local name remapping when the emitted identifier differs", () => {
+        const context = {
+            ...createContext({ rootNamespace: "Test" }),
+            localNameMap: new Map([["source", "__source_1"]]),
+            localValueTypes: new Map([["source", numberType]]),
+        };
+        expect(resolveDirectValueSurfaceType({ kind: "identifierExpression", identifier: "__source_1" }, context)).to.equal(numberType);
+    });
+    it("returns undefined for non-identifier ASTs", () => {
+        const context = createContext({ rootNamespace: "Test" });
+        expect(resolveDirectValueSurfaceType(decimalIntegerLiteral(1), context)).to.equal(undefined);
+    });
+    it("uses narrowed rename bindings when the emitted identifier is a branch temp", () => {
+        const narrowedStringType = {
+            kind: "referenceType",
+            name: "Uint8Array",
+            resolvedClrType: "js.Uint8Array",
+        };
+        const context = {
+            ...createContext({ rootNamespace: "Test" }),
+            narrowedBindings: new Map([
+                [
+                    "value",
+                    {
+                        kind: "rename",
+                        name: "value__is_2",
+                        type: narrowedStringType,
+                    },
+                ],
+            ]),
+        };
+        expect(resolveDirectValueSurfaceType({ kind: "identifierExpression", identifier: "value__is_2" }, context)).to.equal(narrowedStringType);
+    });
+    it("uses narrowed expr bindings for direct emitted identifiers", () => {
+        const unionCarrierType = {
+            kind: "unionType",
+            types: [uint8ArrayType, stringType],
+            runtimeCarrierFamilyKey: "Uint8Array|string",
+            preserveRuntimeLayout: true,
+        };
+        const context = {
+            ...createContext({ rootNamespace: "Test" }),
+            localValueTypes: new Map([["msg", unionCarrierType]]),
+            narrowedBindings: new Map([
+                [
+                    "msg",
+                    {
+                        kind: "expr",
+                        exprAst: {
+                            kind: "identifierExpression",
+                            identifier: "msg",
+                        },
+                        carrierExprAst: {
+                            kind: "identifierExpression",
+                            identifier: "msg",
+                        },
+                        carrierType: unionCarrierType,
+                        type: uint8ArrayType,
+                        sourceType: unionCarrierType,
+                    },
+                ],
+            ]),
+        };
+        expect(resolveDirectValueSurfaceType({ kind: "identifierExpression", identifier: "msg" }, context)).to.equal(uint8ArrayType);
+        expect(resolveDirectRuntimeCarrierType({ kind: "identifierExpression", identifier: "msg" }, context)).to.equal(unionCarrierType);
+    });
+    it("resolves direct runtime-union member materializations produced by AsN()", () => {
+        const unionCarrierType = {
+            kind: "unionType",
+            types: [uint8ArrayType, stringType],
+            runtimeCarrierFamilyKey: "Uint8Array|string",
+        };
+        const context = {
+            ...createContext({ rootNamespace: "Test" }),
+            localValueTypes: new Map([["msg", unionCarrierType]]),
+        };
+        const as1Ast = {
+            kind: "parenthesizedExpression",
+            expression: {
+                kind: "invocationExpression",
+                expression: {
+                    kind: "memberAccessExpression",
+                    expression: {
+                        kind: "identifierExpression",
+                        identifier: "msg",
+                    },
+                    memberName: "As1",
+                },
+                arguments: [],
+            },
+        };
+        expect(resolveDirectValueSurfaceType(as1Ast, context)).to.equal(stringType);
+        expect(resolveDirectRuntimeCarrierType(as1Ast, context)).to.equal(undefined);
+    });
+});
+//# sourceMappingURL=direct-value-surfaces.test.js.map

package/dist/core/semantic/direct-value-surfaces.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"direct-value-surfaces.test.js","sourceRoot":"","sources":["../../../src/core/semantic/direct-value-surfaces.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAE9B,OAAO,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAC;AAC/D,OAAO,EAAE,qBAAqB,EAAE,MAAM,mCAAmC,CAAC;AAC1E,OAAO,EACL,+BAA+B,EAC/B,6BAA6B,GAC9B,MAAM,4BAA4B,CAAC;AAEpC,MAAM,UAAU,GAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AACrE,MAAM,UAAU,GAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AACrE,MAAM,cAAc,GAAW;IAC7B,IAAI,EAAE,eAAe;IACrB,IAAI,EAAE,YAAY;IAClB,eAAe,EAAE,eAAe;CACjC,CAAC;AAEF,QAAQ,CAAC,uBAAuB,EAAE,GAAG,EAAE;IACrC,EAAE,CAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,OAAO,GAAG;YACd,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC;YAC3C,eAAe,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC;SAClD,CAAC;QAEF,MAAM,CACJ,6BAA6B,CAC3B,EAAE,IAAI,EAAE,sBAAsB,EAAE,UAAU,EAAE,OAAO,EAAE,EACrD,OAAO,CACR,CACF,CAAC,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IACzB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2EAA2E,EAAE,GAAG,EAAE;QACnF,MAAM,OAAO,GAAG;YACd,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC;YAC3C,YAAY,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC;YACjD,eAAe,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC;SACnD,CAAC;QAEF,MAAM,CACJ,6BAA6B,CAC3B,EAAE,IAAI,EAAE,sBAAsB,EAAE,UAAU,EAAE,YAAY,EAAE,EAC1D,OAAO,CACR,CACF,CAAC,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IACzB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,OAAO,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC;QAEzD,MAAM,CACJ,6BAA6B,CAAC,qBAAqB,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CACjE,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IACxB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4EAA4E,EAAE,GAAG,EAAE;QACpF,MAAM,kBAAkB,GAAW;YACjC,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,YAAY;YAClB,eAAe,EAAE,eAAe;SACjC,CAAC;QACF,MAAM,OAAO,GAAG;YACd,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC;YAC3C,gBAAgB,EAAE,IAAI,GAAG,CAAC;gBACxB;oBACE,OAAO;oBACP;wBACE,IAAI,EAAE,QAAiB;wBACvB,IAAI,EAAE,aAAa;wBACnB,IAAI,EAAE,kBAAkB;qBACzB;iBACF;aACF,CAAC;SACH,CAAC;QAEF,MAAM,CACJ,6BAA6B,CAC3B,EAAE,IAAI,EAAE,sBAAsB,EAAE,UAAU,EAAE,aAAa,EAAE,EAC3D,OAAO,CACR,CACF,CAAC,EAAE,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,gBAAgB,GAAW;YAC/B,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE,CAAC,cAAc,EAAE,UAAU,CAAC;YACnC,uBAAuB,EAAE,mBAAmB;YAC5C,qBAAqB,EAAE,IAAI;SAC5B,CAAC;QACF,MAAM,OAAO,GAAG;YACd,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC;YAC3C,eAAe,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,gBAAgB,CAAC,CAAC,CAAC;YACrD,gBAAgB,EAAE,IAAI,GAAG,CAAC;gBACxB;oBACE,KAAK;oBACL;wBACE,IAAI,EAAE,MAAe;wBACrB,OAAO,EAAE;4BACP,IAAI,EAAE,sBAA+B;4BACrC,UAAU,EAAE,KAAK;yBAClB;wBACD,cAAc,EAAE;4BACd,IAAI,EAAE,sBAA+B;4BACrC,UAAU,EAAE,KAAK;yBAClB;wBACD,WAAW,EAAE,gBAAgB;wBAC7B,IAAI,EAAE,cAAc;wBACpB,UAAU,EAAE,gBAAgB;qBAC7B;iBACF;aACF,CAAC;SACH,CAAC;QAEF,MAAM,CACJ,6BAA6B,CAC3B,EAAE,IAAI,EAAE,sBAAsB,EAAE,UAAU,EAAE,KAAK,EAAE,EACnD,OAAO,CACR,CACF,CAAC,EAAE,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;QAC3B,MAAM,CACJ,+BAA+B,CAC7B,EAAE,IAAI,EAAE,sBAAsB,EAAE,UAAU,EAAE,KAAK,EAAE,EACnD,OAAO,CACR,CACF,CAAC,EAAE,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yEAAyE,EAAE,GAAG,EAAE;QACjF,MAAM,gBAAgB,GAAW;YAC/B,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE,CAAC,cAAc,EAAE,UAAU,CAAC;YACnC,uBAAuB,EAAE,mBAAmB;SAC7C,CAAC;QACF,MAAM,OAAO,GAAG;YACd,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC;YAC3C,eAAe,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,gBAAgB,CAAC,CAAC,CAAC;SACtD,CAAC;QAEF,MAAM,MAAM,GAAG;YACb,IAAI,EAAE,yBAAkC;YACxC,UAAU,EAAE;gBACV,IAAI,EAAE,sBAA+B;gBACrC,UAAU,EAAE;oBACV,IAAI,EAAE,wBAAiC;oBACvC,UAAU,EAAE;wBACV,IAAI,EAAE,sBAA+B;wBACrC,UAAU,EAAE,KAAK;qBAClB;oBACD,UAAU,EAAE,KAAK;iBAClB;gBACD,SAAS,EAAE,EAAE;aACd;SACF,CAAC;QAEF,MAAM,CAAC,6BAA6B,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;QAC5E,MAAM,CAAC,+BAA+B,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAC/D,SAAS,CACV,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/core/semantic/expected-type-matching.d.ts

@@ -0,0 +1,7 @@
+import { IrType } from "@tsonic/frontend";
+import type { EmitterContext } from "../../types.js";
+export declare const requiresValueTypeMaterialization: (actualType: IrType, expectedType: IrType, context: EmitterContext) => boolean;
+export declare const matchesRawSemanticExpectedType: (actualType: IrType | undefined, expectedType: IrType | undefined, context: EmitterContext) => boolean;
+export declare const matchesSemanticExpectedType: (actualType: IrType | undefined, expectedType: IrType | undefined, context: EmitterContext) => boolean;
+export declare const matchesExpectedEmissionType: (actualType: IrType | undefined, expectedType: IrType | undefined, context: EmitterContext) => boolean;
+//# sourceMappingURL=expected-type-matching.d.ts.map

package/dist/core/semantic/expected-type-matching.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"expected-type-matching.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/expected-type-matching.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC1C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AA6DrD,eAAO,MAAM,gCAAgC,GAC3C,YAAY,MAAM,EAClB,cAAc,MAAM,EACpB,SAAS,cAAc,KACtB,OAUF,CAAC;AAeF,eAAO,MAAM,8BAA8B,GACzC,YAAY,MAAM,GAAG,SAAS,EAC9B,cAAc,MAAM,GAAG,SAAS,EAChC,SAAS,cAAc,KACtB,OAuBF,CAAC;AAEF,eAAO,MAAM,2BAA2B,GACtC,YAAY,MAAM,GAAG,SAAS,EAC9B,cAAc,MAAM,GAAG,SAAS,EAChC,SAAS,cAAc,KACtB,OAmDF,CAAC;AAEF,eAAO,MAAM,2BAA2B,GACtC,YAAY,MAAM,GAAG,SAAS,EAC9B,cAAc,MAAM,GAAG,SAAS,EAChC,SAAS,cAAc,KACtB,OAgDF,CAAC"}

package/dist/core/semantic/expected-type-matching.js

@@ -0,0 +1,101 @@
+import { isAssignable } from "./index.js";
+import { resolveComparableType } from "./comparable-types.js";
+import { isDefinitelyValueType, splitRuntimeNullishUnionMembers, } from "./type-resolution.js";
+import { unwrapParameterModifierType } from "./parameter-modifier-types.js";
+import { getRuntimeUnionAliasReferenceKey } from "./runtime-union-alias-identity.js";
+import { runtimeUnionMemberCanAcceptValue } from "./runtime-union-matching.js";
+import { areIrTypesEquivalent } from "./type-equivalence.js";
+import { referenceTypeHasClrIdentity, typesHaveDeterministicIdentityConflict, } from "./clr-type-identity.js";
+const BROAD_OBJECT_OR_JS_VALUE_CLR_NAMES = new Set([
+    "System.Object",
+    "global::System.Object",
+    "Tsonic.Runtime.JsValue",
+    "global::Tsonic.Runtime.JsValue",
+]);
+const hasRuntimeNullishBranch = (type) => splitRuntimeNullishUnionMembers(unwrapParameterModifierType(type) ?? type)
+    ?.hasRuntimeNullish ?? false;
+const isSystemObjectOrJsValueReference = (type) => type.kind === "referenceType" &&
+    (type.name === "object" ||
+        type.name === "JsValue" ||
+        referenceTypeHasClrIdentity(type, BROAD_OBJECT_OR_JS_VALUE_CLR_NAMES));
+const isBroadObjectEmissionSink = (type, context) => {
+    const resolved = resolveComparableType(type, context);
+    if (resolved.kind === "anyType" || resolved.kind === "unknownType") {
+        return true;
+    }
+    if (isSystemObjectOrJsValueReference(resolved)) {
+        return true;
+    }
+    if (resolved.kind !== "unionType") {
+        return false;
+    }
+    const nonNullishMembers = splitRuntimeNullishUnionMembers(resolved)
+        ?.nonNullishMembers;
+    const members = nonNullishMembers ?? resolved.types;
+    return (members.length > 0 &&
+        members.every((member) => isBroadObjectEmissionSink(member, context)));
+};
+export const requiresValueTypeMaterialization = (actualType, expectedType, context) => {
+    if (!hasRuntimeNullishBranch(actualType) ||
+        hasRuntimeNullishBranch(expectedType)) {
+        return false;
+    }
+    const resolvedExpected = resolveComparableType(expectedType, context);
+    return isDefinitelyValueType(resolvedExpected);
+};
+const matchesRawSemanticComparableTypes = (actualComparableType, expectedComparableType, context) => isAssignable(actualComparableType, expectedComparableType) ||
+    runtimeUnionMemberCanAcceptValue(expectedComparableType, actualComparableType, context) ||
+    areIrTypesEquivalent(actualComparableType, expectedComparableType, context);
+export const matchesRawSemanticExpectedType = (actualType, expectedType, context) => {
+    if (!actualType || !expectedType) {
+        return false;
+    }
+    const actualComparableType = unwrapParameterModifierType(actualType) ?? actualType;
+    const expectedComparableType = unwrapParameterModifierType(expectedType) ?? expectedType;
+    if (typesHaveDeterministicIdentityConflict(actualComparableType, expectedComparableType)) {
+        return false;
+    }
+    return matchesRawSemanticComparableTypes(actualComparableType, expectedComparableType, context);
+};
+export const matchesSemanticExpectedType = (actualType, expectedType, context) => {
+    if (!actualType || !expectedType) {
+        return false;
+    }
+    const actualComparableType = unwrapParameterModifierType(actualType) ?? actualType;
+    const expectedComparableType = unwrapParameterModifierType(expectedType) ?? expectedType;
+    if (typesHaveDeterministicIdentityConflict(actualComparableType, expectedComparableType)) {
+        return false;
+    }
+    const resolvedActualComparableType = resolveComparableType(actualComparableType, context);
+    const resolvedExpectedComparableType = resolveComparableType(expectedComparableType, context);
+    if (matchesRawSemanticComparableTypes(actualComparableType, expectedComparableType, context) ||
+        isAssignable(resolvedActualComparableType, resolvedExpectedComparableType) ||
+        runtimeUnionMemberCanAcceptValue(resolvedExpectedComparableType, resolvedActualComparableType, context)) {
+        return true;
+    }
+    return areIrTypesEquivalent(resolvedActualComparableType, resolvedExpectedComparableType, context);
+};
+export const matchesExpectedEmissionType = (actualType, expectedType, context) => {
+    if (!actualType || !expectedType) {
+        return false;
+    }
+    const actualComparableType = unwrapParameterModifierType(actualType) ?? actualType;
+    const expectedComparableType = unwrapParameterModifierType(expectedType) ?? expectedType;
+    const actualAliasKey = getRuntimeUnionAliasReferenceKey(actualComparableType, context) ??
+        getRuntimeUnionAliasReferenceKey(resolveComparableType(actualComparableType, context), context);
+    const expectedAliasKey = getRuntimeUnionAliasReferenceKey(expectedComparableType, context) ??
+        getRuntimeUnionAliasReferenceKey(resolveComparableType(expectedComparableType, context), context);
+    if (actualAliasKey &&
+        actualAliasKey !== expectedAliasKey &&
+        !isBroadObjectEmissionSink(expectedComparableType, context)) {
+        return false;
+    }
+    if (expectedAliasKey && actualAliasKey !== expectedAliasKey) {
+        return false;
+    }
+    if (requiresValueTypeMaterialization(actualComparableType, expectedComparableType, context)) {
+        return false;
+    }
+    return matchesSemanticExpectedType(actualComparableType, expectedComparableType, context);
+};
+//# sourceMappingURL=expected-type-matching.js.map

package/dist/core/semantic/expected-type-matching.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"expected-type-matching.js","sourceRoot":"","sources":["../../../src/core/semantic/expected-type-matching.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC1C,OAAO,EAAE,qBAAqB,EAAE,MAAM,uBAAuB,CAAC;AAC9D,OAAO,EACL,qBAAqB,EACrB,+BAA+B,GAChC,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,2BAA2B,EAAE,MAAM,+BAA+B,CAAC;AAC5E,OAAO,EAAE,gCAAgC,EAAE,MAAM,mCAAmC,CAAC;AACrF,OAAO,EAAE,gCAAgC,EAAE,MAAM,6BAA6B,CAAC;AAC/E,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAC7D,OAAO,EACL,2BAA2B,EAC3B,sCAAsC,GACvC,MAAM,wBAAwB,CAAC;AAEhC,MAAM,kCAAkC,GAAG,IAAI,GAAG,CAAC;IACjD,eAAe;IACf,uBAAuB;IACvB,wBAAwB;IACxB,gCAAgC;CACjC,CAAC,CAAC;AAEH,MAAM,uBAAuB,GAAG,CAAC,IAAY,EAAW,EAAE,CACxD,+BAA+B,CAAC,2BAA2B,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC;IACxE,EAAE,iBAAiB,IAAI,KAAK,CAAC;AAEjC,MAAM,gCAAgC,GAAG,CAAC,IAAY,EAAW,EAAE,CACjE,IAAI,CAAC,IAAI,KAAK,eAAe;IAC7B,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;QACrB,IAAI,CAAC,IAAI,KAAK,SAAS;QACvB,2BAA2B,CAAC,IAAI,EAAE,kCAAkC,CAAC,CAAC,CAAC;AAE3E,MAAM,yBAAyB,GAAG,CAChC,IAAY,EACZ,OAAuB,EACd,EAAE;IACX,MAAM,QAAQ,GAAG,qBAAqB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACtD,IAAI,QAAQ,CAAC,IAAI,KAAK,SAAS,IAAI,QAAQ,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QACnE,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,gCAAgC,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC/C,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAClC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,iBAAiB,GAAG,+BAA+B,CAAC,QAAQ,CAAC;QACjE,EAAE,iBAAiB,CAAC;IACtB,MAAM,OAAO,GAAG,iBAAiB,IAAI,QAAQ,CAAC,KAAK,CAAC;IACpD,OAAO,CACL,OAAO,CAAC,MAAM,GAAG,CAAC;QAClB,OAAO,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,EAAE,CACvB,yBAAyB,CAAC,MAAM,EAAE,OAAO,CAAC,CAC3C,CACF,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,gCAAgC,GAAG,CAC9C,UAAkB,EAClB,YAAoB,EACpB,OAAuB,EACd,EAAE;IACX,IACE,CAAC,uBAAuB,CAAC,UAAU,CAAC;QACpC,uBAAuB,CAAC,YAAY,CAAC,EACrC,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,gBAAgB,GAAG,qBAAqB,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;IACtE,OAAO,qBAAqB,CAAC,gBAAgB,CAAC,CAAC;AACjD,CAAC,CAAC;AAEF,MAAM,iCAAiC,GAAG,CACxC,oBAA4B,EAC5B,sBAA8B,EAC9B,OAAuB,EACd,EAAE,CACX,YAAY,CAAC,oBAAoB,EAAE,sBAAsB,CAAC;IAC1D,gCAAgC,CAC9B,sBAAsB,EACtB,oBAAoB,EACpB,OAAO,CACR;IACD,oBAAoB,CAAC,oBAAoB,EAAE,sBAAsB,EAAE,OAAO,CAAC,CAAC;AAE9E,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAC5C,UAA8B,EAC9B,YAAgC,EAChC,OAAuB,EACd,EAAE;IACX,IAAI,CAAC,UAAU,IAAI,CAAC,YAAY,EAAE,CAAC;QACjC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,oBAAoB,GACxB,2BAA2B,CAAC,UAAU,CAAC,IAAI,UAAU,CAAC;IACxD,MAAM,sBAAsB,GAC1B,2BAA2B,CAAC,YAAY,CAAC,IAAI,YAAY,CAAC;IAC5D,IACE,sCAAsC,CACpC,oBAAoB,EACpB,sBAAsB,CACvB,EACD,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,OAAO,iCAAiC,CACtC,oBAAoB,EACpB,sBAAsB,EACtB,OAAO,CACR,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,UAA8B,EAC9B,YAAgC,EAChC,OAAuB,EACd,EAAE;IACX,IAAI,CAAC,UAAU,IAAI,CAAC,YAAY,EAAE,CAAC;QACjC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,oBAAoB,GACxB,2BAA2B,CAAC,UAAU,CAAC,IAAI,UAAU,CAAC;IACxD,MAAM,sBAAsB,GAC1B,2BAA2B,CAAC,YAAY,CAAC,IAAI,YAAY,CAAC;IAC5D,IACE,sCAAsC,CACpC,oBAAoB,EACpB,sBAAsB,CACvB,EACD,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,4BAA4B,GAAG,qBAAqB,CACxD,oBAAoB,EACpB,OAAO,CACR,CAAC;IACF,MAAM,8BAA8B,GAAG,qBAAqB,CAC1D,sBAAsB,EACtB,OAAO,CACR,CAAC;IAEF,IACE,iCAAiC,CAC/B,oBAAoB,EACpB,sBAAsB,EACtB,OAAO,CACR;QACD,YAAY,CACV,4BAA4B,EAC5B,8BAA8B,CAC/B;QACD,gCAAgC,CAC9B,8BAA8B,EAC9B,4BAA4B,EAC5B,OAAO,CACR,EACD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,oBAAoB,CACzB,4BAA4B,EAC5B,8BAA8B,EAC9B,OAAO,CACR,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,UAA8B,EAC9B,YAAgC,EAChC,OAAuB,EACd,EAAE;IACX,IAAI,CAAC,UAAU,IAAI,CAAC,YAAY,EAAE,CAAC;QACjC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,oBAAoB,GACxB,2BAA2B,CAAC,UAAU,CAAC,IAAI,UAAU,CAAC;IACxD,MAAM,sBAAsB,GAC1B,2BAA2B,CAAC,YAAY,CAAC,IAAI,YAAY,CAAC;IAE5D,MAAM,cAAc,GAClB,gCAAgC,CAAC,oBAAoB,EAAE,OAAO,CAAC;QAC/D,gCAAgC,CAC9B,qBAAqB,CAAC,oBAAoB,EAAE,OAAO,CAAC,EACpD,OAAO,CACR,CAAC;IACJ,MAAM,gBAAgB,GACpB,gCAAgC,CAAC,sBAAsB,EAAE,OAAO,CAAC;QACjE,gCAAgC,CAC9B,qBAAqB,CAAC,sBAAsB,EAAE,OAAO,CAAC,EACtD,OAAO,CACR,CAAC;IACJ,IACE,cAAc;QACd,cAAc,KAAK,gBAAgB;QACnC,CAAC,yBAAyB,CAAC,sBAAsB,EAAE,OAAO,CAAC,EAC3D,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,gBAAgB,IAAI,cAAc,KAAK,gBAAgB,EAAE,CAAC;QAC5D,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IACE,gCAAgC,CAC9B,oBAAoB,EACpB,sBAAsB,EACtB,OAAO,CACR,EACD,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,OAAO,2BAA2B,CAChC,oBAAoB,EACpB,sBAAsB,EACtB,OAAO,CACR,CAAC;AACJ,CAAC,CAAC"}

package/dist/core/semantic/guard-primitives.d.ts

@@ -0,0 +1,29 @@
+/**
+ * Shared guard-detection primitives used by both ternary guard analysis
+ * (core/semantic/ternary-guards.ts) and if-statement guard analysis
+ * (statements/control/conditionals/guard-analysis.ts).
+ *
+ * These are pure helpers with no emission imports — they only depend on
+ * IR types, EmitterContext, and peer core/semantic modules.
+ */
+import { IrType } from "@tsonic/frontend";
+import { EmitterContext, LocalTypeInfo } from "../../types.js";
+/**
+ * Resolve a reference type's LocalTypeInfo map (possibly from a different module).
+ *
+ * This is required for airplane-grade narrowing features that depend on member *types*
+ * (not just member names), e.g. discriminant literal equality checks.
+ */
+export declare const resolveLocalTypesForReference: (type: Extract<IrType, {
+    kind: "referenceType";
+}>, context: EmitterContext) => ReadonlyMap<string, LocalTypeInfo> | undefined;
+/**
+ * Extract the set of allowed discriminant literal values from a type.
+ *
+ * Airplane-grade rule:
+ * - The discriminant property must be typed as a literal or a union of literals.
+ * - If it includes any non-literal members (including null/undefined), we refuse to treat
+ *   it as a discriminant for equality-guard narrowing.
+ */
+export declare const tryGetLiteralSet: (type: IrType, context: EmitterContext) => ReadonlySet<string | number | boolean> | undefined;
+//# sourceMappingURL=guard-primitives.d.ts.map

package/dist/core/semantic/guard-primitives.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"guard-primitives.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/guard-primitives.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC1C,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAG/D;;;;;GAKG;AACH,eAAO,MAAM,6BAA6B,GACxC,MAAM,OAAO,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC,EAChD,SAAS,cAAc,KACtB,WAAW,CAAC,MAAM,EAAE,aAAa,CAAC,GAAG,SA2CvC,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,gBAAgB,GAC3B,MAAM,MAAM,EACZ,SAAS,cAAc,KACtB,WAAW,CAAC,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC,GAAG,SAkB3C,CAAC"}

package/dist/core/semantic/guard-primitives.js

@@ -0,0 +1,80 @@
+/**
+ * Shared guard-detection primitives used by both ternary guard analysis
+ * (core/semantic/ternary-guards.ts) and if-statement guard analysis
+ * (statements/control/conditionals/guard-analysis.ts).
+ *
+ * These are pure helpers with no emission imports — they only depend on
+ * IR types, EmitterContext, and peer core/semantic modules.
+ */
+import { resolveTypeAlias } from "./type-resolution.js";
+/**
+ * Resolve a reference type's LocalTypeInfo map (possibly from a different module).
+ *
+ * This is required for airplane-grade narrowing features that depend on member *types*
+ * (not just member names), e.g. discriminant literal equality checks.
+ */
+export const resolveLocalTypesForReference = (type, context) => {
+    const lookupName = type.name.includes(".")
+        ? (type.name.split(".").pop() ?? type.name)
+        : type.name;
+    if (context.localTypes?.has(lookupName)) {
+        return context.localTypes;
+    }
+    const moduleMap = context.options.moduleMap;
+    if (!moduleMap)
+        return undefined;
+    const matches = [];
+    for (const m of moduleMap.values()) {
+        if (!m.localTypes)
+            continue;
+        if (m.localTypes.has(lookupName)) {
+            matches.push({
+                namespace: m.namespace,
+                localTypes: m.localTypes,
+            });
+        }
+    }
+    if (matches.length === 0)
+        return undefined;
+    // eslint-disable-next-line @typescript-eslint/no-non-null-assertion
+    if (matches.length === 1)
+        return matches[0].localTypes;
+    // Disambiguate by CLR FQN when available.
+    const fqn = type.resolvedClrType ?? (type.name.includes(".") ? type.name : undefined);
+    if (fqn && fqn.includes(".")) {
+        const lastDot = fqn.lastIndexOf(".");
+        const ns = fqn.slice(0, lastDot);
+        const filtered = matches.filter((m) => m.namespace === ns);
+        // eslint-disable-next-line @typescript-eslint/no-non-null-assertion
+        if (filtered.length === 1)
+            return filtered[0].localTypes;
+    }
+    // Ambiguous: refuse to guess.
+    return undefined;
+};
+/**
+ * Extract the set of allowed discriminant literal values from a type.
+ *
+ * Airplane-grade rule:
+ * - The discriminant property must be typed as a literal or a union of literals.
+ * - If it includes any non-literal members (including null/undefined), we refuse to treat
+ *   it as a discriminant for equality-guard narrowing.
+ */
+export const tryGetLiteralSet = (type, context) => {
+    const resolved = resolveTypeAlias(type, context);
+    if (resolved.kind === "literalType") {
+        return new Set([resolved.value]);
+    }
+    if (resolved.kind === "unionType") {
+        const out = new Set();
+        for (const t of resolved.types) {
+            const r = resolveTypeAlias(t, context);
+            if (r.kind !== "literalType")
+                return undefined;
+            out.add(r.value);
+        }
+        return out;
+    }
+    return undefined;
+};
+//# sourceMappingURL=guard-primitives.js.map

package/dist/core/semantic/guard-primitives.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"guard-primitives.js","sourceRoot":"","sources":["../../../src/core/semantic/guard-primitives.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAIH,OAAO,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AAExD;;;;;GAKG;AACH,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAC3C,IAAgD,EAChD,OAAuB,EACyB,EAAE;IAClD,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;QACxC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,IAAI,CAAC,IAAI,CAAC;QAC3C,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;IAEd,IAAI,OAAO,CAAC,UAAU,EAAE,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;QACxC,OAAO,OAAO,CAAC,UAAU,CAAC;IAC5B,CAAC;IAED,MAAM,SAAS,GAAG,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC;IAC5C,IAAI,CAAC,SAAS;QAAE,OAAO,SAAS,CAAC;IAEjC,MAAM,OAAO,GAGP,EAAE,CAAC;IACT,KAAK,MAAM,CAAC,IAAI,SAAS,CAAC,MAAM,EAAE,EAAE,CAAC;QACnC,IAAI,CAAC,CAAC,CAAC,UAAU;YAAE,SAAS;QAC5B,IAAI,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;YACjC,OAAO,CAAC,IAAI,CAAC;gBACX,SAAS,EAAE,CAAC,CAAC,SAAS;gBACtB,UAAU,EAAE,CAAC,CAAC,UAAU;aACzB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC3C,oEAAoE;IACpE,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,OAAO,CAAC,CAAC,CAAE,CAAC,UAAU,CAAC;IAExD,0CAA0C;IAC1C,MAAM,GAAG,GACP,IAAI,CAAC,eAAe,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IAC5E,IAAI,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QAC7B,MAAM,OAAO,GAAG,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;QACrC,MAAM,EAAE,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;QACjC,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,EAAE,CAAC,CAAC;QAC3D,oEAAoE;QACpE,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,QAAQ,CAAC,CAAC,CAAE,CAAC,UAAU,CAAC;IAC5D,CAAC;IAED,8BAA8B;IAC9B,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,IAAY,EACZ,OAAuB,EAC6B,EAAE;IACtD,MAAM,QAAQ,GAAG,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAEjD,IAAI,QAAQ,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QACpC,OAAO,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;IACnC,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAClC,MAAM,GAAG,GAAG,IAAI,GAAG,EAA6B,CAAC;QACjD,KAAK,MAAM,CAAC,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;YAC/B,MAAM,CAAC,GAAG,gBAAgB,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;YACvC,IAAI,CAAC,CAAC,IAAI,KAAK,aAAa;gBAAE,OAAO,SAAS,CAAC;YAC/C,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACnB,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC"}

package/dist/core/semantic/implicit-interfaces.d.ts

@@ -0,0 +1,34 @@
+import { type IrClassMember, type IrInterfaceMember, type IrType } from "@tsonic/frontend";
+import type { EmitterContext, LocalTypeInfo } from "../../types.js";
+export type CompatibleInterfacePropertyMatch = {
+    readonly interfaceMember: Extract<IrInterfaceMember, {
+        kind: "propertySignature";
+    }>;
+    readonly classMember: Extract<IrClassMember, {
+        kind: "propertyDeclaration";
+    }>;
+};
+export type CompatibleInterfaceMethodMatch = {
+    readonly interfaceMember: Extract<IrInterfaceMember, {
+        kind: "methodSignature";
+    }>;
+    readonly classMember: Extract<IrClassMember, {
+        kind: "methodDeclaration";
+    }>;
+};
+export type CompatibleInterfaceMatch = {
+    readonly namespace: string;
+    readonly name: string;
+    readonly ref: Extract<IrType, {
+        kind: "referenceType";
+    }>;
+    readonly info: Extract<LocalTypeInfo, {
+        kind: "interface";
+    }>;
+    readonly isExplicit: boolean;
+    readonly propertyMatches: readonly CompatibleInterfacePropertyMatch[];
+    readonly methodMatches: readonly CompatibleInterfaceMethodMatch[];
+};
+export declare const resolveCompatibleImplementedInterfaces: (className: string, explicitImplements: readonly IrType[], context: EmitterContext) => readonly CompatibleInterfaceMatch[];
+export declare const inferImplicitImplementedInterfaces: (className: string, explicitImplements: readonly IrType[], context: EmitterContext) => readonly IrType[];
+//# sourceMappingURL=implicit-interfaces.d.ts.map

package/dist/core/semantic/implicit-interfaces.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"implicit-interfaces.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/implicit-interfaces.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,KAAK,aAAa,EAClB,KAAK,iBAAiB,EACtB,KAAK,MAAM,EACZ,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAYpE,MAAM,MAAM,gCAAgC,GAAG;IAC7C,QAAQ,CAAC,eAAe,EAAE,OAAO,CAC/B,iBAAiB,EACjB;QAAE,IAAI,EAAE,mBAAmB,CAAA;KAAE,CAC9B,CAAC;IACF,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC,aAAa,EAAE;QAAE,IAAI,EAAE,qBAAqB,CAAA;KAAE,CAAC,CAAC;CAC/E,CAAC;AAEF,MAAM,MAAM,8BAA8B,GAAG;IAC3C,QAAQ,CAAC,eAAe,EAAE,OAAO,CAC/B,iBAAiB,EACjB;QAAE,IAAI,EAAE,iBAAiB,CAAA;KAAE,CAC5B,CAAC;IACF,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC,aAAa,EAAE;QAAE,IAAI,EAAE,mBAAmB,CAAA;KAAE,CAAC,CAAC;CAC7E,CAAC;AAEF,MAAM,MAAM,wBAAwB,GAAG;IACrC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC,MAAM,EAAE;QAAE,IAAI,EAAE,eAAe,CAAA;KAAE,CAAC,CAAC;IACzD,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,aAAa,EAAE;QAAE,IAAI,EAAE,WAAW,CAAA;KAAE,CAAC,CAAC;IAC7D,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,eAAe,EAAE,SAAS,gCAAgC,EAAE,CAAC;IACtE,QAAQ,CAAC,aAAa,EAAE,SAAS,8BAA8B,EAAE,CAAC;CACnE,CAAC;AA6WF,eAAO,MAAM,sCAAsC,GACjD,WAAW,MAAM,EACjB,oBAAoB,SAAS,MAAM,EAAE,EACrC,SAAS,cAAc,KACtB,SAAS,wBAAwB,EA6CnC,CAAC;AAEF,eAAO,MAAM,kCAAkC,GAC7C,WAAW,MAAM,EACjB,oBAAoB,SAAS,MAAM,EAAE,EACrC,SAAS,cAAc,KACtB,SAAS,MAAM,EAGY,CAAC"}