@tsonic/emitter 0.0.74 → 0.0.75

package/dist/core/semantic/deterministic-type-keys.js

@@ -0,0 +1,277 @@
+import { stableIrTypeKey } from "@tsonic/frontend";
+import { resolveTypeAlias, stripNullish } from "./nullish-value-helpers.js";
+import { getReferenceNominalIdentityKey } from "./reference-type-identity.js";
+const createContextualKeyState = () => ({
+    keys: new WeakMap(),
+    ids: new WeakMap(),
+    active: new WeakSet(),
+    nextId: 0,
+});
+const opaqueVisitKeys = new WeakMap();
+let nextOpaqueVisitKey = 0;
+const getOpaqueVisitKey = (type) => {
+    if (typeof type !== "object" || type === null) {
+        return `opaque:${String(type)}`;
+    }
+    const existing = opaqueVisitKeys.get(type);
+    if (existing !== undefined) {
+        return `opaque:${existing}`;
+    }
+    const next = nextOpaqueVisitKey;
+    nextOpaqueVisitKey += 1;
+    opaqueVisitKeys.set(type, next);
+    return `opaque:${next}`;
+};
+export const isIdentityLessReferenceStableKeyError = (error) => error instanceof Error &&
+    error.message.startsWith("Cannot build stable type key for identity-less reference type ");
+export const tryStableIrTypeKey = (type) => {
+    try {
+        return stableIrTypeKey(type);
+    }
+    catch (error) {
+        if (isIdentityLessReferenceStableKeyError(error)) {
+            return undefined;
+        }
+        throw error;
+    }
+};
+const primitiveContextualKey = (type) => {
+    switch (type.kind) {
+        case "primitiveType":
+            return `prim:${type.name}`;
+        case "literalType":
+            return `lit:${JSON.stringify(type.value)}`;
+        case "typeParameterType":
+            return `tp:${type.name}`;
+        case "anyType":
+            return "any";
+        case "unknownType":
+            return "unknown";
+        case "voidType":
+            return "void";
+        case "neverType":
+            return "never";
+    }
+};
+const getObjectNodeId = (type, state) => {
+    const existing = state.ids.get(type);
+    if (existing !== undefined) {
+        return existing;
+    }
+    const next = state.nextId;
+    state.nextId += 1;
+    state.ids.set(type, next);
+    return next;
+};
+const contextualParameterKey = (parameter, context, state) => {
+    const typeKey = parameter.type
+        ? contextualTypeIdentityKey(parameter.type, context, state)
+        : "unknown";
+    if (!typeKey) {
+        return undefined;
+    }
+    return `p:${parameter.isRest ? 1 : 0}:${parameter.isOptional ? 1 : 0}:${parameter.passing ?? "value"}:${typeKey}`;
+};
+const contextualMemberKey = (member, context, state) => {
+    if (member.kind === "propertySignature") {
+        const typeKey = contextualTypeIdentityKey(member.type, context, state);
+        return typeKey
+            ? `prop:${member.name}:${member.isReadonly ? 1 : 0}:${member.isOptional ? 1 : 0}:${typeKey}`
+            : undefined;
+    }
+    const parameterKeys = [];
+    for (const parameter of member.parameters) {
+        const parameterKey = contextualParameterKey(parameter, context, state);
+        if (!parameterKey) {
+            return undefined;
+        }
+        parameterKeys.push(parameterKey);
+    }
+    const returnTypeKey = member.returnType
+        ? contextualTypeIdentityKey(member.returnType, context, state)
+        : "void";
+    if (!returnTypeKey) {
+        return undefined;
+    }
+    return `method:${member.name}:${member.typeParameters?.length ?? 0}:${parameterKeys.join("|")}:${returnTypeKey}`;
+};
+const contextualReferenceTypeIdentityKey = (type, context, state) => {
+    const resolved = resolveTypeAlias(stripNullish(type), context);
+    if (resolved !== type) {
+        if (resolved.kind !== "referenceType") {
+            return contextualTypeIdentityKey(resolved, context, state);
+        }
+        return contextualReferenceTypeIdentityKey(resolved, context, state);
+    }
+    const identity = getReferenceNominalIdentityKey(type, context);
+    if (!identity && !type.structuralMembers) {
+        return undefined;
+    }
+    const argumentKeys = [];
+    for (const argument of type.typeArguments ?? []) {
+        const argumentKey = contextualTypeIdentityKey(argument, context, state);
+        if (!argumentKey) {
+            return undefined;
+        }
+        argumentKeys.push(argumentKey);
+    }
+    if (identity) {
+        return `ref:${identity}<${argumentKeys.join(",")}>`;
+    }
+    const memberKeys = [];
+    for (const member of type.structuralMembers ?? []) {
+        const memberKey = contextualMemberKey(member, context, state);
+        if (!memberKey) {
+            return undefined;
+        }
+        memberKeys.push(memberKey);
+    }
+    return `ref:structural<${argumentKeys.join(",")}>{${memberKeys
+        .sort()
+        .join("|")}}`;
+};
+const contextualTypeIdentityKey = (type, context, state) => {
+    const cached = state.keys.get(type);
+    if (cached !== undefined) {
+        return cached;
+    }
+    const id = getObjectNodeId(type, state);
+    if (state.active.has(type)) {
+        return `cycle:${id}`;
+    }
+    state.active.add(type);
+    try {
+        let key;
+        switch (type.kind) {
+            case "primitiveType":
+            case "literalType":
+            case "typeParameterType":
+            case "anyType":
+            case "unknownType":
+            case "voidType":
+            case "neverType":
+                key = primitiveContextualKey(type);
+                break;
+            case "referenceType":
+                key = contextualReferenceTypeIdentityKey(type, context, state);
+                break;
+            case "arrayType": {
+                const elementKey = contextualTypeIdentityKey(type.elementType, context, state);
+                if (!elementKey) {
+                    key = undefined;
+                    break;
+                }
+                const tuplePrefixKeys = [];
+                for (const elementType of type.tuplePrefixElementTypes ?? []) {
+                    const elementTypeKey = contextualTypeIdentityKey(elementType, context, state);
+                    if (!elementTypeKey) {
+                        key = undefined;
+                        break;
+                    }
+                    tuplePrefixKeys.push(elementTypeKey);
+                }
+                if (key === undefined && tuplePrefixKeys.length !== (type.tuplePrefixElementTypes ?? []).length) {
+                    break;
+                }
+                const restKey = type.tupleRestElementType
+                    ? contextualTypeIdentityKey(type.tupleRestElementType, context, state)
+                    : "none";
+                key = restKey
+                    ? `arr:${elementKey}:tuple:${tuplePrefixKeys.join(",")}:rest:${restKey}`
+                    : undefined;
+                break;
+            }
+            case "tupleType": {
+                const elementKeys = [];
+                for (const elementType of type.elementTypes) {
+                    const elementKey = contextualTypeIdentityKey(elementType, context, state);
+                    if (!elementKey) {
+                        key = undefined;
+                        break;
+                    }
+                    elementKeys.push(elementKey);
+                }
+                key =
+                    key === undefined && elementKeys.length !== type.elementTypes.length
+                        ? undefined
+                        : `tuple:${elementKeys.join(",")}`;
+                break;
+            }
+            case "dictionaryType": {
+                const keyKey = contextualTypeIdentityKey(type.keyType, context, state);
+                const valueKey = contextualTypeIdentityKey(type.valueType, context, state);
+                key = keyKey && valueKey ? `dict:${keyKey}=>${valueKey}` : undefined;
+                break;
+            }
+            case "functionType": {
+                const parameterKeys = [];
+                for (const parameter of type.parameters) {
+                    const parameterKey = contextualParameterKey(parameter, context, state);
+                    if (!parameterKey) {
+                        key = undefined;
+                        break;
+                    }
+                    parameterKeys.push(parameterKey);
+                }
+                if (key === undefined &&
+                    parameterKeys.length !== type.parameters.length) {
+                    break;
+                }
+                const returnKey = contextualTypeIdentityKey(type.returnType, context, state);
+                key = returnKey
+                    ? `fn:${parameterKeys.join("|")}=>${returnKey}`
+                    : undefined;
+                break;
+            }
+            case "objectType": {
+                const memberKeys = [];
+                for (const member of type.members) {
+                    const memberKey = contextualMemberKey(member, context, state);
+                    if (!memberKey) {
+                        key = undefined;
+                        break;
+                    }
+                    memberKeys.push(memberKey);
+                }
+                key =
+                    key === undefined && memberKeys.length !== type.members.length
+                        ? undefined
+                        : `obj:${memberKeys.sort().join("|")}`;
+                break;
+            }
+            case "unionType":
+            case "intersectionType": {
+                const memberKeys = [];
+                for (const member of type.types) {
+                    const memberKey = contextualTypeIdentityKey(member, context, state);
+                    if (!memberKey) {
+                        key = undefined;
+                        break;
+                    }
+                    memberKeys.push(memberKey);
+                }
+                if (key === undefined && memberKeys.length !== type.types.length) {
+                    break;
+                }
+                const orderedKeys = type.kind === "unionType" && type.preserveRuntimeLayout
+                    ? memberKeys
+                    : [...memberKeys].sort();
+                key = `${type.kind === "unionType" ? "union" : "inter"}:${orderedKeys.join("|")}`;
+                break;
+            }
+        }
+        if (key !== undefined) {
+            state.keys.set(type, key);
+        }
+        return key;
+    }
+    finally {
+        state.active.delete(type);
+    }
+};
+export const tryContextualTypeIdentityKey = (type, context) => contextualTypeIdentityKey(type, context, createContextualKeyState());
+export const getContextualTypeVisitKey = (type, context) => tryContextualTypeIdentityKey(type, context) ?? getOpaqueVisitKey(type);
+export const describeIrTypeForDiagnostics = (type, context) => tryContextualTypeIdentityKey(type, context) ??
+    tryStableIrTypeKey(type) ??
+    `${type.kind}:${getOpaqueVisitKey(type)}`;
+//# sourceMappingURL=deterministic-type-keys.js.map

package/dist/core/semantic/deterministic-type-keys.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"deterministic-type-keys.js","sourceRoot":"","sources":["../../../src/core/semantic/deterministic-type-keys.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAEnD,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAC5E,OAAO,EAAE,8BAA8B,EAAE,MAAM,8BAA8B,CAAC;AAW9E,MAAM,wBAAwB,GAAG,GAAuB,EAAE,CAAC,CAAC;IAC1D,IAAI,EAAE,IAAI,OAAO,EAAkB;IACnC,GAAG,EAAE,IAAI,OAAO,EAAkB;IAClC,MAAM,EAAE,IAAI,OAAO,EAAU;IAC7B,MAAM,EAAE,CAAC;CACV,CAAC,CAAC;AAEH,MAAM,eAAe,GAAG,IAAI,OAAO,EAAkB,CAAC;AACtD,IAAI,kBAAkB,GAAG,CAAC,CAAC;AAE3B,MAAM,iBAAiB,GAAG,CAAC,IAAY,EAAU,EAAE;IACjD,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAC9C,OAAO,UAAU,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;IAClC,CAAC;IAED,MAAM,QAAQ,GAAG,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC3C,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,OAAO,UAAU,QAAQ,EAAE,CAAC;IAC9B,CAAC;IAED,MAAM,IAAI,GAAG,kBAAkB,CAAC;IAChC,kBAAkB,IAAI,CAAC,CAAC;IACxB,eAAe,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAChC,OAAO,UAAU,IAAI,EAAE,CAAC;AAC1B,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,qCAAqC,GAAG,CACnD,KAAc,EACL,EAAE,CACX,KAAK,YAAY,KAAK;IACtB,KAAK,CAAC,OAAO,CAAC,UAAU,CACtB,gEAAgE,CACjE,CAAC;AAEJ,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,IAAY,EAAsB,EAAE;IACrE,IAAI,CAAC;QACH,OAAO,eAAe,CAAC,IAAI,CAAC,CAAC;IAC/B,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,qCAAqC,CAAC,KAAK,CAAC,EAAE,CAAC;YACjD,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,MAAM,KAAK,CAAC;IACd,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAC7B,IASC,EACO,EAAE;IACV,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,eAAe;YAClB,OAAO,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAC7B,KAAK,aAAa;YAChB,OAAO,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAC7C,KAAK,mBAAmB;YACtB,OAAO,MAAM,IAAI,CAAC,IAAI,EAAE,CAAC;QAC3B,KAAK,SAAS;YACZ,OAAO,KAAK,CAAC;QACf,KAAK,aAAa;YAChB,OAAO,SAAS,CAAC;QACnB,KAAK,UAAU;YACb,OAAO,MAAM,CAAC;QAChB,KAAK,WAAW;YACd,OAAO,OAAO,CAAC;IACnB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CAAC,IAAY,EAAE,KAAyB,EAAU,EAAE;IAC1E,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACrC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC;IAC1B,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC;IAClB,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC1B,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAC7B,SAAsB,EACtB,OAAuB,EACvB,KAAyB,EACL,EAAE;IACtB,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI;QAC5B,CAAC,CAAC,yBAAyB,CAAC,SAAS,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC;QAC3D,CAAC,CAAC,SAAS,CAAC;IACd,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,KAAK,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAClE,SAAS,CAAC,OAAO,IAAI,OACvB,IAAI,OAAO,EAAE,CAAC;AAChB,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAC1B,MAAyB,EACzB,OAAuB,EACvB,KAAyB,EACL,EAAE;IACtB,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;QACxC,MAAM,OAAO,GAAG,yBAAyB,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;QACvE,OAAO,OAAO;YACZ,CAAC,CAAC,QAAQ,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAC9C,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAC1B,IAAI,OAAO,EAAE;YACf,CAAC,CAAC,SAAS,CAAC;IAChB,CAAC;IAED,MAAM,aAAa,GAAa,EAAE,CAAC;IACnC,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QAC1C,MAAM,YAAY,GAAG,sBAAsB,CAAC,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;QACvE,IAAI,CAAC,YAAY,EAAE,CAAC;YAClB,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,aAAa,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IACnC,CAAC;IAED,MAAM,aAAa,GAAG,MAAM,CAAC,UAAU;QACrC,CAAC,CAAC,yBAAyB,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,EAAE,KAAK,CAAC;QAC9D,CAAC,CAAC,MAAM,CAAC;IACX,IAAI,CAAC,aAAa,EAAE,CAAC;QACnB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,UAAU,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,cAAc,EAAE,MAAM,IAAI,CAAC,IAAI,aAAa,CAAC,IAAI,CACtF,GAAG,CACJ,IAAI,aAAa,EAAE,CAAC;AACvB,CAAC,CAAC;AAEF,MAAM,kCAAkC,GAAG,CACzC,IAAqB,EACrB,OAAuB,EACvB,KAAyB,EACL,EAAE;IACtB,MAAM,QAAQ,GAAG,gBAAgB,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;IAC/D,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;QACtB,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YACtC,OAAO,yBAAyB,CAAC,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;QAC7D,CAAC;QACD,OAAO,kCAAkC,CAAC,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;IACtE,CAAC;IAED,MAAM,QAAQ,GAAG,8BAA8B,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC/D,IAAI,CAAC,QAAQ,IAAI,CAAC,IAAI,CAAC,iBAAiB,EAAE,CAAC;QACzC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,YAAY,GAAa,EAAE,CAAC;IAClC,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,aAAa,IAAI,EAAE,EAAE,CAAC;QAChD,MAAM,WAAW,GAAG,yBAAyB,CAAC,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;QACxE,IAAI,CAAC,WAAW,EAAE,CAAC;YACjB,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,YAAY,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACjC,CAAC;IAED,IAAI,QAAQ,EAAE,CAAC;QACb,OAAO,OAAO,QAAQ,IAAI,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IACtD,CAAC;IAED,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,iBAAiB,IAAI,EAAE,EAAE,CAAC;QAClD,MAAM,SAAS,GAAG,mBAAmB,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;QAC9D,IAAI,CAAC,SAAS,EAAE,CAAC;YACf,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC7B,CAAC;IAED,OAAO,kBAAkB,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,UAAU;SAC3D,IAAI,EAAE;SACN,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;AAClB,CAAC,CAAC;AAEF,MAAM,yBAAyB,GAAG,CAChC,IAAY,EACZ,OAAuB,EACvB,KAAyB,EACL,EAAE;IACtB,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACpC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,MAAM,EAAE,GAAG,eAAe,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACxC,IAAI,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3B,OAAO,SAAS,EAAE,EAAE,CAAC;IACvB,CAAC;IAED,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACvB,IAAI,CAAC;QACH,IAAI,GAAuB,CAAC;QAC5B,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,eAAe,CAAC;YACrB,KAAK,aAAa,CAAC;YACnB,KAAK,mBAAmB,CAAC;YACzB,KAAK,SAAS,CAAC;YACf,KAAK,aAAa,CAAC;YACnB,KAAK,UAAU,CAAC;YAChB,KAAK,WAAW;gBACd,GAAG,GAAG,sBAAsB,CAAC,IAAI,CAAC,CAAC;gBACnC,MAAM;YAER,KAAK,eAAe;gBAClB,GAAG,GAAG,kCAAkC,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;gBAC/D,MAAM;YAER,KAAK,WAAW,CAAC,CAAC,CAAC;gBACjB,MAAM,UAAU,GAAG,yBAAyB,CAC1C,IAAI,CAAC,WAAW,EAChB,OAAO,EACP,KAAK,CACN,CAAC;gBACF,IAAI,CAAC,UAAU,EAAE,CAAC;oBAChB,GAAG,GAAG,SAAS,CAAC;oBAChB,MAAM;gBACR,CAAC;gBACD,MAAM,eAAe,GAAa,EAAE,CAAC;gBACrC,KAAK,MAAM,WAAW,IAAI,IAAI,CAAC,uBAAuB,IAAI,EAAE,EAAE,CAAC;oBAC7D,MAAM,cAAc,GAAG,yBAAyB,CAC9C,WAAW,EACX,OAAO,EACP,KAAK,CACN,CAAC;oBACF,IAAI,CAAC,cAAc,EAAE,CAAC;wBACpB,GAAG,GAAG,SAAS,CAAC;wBAChB,MAAM;oBACR,CAAC;oBACD,eAAe,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;gBACvC,CAAC;gBACD,IAAI,GAAG,KAAK,SAAS,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,uBAAuB,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;oBAChG,MAAM;gBACR,CAAC;gBACD,MAAM,OAAO,GAAG,IAAI,CAAC,oBAAoB;oBACvC,CAAC,CAAC,yBAAyB,CAAC,IAAI,CAAC,oBAAoB,EAAE,OAAO,EAAE,KAAK,CAAC;oBACtE,CAAC,CAAC,MAAM,CAAC;gBACX,GAAG,GAAG,OAAO;oBACX,CAAC,CAAC,OAAO,UAAU,UAAU,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,OAAO,EAAE;oBACxE,CAAC,CAAC,SAAS,CAAC;gBACd,MAAM;YACR,CAAC;YAED,KAAK,WAAW,CAAC,CAAC,CAAC;gBACjB,MAAM,WAAW,GAAa,EAAE,CAAC;gBACjC,KAAK,MAAM,WAAW,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;oBAC5C,MAAM,UAAU,GAAG,yBAAyB,CAC1C,WAAW,EACX,OAAO,EACP,KAAK,CACN,CAAC;oBACF,IAAI,CAAC,UAAU,EAAE,CAAC;wBAChB,GAAG,GAAG,SAAS,CAAC;wBAChB,MAAM;oBACR,CAAC;oBACD,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;gBAC/B,CAAC;gBACD,GAAG;oBACD,GAAG,KAAK,SAAS,IAAI,WAAW,CAAC,MAAM,KAAK,IAAI,CAAC,YAAY,CAAC,MAAM;wBAClE,CAAC,CAAC,SAAS;wBACX,CAAC,CAAC,SAAS,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;gBACvC,MAAM;YACR,CAAC;YAED,KAAK,gBAAgB,CAAC,CAAC,CAAC;gBACtB,MAAM,MAAM,GAAG,yBAAyB,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;gBACvE,MAAM,QAAQ,GAAG,yBAAyB,CACxC,IAAI,CAAC,SAAS,EACd,OAAO,EACP,KAAK,CACN,CAAC;gBACF,GAAG,GAAG,MAAM,IAAI,QAAQ,CAAC,CAAC,CAAC,QAAQ,MAAM,KAAK,QAAQ,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;gBACrE,MAAM;YACR,CAAC;YAED,KAAK,cAAc,CAAC,CAAC,CAAC;gBACpB,MAAM,aAAa,GAAa,EAAE,CAAC;gBACnC,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;oBACxC,MAAM,YAAY,GAAG,sBAAsB,CAAC,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;oBACvE,IAAI,CAAC,YAAY,EAAE,CAAC;wBAClB,GAAG,GAAG,SAAS,CAAC;wBAChB,MAAM;oBACR,CAAC;oBACD,aAAa,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;gBACnC,CAAC;gBACD,IACE,GAAG,KAAK,SAAS;oBACjB,aAAa,CAAC,MAAM,KAAK,IAAI,CAAC,UAAU,CAAC,MAAM,EAC/C,CAAC;oBACD,MAAM;gBACR,CAAC;gBACD,MAAM,SAAS,GAAG,yBAAyB,CACzC,IAAI,CAAC,UAAU,EACf,OAAO,EACP,KAAK,CACN,CAAC;gBACF,GAAG,GAAG,SAAS;oBACb,CAAC,CAAC,MAAM,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,SAAS,EAAE;oBAC/C,CAAC,CAAC,SAAS,CAAC;gBACd,MAAM;YACR,CAAC;YAED,KAAK,YAAY,CAAC,CAAC,CAAC;gBAClB,MAAM,UAAU,GAAa,EAAE,CAAC;gBAChC,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;oBAClC,MAAM,SAAS,GAAG,mBAAmB,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;oBAC9D,IAAI,CAAC,SAAS,EAAE,CAAC;wBACf,GAAG,GAAG,SAAS,CAAC;wBAChB,MAAM;oBACR,CAAC;oBACD,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;gBAC7B,CAAC;gBACD,GAAG;oBACD,GAAG,KAAK,SAAS,IAAI,UAAU,CAAC,MAAM,KAAK,IAAI,CAAC,OAAO,CAAC,MAAM;wBAC5D,CAAC,CAAC,SAAS;wBACX,CAAC,CAAC,OAAO,UAAU,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC3C,MAAM;YACR,CAAC;YAED,KAAK,WAAW,CAAC;YACjB,KAAK,kBAAkB,CAAC,CAAC,CAAC;gBACxB,MAAM,UAAU,GAAa,EAAE,CAAC;gBAChC,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;oBAChC,MAAM,SAAS,GAAG,yBAAyB,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;oBACpE,IAAI,CAAC,SAAS,EAAE,CAAC;wBACf,GAAG,GAAG,SAAS,CAAC;wBAChB,MAAM;oBACR,CAAC;oBACD,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;gBAC7B,CAAC;gBACD,IAAI,GAAG,KAAK,SAAS,IAAI,UAAU,CAAC,MAAM,KAAK,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;oBACjE,MAAM;gBACR,CAAC;gBACD,MAAM,WAAW,GACf,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,IAAI,CAAC,qBAAqB;oBACrD,CAAC,CAAC,UAAU;oBACZ,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,IAAI,EAAE,CAAC;gBAC7B,GAAG,GAAG,GAAG,IAAI,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,IAAI,WAAW,CAAC,IAAI,CACxE,GAAG,CACJ,EAAE,CAAC;gBACJ,MAAM;YACR,CAAC;QACH,CAAC;QAED,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACtB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAC5B,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;YAAS,CAAC;QACT,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC5B,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC1C,IAAY,EACZ,OAAuB,EACH,EAAE,CACtB,yBAAyB,CAAC,IAAI,EAAE,OAAO,EAAE,wBAAwB,EAAE,CAAC,CAAC;AAEvE,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,IAAY,EACZ,OAAuB,EACf,EAAE,CACV,4BAA4B,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,iBAAiB,CAAC,IAAI,CAAC,CAAC;AAEzE,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC1C,IAAY,EACZ,OAAuB,EACf,EAAE,CACV,4BAA4B,CAAC,IAAI,EAAE,OAAO,CAAC;IAC3C,kBAAkB,CAAC,IAAI,CAAC;IACxB,GAAG,IAAI,CAAC,IAAI,IAAI,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC"}

package/dist/core/semantic/direct-storage-ir-types.d.ts

@@ -0,0 +1,12 @@
+import { type IrExpression, type IrType } from "@tsonic/frontend";
+import type { EmitterContext } from "../../types.js";
+export declare const resolveNamedRuntimeCarrierType: (name: string, context: EmitterContext) => IrType | undefined;
+export declare const resolveIdentifierCarrierStorageType: (expr: Extract<IrExpression, {
+    kind: "identifier";
+}>, context: EmitterContext) => IrType | undefined;
+export declare const resolveIdentifierRuntimeCarrierType: (expr: Extract<IrExpression, {
+    kind: "identifier";
+}>, context: EmitterContext) => IrType | undefined;
+export declare const resolveDirectStorageIrType: (expr: IrExpression, context: EmitterContext) => IrType | undefined;
+export declare const resolveRuntimeCarrierIrType: (expr: IrExpression, context: EmitterContext) => IrType | undefined;
+//# sourceMappingURL=direct-storage-ir-types.d.ts.map

package/dist/core/semantic/direct-storage-ir-types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"direct-storage-ir-types.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/direct-storage-ir-types.ts"],"names":[],"mappings":"AAAA,OAAO,EAAoB,KAAK,YAAY,EAAE,KAAK,MAAM,EAAE,MAAM,kBAAkB,CAAC;AACpF,OAAO,KAAK,EAAE,cAAc,EAAmB,MAAM,gBAAgB,CAAC;AA4PtE,eAAO,MAAM,8BAA8B,GACzC,MAAM,MAAM,EACZ,SAAS,cAAc,KACtB,MAAM,GAAG,SAUX,CAAC;AAEF,eAAO,MAAM,mCAAmC,GAC9C,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,CAAC,EACnD,SAAS,cAAc,KACtB,MAAM,GAAG,SAOX,CAAC;AAEF,eAAO,MAAM,mCAAmC,GAC9C,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,CAAC,EACnD,SAAS,cAAc,KACtB,MAAM,GAAG,SAKX,CAAC;AAEF,eAAO,MAAM,0BAA0B,GACrC,MAAM,YAAY,EAClB,SAAS,cAAc,KACtB,MAAM,GAAG,SA2BX,CAAC;AAyBF,eAAO,MAAM,2BAA2B,GACtC,MAAM,YAAY,EAClB,SAAS,cAAc,KACtB,MAAM,GAAG,SA2BX,CAAC"}

package/dist/core/semantic/direct-storage-ir-types.js

@@ -0,0 +1,189 @@
+import { getAwaitedIrType } from "@tsonic/frontend";
+import { resolveIdentifierValueSurfaceType } from "./direct-value-surfaces.js";
+import { getMemberAccessNarrowKey } from "./narrowing-keys.js";
+import { resolveEffectiveExpressionType } from "./narrowed-expression-types.js";
+import { getAcceptedSurfaceType } from "./defaults.js";
+import { getPropertyType, resolveTypeAlias, stripNullish, } from "./type-resolution.js";
+import { normalizeRuntimeStorageType } from "./storage-types.js";
+import { getRuntimeUnionReferenceMembers } from "./runtime-union-shared.js";
+import { unwrapTransparentExpression } from "./transparent-expressions.js";
+import { resolveTypeMemberKind } from "./member-surfaces.js";
+import { resolveStructuralViewMethodSurface } from "./structural-view-types.js";
+const withOptionalUndefined = (type) => type.kind === "unionType" &&
+    type.types.some((member) => member.kind === "primitiveType" && member.name === "undefined")
+    ? type
+    : {
+        kind: "unionType",
+        types: [type, { kind: "primitiveType", name: "undefined" }],
+    };
+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 pickPreferredCarrierCandidate = (context, ...candidates) => candidates.find((candidate) => hasExplicitRuntimeCarrierIdentity(candidate, context)) ??
+    candidates.find((candidate) => candidate !== undefined);
+const getExpressionSourceBackedReturnType = (expr) => expr.kind === "call" || expr.kind === "new"
+    ? expr.sourceBackedReturnType
+    : undefined;
+const getAwaitedCarrierCandidate = (type) => (type ? (getAwaitedIrType(type) ?? type) : undefined);
+const resolveDirectReturnType = (expr, context) => pickPreferredCarrierCandidate(context, expr.kind === "call"
+    ? resolveStructuralViewMethodSurface(expr.callee, context)?.returnType
+    : undefined, getExpressionSourceBackedReturnType(expr), resolveEffectiveExpressionType(expr, context), expr.inferredType);
+const resolveAwaitedDirectReturnType = (expr, context) => pickPreferredCarrierCandidate(context, getAwaitedCarrierCandidate(resolveRuntimeCarrierIrType(expr.expression, context)), getAwaitedCarrierCandidate(getExpressionSourceBackedReturnType(expr.expression)), resolveEffectiveExpressionType(expr, context), expr.inferredType);
+const resolveMemberAccessStorageType = (expr, context) => {
+    if (expr.isComputed) {
+        const transparentReceiver = unwrapTransparentExpression(expr.object);
+        const storageOwnerType = transparentReceiver.kind === "identifier"
+            ? resolveIdentifierCarrierStorageType(transparentReceiver, context)
+            : transparentReceiver.kind === "memberAccess"
+                ? resolveMemberAccessStorageType(transparentReceiver, context)
+                : (resolveEffectiveExpressionType(transparentReceiver, context) ??
+                    transparentReceiver.inferredType);
+        const memberOwnerType = expr.isOptional && storageOwnerType
+            ? stripNullish(storageOwnerType)
+            : storageOwnerType;
+        const resolvedMemberOwnerType = memberOwnerType
+            ? resolveTypeAlias(memberOwnerType, context)
+            : undefined;
+        if (expr.accessKind === "dictionary" &&
+            resolvedMemberOwnerType?.kind === "dictionaryType") {
+            const acceptsMissingValue = expr.isOptional || context.options.surface === "@tsonic/js";
+            return (getAcceptedSurfaceType(resolvedMemberOwnerType.valueType, acceptsMissingValue) ?? resolvedMemberOwnerType.valueType);
+        }
+        return undefined;
+    }
+    if (typeof expr.property !== "string") {
+        return undefined;
+    }
+    const semanticOwnerType = resolveEffectiveExpressionType(expr.object, context) ??
+        expr.object.inferredType;
+    let storageOwnerType = semanticOwnerType;
+    const transparentReceiver = unwrapTransparentExpression(expr.object);
+    const transparentReceiverType = resolveEffectiveExpressionType(transparentReceiver, context) ??
+        transparentReceiver.inferredType;
+    const transparentMemberOwnerType = expr.isOptional && transparentReceiverType
+        ? stripNullish(transparentReceiverType)
+        : transparentReceiverType;
+    if (transparentMemberOwnerType &&
+        resolveTypeMemberKind(transparentMemberOwnerType, expr.property, context) !== undefined) {
+        storageOwnerType = transparentReceiverType;
+    }
+    const propertyType = getPropertyType(storageOwnerType, expr.property, context) ??
+        expr.inferredType;
+    const optionalAwarePropertyType = propertyType && expr.isOptional
+        ? withOptionalUndefined(propertyType)
+        : propertyType;
+    return optionalAwarePropertyType
+        ? (normalizeRuntimeStorageType(optionalAwarePropertyType, context) ??
+            optionalAwarePropertyType)
+        : undefined;
+};
+const resolveNarrowedStorageType = (narrowed, fallbackType) => {
+    if (!narrowed) {
+        return fallbackType;
+    }
+    switch (narrowed.kind) {
+        case "expr":
+            return (narrowed.storageType ??
+                fallbackType ??
+                narrowed.sourceType ??
+                narrowed.type);
+        case "runtimeSubset":
+            return fallbackType ?? narrowed.sourceType ?? narrowed.type;
+        case "rename":
+            return narrowed.type ?? narrowed.sourceType ?? fallbackType;
+    }
+};
+const resolveNarrowedCarrierType = (narrowed, semanticFallbackType, storageFallbackType, context) => {
+    if (!narrowed) {
+        return pickPreferredCarrierCandidate(context, storageFallbackType, semanticFallbackType);
+    }
+    switch (narrowed.kind) {
+        case "expr":
+            return narrowed.carrierExprAst
+                ? pickPreferredCarrierCandidate(context, narrowed.carrierType, narrowed.sourceType, semanticFallbackType, narrowed.type, narrowed.storageType, storageFallbackType)
+                : pickPreferredCarrierCandidate(context, narrowed.sourceType, semanticFallbackType, narrowed.type, narrowed.storageType, storageFallbackType);
+        case "runtimeSubset":
+            return pickPreferredCarrierCandidate(context, narrowed.sourceType, semanticFallbackType, narrowed.type, storageFallbackType);
+        case "rename":
+            return pickPreferredCarrierCandidate(context, narrowed.sourceType, semanticFallbackType, narrowed.type, storageFallbackType);
+    }
+};
+export const resolveNamedRuntimeCarrierType = (name, context) => {
+    const localSemanticType = context.localSemanticTypes?.get(name);
+    const localStorageType = context.localValueTypes?.get(name);
+    const narrowed = context.narrowedBindings?.get(name);
+    return resolveNarrowedCarrierType(narrowed, localSemanticType, localStorageType, context);
+};
+export const resolveIdentifierCarrierStorageType = (expr, context) => {
+    const localStorageType = context.localValueTypes?.get(expr.name);
+    const narrowed = context.narrowedBindings?.get(expr.name);
+    return (resolveNarrowedStorageType(narrowed, localStorageType) ??
+        resolveIdentifierValueSurfaceType(expr, context));
+};
+export const resolveIdentifierRuntimeCarrierType = (expr, context) => {
+    return (resolveNamedRuntimeCarrierType(expr.name, context) ??
+        resolveIdentifierValueSurfaceType(expr, context));
+};
+export const resolveDirectStorageIrType = (expr, context) => {
+    const transparentExpr = unwrapTransparentExpression(expr);
+    if (transparentExpr !== expr) {
+        return (resolveDirectStorageIrType(transparentExpr, context) ??
+            resolveEffectiveExpressionType(expr, context) ??
+            expr.inferredType);
+    }
+    if (transparentExpr.kind === "identifier") {
+        return resolveIdentifierCarrierStorageType(transparentExpr, context);
+    }
+    if (transparentExpr.kind === "memberAccess") {
+        return resolveMemberAccessStorageType(transparentExpr, context);
+    }
+    if (transparentExpr.kind === "await") {
+        return resolveAwaitedDirectReturnType(transparentExpr, context);
+    }
+    if (transparentExpr.kind === "call" || transparentExpr.kind === "new") {
+        return resolveDirectReturnType(transparentExpr, context);
+    }
+    return undefined;
+};
+const resolveMemberAccessRuntimeCarrierType = (expr, context) => {
+    const narrowKey = getMemberAccessNarrowKey(expr);
+    const narrowed = narrowKey
+        ? context.narrowedBindings?.get(narrowKey)
+        : undefined;
+    const semanticFallbackType = resolveEffectiveExpressionType(expr, context) ?? expr.inferredType;
+    const storageFallbackType = resolveMemberAccessStorageType(expr, context);
+    return (resolveNarrowedCarrierType(narrowed, semanticFallbackType, storageFallbackType, context) ??
+        semanticFallbackType ??
+        storageFallbackType);
+};
+export const resolveRuntimeCarrierIrType = (expr, context) => {
+    const transparentExpr = unwrapTransparentExpression(expr);
+    if (transparentExpr !== expr) {
+        return (resolveRuntimeCarrierIrType(transparentExpr, context) ??
+            resolveEffectiveExpressionType(expr, context) ??
+            expr.inferredType);
+    }
+    if (transparentExpr.kind === "identifier") {
+        return resolveIdentifierRuntimeCarrierType(transparentExpr, context);
+    }
+    if (transparentExpr.kind === "memberAccess") {
+        return resolveMemberAccessRuntimeCarrierType(transparentExpr, context);
+    }
+    if (transparentExpr.kind === "await") {
+        return resolveAwaitedDirectReturnType(transparentExpr, context);
+    }
+    if (transparentExpr.kind === "call" || transparentExpr.kind === "new") {
+        return resolveDirectReturnType(transparentExpr, context);
+    }
+    return undefined;
+};
+//# sourceMappingURL=direct-storage-ir-types.js.map

package/dist/core/semantic/direct-storage-ir-types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"direct-storage-ir-types.js","sourceRoot":"","sources":["../../../src/core/semantic/direct-storage-ir-types.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAkC,MAAM,kBAAkB,CAAC;AAEpF,OAAO,EAAE,iCAAiC,EAAE,MAAM,4BAA4B,CAAC;AAC/E,OAAO,EAAE,wBAAwB,EAAE,MAAM,qBAAqB,CAAC;AAC/D,OAAO,EAAE,8BAA8B,EAAE,MAAM,gCAAgC,CAAC;AAChF,OAAO,EAAE,sBAAsB,EAAE,MAAM,eAAe,CAAC;AACvD,OAAO,EACL,eAAe,EACf,gBAAgB,EAChB,YAAY,GACb,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,2BAA2B,EAAE,MAAM,oBAAoB,CAAC;AACjE,OAAO,EAAE,+BAA+B,EAAE,MAAM,2BAA2B,CAAC;AAC5E,OAAO,EAAE,2BAA2B,EAAE,MAAM,8BAA8B,CAAC;AAC3E,OAAO,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AAC7D,OAAO,EAAE,kCAAkC,EAAE,MAAM,4BAA4B,CAAC;AAEhF,MAAM,qBAAqB,GAAG,CAAC,IAAY,EAAU,EAAE,CACrD,IAAI,CAAC,IAAI,KAAK,WAAW;IACzB,IAAI,CAAC,KAAK,CAAC,IAAI,CACb,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,eAAe,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW,CAC3E;IACC,CAAC,CAAC,IAAI;IACN,CAAC,CAAC;QACE,IAAI,EAAE,WAAW;QACjB,KAAK,EAAE,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;KAC5D,CAAC;AAER,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,CACb,CAAC,SAAS,EAAuB,EAAE,CAAC,SAAS,KAAK,SAAS,CAC5D,CAAC;AAEJ,MAAM,mCAAmC,GAAG,CAC1C,IAAkB,EACE,EAAE,CACtB,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK;IACzC,CAAC,CAAC,IAAI,CAAC,sBAAsB;IAC7B,CAAC,CAAC,SAAS,CAAC;AAEhB,MAAM,0BAA0B,GAAG,CACjC,IAAwB,EACJ,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;AAE/E,MAAM,uBAAuB,GAAG,CAC9B,IAAkB,EAClB,OAAuB,EACH,EAAE,CACtB,6BAA6B,CAC3B,OAAO,EACP,IAAI,CAAC,IAAI,KAAK,MAAM;IAClB,CAAC,CAAC,kCAAkC,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,UAAU;IACtE,CAAC,CAAC,SAAS,EACb,mCAAmC,CAAC,IAAI,CAAC,EACzC,8BAA8B,CAAC,IAAI,EAAE,OAAO,CAAC,EAC7C,IAAI,CAAC,YAAY,CAClB,CAAC;AAEJ,MAAM,8BAA8B,GAAG,CACrC,IAA8C,EAC9C,OAAuB,EACH,EAAE,CACtB,6BAA6B,CAC3B,OAAO,EACP,0BAA0B,CAAC,2BAA2B,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,EACjF,0BAA0B,CAAC,mCAAmC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,EAChF,8BAA8B,CAAC,IAAI,EAAE,OAAO,CAAC,EAC7C,IAAI,CAAC,YAAY,CAClB,CAAC;AAEJ,MAAM,8BAA8B,GAAG,CACrC,IAAqD,EACrD,OAAuB,EACH,EAAE;IACtB,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QACpB,MAAM,mBAAmB,GAAG,2BAA2B,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACrE,MAAM,gBAAgB,GACpB,mBAAmB,CAAC,IAAI,KAAK,YAAY;YACvC,CAAC,CAAC,mCAAmC,CAAC,mBAAmB,EAAE,OAAO,CAAC;YACnE,CAAC,CAAC,mBAAmB,CAAC,IAAI,KAAK,cAAc;gBAC3C,CAAC,CAAC,8BAA8B,CAAC,mBAAmB,EAAE,OAAO,CAAC;gBAC9D,CAAC,CAAC,CAAC,8BAA8B,CAAC,mBAAmB,EAAE,OAAO,CAAC;oBAC7D,mBAAmB,CAAC,YAAY,CAAC,CAAC;QAC1C,MAAM,eAAe,GACnB,IAAI,CAAC,UAAU,IAAI,gBAAgB;YACjC,CAAC,CAAC,YAAY,CAAC,gBAAgB,CAAC;YAChC,CAAC,CAAC,gBAAgB,CAAC;QACvB,MAAM,uBAAuB,GAAG,eAAe;YAC7C,CAAC,CAAC,gBAAgB,CAAC,eAAe,EAAE,OAAO,CAAC;YAC5C,CAAC,CAAC,SAAS,CAAC;QAEd,IACE,IAAI,CAAC,UAAU,KAAK,YAAY;YAChC,uBAAuB,EAAE,IAAI,KAAK,gBAAgB,EAClD,CAAC;YACD,MAAM,mBAAmB,GACvB,IAAI,CAAC,UAAU,IAAI,OAAO,CAAC,OAAO,CAAC,OAAO,KAAK,YAAY,CAAC;YAC9D,OAAO,CACL,sBAAsB,CACpB,uBAAuB,CAAC,SAAS,EACjC,mBAAmB,CACpB,IAAI,uBAAuB,CAAC,SAAS,CACvC,CAAC;QACJ,CAAC;QAED,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;QACtC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,iBAAiB,GACrB,8BAA8B,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC;QACpD,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC;IAC3B,IAAI,gBAAgB,GAAG,iBAAiB,CAAC;IACzC,MAAM,mBAAmB,GAAG,2BAA2B,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACrE,MAAM,uBAAuB,GAC3B,8BAA8B,CAAC,mBAAmB,EAAE,OAAO,CAAC;QAC5D,mBAAmB,CAAC,YAAY,CAAC;IACnC,MAAM,0BAA0B,GAC9B,IAAI,CAAC,UAAU,IAAI,uBAAuB;QACxC,CAAC,CAAC,YAAY,CAAC,uBAAuB,CAAC;QACvC,CAAC,CAAC,uBAAuB,CAAC;IAE9B,IACE,0BAA0B;QAC1B,qBAAqB,CACnB,0BAA0B,EAC1B,IAAI,CAAC,QAAQ,EACb,OAAO,CACR,KAAK,SAAS,EACf,CAAC;QACD,gBAAgB,GAAG,uBAAuB,CAAC;IAC7C,CAAC;IAED,MAAM,YAAY,GAChB,eAAe,CAAC,gBAAgB,EAAE,IAAI,CAAC,QAAQ,EAAE,OAAO,CAAC;QACzD,IAAI,CAAC,YAAY,CAAC;IACpB,MAAM,yBAAyB,GAC7B,YAAY,IAAI,IAAI,CAAC,UAAU;QAC7B,CAAC,CAAC,qBAAqB,CAAC,YAAY,CAAC;QACrC,CAAC,CAAC,YAAY,CAAC;IACnB,OAAO,yBAAyB;QAC9B,CAAC,CAAC,CAAC,2BAA2B,CAAC,yBAAyB,EAAE,OAAO,CAAC;YAC9D,yBAAyB,CAAC;QAC9B,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC,CAAC;AAEF,MAAM,0BAA0B,GAAG,CACjC,QAAqC,EACrC,YAAgC,EACZ,EAAE;IACtB,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,YAAY,CAAC;IACtB,CAAC;IAED,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;QACtB,KAAK,MAAM;YACT,OAAO,CACL,QAAQ,CAAC,WAAW;gBACpB,YAAY;gBACZ,QAAQ,CAAC,UAAU;gBACnB,QAAQ,CAAC,IAAI,CACd,CAAC;QACJ,KAAK,eAAe;YAClB,OAAO,YAAY,IAAI,QAAQ,CAAC,UAAU,IAAI,QAAQ,CAAC,IAAI,CAAC;QAC9D,KAAK,QAAQ;YACX,OAAO,QAAQ,CAAC,IAAI,IAAI,QAAQ,CAAC,UAAU,IAAI,YAAY,CAAC;IAChE,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,0BAA0B,GAAG,CACjC,QAAqC,EACrC,oBAAwC,EACxC,mBAAuC,EACvC,OAAuB,EACH,EAAE;IACtB,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,6BAA6B,CAClC,OAAO,EACP,mBAAmB,EACnB,oBAAoB,CACrB,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,oBAAoB,EACpB,QAAQ,CAAC,IAAI,EACb,QAAQ,CAAC,WAAW,EACpB,mBAAmB,CACpB;gBACH,CAAC,CAAC,6BAA6B,CAC3B,OAAO,EACP,QAAQ,CAAC,UAAU,EACnB,oBAAoB,EACpB,QAAQ,CAAC,IAAI,EACb,QAAQ,CAAC,WAAW,EACpB,mBAAmB,CACpB,CAAC;QACR,KAAK,eAAe;YAClB,OAAO,6BAA6B,CAClC,OAAO,EACP,QAAQ,CAAC,UAAU,EACnB,oBAAoB,EACpB,QAAQ,CAAC,IAAI,EACb,mBAAmB,CACpB,CAAC;QACJ,KAAK,QAAQ;YACX,OAAO,6BAA6B,CAClC,OAAO,EACP,QAAQ,CAAC,UAAU,EACnB,oBAAoB,EACpB,QAAQ,CAAC,IAAI,EACb,mBAAmB,CACpB,CAAC;IACN,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAC5C,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;IACrD,OAAO,0BAA0B,CAC/B,QAAQ,EACR,iBAAiB,EACjB,gBAAgB,EAChB,OAAO,CACR,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,mCAAmC,GAAG,CACjD,IAAmD,EACnD,OAAuB,EACH,EAAE;IACtB,MAAM,gBAAgB,GAAG,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjE,MAAM,QAAQ,GAAG,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1D,OAAO,CACL,0BAA0B,CAAC,QAAQ,EAAE,gBAAgB,CAAC;QACtD,iCAAiC,CAAC,IAAI,EAAE,OAAO,CAAC,CACjD,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,mCAAmC,GAAG,CACjD,IAAmD,EACnD,OAAuB,EACH,EAAE;IACtB,OAAO,CACL,8BAA8B,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC;QAClD,iCAAiC,CAAC,IAAI,EAAE,OAAO,CAAC,CACjD,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,0BAA0B,GAAG,CACxC,IAAkB,EAClB,OAAuB,EACH,EAAE;IACtB,MAAM,eAAe,GAAG,2BAA2B,CAAC,IAAI,CAAC,CAAC;IAC1D,IAAI,eAAe,KAAK,IAAI,EAAE,CAAC;QAC7B,OAAO,CACL,0BAA0B,CAAC,eAAe,EAAE,OAAO,CAAC;YACpD,8BAA8B,CAAC,IAAI,EAAE,OAAO,CAAC;YAC7C,IAAI,CAAC,YAAY,CAClB,CAAC;IACJ,CAAC;IAED,IAAI,eAAe,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAC1C,OAAO,mCAAmC,CAAC,eAAe,EAAE,OAAO,CAAC,CAAC;IACvE,CAAC;IAED,IAAI,eAAe,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;QAC5C,OAAO,8BAA8B,CAAC,eAAe,EAAE,OAAO,CAAC,CAAC;IAClE,CAAC;IAED,IAAI,eAAe,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACrC,OAAO,8BAA8B,CAAC,eAAe,EAAE,OAAO,CAAC,CAAC;IAClE,CAAC;IAED,IAAI,eAAe,CAAC,IAAI,KAAK,MAAM,IAAI,eAAe,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACtE,OAAO,uBAAuB,CAAC,eAAe,EAAE,OAAO,CAAC,CAAC;IAC3D,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,qCAAqC,GAAG,CAC5C,IAAqD,EACrD,OAAuB,EACH,EAAE;IACtB,MAAM,SAAS,GAAG,wBAAwB,CAAC,IAAI,CAAC,CAAC;IACjD,MAAM,QAAQ,GAAG,SAAS;QACxB,CAAC,CAAC,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,SAAS,CAAC;QAC1C,CAAC,CAAC,SAAS,CAAC;IACd,MAAM,oBAAoB,GACxB,8BAA8B,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,IAAI,CAAC,YAAY,CAAC;IACrE,MAAM,mBAAmB,GAAG,8BAA8B,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC1E,OAAO,CACL,0BAA0B,CACxB,QAAQ,EACR,oBAAoB,EACpB,mBAAmB,EACnB,OAAO,CACR;QACD,oBAAoB;QACpB,mBAAmB,CACpB,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,IAAkB,EAClB,OAAuB,EACH,EAAE;IACtB,MAAM,eAAe,GAAG,2BAA2B,CAAC,IAAI,CAAC,CAAC;IAC1D,IAAI,eAAe,KAAK,IAAI,EAAE,CAAC;QAC7B,OAAO,CACL,2BAA2B,CAAC,eAAe,EAAE,OAAO,CAAC;YACrD,8BAA8B,CAAC,IAAI,EAAE,OAAO,CAAC;YAC7C,IAAI,CAAC,YAAY,CAClB,CAAC;IACJ,CAAC;IAED,IAAI,eAAe,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAC1C,OAAO,mCAAmC,CAAC,eAAe,EAAE,OAAO,CAAC,CAAC;IACvE,CAAC;IAED,IAAI,eAAe,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;QAC5C,OAAO,qCAAqC,CAAC,eAAe,EAAE,OAAO,CAAC,CAAC;IACzE,CAAC;IAED,IAAI,eAAe,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACrC,OAAO,8BAA8B,CAAC,eAAe,EAAE,OAAO,CAAC,CAAC;IAClE,CAAC;IAED,IAAI,eAAe,CAAC,IAAI,KAAK,MAAM,IAAI,eAAe,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACtE,OAAO,uBAAuB,CAAC,eAAe,EAAE,OAAO,CAAC,CAAC;IAC3D,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC"}

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

@@ -0,0 +1,9 @@
+import type { IrExpression, IrType } from "@tsonic/frontend";
+import type { EmitterContext } from "../../types.js";
+import type { CSharpExpressionAst } from "../format/backend-ast/types.js";
+export declare const resolveDirectValueSurfaceType: (valueAst: CSharpExpressionAst, context: EmitterContext) => IrType | undefined;
+export declare const resolveDirectRuntimeCarrierType: (valueAst: CSharpExpressionAst, context: EmitterContext) => IrType | undefined;
+export declare const resolveIdentifierValueSurfaceType: (expr: Extract<IrExpression, {
+    kind: "identifier";
+}>, context: EmitterContext) => IrType | undefined;
+//# sourceMappingURL=direct-value-surfaces.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"direct-value-surfaces.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/direct-value-surfaces.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC7D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AACrD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,gCAAgC,CAAC;AAoQ1E,eAAO,MAAM,6BAA6B,GACxC,UAAU,mBAAmB,EAC7B,SAAS,cAAc,KACtB,MAAM,GAAG,SA2BX,CAAC;AAEF,eAAO,MAAM,+BAA+B,GAC1C,UAAU,mBAAmB,EAC7B,SAAS,cAAc,KACtB,MAAM,GAAG,SA4BX,CAAC;AAEF,eAAO,MAAM,iCAAiC,GAC5C,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,CAAC,EACnD,SAAS,cAAc,KACtB,MAAM,GAAG,SAWX,CAAC"}