@tsonic/emitter 0.0.74 → 0.0.75

package/dist/core/semantic/property-lookup-membership.js

@@ -0,0 +1,176 @@
+/**
+ * Property membership checks and structural type analysis.
+ *
+ * Deterministic property membership:
+ * - hasDeterministicPropertyMembership: Check if a type has a property
+ * - getAllPropertySignatures: Get all property signatures for a type
+ * - collectInterfaceProps: Recursive interface property collection
+ * - isTypeOnlyStructuralTarget: Check if a type is purely structural
+ * - isCompilerGeneratedStructuralCarrierType: Detect compiler-generated carriers
+ */
+import { resolveTypeAlias, stripNullish } from "./nullish-value-helpers.js";
+import { getPropertyType, resolveLocalTypeInfo, resolveBindingBackedPropertySignatures, } from "./property-lookup-resolution.js";
+const stripGlobalPrefix = (name) => name.startsWith("global::") ? name.slice("global::".length) : name;
+const getTypeMemberIndexCandidates = (ref, context) => {
+    const index = context.options.typeMemberIndex;
+    if (!index)
+        return undefined;
+    if (ref.typeId?.clrName) {
+        return [stripGlobalPrefix(ref.typeId.clrName)];
+    }
+    if (ref.resolvedClrType) {
+        return [stripGlobalPrefix(ref.resolvedClrType)];
+    }
+    if (ref.name.includes(".")) {
+        return [ref.name];
+    }
+    const matches = [];
+    for (const fqn of index.keys()) {
+        if (fqn.endsWith(`.${ref.name}`) || fqn.endsWith(`.${ref.name}__Alias`)) {
+            matches.push(fqn);
+        }
+    }
+    if (matches.length <= 1) {
+        return matches;
+    }
+    const list = matches.sort().join(", ");
+    throw new Error(`ICE: Ambiguous type member index entry for '${ref.name}'. Candidates: ${list}`);
+};
+export const hasDeterministicPropertyMembership = (type, propertyName, context) => {
+    const resolved = resolveTypeAlias(stripNullish(type), context);
+    if (resolved.kind === "objectType") {
+        return resolved.members.some((member) => member.kind === "propertySignature" && member.name === propertyName);
+    }
+    if (resolved.kind !== "referenceType") {
+        return undefined;
+    }
+    if (resolved.structuralMembers?.length) {
+        return resolved.structuralMembers.some((member) => member.kind === "propertySignature" && member.name === propertyName);
+    }
+    if (getPropertyType(resolved, propertyName, context)) {
+        return true;
+    }
+    const knownProps = getAllPropertySignatures(resolved, context);
+    if (knownProps) {
+        return knownProps.some((member) => member.name === propertyName);
+    }
+    const localInfo = resolveLocalTypeInfo(resolved, context)?.info;
+    if (localInfo?.kind === "class") {
+        return localInfo.members.some((member) => (member.kind === "propertyDeclaration" ||
+            member.kind === "methodDeclaration") &&
+            member.name === propertyName);
+    }
+    const candidates = getTypeMemberIndexCandidates(resolved, context);
+    if (!candidates || candidates.length === 0) {
+        return undefined;
+    }
+    return candidates.some((fqn) => {
+        const perType = context.options.typeMemberIndex?.get(fqn);
+        return perType?.has(propertyName) ?? false;
+    });
+};
+/**
+ * Get all property signatures for a type, including inherited interface members.
+ *
+ * Notes:
+ * - Only supports referenceType -> local interface lookup (synthetic union members are always interfaces).
+ * - Derived members override base members by name.
+ * - Cycle-safe via visitedTypes.
+ */
+export const getAllPropertySignatures = (type, context) => {
+    // We only expect nominal reference types here (Result__0<T,E>, etc.)
+    if (type.kind !== "referenceType")
+        return undefined;
+    const typeInfoResult = resolveLocalTypeInfo(type, context);
+    if (!typeInfoResult) {
+        return resolveBindingBackedPropertySignatures(type, context);
+    }
+    const typeInfo = typeInfoResult.info;
+    if (!typeInfo || typeInfo.kind !== "interface")
+        return undefined;
+    // Collect into a map so derived overrides base by name deterministically
+    const propMap = new Map();
+    collectInterfaceProps(type, typeInfo, context, propMap, []);
+    return [...propMap.values()];
+};
+/**
+ * Recursive interface property collection.
+ *
+ * Ordering is important:
+ * - Add own members first (so they override bases).
+ * - Then walk extends for missing names.
+ */
+const collectInterfaceProps = (ref, typeInfo, context, out, visitedTypes) => {
+    // Prevent cycles
+    const cycleKey = ref.resolvedClrType ?? ref.name;
+    if (visitedTypes.includes(cycleKey))
+        return;
+    const nextVisited = [...visitedTypes, cycleKey];
+    // Add own properties first (derived overrides base)
+    for (const m of typeInfo.members) {
+        if (m.kind === "propertySignature") {
+            out.set(m.name, m);
+        }
+    }
+    // Walk base interfaces
+    for (const base of typeInfo.extends) {
+        if (base.kind !== "referenceType")
+            continue;
+        const baseInfoResult = resolveLocalTypeInfo(base, context);
+        const baseInfo = baseInfoResult?.info;
+        if (!baseInfo || baseInfo.kind !== "interface")
+            continue;
+        // Recurse. If derived already set the name, we keep the derived one.
+        const basePropMap = new Map();
+        collectInterfaceProps(base, baseInfo, context, basePropMap, nextVisited);
+        for (const [name, sig] of basePropMap.entries()) {
+            if (!out.has(name)) {
+                out.set(name, sig);
+            }
+        }
+    }
+};
+/**
+ * True when a type is purely structural/type-only at runtime.
+ *
+ * Type assertions to these targets must be erased rather than emitted as
+ * CLR casts, because there is no meaningful runtime conversion.
+ */
+export const isTypeOnlyStructuralTarget = (type, context) => {
+    const resolved = resolveTypeAlias(stripNullish(type), context);
+    if (resolved.kind === "objectType") {
+        return true;
+    }
+    if (resolved.kind !== "referenceType") {
+        return false;
+    }
+    if (isCompilerGeneratedStructuralCarrierType(resolved)) {
+        return true;
+    }
+    if (resolved.resolvedClrType) {
+        return false;
+    }
+    const localInfo = resolveLocalTypeInfo(resolved, context)?.info;
+    if (localInfo?.kind === "class" &&
+        !isCompilerGeneratedStructuralCarrierType(resolved)) {
+        return false;
+    }
+    if (resolved.structuralMembers && resolved.structuralMembers.length > 0) {
+        return true;
+    }
+    if (localInfo?.kind === "interface") {
+        return true;
+    }
+    if (localInfo?.kind === "typeAlias") {
+        return isTypeOnlyStructuralTarget(localInfo.type, context);
+    }
+    const inheritedProps = getAllPropertySignatures(resolved, context);
+    return inheritedProps !== undefined && inheritedProps.length > 0;
+};
+const isCompilerGeneratedStructuralCarrierType = (type) => {
+    const simpleName = type.name.split(".").pop() ?? type.name;
+    const clrSimpleName = type.resolvedClrType?.split(".").pop();
+    const isCarrierName = (name) => !!name && (name.startsWith("__Anon_") || name.startsWith("__Rest_"));
+    return isCarrierName(simpleName) || isCarrierName(clrSimpleName);
+};
+//# sourceMappingURL=property-lookup-membership.js.map

package/dist/core/semantic/property-lookup-membership.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"property-lookup-membership.js","sourceRoot":"","sources":["../../../src/core/semantic/property-lookup-membership.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAKH,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAC5E,OAAO,EACL,eAAe,EACf,oBAAoB,EACpB,sCAAsC,GACvC,MAAM,iCAAiC,CAAC;AAEzC,MAAM,iBAAiB,GAAG,CAAC,IAAY,EAAU,EAAE,CACjD,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAErE,MAAM,4BAA4B,GAAG,CACnC,GAA+C,EAC/C,OAAuB,EACQ,EAAE;IACjC,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,eAAe,CAAC;IAC9C,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAE7B,IAAI,GAAG,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC;QACxB,OAAO,CAAC,iBAAiB,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;IACjD,CAAC;IAED,IAAI,GAAG,CAAC,eAAe,EAAE,CAAC;QACxB,OAAO,CAAC,iBAAiB,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC;IAClD,CAAC;IAED,IAAI,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QAC3B,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACpB,CAAC;IAED,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC;QAC/B,IAAI,GAAG,CAAC,QAAQ,CAAC,IAAI,GAAG,CAAC,IAAI,EAAE,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,IAAI,GAAG,CAAC,IAAI,SAAS,CAAC,EAAE,CAAC;YACxE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACpB,CAAC;IACH,CAAC;IAED,IAAI,OAAO,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QACxB,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvC,MAAM,IAAI,KAAK,CACb,+CAA+C,GAAG,CAAC,IAAI,kBAAkB,IAAI,EAAE,CAChF,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,kCAAkC,GAAG,CAChD,IAAY,EACZ,YAAoB,EACpB,OAAuB,EACF,EAAE;IACvB,MAAM,QAAQ,GAAG,gBAAgB,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;IAE/D,IAAI,QAAQ,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACnC,OAAO,QAAQ,CAAC,OAAO,CAAC,IAAI,CAC1B,CAAC,MAAM,EAAE,EAAE,CACT,MAAM,CAAC,IAAI,KAAK,mBAAmB,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,CACtE,CAAC;IACJ,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACtC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,QAAQ,CAAC,iBAAiB,EAAE,MAAM,EAAE,CAAC;QACvC,OAAO,QAAQ,CAAC,iBAAiB,CAAC,IAAI,CACpC,CAAC,MAAM,EAAE,EAAE,CACT,MAAM,CAAC,IAAI,KAAK,mBAAmB,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,CACtE,CAAC;IACJ,CAAC;IAED,IAAI,eAAe,CAAC,QAAQ,EAAE,YAAY,EAAE,OAAO,CAAC,EAAE,CAAC;QACrD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,UAAU,GAAG,wBAAwB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC/D,IAAI,UAAU,EAAE,CAAC;QACf,OAAO,UAAU,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC;IACnE,CAAC;IAED,MAAM,SAAS,GAAG,oBAAoB,CAAC,QAAQ,EAAE,OAAO,CAAC,EAAE,IAAI,CAAC;IAChE,IAAI,SAAS,EAAE,IAAI,KAAK,OAAO,EAAE,CAAC;QAChC,OAAO,SAAS,CAAC,OAAO,CAAC,IAAI,CAC3B,CAAC,MAAM,EAAE,EAAE,CACT,CAAC,MAAM,CAAC,IAAI,KAAK,qBAAqB;YACpC,MAAM,CAAC,IAAI,KAAK,mBAAmB,CAAC;YACtC,MAAM,CAAC,IAAI,KAAK,YAAY,CAC/B,CAAC;IACJ,CAAC;IAED,MAAM,UAAU,GAAG,4BAA4B,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IACnE,IAAI,CAAC,UAAU,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3C,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,UAAU,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE;QAC7B,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;QAC1D,OAAO,OAAO,EAAE,GAAG,CAAC,YAAY,CAAC,IAAI,KAAK,CAAC;IAC7C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,IAAY,EACZ,OAAuB,EACqB,EAAE;IAC9C,qEAAqE;IACrE,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe;QAAE,OAAO,SAAS,CAAC;IAEpD,MAAM,cAAc,GAAG,oBAAoB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC3D,IAAI,CAAC,cAAc,EAAE,CAAC;QACpB,OAAO,sCAAsC,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC/D,CAAC;IACD,MAAM,QAAQ,GAAG,cAAc,CAAC,IAAI,CAAC;IACrC,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,SAAS,CAAC;IAEjE,yEAAyE;IACzE,MAAM,OAAO,GAAG,IAAI,GAAG,EAA+B,CAAC;IAEvD,qBAAqB,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC;IAC5D,OAAO,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;AAC/B,CAAC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,qBAAqB,GAAG,CAC5B,GAA+C,EAC/C,QAAuD,EACvD,OAAuB,EACvB,GAAqC,EACrC,YAA+B,EACzB,EAAE;IACR,iBAAiB;IACjB,MAAM,QAAQ,GAAG,GAAG,CAAC,eAAe,IAAI,GAAG,CAAC,IAAI,CAAC;IACjD,IAAI,YAAY,CAAC,QAAQ,CAAC,QAAQ,CAAC;QAAE,OAAO;IAC5C,MAAM,WAAW,GAAG,CAAC,GAAG,YAAY,EAAE,QAAQ,CAAC,CAAC;IAEhD,oDAAoD;IACpD,KAAK,MAAM,CAAC,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;QACjC,IAAI,CAAC,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;YACnC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QACrB,CAAC;IACH,CAAC;IAED,uBAAuB;IACvB,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;QACpC,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe;YAAE,SAAS;QAC5C,MAAM,cAAc,GAAG,oBAAoB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC3D,MAAM,QAAQ,GAAG,cAAc,EAAE,IAAI,CAAC;QACtC,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW;YAAE,SAAS;QAEzD,qEAAqE;QACrE,MAAM,WAAW,GAAG,IAAI,GAAG,EAA+B,CAAC;QAC3D,qBAAqB,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC;QAEzE,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,WAAW,CAAC,OAAO,EAAE,EAAE,CAAC;YAChD,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBACnB,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACrB,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG,CACxC,IAAY,EACZ,OAAuB,EACd,EAAE;IACX,MAAM,QAAQ,GAAG,gBAAgB,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;IAE/D,IAAI,QAAQ,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACnC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACtC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,wCAAwC,CAAC,QAAQ,CAAC,EAAE,CAAC;QACvD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,QAAQ,CAAC,eAAe,EAAE,CAAC;QAC7B,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,SAAS,GAAG,oBAAoB,CAAC,QAAQ,EAAE,OAAO,CAAC,EAAE,IAAI,CAAC;IAChE,IACE,SAAS,EAAE,IAAI,KAAK,OAAO;QAC3B,CAAC,wCAAwC,CAAC,QAAQ,CAAC,EACnD,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,QAAQ,CAAC,iBAAiB,IAAI,QAAQ,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxE,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,SAAS,EAAE,IAAI,KAAK,WAAW,EAAE,CAAC;QACpC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,SAAS,EAAE,IAAI,KAAK,WAAW,EAAE,CAAC;QACpC,OAAO,0BAA0B,CAAC,SAAS,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC7D,CAAC;IAED,MAAM,cAAc,GAAG,wBAAwB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IACnE,OAAO,cAAc,KAAK,SAAS,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,CAAC;AACnE,CAAC,CAAC;AAEF,MAAM,wCAAwC,GAAG,CAC/C,IAAgD,EACvC,EAAE;IACX,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,IAAI,CAAC,IAAI,CAAC;IAC3D,MAAM,aAAa,GAAG,IAAI,CAAC,eAAe,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IAC7D,MAAM,aAAa,GAAG,CAAC,IAAwB,EAAW,EAAE,CAC1D,CAAC,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC;IAEvE,OAAO,aAAa,CAAC,UAAU,CAAC,IAAI,aAAa,CAAC,aAAa,CAAC,CAAC;AACnE,CAAC,CAAC"}

package/dist/core/semantic/property-lookup-resolution.d.ts

@@ -0,0 +1,52 @@
+/**
+ * Property lookup resolution through type hierarchies, binding registries, and type-member indices.
+ *
+ * Core property type resolution:
+ * - getPropertyType: Public entry point for property type lookup
+ * - resolveLocalTypeInfo: Resolve reference type to local type info
+ * - resolveLocalTypeInfoWithoutBindings: Direct local type resolution
+ * - resolveBindingBackedReferenceType: Resolve via bindings registry
+ * - resolvePropertyType: Internal recursive property resolution
+ * - findPropertyInMembers / findPropertyInClassMembers: Member lookup
+ * - withOptionalUndefined: Optional property type wrapping
+ */
+import type { IrType, IrInterfaceMember, IrClassMember, IrPropertySignature } from "@tsonic/frontend";
+import type { EmitterContext } from "../../types.js";
+import type { LocalTypeInfo } from "../../emitter-types/core.js";
+export declare const getPropertyType: (contextualType: IrType | undefined, propertyName: string, context: EmitterContext) => IrType | undefined;
+export declare const resolveLocalTypeInfo: (ref: Extract<IrType, {
+    kind: "referenceType";
+}>, context: EmitterContext) => {
+    readonly info: LocalTypeInfo;
+    readonly namespace: string;
+    readonly name: string;
+} | undefined;
+export declare const resolveLocalTypeInfoWithoutBindings: (ref: Extract<IrType, {
+    kind: "referenceType";
+}>, context: EmitterContext) => {
+    readonly info: LocalTypeInfo;
+    readonly namespace: string;
+    readonly name: string;
+} | undefined;
+export declare const resolveBindingBackedReferenceType: (ref: Extract<IrType, {
+    kind: "referenceType";
+}>, context: EmitterContext) => Extract<IrType, {
+    kind: "referenceType";
+}> | undefined;
+export declare const resolveBindingBackedPropertySignatures: (ref: Extract<IrType, {
+    kind: "referenceType";
+}>, context: EmitterContext) => readonly IrPropertySignature[] | undefined;
+/**
+ * Internal helper for property type resolution with cycle detection
+ */
+export declare const resolvePropertyType: (type: IrType, propertyName: string, context: EmitterContext, visitedTypes: readonly string[]) => IrType | undefined;
+/**
+ * Find property type in interface members
+ */
+export declare const findPropertyInMembers: (members: readonly IrInterfaceMember[], propertyName: string) => IrType | undefined;
+export declare const withOptionalUndefined: (type: IrType, isOptional: boolean) => IrType;
+/**
+ * Find property type in class members
+ */
+export declare const findPropertyInClassMembers: (members: readonly IrClassMember[], propertyName: string) => IrType | undefined;
+//# sourceMappingURL=property-lookup-resolution.d.ts.map

package/dist/core/semantic/property-lookup-resolution.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"property-lookup-resolution.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/property-lookup-resolution.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,EACV,MAAM,EACN,iBAAiB,EACjB,aAAa,EACb,mBAAmB,EAEpB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AACrD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAC;AAOjE,eAAO,MAAM,eAAe,GAC1B,gBAAgB,MAAM,GAAG,SAAS,EAClC,cAAc,MAAM,EACpB,SAAS,cAAc,KACtB,MAAM,GAAG,SAMX,CAAC;AAEF,eAAO,MAAM,oBAAoB,GAC/B,KAAK,OAAO,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC,EAC/C,SAAS,cAAc,KAErB;IACE,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB,GACD,SAYH,CAAC;AAEF,eAAO,MAAM,mCAAmC,GAC9C,KAAK,OAAO,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC,EAC/C,SAAS,cAAc,KAErB;IACE,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB,GACD,SA+DH,CAAC;AAkCF,eAAO,MAAM,iCAAiC,GAC5C,KAAK,OAAO,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC,EAC/C,SAAS,cAAc,KACtB,OAAO,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC,GAAG,SAkB/C,CAAC;AAgCF,eAAO,MAAM,sCAAsC,GACjD,KAAK,OAAO,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC,EAC/C,SAAS,cAAc,KACtB,SAAS,mBAAmB,EAAE,GAAG,SAuCnC,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,mBAAmB,GAC9B,MAAM,MAAM,EACZ,cAAc,MAAM,EACpB,SAAS,cAAc,EACvB,cAAc,SAAS,MAAM,EAAE,KAC9B,MAAM,GAAG,SAsGX,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,qBAAqB,GAChC,SAAS,SAAS,iBAAiB,EAAE,EACrC,cAAc,MAAM,KACnB,MAAM,GAAG,SAOX,CAAC;AAEF,eAAO,MAAM,qBAAqB,GAChC,MAAM,MAAM,EACZ,YAAY,OAAO,KAClB,MAYF,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,0BAA0B,GACrC,SAAS,SAAS,aAAa,EAAE,EACjC,cAAc,MAAM,KACnB,MAAM,GAAG,SAOX,CAAC"}

package/dist/core/semantic/property-lookup-resolution.js

@@ -0,0 +1,275 @@
+/**
+ * Property lookup resolution through type hierarchies, binding registries, and type-member indices.
+ *
+ * Core property type resolution:
+ * - getPropertyType: Public entry point for property type lookup
+ * - resolveLocalTypeInfo: Resolve reference type to local type info
+ * - resolveLocalTypeInfoWithoutBindings: Direct local type resolution
+ * - resolveBindingBackedReferenceType: Resolve via bindings registry
+ * - resolvePropertyType: Internal recursive property resolution
+ * - findPropertyInMembers / findPropertyInClassMembers: Member lookup
+ * - withOptionalUndefined: Optional property type wrapping
+ */
+import { substituteTypeArgs } from "./structural-resolution.js";
+import { canUseLocalTypeLookupCandidate, getLocalTypeLookupCandidates, } from "./local-type-lookup.js";
+export const getPropertyType = (contextualType, propertyName, context) => {
+    if (!contextualType) {
+        return undefined;
+    }
+    return resolvePropertyType(contextualType, propertyName, context, []);
+};
+export const resolveLocalTypeInfo = (ref, context) => {
+    const direct = resolveLocalTypeInfoWithoutBindings(ref, context);
+    if (direct) {
+        return direct;
+    }
+    const rebound = resolveBindingBackedReferenceType(ref, context);
+    if (!rebound) {
+        return undefined;
+    }
+    return resolveLocalTypeInfoWithoutBindings(rebound, context);
+};
+export const resolveLocalTypeInfoWithoutBindings = (ref, context) => {
+    const lookupCandidates = getLocalTypeLookupCandidates(ref.name);
+    for (const candidate of lookupCandidates) {
+        const localHit = context.localTypes?.get(candidate.name);
+        if (localHit && canUseLocalTypeLookupCandidate(localHit, candidate)) {
+            return {
+                info: localHit,
+                namespace: context.moduleNamespace ?? context.options.rootNamespace,
+                name: candidate.name,
+            };
+        }
+    }
+    const moduleMap = context.options.moduleMap;
+    if (!moduleMap)
+        return undefined;
+    const matches = [];
+    for (const candidate of lookupCandidates) {
+        for (const m of moduleMap.values()) {
+            const info = m.localTypes?.get(candidate.name);
+            if (!info)
+                continue;
+            if (!canUseLocalTypeLookupCandidate(info, candidate))
+                continue;
+            matches.push({ namespace: m.namespace, info, name: candidate.name });
+        }
+    }
+    if (matches.length === 0)
+        return undefined;
+    if (matches.length === 1) {
+        const onlyMatch = matches[0];
+        if (!onlyMatch) {
+            return undefined;
+        }
+        return {
+            info: onlyMatch.info,
+            namespace: onlyMatch.namespace,
+            name: onlyMatch.name,
+        };
+    }
+    const fqn = ref.resolvedClrType ?? (ref.name.includes(".") ? ref.name : undefined);
+    if (fqn && fqn.includes(".")) {
+        const namespace = fqn.slice(0, fqn.lastIndexOf("."));
+        const scoped = matches.filter((m) => m.namespace === namespace);
+        if (scoped.length === 1) {
+            const scopedMatch = scoped[0];
+            if (!scopedMatch) {
+                return undefined;
+            }
+            return {
+                info: scopedMatch.info,
+                namespace: scopedMatch.namespace,
+                name: scopedMatch.name,
+            };
+        }
+    }
+    return undefined;
+};
+const getReferenceBindingLookupCandidates = (ref) => {
+    const candidates = new Set();
+    const add = (value) => {
+        if (value && value.length > 0) {
+            candidates.add(value);
+        }
+    };
+    add(ref.name);
+    add(ref.resolvedClrType);
+    add(ref.typeId?.tsName);
+    add(ref.typeId?.clrName);
+    for (const value of [...candidates]) {
+        if (!value.includes("."))
+            continue;
+        add(value.split(".").pop());
+    }
+    return [...candidates];
+};
+const getBindingScopedReference = (binding, ref) => ({
+    ...ref,
+    name: binding.alias,
+    resolvedClrType: binding.name,
+});
+export const resolveBindingBackedReferenceType = (ref, context) => {
+    const registry = context.bindingsRegistry;
+    if (!registry || registry.size === 0) {
+        return undefined;
+    }
+    for (const candidate of getReferenceBindingLookupCandidates(ref)) {
+        const binding = registry.get(candidate);
+        if (!binding)
+            continue;
+        const scopedRef = getBindingScopedReference(binding, ref);
+        const localInfo = resolveLocalTypeInfoWithoutBindings(scopedRef, context);
+        if (localInfo) {
+            return scopedRef;
+        }
+    }
+    return undefined;
+};
+const resolveBindingBackedPropertyType = (ref, propertyName, context) => {
+    const registry = context.bindingsRegistry;
+    if (!registry || registry.size === 0) {
+        return undefined;
+    }
+    for (const candidate of getReferenceBindingLookupCandidates(ref)) {
+        const binding = registry.get(candidate);
+        if (!binding)
+            continue;
+        const member = binding.members.find((candidateMember) => candidateMember.kind === "property" &&
+            candidateMember.alias === propertyName);
+        if (!member?.semanticType)
+            continue;
+        return withOptionalUndefined(member.semanticType, member.semanticOptional === true);
+    }
+    return undefined;
+};
+export const resolveBindingBackedPropertySignatures = (ref, context) => {
+    const registry = context.bindingsRegistry;
+    if (!registry || registry.size === 0) {
+        return undefined;
+    }
+    for (const candidate of getReferenceBindingLookupCandidates(ref)) {
+        const binding = registry.get(candidate);
+        if (!binding)
+            continue;
+        const properties = binding.members
+            .filter((candidateMember) => candidateMember.kind === "property" &&
+            candidateMember.semanticType !== undefined)
+            .map((member) => ({
+            kind: "propertySignature",
+            name: member.alias,
+            type: withOptionalUndefined(member.semanticType, member.semanticOptional === true),
+            isOptional: member.semanticOptional === true,
+            isReadonly: false,
+        }));
+        if (properties.length > 0) {
+            return properties;
+        }
+    }
+    return undefined;
+};
+/**
+ * Internal helper for property type resolution with cycle detection
+ */
+export const resolvePropertyType = (type, propertyName, context, visitedTypes) => {
+    // Handle reference types (most common case)
+    if (type.kind === "referenceType") {
+        const typeInfoResult = resolveLocalTypeInfo(type, context);
+        if (!typeInfoResult) {
+            // Fall back to structural members carried directly on the reference node.
+            // These are checked after registry lookup to preserve type parameter
+            // substitution from the registry path (structural members lack it).
+            if (type.structuralMembers?.length) {
+                const structProp = findPropertyInMembers(type.structuralMembers, propertyName);
+                if (structProp)
+                    return structProp;
+            }
+            return resolveBindingBackedPropertyType(type, propertyName, context);
+        }
+        const typeInfo = typeInfoResult.info;
+        // Prevent cycles
+        const cycleKey = type.resolvedClrType ?? type.name;
+        if (visitedTypes.includes(cycleKey)) {
+            return undefined;
+        }
+        const newVisited = [...visitedTypes, cycleKey];
+        // Chase type alias
+        if (typeInfo.kind === "typeAlias") {
+            const substituted = type.typeArguments
+                ? substituteTypeArgs(typeInfo.type, typeInfo.typeParameters, type.typeArguments)
+                : typeInfo.type;
+            return resolvePropertyType(substituted, propertyName, context, newVisited);
+        }
+        // Look up property in interface
+        if (typeInfo.kind === "interface") {
+            // Search own members first
+            const prop = findPropertyInMembers(typeInfo.members, propertyName);
+            if (prop) {
+                return type.typeArguments
+                    ? substituteTypeArgs(prop, typeInfo.typeParameters, type.typeArguments)
+                    : prop;
+            }
+            // Search extended interfaces
+            for (const base of typeInfo.extends) {
+                const baseProp = resolvePropertyType(base, propertyName, context, newVisited);
+                if (baseProp) {
+                    return type.typeArguments
+                        ? substituteTypeArgs(baseProp, typeInfo.typeParameters, type.typeArguments)
+                        : baseProp;
+                }
+            }
+            return undefined;
+        }
+        // Look up property in class
+        if (typeInfo.kind === "class") {
+            const prop = findPropertyInClassMembers(typeInfo.members, propertyName);
+            if (prop) {
+                return type.typeArguments
+                    ? substituteTypeArgs(prop, typeInfo.typeParameters, type.typeArguments)
+                    : prop;
+            }
+            return undefined;
+        }
+        return undefined;
+    }
+    // Handle object types directly
+    if (type.kind === "objectType") {
+        return findPropertyInMembers(type.members, propertyName);
+    }
+    return undefined;
+};
+/**
+ * Find property type in interface members
+ */
+export const findPropertyInMembers = (members, propertyName) => {
+    for (const member of members) {
+        if (member.kind === "propertySignature" && member.name === propertyName) {
+            return withOptionalUndefined(member.type, member.isOptional);
+        }
+    }
+    return undefined;
+};
+export const withOptionalUndefined = (type, isOptional) => {
+    if (!isOptional)
+        return type;
+    if (type.kind === "unionType" &&
+        type.types.some((t) => t.kind === "primitiveType" && t.name === "undefined")) {
+        return type;
+    }
+    return {
+        kind: "unionType",
+        types: [type, { kind: "primitiveType", name: "undefined" }],
+    };
+};
+/**
+ * Find property type in class members
+ */
+export const findPropertyInClassMembers = (members, propertyName) => {
+    for (const member of members) {
+        if (member.kind === "propertyDeclaration" && member.name === propertyName) {
+            return member.type;
+        }
+    }
+    return undefined;
+};
+//# sourceMappingURL=property-lookup-resolution.js.map

package/dist/core/semantic/property-lookup-resolution.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"property-lookup-resolution.js","sourceRoot":"","sources":["../../../src/core/semantic/property-lookup-resolution.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAWH,OAAO,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAChE,OAAO,EACL,8BAA8B,EAC9B,4BAA4B,GAC7B,MAAM,wBAAwB,CAAC;AAEhC,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,cAAkC,EAClC,YAAoB,EACpB,OAAuB,EACH,EAAE;IACtB,IAAI,CAAC,cAAc,EAAE,CAAC;QACpB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,mBAAmB,CAAC,cAAc,EAAE,YAAY,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC;AACxE,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,GAA+C,EAC/C,OAAuB,EAOX,EAAE;IACd,MAAM,MAAM,GAAG,mCAAmC,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IACjE,IAAI,MAAM,EAAE,CAAC;QACX,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,MAAM,OAAO,GAAG,iCAAiC,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IAChE,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,mCAAmC,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;AAC/D,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,mCAAmC,GAAG,CACjD,GAA+C,EAC/C,OAAuB,EAOX,EAAE;IACd,MAAM,gBAAgB,GAAG,4BAA4B,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAEhE,KAAK,MAAM,SAAS,IAAI,gBAAgB,EAAE,CAAC;QACzC,MAAM,QAAQ,GAAG,OAAO,CAAC,UAAU,EAAE,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QACzD,IAAI,QAAQ,IAAI,8BAA8B,CAAC,QAAQ,EAAE,SAAS,CAAC,EAAE,CAAC;YACpE,OAAO;gBACL,IAAI,EAAE,QAAQ;gBACd,SAAS,EAAE,OAAO,CAAC,eAAe,IAAI,OAAO,CAAC,OAAO,CAAC,aAAa;gBACnE,IAAI,EAAE,SAAS,CAAC,IAAI;aACrB,CAAC;QACJ,CAAC;IACH,CAAC;IAED,MAAM,SAAS,GAAG,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC;IAC5C,IAAI,CAAC,SAAS;QAAE,OAAO,SAAS,CAAC;IAEjC,MAAM,OAAO,GAIP,EAAE,CAAC;IACT,KAAK,MAAM,SAAS,IAAI,gBAAgB,EAAE,CAAC;QACzC,KAAK,MAAM,CAAC,IAAI,SAAS,CAAC,MAAM,EAAE,EAAE,CAAC;YACnC,MAAM,IAAI,GAAG,CAAC,CAAC,UAAU,EAAE,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;YAC/C,IAAI,CAAC,IAAI;gBAAE,SAAS;YACpB,IAAI,CAAC,8BAA8B,CAAC,IAAI,EAAE,SAAS,CAAC;gBAAE,SAAS;YAC/D,OAAO,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC;QACvE,CAAC;IACH,CAAC;IAED,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC3C,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,MAAM,SAAS,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAI,CAAC,SAAS,EAAE,CAAC;YACf,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,OAAO;YACL,IAAI,EAAE,SAAS,CAAC,IAAI;YACpB,SAAS,EAAE,SAAS,CAAC,SAAS;YAC9B,IAAI,EAAE,SAAS,CAAC,IAAI;SACrB,CAAC;IACJ,CAAC;IAED,MAAM,GAAG,GACP,GAAG,CAAC,eAAe,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IACzE,IAAI,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QAC7B,MAAM,SAAS,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC;QACrD,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC;QAChE,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxB,MAAM,WAAW,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;YAC9B,IAAI,CAAC,WAAW,EAAE,CAAC;gBACjB,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,OAAO;gBACL,IAAI,EAAE,WAAW,CAAC,IAAI;gBACtB,SAAS,EAAE,WAAW,CAAC,SAAS;gBAChC,IAAI,EAAE,WAAW,CAAC,IAAI;aACvB,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,mCAAmC,GAAG,CAC1C,GAA+C,EAC5B,EAAE;IACrB,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IACrC,MAAM,GAAG,GAAG,CAAC,KAAyB,EAAQ,EAAE;QAC9C,IAAI,KAAK,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC9B,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACxB,CAAC;IACH,CAAC,CAAC;IAEF,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACd,GAAG,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC;IACzB,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACxB,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAEzB,KAAK,MAAM,KAAK,IAAI,CAAC,GAAG,UAAU,CAAC,EAAE,CAAC;QACpC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC;YAAE,SAAS;QACnC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;IAC9B,CAAC;IAED,OAAO,CAAC,GAAG,UAAU,CAAC,CAAC;AACzB,CAAC,CAAC;AAEF,MAAM,yBAAyB,GAAG,CAChC,OAA4B,EAC5B,GAA+C,EACH,EAAE,CAAC,CAAC;IAChD,GAAG,GAAG;IACN,IAAI,EAAE,OAAO,CAAC,KAAK;IACnB,eAAe,EAAE,OAAO,CAAC,IAAI;CAC9B,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,iCAAiC,GAAG,CAC/C,GAA+C,EAC/C,OAAuB,EACiC,EAAE;IAC1D,MAAM,QAAQ,GAAG,OAAO,CAAC,gBAAgB,CAAC;IAC1C,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QACrC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,KAAK,MAAM,SAAS,IAAI,mCAAmC,CAAC,GAAG,CAAC,EAAE,CAAC;QACjE,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QACxC,IAAI,CAAC,OAAO;YAAE,SAAS;QAEvB,MAAM,SAAS,GAAG,yBAAyB,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;QAC1D,MAAM,SAAS,GAAG,mCAAmC,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QAC1E,IAAI,SAAS,EAAE,CAAC;YACd,OAAO,SAAS,CAAC;QACnB,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,gCAAgC,GAAG,CACvC,GAA+C,EAC/C,YAAoB,EACpB,OAAuB,EACH,EAAE;IACtB,MAAM,QAAQ,GAAG,OAAO,CAAC,gBAAgB,CAAC;IAC1C,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QACrC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,KAAK,MAAM,SAAS,IAAI,mCAAmC,CAAC,GAAG,CAAC,EAAE,CAAC;QACjE,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QACxC,IAAI,CAAC,OAAO;YAAE,SAAS;QAEvB,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,IAAI,CACjC,CAAC,eAAe,EAAE,EAAE,CAClB,eAAe,CAAC,IAAI,KAAK,UAAU;YACnC,eAAe,CAAC,KAAK,KAAK,YAAY,CACzC,CAAC;QACF,IAAI,CAAC,MAAM,EAAE,YAAY;YAAE,SAAS;QAEpC,OAAO,qBAAqB,CAC1B,MAAM,CAAC,YAAY,EACnB,MAAM,CAAC,gBAAgB,KAAK,IAAI,CACjC,CAAC;IACJ,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,sCAAsC,GAAG,CACpD,GAA+C,EAC/C,OAAuB,EACqB,EAAE;IAC9C,MAAM,QAAQ,GAAG,OAAO,CAAC,gBAAgB,CAAC;IAC1C,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QACrC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,KAAK,MAAM,SAAS,IAAI,mCAAmC,CAAC,GAAG,CAAC,EAAE,CAAC;QACjE,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QACxC,IAAI,CAAC,OAAO;YAAE,SAAS;QAEvB,MAAM,UAAU,GAAG,OAAO,CAAC,OAAO;aAC/B,MAAM,CACL,CACE,eAAe,EAGf,EAAE,CACF,eAAe,CAAC,IAAI,KAAK,UAAU;YACnC,eAAe,CAAC,YAAY,KAAK,SAAS,CAC7C;aACA,GAAG,CACF,CAAC,MAAM,EAAuB,EAAE,CAAC,CAAC;YAChC,IAAI,EAAE,mBAAmB;YACzB,IAAI,EAAE,MAAM,CAAC,KAAK;YAClB,IAAI,EAAE,qBAAqB,CACzB,MAAM,CAAC,YAAY,EACnB,MAAM,CAAC,gBAAgB,KAAK,IAAI,CACjC;YACD,UAAU,EAAE,MAAM,CAAC,gBAAgB,KAAK,IAAI;YAC5C,UAAU,EAAE,KAAK;SAClB,CAAC,CACH,CAAC;QAEJ,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1B,OAAO,UAAU,CAAC;QACpB,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,IAAY,EACZ,YAAoB,EACpB,OAAuB,EACvB,YAA+B,EACX,EAAE;IACtB,4CAA4C;IAC5C,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,MAAM,cAAc,GAAG,oBAAoB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC3D,IAAI,CAAC,cAAc,EAAE,CAAC;YACpB,0EAA0E;YAC1E,qEAAqE;YACrE,oEAAoE;YACpE,IAAI,IAAI,CAAC,iBAAiB,EAAE,MAAM,EAAE,CAAC;gBACnC,MAAM,UAAU,GAAG,qBAAqB,CACtC,IAAI,CAAC,iBAAiB,EACtB,YAAY,CACb,CAAC;gBACF,IAAI,UAAU;oBAAE,OAAO,UAAU,CAAC;YACpC,CAAC;YACD,OAAO,gCAAgC,CAAC,IAAI,EAAE,YAAY,EAAE,OAAO,CAAC,CAAC;QACvE,CAAC;QACD,MAAM,QAAQ,GAAG,cAAc,CAAC,IAAI,CAAC;QAErC,iBAAiB;QACjB,MAAM,QAAQ,GAAG,IAAI,CAAC,eAAe,IAAI,IAAI,CAAC,IAAI,CAAC;QACnD,IAAI,YAAY,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;YACpC,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,MAAM,UAAU,GAAG,CAAC,GAAG,YAAY,EAAE,QAAQ,CAAC,CAAC;QAE/C,mBAAmB;QACnB,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YAClC,MAAM,WAAW,GAAG,IAAI,CAAC,aAAa;gBACpC,CAAC,CAAC,kBAAkB,CAChB,QAAQ,CAAC,IAAI,EACb,QAAQ,CAAC,cAAc,EACvB,IAAI,CAAC,aAAa,CACnB;gBACH,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC;YAClB,OAAO,mBAAmB,CACxB,WAAW,EACX,YAAY,EACZ,OAAO,EACP,UAAU,CACX,CAAC;QACJ,CAAC;QAED,gCAAgC;QAChC,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YAClC,2BAA2B;YAC3B,MAAM,IAAI,GAAG,qBAAqB,CAAC,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;YACnE,IAAI,IAAI,EAAE,CAAC;gBACT,OAAO,IAAI,CAAC,aAAa;oBACvB,CAAC,CAAC,kBAAkB,CAChB,IAAI,EACJ,QAAQ,CAAC,cAAc,EACvB,IAAI,CAAC,aAAa,CACnB;oBACH,CAAC,CAAC,IAAI,CAAC;YACX,CAAC;YAED,6BAA6B;YAC7B,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;gBACpC,MAAM,QAAQ,GAAG,mBAAmB,CAClC,IAAI,EACJ,YAAY,EACZ,OAAO,EACP,UAAU,CACX,CAAC;gBACF,IAAI,QAAQ,EAAE,CAAC;oBACb,OAAO,IAAI,CAAC,aAAa;wBACvB,CAAC,CAAC,kBAAkB,CAChB,QAAQ,EACR,QAAQ,CAAC,cAAc,EACvB,IAAI,CAAC,aAAa,CACnB;wBACH,CAAC,CAAC,QAAQ,CAAC;gBACf,CAAC;YACH,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,4BAA4B;QAC5B,IAAI,QAAQ,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC9B,MAAM,IAAI,GAAG,0BAA0B,CAAC,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;YACxE,IAAI,IAAI,EAAE,CAAC;gBACT,OAAO,IAAI,CAAC,aAAa;oBACvB,CAAC,CAAC,kBAAkB,CAChB,IAAI,EACJ,QAAQ,CAAC,cAAc,EACvB,IAAI,CAAC,aAAa,CACnB;oBACH,CAAC,CAAC,IAAI,CAAC;YACX,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,+BAA+B;IAC/B,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAC/B,OAAO,qBAAqB,CAAC,IAAI,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;IAC3D,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,OAAqC,EACrC,YAAoB,EACA,EAAE;IACtB,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YACxE,OAAO,qBAAqB,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC;QAC/D,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,IAAY,EACZ,UAAmB,EACX,EAAE;IACV,IAAI,CAAC,UAAU;QAAE,OAAO,IAAI,CAAC;IAC7B,IACE,IAAI,CAAC,IAAI,KAAK,WAAW;QACzB,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,eAAe,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,EAC5E,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO;QACL,IAAI,EAAE,WAAW;QACjB,KAAK,EAAE,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;KAC5D,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG,CACxC,OAAiC,EACjC,YAAoB,EACA,EAAE;IACtB,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,IAAI,MAAM,CAAC,IAAI,KAAK,qBAAqB,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YAC1E,OAAO,MAAM,CAAC,IAAI,CAAC;QACrB,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC"}

package/dist/core/semantic/property-member-lookup.d.ts

@@ -0,0 +1,10 @@
+/**
+ * Property/member lookup through type hierarchies — facade re-exports.
+ *
+ * Implementations live in:
+ *   - property-lookup-resolution.ts
+ *   - property-lookup-membership.ts
+ */
+export { getPropertyType, resolveLocalTypeInfo, resolveLocalTypeInfoWithoutBindings, resolveBindingBackedReferenceType, } from "./property-lookup-resolution.js";
+export { hasDeterministicPropertyMembership, getAllPropertySignatures, isTypeOnlyStructuralTarget, } from "./property-lookup-membership.js";
+//# sourceMappingURL=property-member-lookup.d.ts.map

package/dist/core/semantic/property-member-lookup.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"property-member-lookup.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/property-member-lookup.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EACL,eAAe,EACf,oBAAoB,EACpB,mCAAmC,EACnC,iCAAiC,GAClC,MAAM,iCAAiC,CAAC;AAEzC,OAAO,EACL,kCAAkC,EAClC,wBAAwB,EACxB,0BAA0B,GAC3B,MAAM,iCAAiC,CAAC"}

package/dist/core/semantic/property-member-lookup.js

@@ -0,0 +1,10 @@
+/**
+ * Property/member lookup through type hierarchies — facade re-exports.
+ *
+ * Implementations live in:
+ *   - property-lookup-resolution.ts
+ *   - property-lookup-membership.ts
+ */
+export { getPropertyType, resolveLocalTypeInfo, resolveLocalTypeInfoWithoutBindings, resolveBindingBackedReferenceType, } from "./property-lookup-resolution.js";
+export { hasDeterministicPropertyMembership, getAllPropertySignatures, isTypeOnlyStructuralTarget, } from "./property-lookup-membership.js";
+//# sourceMappingURL=property-member-lookup.js.map

package/dist/core/semantic/property-member-lookup.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"property-member-lookup.js","sourceRoot":"","sources":["../../../src/core/semantic/property-member-lookup.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EACL,eAAe,EACf,oBAAoB,EACpB,mCAAmC,EACnC,iCAAiC,GAClC,MAAM,iCAAiC,CAAC;AAEzC,OAAO,EACL,kCAAkC,EAClC,wBAAwB,EACxB,0BAA0B,GAC3B,MAAM,iCAAiC,CAAC"}

package/dist/core/semantic/reference-type-identity.d.ts

@@ -0,0 +1,10 @@
+import type { IrType } from "@tsonic/frontend";
+import type { EmitterContext } from "../../types.js";
+type ReferenceIrType = Extract<IrType, {
+    kind: "referenceType";
+}>;
+export declare const getReferenceNominalIdentityKey: (type: ReferenceIrType, context: EmitterContext) => string | undefined;
+export declare const referenceTypesHaveNominalIdentity: (left: ReferenceIrType, right: ReferenceIrType, context: EmitterContext) => boolean;
+export declare const referenceTypesShareNominalIdentity: (left: ReferenceIrType, right: ReferenceIrType, context: EmitterContext) => boolean;
+export {};
+//# sourceMappingURL=reference-type-identity.d.ts.map

package/dist/core/semantic/reference-type-identity.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"reference-type-identity.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/reference-type-identity.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAIrD,KAAK,eAAe,GAAG,OAAO,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC,CAAC;AAElE,eAAO,MAAM,8BAA8B,GACzC,MAAM,eAAe,EACrB,SAAS,cAAc,KACtB,MAAM,GAAG,SAoBX,CAAC;AAEF,eAAO,MAAM,iCAAiC,GAC5C,MAAM,eAAe,EACrB,OAAO,eAAe,EACtB,SAAS,cAAc,KACtB,OAE2D,CAAC;AAE/D,eAAO,MAAM,kCAAkC,GAC7C,MAAM,eAAe,EACrB,OAAO,eAAe,EACtB,SAAS,cAAc,KACtB,OAQF,CAAC"}

package/dist/core/semantic/reference-type-identity.js

@@ -0,0 +1,28 @@
+import { getReferenceClrIdentityKey } from "./clr-type-identity.js";
+import { resolveLocalTypeInfo } from "./property-member-lookup.js";
+export const getReferenceNominalIdentityKey = (type, context) => {
+    if (type.typeId?.stableId) {
+        return `id:${type.typeId.stableId}`;
+    }
+    const clrIdentity = getReferenceClrIdentityKey(type);
+    if (clrIdentity) {
+        return `clr:${clrIdentity}`;
+    }
+    const arity = type.typeArguments?.length ?? 0;
+    const localInfo = resolveLocalTypeInfo(type, context);
+    if (!localInfo) {
+        return undefined;
+    }
+    const canonicalTarget = context.options.canonicalLocalTypeTargets?.get(`${localInfo.namespace}::${localInfo.name}`);
+    return `local:${canonicalTarget ?? `${localInfo.namespace}.${localInfo.name}`}/${arity}`;
+};
+export const referenceTypesHaveNominalIdentity = (left, right, context) => getReferenceNominalIdentityKey(left, context) !== undefined ||
+    getReferenceNominalIdentityKey(right, context) !== undefined;
+export const referenceTypesShareNominalIdentity = (left, right, context) => {
+    const leftIdentity = getReferenceNominalIdentityKey(left, context);
+    const rightIdentity = getReferenceNominalIdentityKey(right, context);
+    return (leftIdentity !== undefined &&
+        rightIdentity !== undefined &&
+        leftIdentity === rightIdentity);
+};
+//# sourceMappingURL=reference-type-identity.js.map

package/dist/core/semantic/reference-type-identity.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"reference-type-identity.js","sourceRoot":"","sources":["../../../src/core/semantic/reference-type-identity.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,0BAA0B,EAAE,MAAM,wBAAwB,CAAC;AACpE,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAC;AAInE,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAC5C,IAAqB,EACrB,OAAuB,EACH,EAAE;IACtB,IAAI,IAAI,CAAC,MAAM,EAAE,QAAQ,EAAE,CAAC;QAC1B,OAAO,MAAM,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;IACtC,CAAC;IAED,MAAM,WAAW,GAAG,0BAA0B,CAAC,IAAI,CAAC,CAAC;IACrD,IAAI,WAAW,EAAE,CAAC;QAChB,OAAO,OAAO,WAAW,EAAE,CAAC;IAC9B,CAAC;IAED,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,EAAE,MAAM,IAAI,CAAC,CAAC;IAC9C,MAAM,SAAS,GAAG,oBAAoB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACtD,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,eAAe,GAAG,OAAO,CAAC,OAAO,CAAC,yBAAyB,EAAE,GAAG,CACpE,GAAG,SAAS,CAAC,SAAS,KAAK,SAAS,CAAC,IAAI,EAAE,CAC5C,CAAC;IACF,OAAO,SAAS,eAAe,IAAI,GAAG,SAAS,CAAC,SAAS,IAAI,SAAS,CAAC,IAAI,EAAE,IAAI,KAAK,EAAE,CAAC;AAC3F,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,iCAAiC,GAAG,CAC/C,IAAqB,EACrB,KAAsB,EACtB,OAAuB,EACd,EAAE,CACX,8BAA8B,CAAC,IAAI,EAAE,OAAO,CAAC,KAAK,SAAS;IAC3D,8BAA8B,CAAC,KAAK,EAAE,OAAO,CAAC,KAAK,SAAS,CAAC;AAE/D,MAAM,CAAC,MAAM,kCAAkC,GAAG,CAChD,IAAqB,EACrB,KAAsB,EACtB,OAAuB,EACd,EAAE;IACX,MAAM,YAAY,GAAG,8BAA8B,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACnE,MAAM,aAAa,GAAG,8BAA8B,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IACrE,OAAO,CACL,YAAY,KAAK,SAAS;QAC1B,aAAa,KAAK,SAAS;QAC3B,YAAY,KAAK,aAAa,CAC/B,CAAC;AACJ,CAAC,CAAC"}

package/dist/core/semantic/runtime-call-arities.d.ts

@@ -0,0 +1,4 @@
+import type { IrParameter } from "@tsonic/frontend";
+export declare const computeDeclarationRuntimeOmittableCallArities: (parameters: readonly IrParameter[]) => readonly number[];
+export declare const computeFunctionValueRuntimeOmittableCallArities: (parameters: readonly IrParameter[]) => readonly number[];
+//# sourceMappingURL=runtime-call-arities.d.ts.map

package/dist/core/semantic/runtime-call-arities.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime-call-arities.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/runtime-call-arities.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAgB,WAAW,EAAU,MAAM,kBAAkB,CAAC;AA+G1E,eAAO,MAAM,6CAA6C,GACxD,YAAY,SAAS,WAAW,EAAE,KACjC,SAAS,MAAM,EAOf,CAAC;AAEJ,eAAO,MAAM,+CAA+C,GAC1D,YAAY,SAAS,WAAW,EAAE,KACjC,SAAS,MAAM,EAsBd,CAAC"}