@tsonic/frontend 0.0.73 → 0.0.75

package/dist/ir/converters/assertion-wrapping.js

@@ -0,0 +1,40 @@
+import { TSONIC_TO_NUMERIC_KIND } from "../types/numeric-kind.js";
+const isExactNumericIrType = (type) => type.kind === "referenceType" && TSONIC_TO_NUMERIC_KIND.has(type.name);
+export const shouldWrapExpressionWithAssertion = (ctx, fromDecl, fromEnv) => {
+    if (!fromEnv)
+        return false;
+    if (!fromDecl || fromDecl.kind === "unknownType") {
+        if (fromEnv.kind === "unknownType") {
+            return false;
+        }
+        if (fromEnv.kind === "unionType") {
+            return true;
+        }
+        if (isExactNumericIrType(fromEnv)) {
+            return true;
+        }
+        if (fromEnv.kind === "arrayType") {
+            return true;
+        }
+        if (fromEnv.kind === "functionType") {
+            return true;
+        }
+        return false;
+    }
+    if (ctx.typeSystem.typesEqual(fromEnv, fromDecl))
+        return false;
+    if (fromEnv.kind === "unionType" || fromDecl.kind === "unionType") {
+        return true;
+    }
+    if (isExactNumericIrType(fromEnv) && !isExactNumericIrType(fromDecl)) {
+        return true;
+    }
+    if (fromEnv.kind === "arrayType" && fromDecl.kind !== "arrayType") {
+        return true;
+    }
+    if (fromEnv.kind === "functionType" && fromDecl.kind !== "functionType") {
+        return true;
+    }
+    return false;
+};
+//# sourceMappingURL=assertion-wrapping.js.map

package/dist/ir/converters/assertion-wrapping.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"assertion-wrapping.js","sourceRoot":"","sources":["../../../src/ir/converters/assertion-wrapping.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAC;AAElE,MAAM,oBAAoB,GAAG,CAAC,IAAY,EAAW,EAAE,CACrD,IAAI,CAAC,IAAI,KAAK,eAAe,IAAI,sBAAsB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAEzE,MAAM,CAAC,MAAM,iCAAiC,GAAG,CAC/C,GAAmB,EACnB,QAA4B,EAC5B,OAA2B,EAClB,EAAE;IACX,IAAI,CAAC,OAAO;QAAE,OAAO,KAAK,CAAC;IAC3B,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QACjD,IAAI,OAAO,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YACnC,OAAO,KAAK,CAAC;QACf,CAAC;QACD,IAAI,OAAO,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YACjC,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IAAI,oBAAoB,CAAC,OAAO,CAAC,EAAE,CAAC;YAClC,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IAAI,OAAO,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YACjC,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IAAI,OAAO,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;YACpC,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC,OAAO,EAAE,QAAQ,CAAC;QAAE,OAAO,KAAK,CAAC;IAE/D,IAAI,OAAO,CAAC,IAAI,KAAK,WAAW,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAClE,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,oBAAoB,CAAC,OAAO,CAAC,IAAI,CAAC,oBAAoB,CAAC,QAAQ,CAAC,EAAE,CAAC;QACrE,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,OAAO,CAAC,IAAI,KAAK,WAAW,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAClE,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,OAAO,CAAC,IAAI,KAAK,cAAc,IAAI,QAAQ,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;QACxE,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC"}

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

@@ -1 +1 @@
-{"version":3,"file":"access-converter.d.ts","sourceRoot":"","sources":["../../../../../src/ir/converters/expressions/access/access-converter.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAGjD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAC;AAqBlE;;GAEG;AACH,eAAO,MAAM,uBAAuB,GAClC,MAAM,EAAE,CAAC,wBAAwB,GAAG,EAAE,CAAC,uBAAuB,EAC9D,KAAK,cAAc,KAClB,YAgNF,CAAC"}
+{"version":3,"file":"access-converter.d.ts","sourceRoot":"","sources":["../../../../../src/ir/converters/expressions/access/access-converter.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAGjD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAC;AAgClE;;GAEG;AACH,eAAO,MAAM,uBAAuB,GAClC,MAAM,EAAE,CAAC,wBAAwB,GAAG,EAAE,CAAC,uBAAuB,EAC9D,KAAK,cAAc,KAClB,YAwTF,CAAC"}

package/dist/ir/converters/expressions/access/access-converter.js

@@ -7,10 +7,13 @@
 import * as ts from "typescript";
 import { getSourceSpan } from "../helpers.js";
 import { convertExpression } from "../../../expression-converter.js";
-import { getDeclaredPropertyType, classifyComputedAccess, deriveElementType, } from "./member-resolution.js";
+import { getDeclaredPropertyType, classifyComputedAccess, deriveElementType, hasDeclaredMemberByName, resolveComputedAccessProtocol, } from "./member-resolution.js";
+import { getCurrentTypeForAccessExpression, hasAccessPathNarrowing, } from "../../access-paths.js";
+import { shouldWrapExpressionWithAssertion } from "../../assertion-wrapping.js";
 import { resolveHierarchicalBinding, resolveHierarchicalBindingFromMemberId, resolveExtensionMethodsBinding, } from "./binding-resolution.js";
 import { createDiagnostic } from "../../../../types/diagnostic.js";
 import { SUPPORTED_IMPORT_META_FIELDS, tryConvertImportMetaProperty, } from "../import-meta.js";
+import { isWellKnownSymbolPropertyName, tryResolveDeterministicPropertyNameFromExpression, } from "../../../syntax/property-names.js";
 import { tryGetObjectLiteralMethodArgumentCapture, tryGetObjectLiteralMethodArgumentsLength, } from "../../../../object-literal-method-runtime.js";
 /**
  * Convert property access or element access expression
@@ -47,13 +50,26 @@ export const convertMemberExpression = (node, ctx) => {
         }
         const object = convertExpression(node.expression, ctx, undefined);
         const propertyName = node.name.text;
+        const currentReceiverType = getCurrentTypeForAccessExpression(node.expression, ctx);
+        const bindingResolutionObject = currentReceiverType !== undefined
+            ? { ...object, inferredType: currentReceiverType }
+            : object;
+        const exactMemberId = ctx.binding.resolvePropertyAccess(node);
+        const exactDeclaringTypeName = exactMemberId !== undefined
+            ? ctx.binding.getDeclaringTypeNameOfMember(exactMemberId)
+            : undefined;
+        const exactMemberBinding = exactMemberId !== undefined &&
+            !exactDeclaringTypeName?.startsWith("__Ext_") &&
+            !exactDeclaringTypeName?.startsWith("__TsonicExtMethods_")
+            ? resolveHierarchicalBindingFromMemberId(node, propertyName, bindingResolutionObject, ctx)
+            : undefined;
         // Try to resolve hierarchical binding
-        const memberBinding = resolveExtensionMethodsBinding(node, propertyName, ctx) ??
-            resolveHierarchicalBindingFromMemberId(node, propertyName, ctx) ??
-            resolveHierarchicalBinding(object, propertyName, ctx);
-        // DETERMINISTIC TYPING: Property type comes from NominalEnv + TypeRegistry for
-        // user-defined types (including inherited members), with fallback to Binding layer
-        // for built-ins and CLR types.
+        const memberBinding = resolveExtensionMethodsBinding(node, propertyName, bindingResolutionObject, ctx) ??
+            exactMemberBinding ??
+            (exactMemberId === undefined
+                ? resolveHierarchicalBinding(bindingResolutionObject, propertyName, ctx)
+                : undefined);
+        // DETERMINISTIC TYPING: Property type comes from explicit TypeSystem queries only.
         //
         // The receiver's inferredType enables NominalEnv to walk inheritance chains
         // and substitute type parameters correctly for inherited generic members.
@@ -64,7 +80,10 @@ export const convertMemberExpression = (node, ctx) => {
         //
         // EXCEPTION: If memberBinding exists AND declaredType is undefined, return undefined.
         // This handles pure CLR-bound methods like Console.WriteLine that have no TS declaration.
-        const declaredType = getDeclaredPropertyType(node, object.inferredType, ctx);
+        const narrowedAccessType = hasAccessPathNarrowing(node, ctx) || currentReceiverType !== undefined
+            ? getCurrentTypeForAccessExpression(node, ctx)
+            : undefined;
+        const declaredType = getDeclaredPropertyType(node, currentReceiverType ?? object.inferredType, ctx);
         // Hierarchical bindings: namespace.type is a static type reference, not a runtime
         // value. When this pattern is present in the binding manifest, avoid poisoning the
         // receiver with unknownType; the emitter uses "no inferredType" to classify the
@@ -94,18 +113,30 @@ export const convertMemberExpression = (node, ctx) => {
                 : memberBinding
                     ? undefined
                     : { kind: "unknownType" };
-        const allowUnknownInferredType = declaredType?.kind === "unknownType";
-        return {
+        const baseMemberAccess = {
             kind: "memberAccess",
             object,
             property: propertyName,
             isComputed: false,
             isOptional,
-            inferredType: propertyInferredType,
-            allowUnknownInferredType,
+            inferredType: declaredType ?? propertyInferredType,
             sourceSpan,
             memberBinding,
         };
+        if (narrowedAccessType &&
+            shouldWrapExpressionWithAssertion(ctx, declaredType, narrowedAccessType)) {
+            return {
+                kind: "typeAssertion",
+                expression: baseMemberAccess,
+                targetType: narrowedAccessType,
+                inferredType: narrowedAccessType,
+                sourceSpan,
+            };
+        }
+        return {
+            ...baseMemberAccess,
+            inferredType: propertyInferredType,
+        };
     }
     else {
         const objectMethodArgumentCapture = tryGetObjectLiteralMethodArgumentCapture(node);
@@ -122,61 +153,93 @@ export const convertMemberExpression = (node, ctx) => {
         }
         // Element access (computed): obj[expr]
         const object = convertExpression(node.expression, ctx, undefined);
-        const stringLiteralProperty = (() => {
+        const deterministicPropertyName = (() => {
             const arg = node.argumentExpression;
             if (!arg)
                 return undefined;
-            if (ts.isStringLiteral(arg) ||
-                ts.isNoSubstitutionTemplateLiteral(arg)) {
-                return /^[$A-Z_a-z][$\w]*$/u.test(arg.text)
-                    ? arg.text
-                    : undefined;
-            }
-            return undefined;
+            return tryResolveDeterministicPropertyNameFromExpression(arg);
         })();
         const computedAccessKind = classifyComputedAccess(object.inferredType, ctx);
-        if (stringLiteralProperty !== undefined &&
-            object.inferredType !== undefined &&
-            computedAccessKind !== "dictionary") {
-            const declaredType = ctx.typeSystem.typeOfMember(object.inferredType, {
-                kind: "byName",
-                name: stringLiteralProperty,
-            });
-            if (declaredType.kind !== "unknownType") {
-                const memberBinding = resolveHierarchicalBinding(object, stringLiteralProperty, ctx);
-                return {
+        const deterministicSymbolAccess = deterministicPropertyName !== undefined &&
+            isWellKnownSymbolPropertyName(deterministicPropertyName);
+        const hasDeterministicMember = deterministicPropertyName !== undefined &&
+            hasDeclaredMemberByName(object.inferredType, deterministicPropertyName, ctx);
+        if (deterministicPropertyName !== undefined &&
+            computedAccessKind !== "dictionary" &&
+            (deterministicSymbolAccess || object.inferredType !== undefined)) {
+            const currentAccessType = hasAccessPathNarrowing(node, ctx) || object.inferredType !== undefined
+                ? getCurrentTypeForAccessExpression(node, ctx)
+                : undefined;
+            const declaredType = object.inferredType !== undefined
+                ? ctx.typeSystem.typeOfMember(object.inferredType, {
+                    kind: "byName",
+                    name: deterministicPropertyName,
+                })
+                : { kind: "unknownType" };
+            if (declaredType.kind !== "unknownType" ||
+                deterministicSymbolAccess ||
+                hasDeterministicMember) {
+                const memberBinding = resolveHierarchicalBinding(object, deterministicPropertyName, ctx);
+                const baseMemberAccess = {
                     kind: "memberAccess",
                     object,
-                    property: stringLiteralProperty,
+                    property: deterministicPropertyName,
                     isComputed: false,
                     isOptional,
                     inferredType: declaredType,
                     sourceSpan,
                     memberBinding,
                 };
+                if (currentAccessType &&
+                    shouldWrapExpressionWithAssertion(ctx, declaredType, currentAccessType)) {
+                    return {
+                        kind: "typeAssertion",
+                        expression: baseMemberAccess,
+                        targetType: currentAccessType,
+                        inferredType: currentAccessType,
+                        sourceSpan,
+                    };
+                }
+                return baseMemberAccess;
             }
         }
         // DETERMINISTIC TYPING: Use object's inferredType (not getInferredType)
-        const objectType = object.inferredType;
+        const currentReceiverType = getCurrentTypeForAccessExpression(node.expression, ctx);
+        const objectType = currentReceiverType ?? object.inferredType;
         // Classify the access kind for proof pass
         // This determines whether Int32 proof is required for the index
-        const accessKind = objectType === object.inferredType ? computedAccessKind : classifyComputedAccess(objectType, ctx);
+        const accessKind = classifyComputedAccess(objectType, ctx);
+        const narrowedAccessType = hasAccessPathNarrowing(node, ctx) || objectType !== undefined
+            ? getCurrentTypeForAccessExpression(node, ctx)
+            : undefined;
         // Derive element type from object type
-        const elementType = deriveElementType(objectType, ctx);
-        const allowUnknownInferredType = elementType?.kind === "unknownType" &&
-            accessKind !== "unknown" &&
-            objectType !== undefined &&
-            objectType.kind !== "unknownType";
-        return {
+        const elementType = narrowedAccessType ??
+            deriveElementType(objectType, ctx, node.argumentExpression);
+        const accessProtocol = resolveComputedAccessProtocol(objectType, ctx);
+        const baseElementAccess = {
             kind: "memberAccess",
             object,
             property: convertExpression(node.argumentExpression, ctx, undefined),
             isComputed: true,
             isOptional,
-            inferredType: elementType,
-            allowUnknownInferredType,
+            inferredType: deriveElementType(objectType, ctx, node.argumentExpression),
             sourceSpan,
             accessKind,
+            accessProtocol,
+        };
+        if (narrowedAccessType &&
+            shouldWrapExpressionWithAssertion(ctx, deriveElementType(objectType, ctx, node.argumentExpression), narrowedAccessType)) {
+            return {
+                kind: "typeAssertion",
+                expression: baseElementAccess,
+                targetType: narrowedAccessType,
+                inferredType: narrowedAccessType,
+                sourceSpan,
+            };
+        }
+        return {
+            ...baseElementAccess,
+            inferredType: elementType,
         };
     }
 };

package/dist/ir/converters/expressions/access/access-converter.js.map

@@ -1 +1 @@
-{"version":3,"file":"access-converter.js","sourceRoot":"","sources":["../../../../../src/ir/converters/expressions/access/access-converter.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,EAAE,iBAAiB,EAAE,MAAM,kCAAkC,CAAC;AAErE,OAAO,EACL,uBAAuB,EACvB,sBAAsB,EACtB,iBAAiB,GAClB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,0BAA0B,EAC1B,sCAAsC,EACtC,8BAA8B,GAC/B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,gBAAgB,EAAE,MAAM,iCAAiC,CAAC;AACnE,OAAO,EACL,4BAA4B,EAC5B,4BAA4B,GAC7B,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EACL,wCAAwC,EACxC,wCAAwC,GACzC,MAAM,8CAA8C,CAAC;AAEtD;;GAEG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,IAA8D,EAC9D,GAAmB,EACL,EAAE;IAChB,MAAM,UAAU,GAAG,IAAI,CAAC,gBAAgB,KAAK,SAAS,CAAC;IACvD,MAAM,UAAU,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;IAEvC,IAAI,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,EAAE,CAAC;QACxC,MAAM,cAAc,GAAG,4BAA4B,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAC/D,IAAI,cAAc;YAAE,OAAO,cAAc,CAAC;QAC1C,MAAM,2BAA2B,GAC/B,wCAAwC,CAAC,IAAI,CAAC,CAAC;QACjD,IAAI,2BAA2B,KAAK,SAAS,EAAE,CAAC;YAC9C,OAAO;gBACL,IAAI,EAAE,SAAS;gBACf,KAAK,EAAE,2BAA2B;gBAClC,GAAG,EAAE,MAAM,CAAC,2BAA2B,CAAC;gBACxC,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;gBACpD,UAAU;aACX,CAAC;QACJ,CAAC;QACD,IACE,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,UAAU,CAAC;YAClC,IAAI,CAAC,UAAU,CAAC,YAAY,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;YAC5D,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;YACpC,CAAC,4BAA4B,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EACjD,CAAC;YACD,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,eAAe,IAAI,CAAC,IAAI,CAAC,IAAI,sCAAsC,EACnE,aAAa,CAAC,IAAI,CAAC,EACnB,8EAA8E,CAC/E,CACF,CAAC;YACF,OAAO;gBACL,IAAI,EAAE,SAAS;gBACf,KAAK,EAAE,SAAS;gBAChB,GAAG,EAAE,WAAW;gBAChB,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE;gBAC1D,UAAU;aACX,CAAC;QACJ,CAAC;QAED,MAAM,MAAM,GAAG,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;QAClE,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;QAEpC,sCAAsC;QACtC,MAAM,aAAa,GACjB,8BAA8B,CAAC,IAAI,EAAE,YAAY,EAAE,GAAG,CAAC;YACvD,sCAAsC,CAAC,IAAI,EAAE,YAAY,EAAE,GAAG,CAAC;YAC/D,0BAA0B,CAAC,MAAM,EAAE,YAAY,EAAE,GAAG,CAAC,CAAC;QAExD,+EAA+E;QAC/E,mFAAmF;QACnF,+BAA+B;QAC/B,EAAE;QACF,4EAA4E;QAC5E,0EAA0E;QAC1E,EAAE;QACF,oFAAoF;QACpF,kFAAkF;QAClF,yEAAyE;QACzE,EAAE;QACF,sFAAsF;QACtF,0FAA0F;QAC1F,MAAM,YAAY,GAAG,uBAAuB,CAC1C,IAAI,EACJ,MAAM,CAAC,YAAY,EACnB,GAAG,CACJ,CAAC;QAEF,kFAAkF;QAClF,mFAAmF;QACnF,gFAAgF;QAChF,oEAAoE;QACpE,MAAM,wBAAwB,GAC5B,MAAM,CAAC,IAAI,KAAK,YAAY;YAC5B,GAAG,CAAC,QAAQ;iBACT,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC;gBAC1B,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,YAAY,CAAC,KAAK,IAAI,CAAC;QAE3D,qFAAqF;QACrF,oFAAoF;QACpF,EAAE;QACF,mCAAmC;QACnC,iFAAiF;QACjF,iFAAiF;QACjF,iEAAiE;QACjE,EAAE;QACF,wFAAwF;QACxF,uDAAuD;QACvD,8DAA8D;QAC9D,EAAE;QACF,oEAAoE;QACpE,8EAA8E;QAC9E,MAAM,oBAAoB,GAAG,YAAY;YACvC,CAAC,CAAC,YAAY;YACd,CAAC,CAAC,wBAAwB;gBACxB,CAAC,CAAC,SAAS;gBACX,CAAC,CAAC,aAAa;oBACb,CAAC,CAAC,SAAS;oBACX,CAAC,CAAC,EAAE,IAAI,EAAE,aAAsB,EAAE,CAAC;QACzC,MAAM,wBAAwB,GAAG,YAAY,EAAE,IAAI,KAAK,aAAa,CAAC;QAEtE,OAAO;YACL,IAAI,EAAE,cAAc;YACpB,MAAM;YACN,QAAQ,EAAE,YAAY;YACtB,UAAU,EAAE,KAAK;YACjB,UAAU;YACV,YAAY,EAAE,oBAAoB;YAClC,wBAAwB;YACxB,UAAU;YACV,aAAa;SACd,CAAC;IACJ,CAAC;SAAM,CAAC;QACN,MAAM,2BAA2B,GAC/B,wCAAwC,CAAC,IAAI,CAAC,CAAC;QACjD,IAAI,2BAA2B,EAAE,CAAC;YAChC,MAAM,YAAY,GAAG,2BAA2B,CAAC,SAAS,CAAC,IAAI;gBAC7D,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,cAAc,CAC3B,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAC3B,2BAA2B,CAAC,SAAS,CAAC,IAAI,CAC3C,CACF;gBACH,CAAC,CAAC,SAAS,CAAC;YACd,OAAO;gBACL,IAAI,EAAE,YAAY;gBAClB,IAAI,EAAE,2BAA2B,CAAC,QAAQ;gBAC1C,YAAY;gBACZ,UAAU;aACX,CAAC;QACJ,CAAC;QAED,uCAAuC;QACvC,MAAM,MAAM,GAAG,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;QAElE,MAAM,qBAAqB,GAAG,CAAC,GAAG,EAAE;YAClC,MAAM,GAAG,GAAG,IAAI,CAAC,kBAAkB,CAAC;YACpC,IAAI,CAAC,GAAG;gBAAE,OAAO,SAAS,CAAC;YAC3B,IACE,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC;gBACvB,EAAE,CAAC,+BAA+B,CAAC,GAAG,CAAC,EACvC,CAAC;gBACD,OAAO,qBAAqB,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;oBACzC,CAAC,CAAC,GAAG,CAAC,IAAI;oBACV,CAAC,CAAC,SAAS,CAAC;YAChB,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC,CAAC,EAAE,CAAC;QAEL,MAAM,kBAAkB,GAAG,sBAAsB,CAAC,MAAM,CAAC,YAAY,EAAE,GAAG,CAAC,CAAC;QAE5E,IACE,qBAAqB,KAAK,SAAS;YACnC,MAAM,CAAC,YAAY,KAAK,SAAS;YACjC,kBAAkB,KAAK,YAAY,EACnC,CAAC;YACD,MAAM,YAAY,GAAG,GAAG,CAAC,UAAU,CAAC,YAAY,CAAC,MAAM,CAAC,YAAY,EAAE;gBACpE,IAAI,EAAE,QAAQ;gBACd,IAAI,EAAE,qBAAqB;aAC5B,CAAC,CAAC;YACH,IAAI,YAAY,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;gBACxC,MAAM,aAAa,GAAG,0BAA0B,CAC9C,MAAM,EACN,qBAAqB,EACrB,GAAG,CACJ,CAAC;gBACF,OAAO;oBACL,IAAI,EAAE,cAAc;oBACpB,MAAM;oBACN,QAAQ,EAAE,qBAAqB;oBAC/B,UAAU,EAAE,KAAK;oBACjB,UAAU;oBACV,YAAY,EAAE,YAAY;oBAC1B,UAAU;oBACV,aAAa;iBACd,CAAC;YACJ,CAAC;QACH,CAAC;QAED,wEAAwE;QACxE,MAAM,UAAU,GAAG,MAAM,CAAC,YAAY,CAAC;QAEvC,0CAA0C;QAC1C,gEAAgE;QAChE,MAAM,UAAU,GACd,UAAU,KAAK,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,sBAAsB,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;QAEpG,uCAAuC;QACvC,MAAM,WAAW,GAAG,iBAAiB,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;QACvD,MAAM,wBAAwB,GAC5B,WAAW,EAAE,IAAI,KAAK,aAAa;YACnC,UAAU,KAAK,SAAS;YACxB,UAAU,KAAK,SAAS;YACxB,UAAU,CAAC,IAAI,KAAK,aAAa,CAAC;QAEpC,OAAO;YACL,IAAI,EAAE,cAAc;YACpB,MAAM;YACN,QAAQ,EAAE,iBAAiB,CAAC,IAAI,CAAC,kBAAkB,EAAE,GAAG,EAAE,SAAS,CAAC;YACpE,UAAU,EAAE,IAAI;YAChB,UAAU;YACV,YAAY,EAAE,WAAW;YACzB,wBAAwB;YACxB,UAAU;YACV,UAAU;SACX,CAAC;IACJ,CAAC;AACH,CAAC,CAAC"}
+{"version":3,"file":"access-converter.js","sourceRoot":"","sources":["../../../../../src/ir/converters/expressions/access/access-converter.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,EAAE,iBAAiB,EAAE,MAAM,kCAAkC,CAAC;AAErE,OAAO,EACL,uBAAuB,EACvB,sBAAsB,EACtB,iBAAiB,EACjB,uBAAuB,EACvB,6BAA6B,GAC9B,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,iCAAiC,EACjC,sBAAsB,GACvB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,iCAAiC,EAAE,MAAM,6BAA6B,CAAC;AAChF,OAAO,EACL,0BAA0B,EAC1B,sCAAsC,EACtC,8BAA8B,GAC/B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,gBAAgB,EAAE,MAAM,iCAAiC,CAAC;AACnE,OAAO,EACL,4BAA4B,EAC5B,4BAA4B,GAC7B,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EACL,6BAA6B,EAC7B,iDAAiD,GAClD,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EACL,wCAAwC,EACxC,wCAAwC,GACzC,MAAM,8CAA8C,CAAC;AAEtD;;GAEG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,IAA8D,EAC9D,GAAmB,EACL,EAAE;IAChB,MAAM,UAAU,GAAG,IAAI,CAAC,gBAAgB,KAAK,SAAS,CAAC;IACvD,MAAM,UAAU,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;IAEvC,IAAI,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,EAAE,CAAC;QACxC,MAAM,cAAc,GAAG,4BAA4B,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAC/D,IAAI,cAAc;YAAE,OAAO,cAAc,CAAC;QAC1C,MAAM,2BAA2B,GAC/B,wCAAwC,CAAC,IAAI,CAAC,CAAC;QACjD,IAAI,2BAA2B,KAAK,SAAS,EAAE,CAAC;YAC9C,OAAO;gBACL,IAAI,EAAE,SAAS;gBACf,KAAK,EAAE,2BAA2B;gBAClC,GAAG,EAAE,MAAM,CAAC,2BAA2B,CAAC;gBACxC,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;gBACpD,UAAU;aACX,CAAC;QACJ,CAAC;QACD,IACE,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,UAAU,CAAC;YAClC,IAAI,CAAC,UAAU,CAAC,YAAY,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;YAC5D,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;YACpC,CAAC,4BAA4B,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EACjD,CAAC;YACD,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,eAAe,IAAI,CAAC,IAAI,CAAC,IAAI,sCAAsC,EACnE,aAAa,CAAC,IAAI,CAAC,EACnB,8EAA8E,CAC/E,CACF,CAAC;YACF,OAAO;gBACL,IAAI,EAAE,SAAS;gBACf,KAAK,EAAE,SAAS;gBAChB,GAAG,EAAE,WAAW;gBAChB,YAAY,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE;gBAC1D,UAAU;aACX,CAAC;QACJ,CAAC;QAED,MAAM,MAAM,GAAG,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;QAClE,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;QACpC,MAAM,mBAAmB,GAAG,iCAAiC,CAC3D,IAAI,CAAC,UAAU,EACf,GAAG,CACJ,CAAC;QACF,MAAM,uBAAuB,GAC3B,mBAAmB,KAAK,SAAS;YAC/B,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE,YAAY,EAAE,mBAAmB,EAAE;YAClD,CAAC,CAAC,MAAM,CAAC;QACb,MAAM,aAAa,GAAG,GAAG,CAAC,OAAO,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC;QAC9D,MAAM,sBAAsB,GAC1B,aAAa,KAAK,SAAS;YACzB,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,4BAA4B,CAAC,aAAa,CAAC;YACzD,CAAC,CAAC,SAAS,CAAC;QAChB,MAAM,kBAAkB,GACtB,aAAa,KAAK,SAAS;YAC3B,CAAC,sBAAsB,EAAE,UAAU,CAAC,QAAQ,CAAC;YAC7C,CAAC,sBAAsB,EAAE,UAAU,CAAC,qBAAqB,CAAC;YACxD,CAAC,CAAC,sCAAsC,CACpC,IAAI,EACJ,YAAY,EACZ,uBAAuB,EACvB,GAAG,CACJ;YACH,CAAC,CAAC,SAAS,CAAC;QAEhB,sCAAsC;QACtC,MAAM,aAAa,GACjB,8BAA8B,CAC5B,IAAI,EACJ,YAAY,EACZ,uBAAuB,EACvB,GAAG,CACJ;YACD,kBAAkB;YAClB,CAAC,aAAa,KAAK,SAAS;gBAC1B,CAAC,CAAC,0BAA0B,CAAC,uBAAuB,EAAE,YAAY,EAAE,GAAG,CAAC;gBACxE,CAAC,CAAC,SAAS,CAAC,CAAC;QAEjB,mFAAmF;QACnF,EAAE;QACF,4EAA4E;QAC5E,0EAA0E;QAC1E,EAAE;QACF,oFAAoF;QACpF,kFAAkF;QAClF,yEAAyE;QACzE,EAAE;QACF,sFAAsF;QACtF,0FAA0F;QAC1F,MAAM,kBAAkB,GACtB,sBAAsB,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,mBAAmB,KAAK,SAAS;YACpE,CAAC,CAAC,iCAAiC,CAAC,IAAI,EAAE,GAAG,CAAC;YAC9C,CAAC,CAAC,SAAS,CAAC;QAChB,MAAM,YAAY,GAAG,uBAAuB,CAC1C,IAAI,EACJ,mBAAmB,IAAI,MAAM,CAAC,YAAY,EAC1C,GAAG,CACJ,CAAC;QAEF,kFAAkF;QAClF,mFAAmF;QACnF,gFAAgF;QAChF,oEAAoE;QACpE,MAAM,wBAAwB,GAC5B,MAAM,CAAC,IAAI,KAAK,YAAY;YAC5B,GAAG,CAAC,QAAQ;iBACT,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC;gBAC1B,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,YAAY,CAAC,KAAK,IAAI,CAAC;QAE3D,qFAAqF;QACrF,oFAAoF;QACpF,EAAE;QACF,mCAAmC;QACnC,iFAAiF;QACjF,iFAAiF;QACjF,iEAAiE;QACjE,EAAE;QACF,wFAAwF;QACxF,uDAAuD;QACvD,8DAA8D;QAC9D,EAAE;QACF,oEAAoE;QACpE,8EAA8E;QAC9E,MAAM,oBAAoB,GAAG,YAAY;YACvC,CAAC,CAAC,YAAY;YACd,CAAC,CAAC,wBAAwB;gBACxB,CAAC,CAAC,SAAS;gBACX,CAAC,CAAC,aAAa;oBACb,CAAC,CAAC,SAAS;oBACX,CAAC,CAAC,EAAE,IAAI,EAAE,aAAsB,EAAE,CAAC;QAEzC,MAAM,gBAAgB,GAAiB;YACrC,IAAI,EAAE,cAAc;YACpB,MAAM;YACN,QAAQ,EAAE,YAAY;YACtB,UAAU,EAAE,KAAK;YACjB,UAAU;YACV,YAAY,EAAE,YAAY,IAAI,oBAAoB;YAClD,UAAU;YACV,aAAa;SACd,CAAC;QACF,IACE,kBAAkB;YAClB,iCAAiC,CAAC,GAAG,EAAE,YAAY,EAAE,kBAAkB,CAAC,EACxE,CAAC;YACD,OAAO;gBACL,IAAI,EAAE,eAAe;gBACrB,UAAU,EAAE,gBAAgB;gBAC5B,UAAU,EAAE,kBAAkB;gBAC9B,YAAY,EAAE,kBAAkB;gBAChC,UAAU;aACX,CAAC;QACJ,CAAC;QACD,OAAO;YACL,GAAG,gBAAgB;YACnB,YAAY,EAAE,oBAAoB;SACnC,CAAC;IACJ,CAAC;SAAM,CAAC;QACN,MAAM,2BAA2B,GAC/B,wCAAwC,CAAC,IAAI,CAAC,CAAC;QACjD,IAAI,2BAA2B,EAAE,CAAC;YAChC,MAAM,YAAY,GAAG,2BAA2B,CAAC,SAAS,CAAC,IAAI;gBAC7D,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,cAAc,CAC3B,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAC3B,2BAA2B,CAAC,SAAS,CAAC,IAAI,CAC3C,CACF;gBACH,CAAC,CAAC,SAAS,CAAC;YACd,OAAO;gBACL,IAAI,EAAE,YAAY;gBAClB,IAAI,EAAE,2BAA2B,CAAC,QAAQ;gBAC1C,YAAY;gBACZ,UAAU;aACX,CAAC;QACJ,CAAC;QAED,uCAAuC;QACvC,MAAM,MAAM,GAAG,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;QAElE,MAAM,yBAAyB,GAAG,CAAC,GAAG,EAAE;YACtC,MAAM,GAAG,GAAG,IAAI,CAAC,kBAAkB,CAAC;YACpC,IAAI,CAAC,GAAG;gBAAE,OAAO,SAAS,CAAC;YAC3B,OAAO,iDAAiD,CAAC,GAAG,CAAC,CAAC;QAChE,CAAC,CAAC,EAAE,CAAC;QAEL,MAAM,kBAAkB,GAAG,sBAAsB,CAAC,MAAM,CAAC,YAAY,EAAE,GAAG,CAAC,CAAC;QAE5E,MAAM,yBAAyB,GAC7B,yBAAyB,KAAK,SAAS;YACvC,6BAA6B,CAAC,yBAAyB,CAAC,CAAC;QAC3D,MAAM,sBAAsB,GAC1B,yBAAyB,KAAK,SAAS;YACvC,uBAAuB,CACrB,MAAM,CAAC,YAAY,EACnB,yBAAyB,EACzB,GAAG,CACJ,CAAC;QAEJ,IACE,yBAAyB,KAAK,SAAS;YACvC,kBAAkB,KAAK,YAAY;YACnC,CAAC,yBAAyB,IAAI,MAAM,CAAC,YAAY,KAAK,SAAS,CAAC,EAChE,CAAC;YACD,MAAM,iBAAiB,GACrB,sBAAsB,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,YAAY,KAAK,SAAS;gBACpE,CAAC,CAAC,iCAAiC,CAAC,IAAI,EAAE,GAAG,CAAC;gBAC9C,CAAC,CAAC,SAAS,CAAC;YAChB,MAAM,YAAY,GAChB,MAAM,CAAC,YAAY,KAAK,SAAS;gBAC/B,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,YAAY,CAAC,MAAM,CAAC,YAAY,EAAE;oBAC/C,IAAI,EAAE,QAAQ;oBACd,IAAI,EAAE,yBAAyB;iBAChC,CAAC;gBACJ,CAAC,CAAC,EAAE,IAAI,EAAE,aAAsB,EAAE,CAAC;YACvC,IACE,YAAY,CAAC,IAAI,KAAK,aAAa;gBACnC,yBAAyB;gBACzB,sBAAsB,EACtB,CAAC;gBACD,MAAM,aAAa,GAAG,0BAA0B,CAC9C,MAAM,EACN,yBAAyB,EACzB,GAAG,CACJ,CAAC;gBACF,MAAM,gBAAgB,GAAiB;oBACrC,IAAI,EAAE,cAAc;oBACpB,MAAM;oBACN,QAAQ,EAAE,yBAAyB;oBACnC,UAAU,EAAE,KAAK;oBACjB,UAAU;oBACV,YAAY,EAAE,YAAY;oBAC1B,UAAU;oBACV,aAAa;iBACd,CAAC;gBACF,IACE,iBAAiB;oBACjB,iCAAiC,CAC/B,GAAG,EACH,YAAY,EACZ,iBAAiB,CAClB,EACD,CAAC;oBACD,OAAO;wBACL,IAAI,EAAE,eAAe;wBACrB,UAAU,EAAE,gBAAgB;wBAC5B,UAAU,EAAE,iBAAiB;wBAC7B,YAAY,EAAE,iBAAiB;wBAC/B,UAAU;qBACX,CAAC;gBACJ,CAAC;gBACD,OAAO,gBAAgB,CAAC;YAC1B,CAAC;QACH,CAAC;QAED,wEAAwE;QACxE,MAAM,mBAAmB,GAAG,iCAAiC,CAC3D,IAAI,CAAC,UAAU,EACf,GAAG,CACJ,CAAC;QACF,MAAM,UAAU,GAAG,mBAAmB,IAAI,MAAM,CAAC,YAAY,CAAC;QAE9D,0CAA0C;QAC1C,gEAAgE;QAChE,MAAM,UAAU,GAAG,sBAAsB,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;QAE3D,MAAM,kBAAkB,GACtB,sBAAsB,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,UAAU,KAAK,SAAS;YAC3D,CAAC,CAAC,iCAAiC,CAAC,IAAI,EAAE,GAAG,CAAC;YAC9C,CAAC,CAAC,SAAS,CAAC;QAEhB,uCAAuC;QACvC,MAAM,WAAW,GACf,kBAAkB;YAClB,iBAAiB,CAAC,UAAU,EAAE,GAAG,EAAE,IAAI,CAAC,kBAAkB,CAAC,CAAC;QAC9D,MAAM,cAAc,GAAG,6BAA6B,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;QAEtE,MAAM,iBAAiB,GAAiB;YACtC,IAAI,EAAE,cAAc;YACpB,MAAM;YACN,QAAQ,EAAE,iBAAiB,CAAC,IAAI,CAAC,kBAAkB,EAAE,GAAG,EAAE,SAAS,CAAC;YACpE,UAAU,EAAE,IAAI;YAChB,UAAU;YACV,YAAY,EAAE,iBAAiB,CAAC,UAAU,EAAE,GAAG,EAAE,IAAI,CAAC,kBAAkB,CAAC;YACzE,UAAU;YACV,UAAU;YACV,cAAc;SACf,CAAC;QACF,IACE,kBAAkB;YAClB,iCAAiC,CAC/B,GAAG,EACH,iBAAiB,CAAC,UAAU,EAAE,GAAG,EAAE,IAAI,CAAC,kBAAkB,CAAC,EAC3D,kBAAkB,CACnB,EACD,CAAC;YACD,OAAO;gBACL,IAAI,EAAE,eAAe;gBACrB,UAAU,EAAE,iBAAiB;gBAC7B,UAAU,EAAE,kBAAkB;gBAC9B,YAAY,EAAE,kBAAkB;gBAChC,UAAU;aACX,CAAC;QACJ,CAAC;QACD,OAAO;YACL,GAAG,iBAAiB;YACpB,YAAY,EAAE,WAAW;SAC1B,CAAC;IACJ,CAAC;AACH,CAAC,CAAC"}

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

@@ -0,0 +1,18 @@
+/**
+ * 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 { IrMemberExpression } from "../../../types.js";
+import { convertExpression } from "../../../expression-converter.js";
+import type { ProgramContext } from "../../../program-context.js";
+/**
+ * Resolve hierarchical binding for a member access
+ * Handles namespace.type, type.member, directType.member, and instance.member patterns
+ */
+export declare const resolveHierarchicalBinding: (object: ReturnType<typeof convertExpression>, propertyName: string, ctx: ProgramContext) => IrMemberExpression["memberBinding"];
+export declare const resolveExpectedClrTypeFromBindings: (raw: Record<string, unknown>, declaringTypeTsName: string) => string | undefined;
+//# sourceMappingURL=binding-resolution-hierarchical.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"binding-resolution-hierarchical.d.ts","sourceRoot":"","sources":["../../../../../src/ir/converters/expressions/access/binding-resolution-hierarchical.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAGH,OAAO,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AACvD,OAAO,EAAE,iBAAiB,EAAE,MAAM,kCAAkC,CAAC;AACrE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAC;AAMlE;;;GAGG;AACH,eAAO,MAAM,0BAA0B,GACrC,QAAQ,UAAU,CAAC,OAAO,iBAAiB,CAAC,EAC5C,cAAc,MAAM,EACpB,KAAK,cAAc,KAClB,kBAAkB,CAAC,eAAe,CA6XpC,CAAC;AAEF,eAAO,MAAM,kCAAkC,GAC7C,KAAK,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC5B,qBAAqB,MAAM,KAC1B,MAAM,GAAG,SA+CX,CAAC"}