@tsonic/frontend 0.0.62 → 0.0.63

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

@@ -0,0 +1,67 @@
+/**
+ * Member access property type resolution and name extraction helpers
+ *
+ * ALICE'S SPEC: All member type queries go through TypeSystem.typeOfMember().
+ * Falls back to Binding-resolved MemberId only when the receiver type cannot
+ * be normalized nominally (e.g., tsbindgen `$instance & __views` intersections).
+ */
+import * as ts from "typescript";
+import { IrType, ComputedAccessKind } from "../../../types.js";
+import type { ProgramContext } from "../../../program-context.js";
+/**
+ * Get the declared property type from a property access expression.
+ *
+ * ALICE'S SPEC: Uses TypeSystem.typeOfMember() as primary source.
+ * Falls back to Binding for inherited members not in TypeRegistry.
+ *
+ * @param node - Property access expression node
+ * @param receiverIrType - Already-computed IR type of the receiver (object) expression
+ * @param ctx - ProgramContext for type system and binding access
+ * @returns The deterministically computed property type
+ */
+export declare const getDeclaredPropertyType: (node: ts.PropertyAccessExpression, receiverIrType: IrType | undefined, ctx: ProgramContext) => IrType | undefined;
+/**
+ * Normalize a receiver type for computed access classification.
+ *
+ * This supports common TS shapes that appear at runtime:
+ * - Nullish unions (`T | undefined` / `T | null | undefined`)
+ * - tsbindgen-style intersection views (`T$instance & __T$views`, and primitives like
+ *   `string & String$instance & __String$views`)
+ *
+ * The goal is to preserve deterministic proof behavior without heuristics.
+ */
+export declare const normalizeForComputedAccess: (type: IrType | undefined) => IrType | undefined;
+/**
+ * Classify computed member access for proof pass.
+ * This determines whether Int32 proof is required for the index.
+ *
+ * Classification is based on IR type kinds, NOT string matching.
+ * CLR indexers (arrays, List<T>, etc.) require Int32 proof for indices.
+ *
+ * IMPORTANT: If classification cannot be determined reliably for a CLR-bound
+ * reference type, we conservatively assume `clrIndexer` (requires Int32 proof).
+ * This is safer than allowing arbitrary dictionary access without proof.
+ *
+ * @param objectType - The inferred type of the object being accessed
+ * @returns The access kind classification
+ */
+export declare const classifyComputedAccess: (objectType: IrType | undefined, ctx: ProgramContext) => ComputedAccessKind;
+/**
+ * Extract the type name from an inferred type for binding lookup.
+ * Handles tsbindgen's naming convention where instance types are suffixed with $instance
+ * (e.g., List_1$instance → List_1 for binding lookup)
+ *
+ * Also handles intersection types like `TypeName$instance & __TypeName$views`
+ * which are common in tsbindgen-generated types. In this case, we look for
+ * the $instance member and extract the type name from it.
+ */
+export declare const extractTypeName: (inferredType: IrType | undefined) => string | undefined;
+/**
+ * Derive element type from object type for element access.
+ * - Array type → element type
+ * - Dictionary type → value type
+ * - String → string (single character)
+ * - Other → undefined
+ */
+export declare const deriveElementType: (objectType: IrType | undefined, ctx: ProgramContext) => IrType | undefined;
+//# sourceMappingURL=member-resolution.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"member-resolution.d.ts","sourceRoot":"","sources":["../../../../../src/ir/converters/expressions/access/member-resolution.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,MAAM,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAC/D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAC;AAiClE;;;;;;;;;;GAUG;AACH,eAAO,MAAM,uBAAuB,GAClC,MAAM,EAAE,CAAC,wBAAwB,EACjC,gBAAgB,MAAM,GAAG,SAAS,EAClC,KAAK,cAAc,KAClB,MAAM,GAAG,SA+CX,CAAC;AAEF;;;;;;;;;GASG;AACH,eAAO,MAAM,0BAA0B,GACrC,MAAM,MAAM,GAAG,SAAS,KACvB,MAAM,GAAG,SA8BX,CAAC;AAEF;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,sBAAsB,GACjC,YAAY,MAAM,GAAG,SAAS,EAC9B,KAAK,cAAc,KAClB,kBA6BF,CAAC;AAEF;;;;;;;;GAQG;AACH,eAAO,MAAM,eAAe,GAC1B,cAAc,MAAM,GAAG,SAAS,KAC/B,MAAM,GAAG,SA6FX,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,iBAAiB,GAC5B,YAAY,MAAM,GAAG,SAAS,EAC9B,KAAK,cAAc,KAClB,MAAM,GAAG,SA+BX,CAAC"}

package/dist/ir/converters/expressions/access/member-resolution.js

@@ -0,0 +1,262 @@
+/**
+ * Member access property type resolution and name extraction helpers
+ *
+ * ALICE'S SPEC: All member type queries go through TypeSystem.typeOfMember().
+ * Falls back to Binding-resolved MemberId only when the receiver type cannot
+ * be normalized nominally (e.g., tsbindgen `$instance & __views` intersections).
+ */
+/**
+ * Fallback for getDeclaredPropertyType when TypeSystem can't resolve the member.
+ * Uses TypeSystem.typeOfMemberId() to get member types for:
+ * - Built-in types from globals (Array.Length, string.Length, etc.)
+ * - CLR-bound types from tsbindgen
+ * - Types with inherited members not in TypeRegistry
+ *
+ * ALICE'S SPEC: Uses TypeSystem as single source of truth.
+ */
+const getDeclaredPropertyTypeFallback = (node, ctx) => {
+    // ALICE'S SPEC: Use TypeSystem.typeOfMemberId() to get member type
+    const typeSystem = ctx.typeSystem;
+    // Resolve property member through Binding layer
+    const memberId = ctx.binding.resolvePropertyAccess(node);
+    if (!memberId)
+        return undefined;
+    // Use TypeSystem.typeOfMemberId() to get the member's declared type
+    const memberType = typeSystem.typeOfMemberId(memberId);
+    // If TypeSystem returns unknownType, treat as not found
+    if (memberType.kind === "unknownType") {
+        return undefined;
+    }
+    return memberType;
+};
+/**
+ * Get the declared property type from a property access expression.
+ *
+ * ALICE'S SPEC: Uses TypeSystem.typeOfMember() as primary source.
+ * Falls back to Binding for inherited members not in TypeRegistry.
+ *
+ * @param node - Property access expression node
+ * @param receiverIrType - Already-computed IR type of the receiver (object) expression
+ * @param ctx - ProgramContext for type system and binding access
+ * @returns The deterministically computed property type
+ */
+export const getDeclaredPropertyType = (node, receiverIrType, ctx) => {
+    const DEBUG = process.env.DEBUG_PROPERTY_TYPE === "1";
+    const propertyName = node.name.text;
+    if (DEBUG) {
+        console.log("[getDeclaredPropertyType]", propertyName, "on receiver:", receiverIrType);
+    }
+    // Try TypeSystem.typeOfMember() first
+    const typeSystem = ctx.typeSystem;
+    if (receiverIrType && receiverIrType.kind !== "unknownType") {
+        const memberType = typeSystem.typeOfMember(receiverIrType, {
+            kind: "byName",
+            name: propertyName,
+        });
+        if (DEBUG) {
+            console.log("[getDeclaredPropertyType]", propertyName, "TypeSystem returned:", memberType);
+        }
+        // If TypeSystem returned a valid type (not unknownType), use it
+        if (memberType.kind !== "unknownType") {
+            return memberType;
+        }
+        // Fall through to Binding fallback
+    }
+    // Fallback: Use Binding for inherited members not in TypeRegistry
+    // (e.g., Array.Length from Array$instance)
+    const fallbackResult = getDeclaredPropertyTypeFallback(node, ctx);
+    if (DEBUG) {
+        console.log("[getDeclaredPropertyType]", propertyName, "fallback returned:", fallbackResult);
+    }
+    return fallbackResult;
+};
+/**
+ * Normalize a receiver type for computed access classification.
+ *
+ * This supports common TS shapes that appear at runtime:
+ * - Nullish unions (`T | undefined` / `T | null | undefined`)
+ * - tsbindgen-style intersection views (`T$instance & __T$views`, and primitives like
+ *   `string & String$instance & __String$views`)
+ *
+ * The goal is to preserve deterministic proof behavior without heuristics.
+ */
+export const normalizeForComputedAccess = (type) => {
+    if (!type)
+        return undefined;
+    if (type.kind === "unionType") {
+        const nonNullish = type.types.filter((t) => !(t.kind === "primitiveType" &&
+            (t.name === "null" || t.name === "undefined")));
+        if (nonNullish.length === 1) {
+            const only = nonNullish[0];
+            return only ? normalizeForComputedAccess(only) : undefined;
+        }
+    }
+    if (type.kind === "intersectionType") {
+        const pick = type.types.find((t) => t.kind === "arrayType") ??
+            type.types.find((t) => t.kind === "dictionaryType") ??
+            type.types.find((t) => t.kind === "primitiveType" && t.name === "string") ??
+            type.types.find((t) => t.kind === "referenceType");
+        return pick ? normalizeForComputedAccess(pick) : type;
+    }
+    return type;
+};
+/**
+ * Classify computed member access for proof pass.
+ * This determines whether Int32 proof is required for the index.
+ *
+ * Classification is based on IR type kinds, NOT string matching.
+ * CLR indexers (arrays, List<T>, etc.) require Int32 proof for indices.
+ *
+ * IMPORTANT: If classification cannot be determined reliably for a CLR-bound
+ * reference type, we conservatively assume `clrIndexer` (requires Int32 proof).
+ * This is safer than allowing arbitrary dictionary access without proof.
+ *
+ * @param objectType - The inferred type of the object being accessed
+ * @returns The access kind classification
+ */
+export const classifyComputedAccess = (objectType, ctx) => {
+    const normalized = normalizeForComputedAccess(objectType);
+    if (!normalized)
+        return "unknown";
+    objectType = normalized;
+    // TypeScript array type (number[], T[], etc.)
+    // Requires Int32 proof
+    if (objectType.kind === "arrayType") {
+        return "clrIndexer";
+    }
+    // IR dictionary type - this is the PRIMARY way to detect dictionaries
+    // tsbindgen should emit dictionaryType for Record<K,V> and {[key: K]: V}
+    if (objectType.kind === "dictionaryType") {
+        return "dictionary";
+    }
+    // String character access: string[int]
+    if (objectType.kind === "primitiveType" && objectType.name === "string") {
+        return "stringChar";
+    }
+    if (objectType.kind === "referenceType") {
+        const indexer = ctx.typeSystem.getIndexerInfo(objectType);
+        if (!indexer)
+            return "clrIndexer";
+        return indexer.keyClrType === "System.Int32" ? "clrIndexer" : "dictionary";
+    }
+    return "unknown";
+};
+/**
+ * Extract the type name from an inferred type for binding lookup.
+ * Handles tsbindgen's naming convention where instance types are suffixed with $instance
+ * (e.g., List_1$instance → List_1 for binding lookup)
+ *
+ * Also handles intersection types like `TypeName$instance & __TypeName$views`
+ * which are common in tsbindgen-generated types. In this case, we look for
+ * the $instance member and extract the type name from it.
+ */
+export const extractTypeName = (inferredType) => {
+    if (!inferredType)
+        return undefined;
+    // Handle common nullish unions like `Uri | undefined` by stripping null/undefined.
+    // This enables CLR member binding after explicit null checks in source code.
+    if (inferredType.kind === "unionType") {
+        const nonNullish = inferredType.types.filter((t) => !(t.kind === "primitiveType" &&
+            (t.name === "null" || t.name === "undefined")));
+        if (nonNullish.length === 1) {
+            const only = nonNullish[0];
+            return only ? extractTypeName(only) : undefined;
+        }
+    }
+    // Handle primitive types - map to their CLR type names for binding lookup
+    // This enables binding resolution for methods like string.Split(), number.ToString()
+    if (inferredType.kind === "primitiveType") {
+        switch (inferredType.name) {
+            case "string":
+                return "String"; // System.String
+            case "number":
+                return "Double"; // System.Double (TS number is double)
+            case "boolean":
+                return "Boolean"; // System.Boolean
+            case "char":
+                return "Char"; // System.Char
+            default:
+                return undefined;
+        }
+    }
+    // Handle literal types - determine the CLR type from the value type
+    // This enables binding resolution for string literals like "hello".Split(" ")
+    if (inferredType.kind === "literalType") {
+        const valueType = typeof inferredType.value;
+        switch (valueType) {
+            case "string":
+                return "String"; // System.String
+            case "number":
+                return "Double"; // System.Double
+            case "boolean":
+                return "Boolean"; // System.Boolean
+            default:
+                return undefined;
+        }
+    }
+    if (inferredType.kind === "referenceType") {
+        const name = inferredType.name;
+        // Strip $instance suffix from tsbindgen-generated type names
+        // e.g., "List_1$instance" → "List_1" for binding lookup
+        if (name.endsWith("$instance")) {
+            return name.slice(0, -"$instance".length);
+        }
+        return name;
+    }
+    // Handle intersection types: TypeName$instance & __TypeName$views
+    // This happens when TypeScript expands a type alias to its underlying intersection
+    // during property access (e.g., listener.prefixes returns HttpListenerPrefixCollection
+    // which is HttpListenerPrefixCollection$instance & __HttpListenerPrefixCollection$views)
+    if (inferredType.kind === "intersectionType") {
+        // Look for a member that ends with $instance - that's the main type
+        for (const member of inferredType.types) {
+            if (member.kind === "referenceType" &&
+                member.name.endsWith("$instance")) {
+                // Found the $instance member, strip the suffix to get the type name
+                return member.name.slice(0, -"$instance".length);
+            }
+        }
+        // Fallback: look for any referenceType that's not a $views type
+        for (const member of inferredType.types) {
+            if (member.kind === "referenceType" &&
+                !member.name.startsWith("__") &&
+                !member.name.endsWith("$views")) {
+                return member.name;
+            }
+        }
+    }
+    return undefined;
+};
+/**
+ * Derive element type from object type for element access.
+ * - Array type → element type
+ * - Dictionary type → value type
+ * - String → string (single character)
+ * - Other → undefined
+ */
+export const deriveElementType = (objectType, ctx) => {
+    objectType = normalizeForComputedAccess(objectType);
+    if (!objectType)
+        return undefined;
+    if (objectType.kind === "arrayType") {
+        return objectType.elementType;
+    }
+    if (objectType.kind === "dictionaryType") {
+        return objectType.valueType;
+    }
+    if (objectType.kind === "primitiveType" && objectType.name === "string") {
+        // string[n] returns a single character (string in TS, char in C#)
+        return { kind: "primitiveType", name: "string" };
+    }
+    if (objectType.kind === "referenceType" &&
+        objectType.name === "Span" &&
+        objectType.typeArguments &&
+        objectType.typeArguments.length === 1) {
+        return objectType.typeArguments[0];
+    }
+    if (objectType.kind === "referenceType") {
+        return ctx.typeSystem.getIndexerInfo(objectType)?.valueType;
+    }
+    return undefined;
+};
+//# sourceMappingURL=member-resolution.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"member-resolution.js","sourceRoot":"","sources":["../../../../../src/ir/converters/expressions/access/member-resolution.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAMH;;;;;;;;GAQG;AACH,MAAM,+BAA+B,GAAG,CACtC,IAAiC,EACjC,GAAmB,EACC,EAAE;IACtB,mEAAmE;IACnE,MAAM,UAAU,GAAG,GAAG,CAAC,UAAU,CAAC;IAElC,gDAAgD;IAChD,MAAM,QAAQ,GAAG,GAAG,CAAC,OAAO,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC;IACzD,IAAI,CAAC,QAAQ;QAAE,OAAO,SAAS,CAAC;IAEhC,oEAAoE;IACpE,MAAM,UAAU,GAAG,UAAU,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC;IAEvD,wDAAwD;IACxD,IAAI,UAAU,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QACtC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,UAAU,CAAC;AACpB,CAAC,CAAC;AAEF;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,IAAiC,EACjC,cAAkC,EAClC,GAAmB,EACC,EAAE;IACtB,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,mBAAmB,KAAK,GAAG,CAAC;IACtD,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;IAEpC,IAAI,KAAK,EAAE,CAAC;QACV,OAAO,CAAC,GAAG,CACT,2BAA2B,EAC3B,YAAY,EACZ,cAAc,EACd,cAAc,CACf,CAAC;IACJ,CAAC;IAED,sCAAsC;IACtC,MAAM,UAAU,GAAG,GAAG,CAAC,UAAU,CAAC;IAClC,IAAI,cAAc,IAAI,cAAc,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QAC5D,MAAM,UAAU,GAAG,UAAU,CAAC,YAAY,CAAC,cAAc,EAAE;YACzD,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,YAAY;SACnB,CAAC,CAAC;QACH,IAAI,KAAK,EAAE,CAAC;YACV,OAAO,CAAC,GAAG,CACT,2BAA2B,EAC3B,YAAY,EACZ,sBAAsB,EACtB,UAAU,CACX,CAAC;QACJ,CAAC;QACD,gEAAgE;QAChE,IAAI,UAAU,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YACtC,OAAO,UAAU,CAAC;QACpB,CAAC;QACD,mCAAmC;IACrC,CAAC;IAED,kEAAkE;IAClE,2CAA2C;IAC3C,MAAM,cAAc,GAAG,+BAA+B,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAClE,IAAI,KAAK,EAAE,CAAC;QACV,OAAO,CAAC,GAAG,CACT,2BAA2B,EAC3B,YAAY,EACZ,oBAAoB,EACpB,cAAc,CACf,CAAC;IACJ,CAAC;IACD,OAAO,cAAc,CAAC;AACxB,CAAC,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG,CACxC,IAAwB,EACJ,EAAE;IACtB,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAE5B,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAClC,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CACC,CAAC,CAAC,IAAI,KAAK,eAAe;YAC1B,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAC9C,CACJ,CAAC;QACF,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC5B,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;YAC3B,OAAO,IAAI,CAAC,CAAC,CAAC,0BAA0B,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC7D,CAAC;IACH,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QACrC,MAAM,IAAI,GACR,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC;YAC9C,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,gBAAgB,CAAC;YACnD,IAAI,CAAC,KAAK,CAAC,IAAI,CACb,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,eAAe,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,CACzD;YACD,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC;QAErD,OAAO,IAAI,CAAC,CAAC,CAAC,0BAA0B,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACxD,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,UAA8B,EAC9B,GAAmB,EACC,EAAE;IACtB,MAAM,UAAU,GAAG,0BAA0B,CAAC,UAAU,CAAC,CAAC;IAC1D,IAAI,CAAC,UAAU;QAAE,OAAO,SAAS,CAAC;IAClC,UAAU,GAAG,UAAU,CAAC;IAExB,8CAA8C;IAC9C,uBAAuB;IACvB,IAAI,UAAU,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACpC,OAAO,YAAY,CAAC;IACtB,CAAC;IAED,sEAAsE;IACtE,yEAAyE;IACzE,IAAI,UAAU,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACzC,OAAO,YAAY,CAAC;IACtB,CAAC;IAED,uCAAuC;IACvC,IAAI,UAAU,CAAC,IAAI,KAAK,eAAe,IAAI,UAAU,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACxE,OAAO,YAAY,CAAC;IACtB,CAAC;IAED,IAAI,UAAU,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACxC,MAAM,OAAO,GAAG,GAAG,CAAC,UAAU,CAAC,cAAc,CAAC,UAAU,CAAC,CAAC;QAC1D,IAAI,CAAC,OAAO;YAAE,OAAO,YAAY,CAAC;QAClC,OAAO,OAAO,CAAC,UAAU,KAAK,cAAc,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,YAAY,CAAC;IAC7E,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,YAAgC,EACZ,EAAE;IACtB,IAAI,CAAC,YAAY;QAAE,OAAO,SAAS,CAAC;IAEpC,mFAAmF;IACnF,6EAA6E;IAC7E,IAAI,YAAY,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACtC,MAAM,UAAU,GAAG,YAAY,CAAC,KAAK,CAAC,MAAM,CAC1C,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CACC,CAAC,CAAC,IAAI,KAAK,eAAe;YAC1B,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAC9C,CACJ,CAAC;QACF,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC5B,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;YAC3B,OAAO,IAAI,CAAC,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAClD,CAAC;IACH,CAAC;IAED,0EAA0E;IAC1E,qFAAqF;IACrF,IAAI,YAAY,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAC1C,QAAQ,YAAY,CAAC,IAAI,EAAE,CAAC;YAC1B,KAAK,QAAQ;gBACX,OAAO,QAAQ,CAAC,CAAC,gBAAgB;YACnC,KAAK,QAAQ;gBACX,OAAO,QAAQ,CAAC,CAAC,sCAAsC;YACzD,KAAK,SAAS;gBACZ,OAAO,SAAS,CAAC,CAAC,iBAAiB;YACrC,KAAK,MAAM;gBACT,OAAO,MAAM,CAAC,CAAC,cAAc;YAC/B;gBACE,OAAO,SAAS,CAAC;QACrB,CAAC;IACH,CAAC;IAED,oEAAoE;IACpE,8EAA8E;IAC9E,IAAI,YAAY,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QACxC,MAAM,SAAS,GAAG,OAAO,YAAY,CAAC,KAAK,CAAC;QAC5C,QAAQ,SAAS,EAAE,CAAC;YAClB,KAAK,QAAQ;gBACX,OAAO,QAAQ,CAAC,CAAC,gBAAgB;YACnC,KAAK,QAAQ;gBACX,OAAO,QAAQ,CAAC,CAAC,gBAAgB;YACnC,KAAK,SAAS;gBACZ,OAAO,SAAS,CAAC,CAAC,iBAAiB;YACrC;gBACE,OAAO,SAAS,CAAC;QACrB,CAAC;IACH,CAAC;IAED,IAAI,YAAY,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAC1C,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC;QAE/B,6DAA6D;QAC7D,wDAAwD;QACxD,IAAI,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;YAC/B,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;QAC5C,CAAC;QAED,OAAO,IAAI,CAAC;IACd,CAAC;IAED,kEAAkE;IAClE,mFAAmF;IACnF,uFAAuF;IACvF,yFAAyF;IACzF,IAAI,YAAY,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QAC7C,oEAAoE;QACpE,KAAK,MAAM,MAAM,IAAI,YAAY,CAAC,KAAK,EAAE,CAAC;YACxC,IACE,MAAM,CAAC,IAAI,KAAK,eAAe;gBAC/B,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,EACjC,CAAC;gBACD,oEAAoE;gBACpE,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;YACnD,CAAC;QACH,CAAC;QAED,gEAAgE;QAChE,KAAK,MAAM,MAAM,IAAI,YAAY,CAAC,KAAK,EAAE,CAAC;YACxC,IACE,MAAM,CAAC,IAAI,KAAK,eAAe;gBAC/B,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;gBAC7B,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAC/B,CAAC;gBACD,OAAO,MAAM,CAAC,IAAI,CAAC;YACrB,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,UAA8B,EAC9B,GAAmB,EACC,EAAE;IACtB,UAAU,GAAG,0BAA0B,CAAC,UAAU,CAAC,CAAC;IACpD,IAAI,CAAC,UAAU;QAAE,OAAO,SAAS,CAAC;IAElC,IAAI,UAAU,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACpC,OAAO,UAAU,CAAC,WAAW,CAAC;IAChC,CAAC;IAED,IAAI,UAAU,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACzC,OAAO,UAAU,CAAC,SAAS,CAAC;IAC9B,CAAC;IAED,IAAI,UAAU,CAAC,IAAI,KAAK,eAAe,IAAI,UAAU,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACxE,kEAAkE;QAClE,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IACnD,CAAC;IAED,IACE,UAAU,CAAC,IAAI,KAAK,eAAe;QACnC,UAAU,CAAC,IAAI,KAAK,MAAM;QAC1B,UAAU,CAAC,aAAa;QACxB,UAAU,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,EACrC,CAAC;QACD,OAAO,UAAU,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;IACrC,CAAC;IAED,IAAI,UAAU,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACxC,OAAO,GAAG,CAAC,UAAU,CAAC,cAAc,CAAC,UAAU,CAAC,EAAE,SAAS,CAAC;IAC9D,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC"}

package/dist/ir/converters/expressions/access.d.ts

@@ -5,11 +5,5 @@
  * Falls back to Binding-resolved MemberId only when the receiver type cannot
  * be normalized nominally (e.g., tsbindgen `$instance & __views` intersections).
  */
-import * as ts from "typescript";
-import { IrMemberExpression } from "../../types.js";
-import type { ProgramContext } from "../../program-context.js";
-/**
- * Convert property access or element access expression
- */
-export declare const convertMemberExpression: (node: ts.PropertyAccessExpression | ts.ElementAccessExpression, ctx: ProgramContext) => IrMemberExpression;
+export { convertMemberExpression } from "./access/access-converter.js";
 //# sourceMappingURL=access.d.ts.map

package/dist/ir/converters/expressions/access.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"access.d.ts","sourceRoot":"","sources":["../../../../src/ir/converters/expressions/access.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAGjC,OAAO,EAAE,kBAAkB,EAA8B,MAAM,gBAAgB,CAAC;AAGhF,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AA8zB/D;;GAEG;AACH,eAAO,MAAM,uBAAuB,GAClC,MAAM,EAAE,CAAC,wBAAwB,GAAG,EAAE,CAAC,uBAAuB,EAC9D,KAAK,cAAc,KAClB,kBAoGF,CAAC"}
+{"version":3,"file":"access.d.ts","sourceRoot":"","sources":["../../../../src/ir/converters/expressions/access.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,uBAAuB,EAAE,MAAM,8BAA8B,CAAC"}