@tsonic/frontend 0.0.74 → 0.0.75

package/dist/ir/converters/expressions/access/binding-resolution-hierarchical.js

@@ -0,0 +1,347 @@
+/**
+ * Hierarchical binding resolution for member access expressions.
+ *
+ * Handles namespace.type, type.member, directType.member, and instance.member
+ * patterns using the BindingRegistry.
+ *
+ * Split from binding-resolution.ts for file-size compliance (< 500 LOC).
+ */
+import * as ts from "typescript";
+import { tsbindgenClrTypeNameToTsTypeName } from "../../../../tsbindgen/names.js";
+import { extractTypeName } from "./member-resolution.js";
+/**
+ * Resolve hierarchical binding for a member access
+ * Handles namespace.type, type.member, directType.member, and instance.member patterns
+ */
+export const resolveHierarchicalBinding = (object, propertyName, ctx) => {
+    const registry = ctx.bindings;
+    const isImportLikeDeclaration = (decl) => ts.isImportClause(decl) ||
+        ts.isImportSpecifier(decl) ||
+        ts.isNamespaceImport(decl) ||
+        ts.isImportEqualsDeclaration(decl);
+    const isAmbientGlobalDeclaration = (decl) => {
+        const sourceFile = decl.getSourceFile();
+        const isDeclarationModuleGlobal = (() => {
+            for (let current = decl.parent; current; current = current.parent) {
+                if (ts.isModuleDeclaration(current) &&
+                    ts.isIdentifier(current.name) &&
+                    current.name.text === "global") {
+                    return true;
+                }
+            }
+            return false;
+        })();
+        if (isDeclarationModuleGlobal) {
+            return true;
+        }
+        return ((sourceFile.isDeclarationFile && !ts.isExternalModule(sourceFile)) ||
+            (ts.getCombinedModifierFlags(decl) & ts.ModifierFlags.Ambient) !== 0);
+    };
+    const isTypeLikeIdentifierName = (name) => typeof name === "string" && /^[A-Z]/.test(name);
+    const shouldUseSimpleIdentifierBinding = () => {
+        if (object.kind !== "identifier")
+            return false;
+        if (!object.declId)
+            return true;
+        const declInfo = ctx.binding
+            ._getHandleRegistry()
+            .getDecl(object.declId);
+        if (!declInfo) {
+            return true;
+        }
+        const declarationNodes = [
+            declInfo.declNode,
+            declInfo.valueDeclNode,
+            declInfo.typeDeclNode,
+        ].filter((node) => node !== undefined);
+        if (declarationNodes.length === 0) {
+            return true;
+        }
+        if (declarationNodes.some(isImportLikeDeclaration)) {
+            return false;
+        }
+        return declarationNodes.every(isAmbientGlobalDeclaration);
+    };
+    const tryResolveOwnerMemberBinding = (ownerAliasOrClrType, preferredClrOwner) => {
+        if (!ownerAliasOrClrType)
+            return undefined;
+        const overloads = registry.getMemberOverloads(ownerAliasOrClrType, propertyName, preferredClrOwner ?? ownerAliasOrClrType);
+        if (!overloads || overloads.length === 0)
+            return undefined;
+        return toIrMemberBinding(overloads);
+    };
+    const getAliasesForExactClrType = (clrType, preference) => {
+        const aliases = [...ctx.bindings.getTypesMap().values()]
+            .filter((type) => type.name === clrType)
+            .map((type) => type.alias)
+            .sort((left, right) => {
+            const leftStatic = left.endsWith("$static");
+            const rightStatic = right.endsWith("$static");
+            if (leftStatic !== rightStatic) {
+                return preference === "static"
+                    ? leftStatic
+                        ? -1
+                        : 1
+                    : leftStatic
+                        ? 1
+                        : -1;
+            }
+            return left.localeCompare(right);
+        });
+        return [...new Set(aliases)];
+    };
+    const getWrapperBindingCandidates = () => {
+        const inferredType = object.inferredType;
+        if (!inferredType)
+            return [];
+        const candidates = [];
+        const pushCandidate = (name) => {
+            if (!candidates.includes(name)) {
+                candidates.push(name);
+            }
+        };
+        if (inferredType.kind === "arrayType" ||
+            inferredType.kind === "tupleType") {
+            pushCandidate("Array");
+            return candidates;
+        }
+        if (inferredType.kind === "referenceType") {
+            const simpleName = inferredType.name.split(".").pop() ?? inferredType.name;
+            if (simpleName === "Array" ||
+                simpleName === "ReadonlyArray" ||
+                simpleName === "ArrayLike") {
+                pushCandidate("Array");
+                return candidates;
+            }
+        }
+        if (inferredType.kind === "primitiveType") {
+            if (inferredType.name === "string") {
+                pushCandidate("String");
+            }
+            if (inferredType.name === "number") {
+                pushCandidate("Number");
+            }
+            if (inferredType.name === "boolean") {
+                pushCandidate("Boolean");
+            }
+            return candidates;
+        }
+        if (inferredType.kind === "literalType") {
+            if (typeof inferredType.value === "string") {
+                pushCandidate("String");
+            }
+            if (typeof inferredType.value === "number") {
+                pushCandidate("Number");
+            }
+            if (typeof inferredType.value === "boolean") {
+                pushCandidate("Boolean");
+            }
+        }
+        return candidates;
+    };
+    const getPreferredInstanceOwnerClrType = (ownerAlias) => {
+        const type = registry.getType(ownerAlias);
+        if (type) {
+            return type.name;
+        }
+        const descriptor = registry.getExactBinding(ownerAlias);
+        if (!descriptor)
+            return undefined;
+        return descriptor.type;
+    };
+    const toIrMemberBinding = (overloads) => {
+        const first = overloads[0];
+        if (!first)
+            return undefined;
+        const getTargetKey = (m) => `${m.binding.assembly}:${m.binding.type}::${m.binding.member}`;
+        const targetKey = getTargetKey(first);
+        if (overloads.some((m) => getTargetKey(m) !== targetKey)) {
+            // Unsafe: overloads map to different CLR targets.
+            return undefined;
+        }
+        const getModifiersKey = (m) => {
+            const mods = m.parameterModifiers ?? [];
+            if (mods.length === 0)
+                return "";
+            return [...mods]
+                .slice()
+                .sort((a, b) => a.index - b.index)
+                .map((mod) => `${mod.index}:${mod.modifier}`)
+                .join(",");
+        };
+        const modsKey = getModifiersKey(first);
+        const modsConsistent = overloads.every((m) => getModifiersKey(m) === modsKey);
+        return {
+            kind: first.kind,
+            assembly: first.binding.assembly,
+            type: first.binding.type,
+            member: first.binding.member,
+            receiverExpectedType: first.receiverExpectedType,
+            // IMPORTANT: Only attach parameterModifiers if consistent across all overloads.
+            // Overloads can differ in ref/out/in, and those must be selected at call time.
+            parameterModifiers: modsConsistent &&
+                first.parameterModifiers &&
+                first.parameterModifiers.length > 0
+                ? first.parameterModifiers
+                : undefined,
+            isExtensionMethod: first.isExtensionMethod,
+            emitSemantics: first.emitSemantics,
+        };
+    };
+    // Case 1: object is identifier → check if it's a namespace, then check if property is a type
+    if (object.kind === "identifier") {
+        if (shouldUseSimpleIdentifierBinding()) {
+            const simpleBinding = ctx.bindings.getExactBindingByKind(object.name, "global");
+            if (simpleBinding?.staticType) {
+                const staticCandidates = [
+                    ...getAliasesForExactClrType(simpleBinding.staticType, "static"),
+                    simpleBinding.staticType,
+                    tsbindgenClrTypeNameToTsTypeName(simpleBinding.staticType),
+                ].filter((candidate) => typeof candidate === "string");
+                for (const candidate of staticCandidates) {
+                    const staticBinding = tryResolveOwnerMemberBinding(candidate, simpleBinding.staticType);
+                    if (staticBinding) {
+                        return staticBinding;
+                    }
+                }
+            }
+            if (simpleBinding) {
+                const instanceCandidates = [
+                    ...getAliasesForExactClrType(simpleBinding.type, "instance"),
+                    simpleBinding.type,
+                    tsbindgenClrTypeNameToTsTypeName(simpleBinding.type),
+                ].filter((candidate) => typeof candidate === "string");
+                for (const candidate of instanceCandidates) {
+                    const instanceBinding = tryResolveOwnerMemberBinding(candidate, simpleBinding.type);
+                    if (instanceBinding) {
+                        return instanceBinding;
+                    }
+                }
+            }
+            if (simpleBinding) {
+                const sourceOwnedAliases = [
+                    simpleBinding.type
+                        ? tsbindgenClrTypeNameToTsTypeName(simpleBinding.type)
+                        : undefined,
+                    simpleBinding.staticType
+                        ? tsbindgenClrTypeNameToTsTypeName(simpleBinding.staticType)
+                        : undefined,
+                ].filter((candidate) => typeof candidate === "string");
+                if (sourceOwnedAliases.some((alias) => ctx.bindings.hasSourceOwnedTypeAlias(alias))) {
+                    return undefined;
+                }
+            }
+        }
+        const resolvedClrBinding = tryResolveOwnerMemberBinding(object.resolvedClrType);
+        if (resolvedClrBinding) {
+            return resolvedClrBinding;
+        }
+        const namespace = registry.getNamespace(object.name);
+        if (namespace) {
+            // Found namespace binding, check if property is a type within this namespace
+            // Note: After schema swap, we look up by alias (TS identifier)
+            const type = namespace.types.find((t) => t.alias === propertyName);
+            if (type) {
+                // This member access is namespace.type - we don't emit a member binding here
+                // because we're just accessing a type, not calling a member
+                return undefined;
+            }
+        }
+        // Case 1b: object is a direct type import (like `Console` imported directly)
+        // Check if the identifier is a type alias, and if so, look up the member
+        // First try by local name, then by original name (handles aliased imports like `import { String as ClrString }`)
+        if (isTypeLikeIdentifierName(object.name) ||
+            isTypeLikeIdentifierName(object.originalName)) {
+            const directType = registry.getType(object.name) ??
+                (object.originalName
+                    ? registry.getType(object.originalName)
+                    : undefined);
+            if (directType) {
+                const overloads = registry.getMemberOverloads(directType.alias, propertyName);
+                if (!overloads || overloads.length === 0)
+                    return undefined;
+                return toIrMemberBinding(overloads);
+            }
+        }
+    }
+    // Case 2: object is member expression with a type reference → check if property is a member
+    if (object.kind === "memberAccess" && !object.isComputed) {
+        // Walk up the chain to find if this is a type reference
+        // For systemLinq.enumerable, the object is "systemLinq" and property is "enumerable"
+        if (object.object.kind === "identifier") {
+            const namespace = registry.getNamespace(object.object.name);
+            if (namespace && typeof object.property === "string") {
+                const type = namespace.types.find((t) => t.alias === object.property);
+                if (type) {
+                    // The object is a type reference (namespace.type), now check if property is a member
+                    const overloads = registry.getMemberOverloads(type.alias, propertyName);
+                    if (!overloads || overloads.length === 0)
+                        return undefined;
+                    return toIrMemberBinding(overloads);
+                }
+            }
+        }
+    }
+    // Case 3: Instance member access (e.g., numbers.add where numbers is List<T>)
+    // Use the object's inferred type, plus any surface wrapper bindings, to look
+    // up the member binding deterministically.
+    const objectTypeCandidates = [
+        ...getWrapperBindingCandidates(),
+        extractTypeName(object.inferredType),
+    ].filter((candidate) => typeof candidate === "string");
+    for (const objectTypeName of objectTypeCandidates) {
+        const overloads = registry.getMemberOverloads(objectTypeName, propertyName, getPreferredInstanceOwnerClrType(objectTypeName));
+        if (!overloads || overloads.length === 0)
+            continue;
+        return toIrMemberBinding(overloads);
+    }
+    return undefined;
+};
+export const resolveExpectedClrTypeFromBindings = (raw, declaringTypeTsName) => {
+    const matchesDeclaringTsName = (clrTypeName) => {
+        const tsName = tsbindgenClrTypeNameToTsTypeName(clrTypeName);
+        return tsName === declaringTypeTsName;
+    };
+    // tsbindgen/full manifest shape
+    const types = raw.types;
+    if (Array.isArray(types)) {
+        const matchingClrTypes = new Set();
+        for (const t of types) {
+            if (!t || typeof t !== "object")
+                continue;
+            const clrName = t.clrName;
+            if (typeof clrName !== "string")
+                continue;
+            if (matchesDeclaringTsName(clrName)) {
+                matchingClrTypes.add(clrName);
+            }
+        }
+        if (matchingClrTypes.size === 1) {
+            const [only] = matchingClrTypes;
+            return only;
+        }
+        return undefined;
+    }
+    // simple manifest shape: { bindings: { name: { type: "Namespace.Type" } } }
+    const bindings = raw.bindings;
+    if (!bindings || typeof bindings !== "object" || Array.isArray(bindings)) {
+        return undefined;
+    }
+    const matchingClrTypes = new Set();
+    for (const descriptor of Object.values(bindings)) {
+        if (!descriptor || typeof descriptor !== "object")
+            continue;
+        const clrType = descriptor.type;
+        if (typeof clrType !== "string")
+            continue;
+        if (matchesDeclaringTsName(clrType)) {
+            matchingClrTypes.add(clrType);
+        }
+    }
+    if (matchingClrTypes.size === 1) {
+        const [only] = matchingClrTypes;
+        return only;
+    }
+    return undefined;
+};
+//# sourceMappingURL=binding-resolution-hierarchical.js.map

package/dist/ir/converters/expressions/access/binding-resolution-hierarchical.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"binding-resolution-hierarchical.js","sourceRoot":"","sources":["../../../../../src/ir/converters/expressions/access/binding-resolution-hierarchical.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAMjC,OAAO,EAAE,gCAAgC,EAAE,MAAM,gCAAgC,CAAC;AAClF,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAEzD;;;GAGG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG,CACxC,MAA4C,EAC5C,YAAoB,EACpB,GAAmB,EACkB,EAAE;IACvC,MAAM,QAAQ,GAAG,GAAG,CAAC,QAAQ,CAAC;IAC9B,MAAM,uBAAuB,GAAG,CAAC,IAAoB,EAAW,EAAE,CAChE,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC;QACvB,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC;QAC1B,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC;QAC1B,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,CAAC;IAErC,MAAM,0BAA0B,GAAG,CAAC,IAAoB,EAAW,EAAE;QACnE,MAAM,UAAU,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC;QACxC,MAAM,yBAAyB,GAAG,CAAC,GAAG,EAAE;YACtC,KACE,IAAI,OAAO,GAAwB,IAAI,CAAC,MAAM,EAC9C,OAAO,EACP,OAAO,GAAG,OAAO,CAAC,MAAM,EACxB,CAAC;gBACD,IACE,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC;oBAC/B,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC;oBAC7B,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAC9B,CAAC;oBACD,OAAO,IAAI,CAAC;gBACd,CAAC;YACH,CAAC;YAED,OAAO,KAAK,CAAC;QACf,CAAC,CAAC,EAAE,CAAC;QAEL,IAAI,yBAAyB,EAAE,CAAC;YAC9B,OAAO,IAAI,CAAC;QACd,CAAC;QAED,OAAO,CACL,CAAC,UAAU,CAAC,iBAAiB,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,UAAU,CAAC,CAAC;YAClE,CAAC,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,aAAa,CAAC,OAAO,CAAC,KAAK,CAAC,CACrE,CAAC;IACJ,CAAC,CAAC;IAEF,MAAM,wBAAwB,GAAG,CAAC,IAAwB,EAAW,EAAE,CACrE,OAAO,IAAI,KAAK,QAAQ,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAElD,MAAM,gCAAgC,GAAG,GAAY,EAAE;QACrD,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY;YAAE,OAAO,KAAK,CAAC;QAC/C,IAAI,CAAC,MAAM,CAAC,MAAM;YAAE,OAAO,IAAI,CAAC;QAEhC,MAAM,QAAQ,GAAI,GAAG,CAAC,OAA2B;aAC9C,kBAAkB,EAAE;aACpB,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QAC1B,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,OAAO,IAAI,CAAC;QACd,CAAC;QAED,MAAM,gBAAgB,GAAG;YACvB,QAAQ,CAAC,QAAQ;YACjB,QAAQ,CAAC,aAAa;YACtB,QAAQ,CAAC,YAAY;SACtB,CAAC,MAAM,CAAC,CAAC,IAAI,EAA0B,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;QAE/D,IAAI,gBAAgB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAClC,OAAO,IAAI,CAAC;QACd,CAAC;QAED,IAAI,gBAAgB,CAAC,IAAI,CAAC,uBAAuB,CAAC,EAAE,CAAC;YACnD,OAAO,KAAK,CAAC;QACf,CAAC;QAED,OAAO,gBAAgB,CAAC,KAAK,CAAC,0BAA0B,CAAC,CAAC;IAC5D,CAAC,CAAC;IAEF,MAAM,4BAA4B,GAAG,CACnC,mBAAuC,EACvC,iBAA0B,EACW,EAAE;QACvC,IAAI,CAAC,mBAAmB;YAAE,OAAO,SAAS,CAAC;QAC3C,MAAM,SAAS,GAAG,QAAQ,CAAC,kBAAkB,CAC3C,mBAAmB,EACnB,YAAY,EACZ,iBAAiB,IAAI,mBAAmB,CACzC,CAAC;QACF,IAAI,CAAC,SAAS,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,SAAS,CAAC;QAC3D,OAAO,iBAAiB,CAAC,SAAS,CAAC,CAAC;IACtC,CAAC,CAAC;IAEF,MAAM,yBAAyB,GAAG,CAChC,OAAe,EACf,UAAiC,EACd,EAAE;QACrB,MAAM,OAAO,GAAG,CAAC,GAAG,GAAG,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC,MAAM,EAAE,CAAC;aACrD,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC;aACvC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;aACzB,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;YACpB,MAAM,UAAU,GAAG,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;YAC5C,MAAM,WAAW,GAAG,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;YAC9C,IAAI,UAAU,KAAK,WAAW,EAAE,CAAC;gBAC/B,OAAO,UAAU,KAAK,QAAQ;oBAC5B,CAAC,CAAC,UAAU;wBACV,CAAC,CAAC,CAAC,CAAC;wBACJ,CAAC,CAAC,CAAC;oBACL,CAAC,CAAC,UAAU;wBACV,CAAC,CAAC,CAAC;wBACH,CAAC,CAAC,CAAC,CAAC,CAAC;YACX,CAAC;YACD,OAAO,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;QACnC,CAAC,CAAC,CAAC;QAEL,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;IAC/B,CAAC,CAAC;IAEF,MAAM,2BAA2B,GAAG,GAAsB,EAAE;QAC1D,MAAM,YAAY,GAAG,MAAM,CAAC,YAAY,CAAC;QACzC,IAAI,CAAC,YAAY;YAAE,OAAO,EAAE,CAAC;QAE7B,MAAM,UAAU,GAAa,EAAE,CAAC;QAChC,MAAM,aAAa,GAAG,CAAC,IAAY,EAAQ,EAAE;YAC3C,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC/B,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACxB,CAAC;QACH,CAAC,CAAC;QAEF,IACE,YAAY,CAAC,IAAI,KAAK,WAAW;YACjC,YAAY,CAAC,IAAI,KAAK,WAAW,EACjC,CAAC;YACD,aAAa,CAAC,OAAO,CAAC,CAAC;YACvB,OAAO,UAAU,CAAC;QACpB,CAAC;QAED,IAAI,YAAY,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YAC1C,MAAM,UAAU,GACd,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,YAAY,CAAC,IAAI,CAAC;YAC1D,IACE,UAAU,KAAK,OAAO;gBACtB,UAAU,KAAK,eAAe;gBAC9B,UAAU,KAAK,WAAW,EAC1B,CAAC;gBACD,aAAa,CAAC,OAAO,CAAC,CAAC;gBACvB,OAAO,UAAU,CAAC;YACpB,CAAC;QACH,CAAC;QAED,IAAI,YAAY,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YAC1C,IAAI,YAAY,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBACnC,aAAa,CAAC,QAAQ,CAAC,CAAC;YAC1B,CAAC;YACD,IAAI,YAAY,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBACnC,aAAa,CAAC,QAAQ,CAAC,CAAC;YAC1B,CAAC;YACD,IAAI,YAAY,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBACpC,aAAa,CAAC,SAAS,CAAC,CAAC;YAC3B,CAAC;YACD,OAAO,UAAU,CAAC;QACpB,CAAC;QAED,IAAI,YAAY,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YACxC,IAAI,OAAO,YAAY,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;gBAC3C,aAAa,CAAC,QAAQ,CAAC,CAAC;YAC1B,CAAC;YACD,IAAI,OAAO,YAAY,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;gBAC3C,aAAa,CAAC,QAAQ,CAAC,CAAC;YAC1B,CAAC;YACD,IAAI,OAAO,YAAY,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;gBAC5C,aAAa,CAAC,SAAS,CAAC,CAAC;YAC3B,CAAC;QACH,CAAC;QAED,OAAO,UAAU,CAAC;IACpB,CAAC,CAAC;IAEF,MAAM,gCAAgC,GAAG,CACvC,UAAkB,EACE,EAAE;QACtB,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;QAC1C,IAAI,IAAI,EAAE,CAAC;YACT,OAAO,IAAI,CAAC,IAAI,CAAC;QACnB,CAAC;QAED,MAAM,UAAU,GAAG,QAAQ,CAAC,eAAe,CAAC,UAAU,CAAC,CAAC;QACxD,IAAI,CAAC,UAAU;YAAE,OAAO,SAAS,CAAC;QAClC,OAAO,UAAU,CAAC,IAAI,CAAC;IACzB,CAAC,CAAC;IAEF,MAAM,iBAAiB,GAAG,CACxB,SAAmC,EACE,EAAE;QACvC,MAAM,KAAK,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;QAC3B,IAAI,CAAC,KAAK;YAAE,OAAO,SAAS,CAAC;QAE7B,MAAM,YAAY,GAAG,CAAC,CAAgB,EAAU,EAAE,CAChD,GAAG,CAAC,CAAC,OAAO,CAAC,QAAQ,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;QACjE,MAAM,SAAS,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;QACtC,IAAI,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,EAAE,CAAC;YACzD,kDAAkD;YAClD,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,MAAM,eAAe,GAAG,CAAC,CAAgB,EAAU,EAAE;YACnD,MAAM,IAAI,GAAG,CAAC,CAAC,kBAAkB,IAAI,EAAE,CAAC;YACxC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,EAAE,CAAC;YACjC,OAAO,CAAC,GAAG,IAAI,CAAC;iBACb,KAAK,EAAE;iBACP,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC;iBACjC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,KAAK,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;iBAC5C,IAAI,CAAC,GAAG,CAAC,CAAC;QACf,CAAC,CAAC;QAEF,MAAM,OAAO,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;QACvC,MAAM,cAAc,GAAG,SAAS,CAAC,KAAK,CACpC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,KAAK,OAAO,CACtC,CAAC;QAEF,OAAO;YACL,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,QAAQ,EAAE,KAAK,CAAC,OAAO,CAAC,QAAQ;YAChC,IAAI,EAAE,KAAK,CAAC,OAAO,CAAC,IAAI;YACxB,MAAM,EAAE,KAAK,CAAC,OAAO,CAAC,MAAM;YAC5B,oBAAoB,EAAE,KAAK,CAAC,oBAAoB;YAChD,gFAAgF;YAChF,+EAA+E;YAC/E,kBAAkB,EAChB,cAAc;gBACd,KAAK,CAAC,kBAAkB;gBACxB,KAAK,CAAC,kBAAkB,CAAC,MAAM,GAAG,CAAC;gBACjC,CAAC,CAAC,KAAK,CAAC,kBAAkB;gBAC1B,CAAC,CAAC,SAAS;YACf,iBAAiB,EAAE,KAAK,CAAC,iBAAiB;YAC1C,aAAa,EAAE,KAAK,CAAC,aAAa;SACnC,CAAC;IACJ,CAAC,CAAC;IAEF,6FAA6F;IAC7F,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACjC,IAAI,gCAAgC,EAAE,EAAE,CAAC;YACvC,MAAM,aAAa,GAAG,GAAG,CAAC,QAAQ,CAAC,qBAAqB,CACtD,MAAM,CAAC,IAAI,EACX,QAAQ,CACT,CAAC;YAEF,IAAI,aAAa,EAAE,UAAU,EAAE,CAAC;gBAC9B,MAAM,gBAAgB,GAAG;oBACvB,GAAG,yBAAyB,CAAC,aAAa,CAAC,UAAU,EAAE,QAAQ,CAAC;oBAChE,aAAa,CAAC,UAAU;oBACxB,gCAAgC,CAAC,aAAa,CAAC,UAAU,CAAC;iBAC3D,CAAC,MAAM,CACN,CAAC,SAAS,EAAuB,EAAE,CAAC,OAAO,SAAS,KAAK,QAAQ,CAClE,CAAC;gBAEF,KAAK,MAAM,SAAS,IAAI,gBAAgB,EAAE,CAAC;oBACzC,MAAM,aAAa,GAAG,4BAA4B,CAChD,SAAS,EACT,aAAa,CAAC,UAAU,CACzB,CAAC;oBACF,IAAI,aAAa,EAAE,CAAC;wBAClB,OAAO,aAAa,CAAC;oBACvB,CAAC;gBACH,CAAC;YACH,CAAC;YAED,IAAI,aAAa,EAAE,CAAC;gBAClB,MAAM,kBAAkB,GAAG;oBACzB,GAAG,yBAAyB,CAAC,aAAa,CAAC,IAAI,EAAE,UAAU,CAAC;oBAC5D,aAAa,CAAC,IAAI;oBAClB,gCAAgC,CAAC,aAAa,CAAC,IAAI,CAAC;iBACrD,CAAC,MAAM,CACN,CAAC,SAAS,EAAuB,EAAE,CAAC,OAAO,SAAS,KAAK,QAAQ,CAClE,CAAC;gBAEF,KAAK,MAAM,SAAS,IAAI,kBAAkB,EAAE,CAAC;oBAC3C,MAAM,eAAe,GAAG,4BAA4B,CAClD,SAAS,EACT,aAAa,CAAC,IAAI,CACnB,CAAC;oBACF,IAAI,eAAe,EAAE,CAAC;wBACpB,OAAO,eAAe,CAAC;oBACzB,CAAC;gBACH,CAAC;YACH,CAAC;YAED,IAAI,aAAa,EAAE,CAAC;gBAClB,MAAM,kBAAkB,GAAG;oBACzB,aAAa,CAAC,IAAI;wBAChB,CAAC,CAAC,gCAAgC,CAAC,aAAa,CAAC,IAAI,CAAC;wBACtD,CAAC,CAAC,SAAS;oBACb,aAAa,CAAC,UAAU;wBACtB,CAAC,CAAC,gCAAgC,CAAC,aAAa,CAAC,UAAU,CAAC;wBAC5D,CAAC,CAAC,SAAS;iBACd,CAAC,MAAM,CACN,CAAC,SAAS,EAAuB,EAAE,CAAC,OAAO,SAAS,KAAK,QAAQ,CAClE,CAAC;gBAEF,IACE,kBAAkB,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAChC,GAAG,CAAC,QAAQ,CAAC,uBAAuB,CAAC,KAAK,CAAC,CAC5C,EACD,CAAC;oBACD,OAAO,SAAS,CAAC;gBACnB,CAAC;YACH,CAAC;QACH,CAAC;QAED,MAAM,kBAAkB,GAAG,4BAA4B,CACrD,MAAM,CAAC,eAAe,CACvB,CAAC;QACF,IAAI,kBAAkB,EAAE,CAAC;YACvB,OAAO,kBAAkB,CAAC;QAC5B,CAAC;QAED,MAAM,SAAS,GAAG,QAAQ,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACrD,IAAI,SAAS,EAAE,CAAC;YACd,6EAA6E;YAC7E,+DAA+D;YAC/D,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,YAAY,CAAC,CAAC;YACnE,IAAI,IAAI,EAAE,CAAC;gBACT,6EAA6E;gBAC7E,4DAA4D;gBAC5D,OAAO,SAAS,CAAC;YACnB,CAAC;QACH,CAAC;QAED,6EAA6E;QAC7E,yEAAyE;QACzE,iHAAiH;QACjH,IACE,wBAAwB,CAAC,MAAM,CAAC,IAAI,CAAC;YACrC,wBAAwB,CAAC,MAAM,CAAC,YAAY,CAAC,EAC7C,CAAC;YACD,MAAM,UAAU,GACd,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC;gBAC7B,CAAC,MAAM,CAAC,YAAY;oBAClB,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,YAAY,CAAC;oBACvC,CAAC,CAAC,SAAS,CAAC,CAAC;YACjB,IAAI,UAAU,EAAE,CAAC;gBACf,MAAM,SAAS,GAAG,QAAQ,CAAC,kBAAkB,CAC3C,UAAU,CAAC,KAAK,EAChB,YAAY,CACb,CAAC;gBACF,IAAI,CAAC,SAAS,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;oBAAE,OAAO,SAAS,CAAC;gBAC3D,OAAO,iBAAiB,CAAC,SAAS,CAAC,CAAC;YACtC,CAAC;QACH,CAAC;IACH,CAAC;IAED,4FAA4F;IAC5F,IAAI,MAAM,CAAC,IAAI,KAAK,cAAc,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC;QACzD,wDAAwD;QACxD,qFAAqF;QACrF,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YACxC,MAAM,SAAS,GAAG,QAAQ,CAAC,YAAY,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YAC5D,IAAI,SAAS,IAAI,OAAO,MAAM,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;gBACrD,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,MAAM,CAAC,QAAQ,CAAC,CAAC;gBACtE,IAAI,IAAI,EAAE,CAAC;oBACT,qFAAqF;oBACrF,MAAM,SAAS,GAAG,QAAQ,CAAC,kBAAkB,CAC3C,IAAI,CAAC,KAAK,EACV,YAAY,CACb,CAAC;oBACF,IAAI,CAAC,SAAS,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;wBAAE,OAAO,SAAS,CAAC;oBAC3D,OAAO,iBAAiB,CAAC,SAAS,CAAC,CAAC;gBACtC,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,8EAA8E;IAC9E,6EAA6E;IAC7E,2CAA2C;IAC3C,MAAM,oBAAoB,GAAG;QAC3B,GAAG,2BAA2B,EAAE;QAChC,eAAe,CAAC,MAAM,CAAC,YAAY,CAAC;KACrC,CAAC,MAAM,CAAC,CAAC,SAAS,EAAuB,EAAE,CAAC,OAAO,SAAS,KAAK,QAAQ,CAAC,CAAC;IAE5E,KAAK,MAAM,cAAc,IAAI,oBAAoB,EAAE,CAAC;QAClD,MAAM,SAAS,GAAG,QAAQ,CAAC,kBAAkB,CAC3C,cAAc,EACd,YAAY,EACZ,gCAAgC,CAAC,cAAc,CAAC,CACjD,CAAC;QACF,IAAI,CAAC,SAAS,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QACnD,OAAO,iBAAiB,CAAC,SAAS,CAAC,CAAC;IACtC,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,kCAAkC,GAAG,CAChD,GAA4B,EAC5B,mBAA2B,EACP,EAAE;IACtB,MAAM,sBAAsB,GAAG,CAAC,WAAmB,EAAW,EAAE;QAC9D,MAAM,MAAM,GAAG,gCAAgC,CAAC,WAAW,CAAC,CAAC;QAC7D,OAAO,MAAM,KAAK,mBAAmB,CAAC;IACxC,CAAC,CAAC;IAEF,gCAAgC;IAChC,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC;IACxB,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAU,CAAC;QAC3C,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,IAAI,CAAC,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ;gBAAE,SAAS;YAC1C,MAAM,OAAO,GAAI,CAAoC,CAAC,OAAO,CAAC;YAC9D,IAAI,OAAO,OAAO,KAAK,QAAQ;gBAAE,SAAS;YAC1C,IAAI,sBAAsB,CAAC,OAAO,CAAC,EAAE,CAAC;gBACpC,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YAChC,CAAC;QACH,CAAC;QAED,IAAI,gBAAgB,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;YAChC,MAAM,CAAC,IAAI,CAAC,GAAG,gBAAgB,CAAC;YAChC,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,4EAA4E;IAC5E,MAAM,QAAQ,GAAG,GAAG,CAAC,QAAQ,CAAC;IAC9B,IAAI,CAAC,QAAQ,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QACzE,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC3C,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;QACjD,IAAI,CAAC,UAAU,IAAI,OAAO,UAAU,KAAK,QAAQ;YAAE,SAAS;QAC5D,MAAM,OAAO,GAAI,UAA0C,CAAC,IAAI,CAAC;QACjE,IAAI,OAAO,OAAO,KAAK,QAAQ;YAAE,SAAS;QAC1C,IAAI,sBAAsB,CAAC,OAAO,CAAC,EAAE,CAAC;YACpC,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAChC,CAAC;IACH,CAAC;IAED,IAAI,gBAAgB,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QAChC,MAAM,CAAC,IAAI,CAAC,GAAG,gBAAgB,CAAC;QAChC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC"}

package/dist/ir/converters/expressions/access/binding-resolution-memberid.d.ts

@@ -0,0 +1,28 @@
+/**
+ * MemberId-based binding resolution and extension method binding for
+ * member access expressions.
+ *
+ * Handles CLR property/member binding resolution via Binding-resolved MemberId.
+ *
+ * Split from binding-resolution.ts for file-size compliance (< 500 LOC).
+ */
+import * as ts from "typescript";
+import { IrExpression, IrMemberExpression } from "../../../types.js";
+import type { ProgramContext } from "../../../program-context.js";
+/**
+ * Resolve hierarchical binding for a member access using Binding-resolved MemberId.
+ *
+ * Uses Binding-resolved MemberId when the frontend already has an exact TS
+ * member symbol and needs the corresponding CLR binding target.
+ */
+export declare const resolveHierarchicalBindingFromMemberId: (node: ts.PropertyAccessExpression, propertyName: string, object: IrExpression, ctx: ProgramContext) => IrMemberExpression["memberBinding"];
+/**
+ * Resolve instance-style extension method bindings from tsbindgen's `ExtensionMethods` typing.
+ *
+ * tsbindgen emits extension methods as interface members on `__Ext_*` types, and users
+ * opt in via `ExtensionMethods<TShape>`. At runtime those members do not exist, so we
+ * must attach the underlying CLR binding so the emitter can lower the call to an
+ * explicit static invocation.
+ */
+export declare const resolveExtensionMethodsBinding: (node: ts.PropertyAccessExpression, propertyName: string, object: IrExpression, ctx: ProgramContext) => IrMemberExpression["memberBinding"];
+//# sourceMappingURL=binding-resolution-memberid.d.ts.map

package/dist/ir/converters/expressions/access/binding-resolution-memberid.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"binding-resolution-memberid.d.ts","sourceRoot":"","sources":["../../../../../src/ir/converters/expressions/access/binding-resolution-memberid.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAGjC,OAAO,EAAE,YAAY,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAErE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAC;AAkKlE;;;;;GAKG;AACH,eAAO,MAAM,sCAAsC,GACjD,MAAM,EAAE,CAAC,wBAAwB,EACjC,cAAc,MAAM,EACpB,QAAQ,YAAY,EACpB,KAAK,cAAc,KAClB,kBAAkB,CAAC,eAAe,CA4SpC,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,8BAA8B,GACzC,MAAM,EAAE,CAAC,wBAAwB,EACjC,cAAc,MAAM,EACpB,QAAQ,YAAY,EACpB,KAAK,cAAc,KAClB,kBAAkB,CAAC,eAAe,CAgNpC,CAAC"}