@tsonic/emitter 0.0.74 → 0.0.75

package/dist/types/reference-lookup.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"reference-lookup.js","sourceRoot":"","sources":["../../src/types/reference-lookup.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAC3C,OAAO,EAAE,+BAA+B,EAAE,MAAM,qCAAqC,CAAC;AAEtF,OAAO,EACL,cAAc,EACd,iBAAiB,GAClB,MAAM,wCAAwC,CAAC;AAEhD,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,GAAW,EAAU,EAAE;IACjD,MAAM,OAAO,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;IAC3B,OAAO,OAAO,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,OAAO,EAAE,CAAC;AACzE,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC1C,QAAgB,EACG,EAAE;IACrB,MAAM,UAAU,GAAG,IAAI,GAAG,CAAS,CAAC,QAAQ,CAAC,CAAC,CAAC;IAE/C,IAAI,QAAQ,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;QACnC,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;QACpD,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACpB,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACrB,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;YAC7C,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC1B,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;YAC7B,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;AAChC,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,QAAgB,EAChB,OAAuB,EACI,EAAE;IAC7B,MAAM,UAAU,GAAG,4BAA4B,CAAC,QAAQ,CAAC,CAAC;IAE1D,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,MAAM,OAAO,GAAG,OAAO,CAAC,cAAc,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC;QACvD,IAAI,CAAC,OAAO;YAAE,SAAS;QACvB,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC5B,OAAO,OAAO,CAAC,OAAO,CAAC;QACzB,CAAC;QACD,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;YAChD,OAAO,OAAO,CAAC,OAAO,CAAC;QACzB,CAAC;QACD,IAAI,OAAO,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,OAAO,CAAC,YAAY,EAAE,CAAC;YAC1D,OAAO,cAAc,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QACzC,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAC7C,QAAgB,EAChB,OAAuB,EACH,EAAE;IACtB,MAAM,SAAS,GAAG,OAAO,CAAC,eAAe,IAAI,OAAO,CAAC,OAAO,CAAC,aAAa,CAAC;IAC3E,OAAO,OAAO,CAAC,OAAO,CAAC,yBAAyB,EAAE,GAAG,CACnD,GAAG,SAAS,KAAK,QAAQ,EAAE,CAC5B,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,0BAA0B,GAAG,CAAC,GAAkB,EAAiB,EAAE,CACvE,GAAG,CAAC,IAAI,KAAK,gBAAgB,IAAI,GAAG,CAAC,OAAO,KAAK,MAAM;IACrD,CAAC,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,QAAQ,EAAE;IAC/C,CAAC,CAAC,GAAG,CAAC;AAEV,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,aAAgC,EAChC,OAAuB,EACY,EAAE;IACrC,MAAM,WAAW,GAAoB,EAAE,CAAC;IACxC,IAAI,cAAc,GAAG,OAAO,CAAC;IAC7B,KAAK,MAAM,OAAO,IAAI,aAAa,EAAE,CAAC;QACpC,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,GAAG,WAAW,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;QACpE,WAAW,CAAC,IAAI,CAAC,0BAA0B,CAAC,QAAQ,CAAC,CAAC,CAAC;QACvD,cAAc,GAAG,UAAU,CAAC;IAC9B,CAAC;IACD,OAAO,CAAC,WAAW,EAAE,cAAc,CAAC,CAAC;AACvC,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,IAAY,EACZ,WAAwC,EACzB,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;AAEtD,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,SAAiB,EACjB,UAAkB,EAClB,aAA4C,EAC5C,OAAuB,EACU,EAAE;IACnC,MAAM,SAAS,GAAG,WAAW,SAAS,IAAI,UAAU,EAAE,CAAC;IACvD,IAAI,aAAa,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9C,MAAM,CAAC,WAAW,EAAE,UAAU,CAAC,GAAG,eAAe,CAAC,aAAa,EAAE,OAAO,CAAC,CAAC;QAC1E,OAAO,CAAC,sBAAsB,CAAC,SAAS,EAAE,WAAW,CAAC,EAAE,UAAU,CAAC,CAAC;IACtE,CAAC;IACD,OAAO,CAAC,cAAc,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC,CAAC;AAC9C,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,QAAgB,EAChB,OAAuB,EACP,EAAE;IAClB,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,oBAAoB,IAAI,EAAE,CAAC,CAAC;IAC9D,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACxB,OAAO,EAAE,GAAG,OAAO,EAAE,oBAAoB,EAAE,SAAS,EAAE,CAAC;AACzD,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,OAAuB,EACvB,aAA6B,EACb,EAAE;IAClB,IAAI,OAAO,CAAC,oBAAoB,KAAK,aAAa,CAAC,oBAAoB,EAAE,CAAC;QACxE,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,OAAO;QACL,GAAG,OAAO;QACV,oBAAoB,EAAE,aAAa,CAAC,oBAAoB;KACzD,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,eAAe,GAAkB;IACrC,IAAI,EAAE,gBAAgB;IACtB,OAAO,EAAE,QAAQ;CAClB,CAAC;AAEF,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,IAAY,EACZ,SAAiB,EACT,EAAE,CAAC,GAAG,SAAS,KAAK,IAAI,EAAE,CAAC;AAErC,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAC5C,IAAY,EACZ,OAAuB,EACU,EAAE;IACnC,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,OAAO;YACL;gBACE,IAAI,EAAE,WAAW;gBACjB,WAAW,EAAE,eAAe;gBAC5B,IAAI,EAAE,CAAC;aACR;YACD,OAAO;SACR,CAAC;IACJ,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,MAAM,KAAK,GAAG,+BAA+B,CAAC,IAAI,CAAC,CAAC;QACpD,MAAM,UAAU,GAAG,KAAK,EAAE,iBAAiB,IAAI,IAAI,CAAC,KAAK,CAAC;QAC1D,MAAM,UAAU,GAAG,KAAK,EAAE,iBAAiB,IAAI,KAAK,CAAC;QAErD,IACE,UAAU,CAAC,MAAM,KAAK,CAAC;YACvB,UAAU,CAAC,CAAC,CAAC;YACb,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,EAClC,CAAC;YACD,MAAM,QAAQ,GAAkB;gBAC9B,IAAI,EAAE,WAAW;gBACjB,WAAW,EAAE,eAAe;gBAC5B,IAAI,EAAE,CAAC;aACR,CAAC;YACF,OAAO;gBACL,UAAU;oBACR,CAAC,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,cAAc,EAAE,QAAQ,EAAE;oBACpD,CAAC,CAAC,QAAQ;gBACZ,OAAO;aACR,CAAC;QACJ,CAAC;QAED,OAAO;YACL,UAAU;gBACR,CAAC,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,cAAc,EAAE,eAAe,EAAE;gBAC3D,CAAC,CAAC,eAAe;YACnB,OAAO;SACR,CAAC;IACJ,CAAC;IAED,OAAO,CAAC,eAAe,EAAE,OAAO,CAAC,CAAC;AACpC,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAC5C,OAAsB,EACtB,aAAuC,EACxB,EAAE;IACjB,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,gBAAgB,CAAC;QACtB,KAAK,yBAAyB;YAC5B,OAAO,iBAAiB,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC;QACnD;YACE,OAAO,OAAO,CAAC;IACnB,CAAC;AACH,CAAC,CAAC"}

package/dist/types/reference-structural-signatures.d.ts

@@ -0,0 +1,10 @@
+import { IrType } from "@tsonic/frontend";
+import { EmitterContext } from "../types.js";
+import type { CSharpTypeAst } from "../core/format/backend-ast/types.js";
+export declare const resolveBindingBackedStructuralTypeAst: (type: Extract<IrType, {
+    kind: "referenceType";
+}>, context: EmitterContext) => CSharpTypeAst | undefined;
+export declare const resolveCanonicalStructuralReferenceTypeAst: (type: Extract<IrType, {
+    kind: "referenceType";
+}>, context: EmitterContext) => CSharpTypeAst | undefined;
+//# sourceMappingURL=reference-structural-signatures.d.ts.map

package/dist/types/reference-structural-signatures.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"reference-structural-signatures.d.ts","sourceRoot":"","sources":["../../src/types/reference-structural-signatures.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,MAAM,EAEP,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAG7C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qCAAqC,CAAC;AAuczE,eAAO,MAAM,qCAAqC,GAChD,MAAM,OAAO,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC,EAChD,SAAS,cAAc,KACtB,aAAa,GAAG,SAiClB,CAAC;AAEF,eAAO,MAAM,0CAA0C,GACrD,MAAM,OAAO,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC,EAChD,SAAS,cAAc,KACtB,aAAa,GAAG,SAQlB,CAAC"}

package/dist/types/reference-structural-signatures.js

@@ -0,0 +1,310 @@
+import { resolveLocalTypeInfo } from "../core/semantic/type-resolution.js";
+import { clrTypeNameToTypeAst } from "../core/format/backend-ast/utils.js";
+import { tryContextualTypeIdentityKey } from "../core/semantic/deterministic-type-keys.js";
+const toGlobalClr = (clr) => {
+    const trimmed = clr.trim();
+    return trimmed.startsWith("global::") ? trimmed : `global::${trimmed}`;
+};
+const stableStructuralIrTypeKey = (type, context) => {
+    if (type.kind === "literalType") {
+        if (typeof type.value === "string") {
+            return tryContextualTypeIdentityKey({ kind: "primitiveType", name: "string" }, context);
+        }
+        if (typeof type.value === "number") {
+            return tryContextualTypeIdentityKey({ kind: "primitiveType", name: "number" }, context);
+        }
+        if (typeof type.value === "boolean") {
+            return tryContextualTypeIdentityKey({ kind: "primitiveType", name: "boolean" }, context);
+        }
+    }
+    if (type.kind === "unionType") {
+        return tryContextualTypeIdentityKey({
+            ...type,
+            types: type.types.map((member) => stableStructuralComparableType(member)),
+        }, context);
+    }
+    return tryContextualTypeIdentityKey(type, context);
+};
+const stableStructuralComparableType = (type) => {
+    if (type.kind === "literalType") {
+        if (typeof type.value === "string") {
+            return { kind: "primitiveType", name: "string" };
+        }
+        if (typeof type.value === "number") {
+            return { kind: "primitiveType", name: "number" };
+        }
+        if (typeof type.value === "boolean") {
+            return { kind: "primitiveType", name: "boolean" };
+        }
+    }
+    if (type.kind === "unionType") {
+        return {
+            ...type,
+            types: type.types.map((member) => stableStructuralComparableType(member)),
+        };
+    }
+    return type;
+};
+const getStructuralMemberSignatureKey = (member, context) => {
+    if (member.kind === "propertySignature") {
+        const typeKey = stableStructuralIrTypeKey(member.type, context);
+        return typeKey
+            ? `prop:${member.name}:${member.isOptional ? "opt" : "req"}:${member.isReadonly ? "ro" : "rw"}:${typeKey}`
+            : undefined;
+    }
+    if (member.kind === "methodSignature") {
+        const parameters = [];
+        for (const parameter of member.parameters) {
+            const parameterKey = stableStructuralIrTypeKey(parameter.type ?? { kind: "unknownType" }, context);
+            if (!parameterKey) {
+                return undefined;
+            }
+            parameters.push(parameterKey);
+        }
+        const returnTypeKey = stableStructuralIrTypeKey(member.returnType ?? { kind: "unknownType" }, context);
+        return returnTypeKey
+            ? `method:${member.name}:${parameters.join(",")}:${member.parameters.length}:${returnTypeKey}`
+            : undefined;
+    }
+    if (member.kind === "property") {
+        const typeKey = stableStructuralIrTypeKey(member.semanticType, context);
+        return typeKey
+            ? `prop:${member.alias}:${member.semanticOptional === true ? "opt" : "req"}:rw:${typeKey}`
+            : undefined;
+    }
+    const parameters = [];
+    for (const parameter of member.semanticSignature.parameters) {
+        const parameterKey = stableStructuralIrTypeKey(parameter.type ?? { kind: "unknownType" }, context);
+        if (!parameterKey) {
+            return undefined;
+        }
+        parameters.push(parameterKey);
+    }
+    const returnTypeKey = stableStructuralIrTypeKey(member.semanticSignature.returnType ?? { kind: "unknownType" }, context);
+    return returnTypeKey
+        ? `method:${member.alias}:${parameters.join(",")}:${member.semanticSignature.parameters.length}:${returnTypeKey}`
+        : undefined;
+};
+const buildLocalTypeStructuralSignature = (localInfo, context) => {
+    if (!localInfo ||
+        (localInfo.kind !== "class" && localInfo.kind !== "interface")) {
+        return undefined;
+    }
+    const rawMembers = localInfo.members
+        .flatMap((member) => {
+        if (member.kind === "propertyDeclaration" && member.type) {
+            return {
+                kind: "property",
+                alias: member.name,
+                semanticType: member.type,
+                semanticOptional: false,
+            };
+        }
+        if (member.kind === "propertySignature" && member.type) {
+            return {
+                kind: "property",
+                alias: member.name,
+                semanticType: member.type,
+                semanticOptional: member.isOptional,
+            };
+        }
+        if (member.kind === "methodDeclaration") {
+            return {
+                kind: "method",
+                alias: member.name,
+                parameters: member.parameters.map((parameter) => parameter.type ?? { kind: "unknownType" }),
+                returnType: member.returnType ?? { kind: "unknownType" },
+            };
+        }
+        if (member.kind === "methodSignature") {
+            return {
+                kind: "method",
+                alias: member.name,
+                parameters: member.parameters.map((parameter) => parameter.type ?? { kind: "unknownType" }),
+                returnType: member.returnType ?? { kind: "unknownType" },
+            };
+        }
+        return [];
+    });
+    const members = [];
+    for (const member of rawMembers) {
+        if (member.kind === "property") {
+            const typeKey = stableStructuralIrTypeKey(member.semanticType, context);
+            if (!typeKey) {
+                return undefined;
+            }
+            members.push(`prop:${member.alias}:${member.semanticOptional === true ? "opt" : "req"}:rw:${typeKey}`);
+            continue;
+        }
+        const parameterKeys = [];
+        for (const parameter of member.parameters) {
+            const parameterKey = stableStructuralIrTypeKey(parameter, context);
+            if (!parameterKey) {
+                return undefined;
+            }
+            parameterKeys.push(parameterKey);
+        }
+        const returnTypeKey = stableStructuralIrTypeKey(member.returnType, context);
+        if (!returnTypeKey) {
+            return undefined;
+        }
+        members.push(`method:${member.alias}:${parameterKeys.join(",")}:${member.parameters.length}:${returnTypeKey}`);
+    }
+    members.sort();
+    return members.length === 0 ? undefined : members.join("|");
+};
+const buildReferenceStructuralSignature = (type, context) => {
+    const rawMembers = (type.structuralMembers ?? [])
+        .filter((member) => member.kind === "propertySignature" || member.kind === "methodSignature");
+    const members = [];
+    for (const member of rawMembers) {
+        const memberKey = getStructuralMemberSignatureKey(member, context);
+        if (!memberKey) {
+            return undefined;
+        }
+        members.push(memberKey);
+    }
+    members.sort();
+    return members.length === 0 ? undefined : members.join("|");
+};
+const buildBindingStructuralSignature = (binding, context) => {
+    const rawMembers = binding.members
+        .flatMap((member) => {
+        if (member.kind === "property" && member.semanticType) {
+            return {
+                kind: "property",
+                alias: member.alias,
+                semanticType: member.semanticType,
+                semanticOptional: member.semanticOptional,
+            };
+        }
+        if (member.kind === "method" && member.semanticSignature) {
+            return {
+                kind: "method",
+                alias: member.alias,
+                semanticSignature: member.semanticSignature,
+            };
+        }
+        return [];
+    });
+    const members = [];
+    for (const member of rawMembers) {
+        const memberKey = getStructuralMemberSignatureKey(member, context);
+        if (!memberKey) {
+            return undefined;
+        }
+        members.push(memberKey);
+    }
+    members.sort();
+    return members.length === 0 ? undefined : members.join("|");
+};
+const isCompilerGeneratedStructuralName = (name) => !!name && (name.startsWith("__Anon_") || name.startsWith("__Rest_"));
+const collectCanonicalStructuralMatches = (type, context) => {
+    if (!isCompilerGeneratedStructuralName(type.name)) {
+        return [];
+    }
+    const signature = buildReferenceStructuralSignature(type, context) ??
+        buildLocalTypeStructuralSignature(resolveLocalTypeInfo(type, context)?.info, context);
+    if (!signature) {
+        return [];
+    }
+    const currentNamespace = context.moduleNamespace ?? context.options.rootNamespace;
+    const matches = new Map();
+    const addMatch = (name, resolvedClrType, isExternal) => {
+        matches.set(resolvedClrType, {
+            key: resolvedClrType,
+            name,
+            resolvedClrType,
+            isExternal,
+        });
+    };
+    const collectLocalMatches = (localTypes, namespace) => {
+        for (const [typeName, info] of localTypes.entries()) {
+            if (!isCompilerGeneratedStructuralName(typeName)) {
+                continue;
+            }
+            const localSignature = buildLocalTypeStructuralSignature(info, context);
+            if (!localSignature || localSignature !== signature) {
+                continue;
+            }
+            addMatch(typeName, `${namespace}.${typeName}`, namespace !== currentNamespace);
+        }
+    };
+    if (context.localTypes) {
+        collectLocalMatches(context.localTypes, currentNamespace);
+    }
+    if (context.options.moduleMap) {
+        for (const module of context.options.moduleMap.values()) {
+            if (!module.localTypes) {
+                continue;
+            }
+            collectLocalMatches(module.localTypes, module.namespace);
+        }
+    }
+    for (const binding of context.bindingsRegistry?.values() ?? []) {
+        const bindingSignature = buildBindingStructuralSignature(binding, context);
+        if (!bindingSignature || bindingSignature !== signature) {
+            continue;
+        }
+        const aliasLeaf = binding.alias.split(".").pop() ?? binding.alias;
+        const nameLeaf = binding.name.split(".").pop() ?? binding.name;
+        const preferredName = isCompilerGeneratedStructuralName(aliasLeaf)
+            ? aliasLeaf
+            : nameLeaf;
+        if (!isCompilerGeneratedStructuralName(preferredName)) {
+            continue;
+        }
+        addMatch(preferredName, binding.name, !binding.name.startsWith(`${currentNamespace}.`));
+    }
+    return [...matches.values()];
+};
+const pickCanonicalStructuralMatch = (type, matches) => {
+    if (matches.length === 0) {
+        return undefined;
+    }
+    const exactNameMatches = matches.filter((match) => match.name === type.name);
+    if (exactNameMatches.length === 1) {
+        return exactNameMatches[0];
+    }
+    if (matches.length === 1) {
+        return matches[0];
+    }
+    const externalMatches = matches.filter((match) => match.isExternal);
+    if (externalMatches.length === 1) {
+        return externalMatches[0];
+    }
+    return undefined;
+};
+export const resolveBindingBackedStructuralTypeAst = (type, context) => {
+    if (!type.structuralMembers || type.structuralMembers.length === 0) {
+        return undefined;
+    }
+    if (!type.name.startsWith("__Anon_")) {
+        return undefined;
+    }
+    const signature = buildReferenceStructuralSignature(type, context) ??
+        buildLocalTypeStructuralSignature(resolveLocalTypeInfo(type, context)?.info, context);
+    if (!signature) {
+        return undefined;
+    }
+    const matches = new Map();
+    for (const binding of context.bindingsRegistry?.values() ?? []) {
+        const bindingSignature = buildBindingStructuralSignature(binding, context);
+        if (!bindingSignature || bindingSignature !== signature) {
+            continue;
+        }
+        matches.set(binding.name, binding);
+    }
+    if (matches.size !== 1) {
+        return undefined;
+    }
+    const match = [...matches.values()][0];
+    return match ? clrTypeNameToTypeAst(toGlobalClr(match.name)) : undefined;
+};
+export const resolveCanonicalStructuralReferenceTypeAst = (type, context) => {
+    const match = pickCanonicalStructuralMatch(type, collectCanonicalStructuralMatches(type, context));
+    return match
+        ? clrTypeNameToTypeAst(toGlobalClr(match.resolvedClrType))
+        : undefined;
+};
+//# sourceMappingURL=reference-structural-signatures.js.map

package/dist/types/reference-structural-signatures.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"reference-structural-signatures.js","sourceRoot":"","sources":["../../src/types/reference-structural-signatures.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,oBAAoB,EAAE,MAAM,qCAAqC,CAAC;AAE3E,OAAO,EAAE,oBAAoB,EAAE,MAAM,qCAAqC,CAAC;AAC3E,OAAO,EAAE,4BAA4B,EAAE,MAAM,6CAA6C,CAAC;AAkD3F,MAAM,WAAW,GAAG,CAAC,GAAW,EAAU,EAAE;IAC1C,MAAM,OAAO,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;IAC3B,OAAO,OAAO,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,OAAO,EAAE,CAAC;AACzE,CAAC,CAAC;AAEF,MAAM,yBAAyB,GAAG,CAChC,IAAY,EACZ,OAAuB,EACH,EAAE;IACtB,IAAI,IAAI,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QAChC,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;YACnC,OAAO,4BAA4B,CACjC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,EACzC,OAAO,CACR,CAAC;QACJ,CAAC;QACD,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;YACnC,OAAO,4BAA4B,CACjC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,EACzC,OAAO,CACR,CAAC;QACJ,CAAC;QACD,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YACpC,OAAO,4BAA4B,CACjC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE,EAC1C,OAAO,CACR,CAAC;QACJ,CAAC;IACH,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,OAAO,4BAA4B,CACjC;YACE,GAAG,IAAI;YACP,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAC/B,8BAA8B,CAAC,MAAM,CAAC,CACvC;SACF,EACD,OAAO,CACR,CAAC;IACJ,CAAC;IAED,OAAO,4BAA4B,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;AACrD,CAAC,CAAC;AAEF,MAAM,8BAA8B,GAAG,CAAC,IAAY,EAAU,EAAE;IAC9D,IAAI,IAAI,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QAChC,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;YACnC,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QACnD,CAAC;QACD,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;YACnC,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QACnD,CAAC;QACD,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YACpC,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QACpD,CAAC;IACH,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,OAAO;YACL,GAAG,IAAI;YACP,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,8BAA8B,CAAC,MAAM,CAAC,CAAC;SAC1E,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,MAAM,+BAA+B,GAAG,CACtC,MAAiC,EACjC,OAAuB,EACH,EAAE;IACtB,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;QACxC,MAAM,OAAO,GAAG,yBAAyB,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAChE,OAAO,OAAO;YACZ,CAAC,CAAC,QAAQ,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,IACtD,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAC7B,IAAI,OAAO,EAAE;YACf,CAAC,CAAC,SAAS,CAAC;IAChB,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;QACtC,MAAM,UAAU,GAAa,EAAE,CAAC;QAChC,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;YAC1C,MAAM,YAAY,GAAG,yBAAyB,CAC5C,SAAS,CAAC,IAAI,IAAI,EAAE,IAAI,EAAE,aAAa,EAAE,EACzC,OAAO,CACR,CAAC;YACF,IAAI,CAAC,YAAY,EAAE,CAAC;gBAClB,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,UAAU,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QAChC,CAAC;QACD,MAAM,aAAa,GAAG,yBAAyB,CAC7C,MAAM,CAAC,UAAU,IAAI,EAAE,IAAI,EAAE,aAAa,EAAE,EAC5C,OAAO,CACR,CAAC;QACF,OAAO,aAAa;YAClB,CAAC,CAAC,UAAU,MAAM,CAAC,IAAI,IAAI,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,IAC3C,MAAM,CAAC,UAAU,CAAC,MACpB,IAAI,aAAa,EAAE;YACrB,CAAC,CAAC,SAAS,CAAC;IAChB,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC/B,MAAM,OAAO,GAAG,yBAAyB,CAAC,MAAM,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;QACxE,OAAO,OAAO;YACZ,CAAC,CAAC,QAAQ,MAAM,CAAC,KAAK,IAClB,MAAM,CAAC,gBAAgB,KAAK,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAC7C,OAAO,OAAO,EAAE;YAClB,CAAC,CAAC,SAAS,CAAC;IAChB,CAAC;IACD,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,iBAAiB,CAAC,UAAU,EAAE,CAAC;QAC5D,MAAM,YAAY,GAAG,yBAAyB,CAC5C,SAAS,CAAC,IAAI,IAAI,EAAE,IAAI,EAAE,aAAa,EAAE,EACzC,OAAO,CACR,CAAC;QACF,IAAI,CAAC,YAAY,EAAE,CAAC;YAClB,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,UAAU,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IAChC,CAAC;IACD,MAAM,aAAa,GAAG,yBAAyB,CAC7C,MAAM,CAAC,iBAAiB,CAAC,UAAU,IAAI,EAAE,IAAI,EAAE,aAAa,EAAE,EAC9D,OAAO,CACR,CAAC;IACF,OAAO,aAAa;QAClB,CAAC,CAAC,UAAU,MAAM,CAAC,KAAK,IAAI,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,IAC5C,MAAM,CAAC,iBAAiB,CAAC,UAAU,CAAC,MACtC,IAAI,aAAa,EAAE;QACrB,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC,CAAC;AAEF,MAAM,iCAAiC,GAAG,CACxC,SAAoC,EACpC,OAAuB,EACH,EAAE;IACtB,IACE,CAAC,SAAS;QACV,CAAC,SAAS,CAAC,IAAI,KAAK,OAAO,IAAI,SAAS,CAAC,IAAI,KAAK,WAAW,CAAC,EAC9D,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,UAAU,GAAG,SAAS,CAAC,OAAO;SACjC,OAAO,CACN,CAAC,MAAM,EAAE,EAAE;QACT,IAAI,MAAM,CAAC,IAAI,KAAK,qBAAqB,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;YACzD,OAAO;gBACL,IAAI,EAAE,UAAU;gBAChB,KAAK,EAAE,MAAM,CAAC,IAAI;gBAClB,YAAY,EAAE,MAAM,CAAC,IAAI;gBACzB,gBAAgB,EAAE,KAAK;aACxB,CAAC;QACJ,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;YACvD,OAAO;gBACL,IAAI,EAAE,UAAU;gBAChB,KAAK,EAAE,MAAM,CAAC,IAAI;gBAClB,YAAY,EAAE,MAAM,CAAC,IAAI;gBACzB,gBAAgB,EAAE,MAAM,CAAC,UAAU;aACpC,CAAC;QACJ,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;YACxC,OAAO;gBACL,IAAI,EAAE,QAAQ;gBACd,KAAK,EAAE,MAAM,CAAC,IAAI;gBAClB,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC,GAAG,CAC/B,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,IAAI,EAAE,IAAI,EAAE,aAAa,EAAE,CACzD;gBACD,UAAU,EAAE,MAAM,CAAC,UAAU,IAAI,EAAE,IAAI,EAAE,aAAa,EAAE;aACzD,CAAC;QACJ,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;YACtC,OAAO;gBACL,IAAI,EAAE,QAAQ;gBACd,KAAK,EAAE,MAAM,CAAC,IAAI;gBAClB,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC,GAAG,CAC/B,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,IAAI,EAAE,IAAI,EAAE,aAAa,EAAE,CACzD;gBACD,UAAU,EAAE,MAAM,CAAC,UAAU,IAAI,EAAE,IAAI,EAAE,aAAa,EAAE;aACzD,CAAC;QACJ,CAAC;QACD,OAAO,EAAE,CAAC;IACZ,CAAC,CACF,CAAC;IAEJ,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,KAAK,MAAM,MAAM,IAAI,UAAU,EAAE,CAAC;QAChC,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC/B,MAAM,OAAO,GAAG,yBAAyB,CAAC,MAAM,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;YACxE,IAAI,CAAC,OAAO,EAAE,CAAC;gBACb,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,OAAO,CAAC,IAAI,CACV,QAAQ,MAAM,CAAC,KAAK,IAClB,MAAM,CAAC,gBAAgB,KAAK,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAC7C,OAAO,OAAO,EAAE,CACjB,CAAC;YACF,SAAS;QACX,CAAC;QAED,MAAM,aAAa,GAAa,EAAE,CAAC;QACnC,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;YAC1C,MAAM,YAAY,GAAG,yBAAyB,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;YACnE,IAAI,CAAC,YAAY,EAAE,CAAC;gBAClB,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,aAAa,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QACnC,CAAC;QACD,MAAM,aAAa,GAAG,yBAAyB,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QAC5E,IAAI,CAAC,aAAa,EAAE,CAAC;YACnB,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,OAAO,CAAC,IAAI,CACV,UAAU,MAAM,CAAC,KAAK,IAAI,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC,IAC/C,MAAM,CAAC,UAAU,CAAC,MACpB,IAAI,aAAa,EAAE,CACpB,CAAC;IACJ,CAAC;IACD,OAAO,CAAC,IAAI,EAAE,CAAC;IAEf,OAAO,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAC9D,CAAC,CAAC;AAEF,MAAM,iCAAiC,GAAG,CACxC,IAAgD,EAChD,OAAuB,EACH,EAAE;IACtB,MAAM,UAAU,GAAG,CAAC,IAAI,CAAC,iBAAiB,IAAI,EAAE,CAAC;SAC9C,MAAM,CACL,CAAC,MAAM,EAAuC,EAAE,CAC9C,MAAM,CAAC,IAAI,KAAK,mBAAmB,IAAI,MAAM,CAAC,IAAI,KAAK,iBAAiB,CAC3E,CAAC;IAEJ,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,KAAK,MAAM,MAAM,IAAI,UAAU,EAAE,CAAC;QAChC,MAAM,SAAS,GAAG,+BAA+B,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QACnE,IAAI,CAAC,SAAS,EAAE,CAAC;YACf,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC1B,CAAC;IACD,OAAO,CAAC,IAAI,EAAE,CAAC;IAEf,OAAO,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAC9D,CAAC,CAAC;AAEF,MAAM,+BAA+B,GAAG,CACtC,OAA4B,EAC5B,OAAuB,EACH,EAAE;IACtB,MAAM,UAAU,GAAG,OAAO,CAAC,OAAO;SAC/B,OAAO,CAA4B,CAAC,MAAM,EAAE,EAAE;QAC7C,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,IAAI,MAAM,CAAC,YAAY,EAAE,CAAC;YACtD,OAAO;gBACL,IAAI,EAAE,UAAU;gBAChB,KAAK,EAAE,MAAM,CAAC,KAAK;gBACnB,YAAY,EAAE,MAAM,CAAC,YAAY;gBACjC,gBAAgB,EAAE,MAAM,CAAC,gBAAgB;aAC1C,CAAC;QACJ,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,iBAAiB,EAAE,CAAC;YACzD,OAAO;gBACL,IAAI,EAAE,QAAQ;gBACd,KAAK,EAAE,MAAM,CAAC,KAAK;gBACnB,iBAAiB,EAAE,MAAM,CAAC,iBAAiB;aAC5C,CAAC;QACJ,CAAC;QACD,OAAO,EAAE,CAAC;IACZ,CAAC,CAAC,CAAC;IAEL,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,KAAK,MAAM,MAAM,IAAI,UAAU,EAAE,CAAC;QAChC,MAAM,SAAS,GAAG,+BAA+B,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QACnE,IAAI,CAAC,SAAS,EAAE,CAAC;YACf,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC1B,CAAC;IACD,OAAO,CAAC,IAAI,EAAE,CAAC;IAEf,OAAO,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAC9D,CAAC,CAAC;AAEF,MAAM,iCAAiC,GAAG,CAAC,IAAwB,EAAW,EAAE,CAC9E,CAAC,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC;AAEvE,MAAM,iCAAiC,GAAG,CACxC,IAAgD,EAChD,OAAuB,EACc,EAAE;IACvC,IAAI,CAAC,iCAAiC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAClD,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,MAAM,SAAS,GACb,iCAAiC,CAAC,IAAI,EAAE,OAAO,CAAC;QAChD,iCAAiC,CAC/B,oBAAoB,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,IAAI,EACzC,OAAO,CACR,CAAC;IACJ,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,MAAM,gBAAgB,GACpB,OAAO,CAAC,eAAe,IAAI,OAAO,CAAC,OAAO,CAAC,aAAa,CAAC;IAC3D,MAAM,OAAO,GAAG,IAAI,GAAG,EAAoC,CAAC;IAC5D,MAAM,QAAQ,GAAG,CACf,IAAY,EACZ,eAAuB,EACvB,UAAmB,EACb,EAAE;QACR,OAAO,CAAC,GAAG,CAAC,eAAe,EAAE;YAC3B,GAAG,EAAE,eAAe;YACpB,IAAI;YACJ,eAAe;YACf,UAAU;SACX,CAAC,CAAC;IACL,CAAC,CAAC;IAEF,MAAM,mBAAmB,GAAG,CAC1B,UAA8C,EAC9C,SAAiB,EACX,EAAE;QACR,KAAK,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,UAAU,CAAC,OAAO,EAAE,EAAE,CAAC;YACpD,IAAI,CAAC,iCAAiC,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACjD,SAAS;YACX,CAAC;YAED,MAAM,cAAc,GAAG,iCAAiC,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YACxE,IAAI,CAAC,cAAc,IAAI,cAAc,KAAK,SAAS,EAAE,CAAC;gBACpD,SAAS;YACX,CAAC;YAED,QAAQ,CACN,QAAQ,EACR,GAAG,SAAS,IAAI,QAAQ,EAAE,EAC1B,SAAS,KAAK,gBAAgB,CAC/B,CAAC;QACJ,CAAC;IACH,CAAC,CAAC;IAEF,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;QACvB,mBAAmB,CAAC,OAAO,CAAC,UAAU,EAAE,gBAAgB,CAAC,CAAC;IAC5D,CAAC;IACD,IAAI,OAAO,CAAC,OAAO,CAAC,SAAS,EAAE,CAAC;QAC9B,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,EAAE,EAAE,CAAC;YACxD,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC;gBACvB,SAAS;YACX,CAAC;YACD,mBAAmB,CAAC,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;QAC3D,CAAC;IACH,CAAC;IAED,KAAK,MAAM,OAAO,IAAI,OAAO,CAAC,gBAAgB,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC;QAC/D,MAAM,gBAAgB,GAAG,+BAA+B,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QAC3E,IAAI,CAAC,gBAAgB,IAAI,gBAAgB,KAAK,SAAS,EAAE,CAAC;YACxD,SAAS;QACX,CAAC;QAED,MAAM,SAAS,GAAG,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,OAAO,CAAC,KAAK,CAAC;QAClE,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,OAAO,CAAC,IAAI,CAAC;QAC/D,MAAM,aAAa,GAAG,iCAAiC,CAAC,SAAS,CAAC;YAChE,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,QAAQ,CAAC;QACb,IAAI,CAAC,iCAAiC,CAAC,aAAa,CAAC,EAAE,CAAC;YACtD,SAAS;QACX,CAAC;QAED,QAAQ,CACN,aAAa,EACb,OAAO,CAAC,IAAI,EACZ,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,gBAAgB,GAAG,CAAC,CACjD,CAAC;IACJ,CAAC;IAED,OAAO,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;AAC/B,CAAC,CAAC;AAEF,MAAM,4BAA4B,GAAG,CACnC,IAAgD,EAChD,OAA4C,EACN,EAAE;IACxC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,gBAAgB,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7E,IAAI,gBAAgB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAClC,OAAO,gBAAgB,CAAC,CAAC,CAAC,CAAC;IAC7B,CAAC;IAED,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,OAAO,CAAC,CAAC,CAAC,CAAC;IACpB,CAAC;IAED,MAAM,eAAe,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IACpE,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACjC,OAAO,eAAe,CAAC,CAAC,CAAC,CAAC;IAC5B,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,qCAAqC,GAAG,CACnD,IAAgD,EAChD,OAAuB,EACI,EAAE;IAC7B,IAAI,CAAC,IAAI,CAAC,iBAAiB,IAAI,IAAI,CAAC,iBAAiB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnE,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;QACrC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,SAAS,GACb,iCAAiC,CAAC,IAAI,EAAE,OAAO,CAAC;QAChD,iCAAiC,CAC/B,oBAAoB,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,IAAI,EACzC,OAAO,CACR,CAAC;IACJ,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,OAAO,GAAG,IAAI,GAAG,EAA+B,CAAC;IACvD,KAAK,MAAM,OAAO,IAAI,OAAO,CAAC,gBAAgB,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC;QAC/D,MAAM,gBAAgB,GAAG,+BAA+B,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QAC3E,IAAI,CAAC,gBAAgB,IAAI,gBAAgB,KAAK,SAAS,EAAE,CAAC;YACxD,SAAS;QACX,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACrC,CAAC;IAED,IAAI,OAAO,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,KAAK,GAAG,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACvC,OAAO,KAAK,CAAC,CAAC,CAAC,oBAAoB,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AAC3E,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,0CAA0C,GAAG,CACxD,IAAgD,EAChD,OAAuB,EACI,EAAE;IAC7B,MAAM,KAAK,GAAG,4BAA4B,CACxC,IAAI,EACJ,iCAAiC,CAAC,IAAI,EAAE,OAAO,CAAC,CACjD,CAAC;IACF,OAAO,KAAK;QACV,CAAC,CAAC,oBAAoB,CAAC,WAAW,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;QAC1D,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC,CAAC"}

package/dist/types/references-cases/array-and-cross-module.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=array-and-cross-module.test.d.ts.map

package/dist/types/references-cases/array-and-cross-module.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"array-and-cross-module.test.d.ts","sourceRoot":"","sources":["../../../src/types/references-cases/array-and-cross-module.test.ts"],"names":[],"mappings":""}

package/dist/types/references-cases/array-and-cross-module.test.js

@@ -0,0 +1,150 @@
+import { describe, emitCSharpFiles, emitModule, expect, it, } from "./helpers.js";
+describe("Reference Type Emission", () => {
+    describe("Array Indexing", () => {
+        it("should use native indexer for array indexing", () => {
+            // This test creates a module with array index access
+            // Should use native indexer, not js.Array.get()
+            const module = {
+                kind: "module",
+                filePath: "/src/test.ts",
+                namespace: "Test",
+                className: "test",
+                isStaticContainer: true,
+                imports: [],
+                body: [
+                    {
+                        kind: "functionDeclaration",
+                        name: "getFirst",
+                        isExported: true,
+                        isAsync: false,
+                        isGenerator: false,
+                        parameters: [
+                            {
+                                kind: "parameter",
+                                pattern: { kind: "identifierPattern", name: "arr" },
+                                type: {
+                                    kind: "arrayType",
+                                    elementType: { kind: "primitiveType", name: "number" },
+                                },
+                                isOptional: false,
+                                isRest: false,
+                                passing: "value",
+                            },
+                        ],
+                        returnType: { kind: "primitiveType", name: "number" },
+                        body: {
+                            kind: "blockStatement",
+                            statements: [
+                                {
+                                    kind: "returnStatement",
+                                    expression: {
+                                        kind: "memberAccess",
+                                        object: {
+                                            kind: "identifier",
+                                            name: "arr",
+                                            inferredType: {
+                                                kind: "arrayType",
+                                                elementType: { kind: "primitiveType", name: "number" },
+                                            },
+                                        },
+                                        property: {
+                                            kind: "literal",
+                                            value: 0,
+                                            // Proof marker: int literal
+                                            inferredType: {
+                                                kind: "primitiveType",
+                                                name: "int",
+                                            },
+                                        },
+                                        isComputed: true,
+                                        isOptional: false,
+                                        accessKind: "clrIndexer",
+                                    },
+                                },
+                            ],
+                        },
+                    },
+                ],
+                exports: [],
+            };
+            const result = emitModule(module);
+            // Output should NOT contain js
+            expect(result).to.not.include("js");
+            // Should use native indexer (no cast needed with proof marker)
+            expect(result).to.include("arr[0]");
+        });
+    });
+    describe("Cross-module local type resolution", () => {
+        it("should qualify imported interface references from another module", () => {
+            const apiModule = {
+                kind: "module",
+                filePath: "/src/model/api.ts",
+                namespace: "Test.Model",
+                className: "api",
+                isStaticContainer: true,
+                imports: [],
+                body: [
+                    {
+                        kind: "interfaceDeclaration",
+                        name: "MetricsRow",
+                        isExported: true,
+                        isStruct: false,
+                        typeParameters: [],
+                        extends: [],
+                        members: [
+                            {
+                                kind: "propertySignature",
+                                name: "count",
+                                type: { kind: "referenceType", name: "int" },
+                                isOptional: false,
+                                isReadonly: false,
+                            },
+                        ],
+                    },
+                ],
+                exports: [],
+            };
+            const queryModule = {
+                kind: "module",
+                filePath: "/src/db/query.ts",
+                namespace: "Test.Db",
+                className: "query",
+                isStaticContainer: true,
+                imports: [],
+                body: [
+                    {
+                        kind: "variableDeclaration",
+                        declarationKind: "const",
+                        isExported: false,
+                        declarations: [
+                            {
+                                kind: "variableDeclarator",
+                                name: { kind: "identifierPattern", name: "rows" },
+                                type: {
+                                    kind: "referenceType",
+                                    name: "global::System.Collections.Generic.List",
+                                    resolvedClrType: "global::System.Collections.Generic.List",
+                                    typeArguments: [
+                                        { kind: "referenceType", name: "MetricsRow" },
+                                    ],
+                                },
+                                initializer: { kind: "literal", value: null },
+                            },
+                        ],
+                    },
+                ],
+                exports: [],
+            };
+            const result = emitCSharpFiles([apiModule, queryModule], {
+                rootNamespace: "Test",
+            });
+            expect(result.ok).to.equal(true);
+            if (!result.ok)
+                return;
+            const queryCode = Array.from(result.files.entries()).find(([filePath]) => filePath.endsWith("query.cs"))?.[1];
+            expect(queryCode).to.not.equal(undefined);
+            expect(queryCode).to.include("global::System.Collections.Generic.List<global::Test.Model.MetricsRow> rows");
+        });
+    });
+});
+//# sourceMappingURL=array-and-cross-module.test.js.map

package/dist/types/references-cases/array-and-cross-module.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"array-and-cross-module.test.js","sourceRoot":"","sources":["../../../src/types/references-cases/array-and-cross-module.test.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EACR,eAAe,EACf,UAAU,EACV,MAAM,EACN,EAAE,GACH,MAAM,cAAc,CAAC;AAEtB,QAAQ,CAAC,yBAAyB,EAAE,GAAG,EAAE;IACvC,QAAQ,CAAC,gBAAgB,EAAE,GAAG,EAAE;QAC9B,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;YACtD,qDAAqD;YACrD,gDAAgD;YAChD,MAAM,MAAM,GAAa;gBACvB,IAAI,EAAE,QAAQ;gBACd,QAAQ,EAAE,cAAc;gBACxB,SAAS,EAAE,MAAM;gBACjB,SAAS,EAAE,MAAM;gBACjB,iBAAiB,EAAE,IAAI;gBACvB,OAAO,EAAE,EAAE;gBACX,IAAI,EAAE;oBACJ;wBACE,IAAI,EAAE,qBAAqB;wBAC3B,IAAI,EAAE,UAAU;wBAChB,UAAU,EAAE,IAAI;wBAChB,OAAO,EAAE,KAAK;wBACd,WAAW,EAAE,KAAK;wBAClB,UAAU,EAAE;4BACV;gCACE,IAAI,EAAE,WAAW;gCACjB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,KAAK,EAAE;gCACnD,IAAI,EAAE;oCACJ,IAAI,EAAE,WAAW;oCACjB,WAAW,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;iCACvD;gCACD,UAAU,EAAE,KAAK;gCACjB,MAAM,EAAE,KAAK;gCACb,OAAO,EAAE,OAAO;6BACjB;yBACF;wBACD,UAAU,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;wBACrD,IAAI,EAAE;4BACJ,IAAI,EAAE,gBAAgB;4BACtB,UAAU,EAAE;gCACV;oCACE,IAAI,EAAE,iBAAiB;oCACvB,UAAU,EAAE;wCACV,IAAI,EAAE,cAAc;wCACpB,MAAM,EAAE;4CACN,IAAI,EAAE,YAAY;4CAClB,IAAI,EAAE,KAAK;4CACX,YAAY,EAAE;gDACZ,IAAI,EAAE,WAAW;gDACjB,WAAW,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;6CACvD;yCACF;wCACD,QAAQ,EAAE;4CACR,IAAI,EAAE,SAAS;4CACf,KAAK,EAAE,CAAC;4CACR,4BAA4B;4CAC5B,YAAY,EAAE;gDACZ,IAAI,EAAE,eAAe;gDACrB,IAAI,EAAE,KAAK;6CACZ;yCACF;wCACD,UAAU,EAAE,IAAI;wCAChB,UAAU,EAAE,KAAK;wCACjB,UAAU,EAAE,YAAY;qCACzB;iCACF;6BACF;yBACF;qBACF;iBACF;gBACD,OAAO,EAAE,EAAE;aACZ,CAAC;YAEF,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;YAElC,+BAA+B;YAC/B,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YACpC,+DAA+D;YAC/D,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QACtC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,oCAAoC,EAAE,GAAG,EAAE;QAClD,EAAE,CAAC,kEAAkE,EAAE,GAAG,EAAE;YAC1E,MAAM,SAAS,GAAa;gBAC1B,IAAI,EAAE,QAAQ;gBACd,QAAQ,EAAE,mBAAmB;gBAC7B,SAAS,EAAE,YAAY;gBACvB,SAAS,EAAE,KAAK;gBAChB,iBAAiB,EAAE,IAAI;gBACvB,OAAO,EAAE,EAAE;gBACX,IAAI,EAAE;oBACJ;wBACE,IAAI,EAAE,sBAAsB;wBAC5B,IAAI,EAAE,YAAY;wBAClB,UAAU,EAAE,IAAI;wBAChB,QAAQ,EAAE,KAAK;wBACf,cAAc,EAAE,EAAE;wBAClB,OAAO,EAAE,EAAE;wBACX,OAAO,EAAE;4BACP;gCACE,IAAI,EAAE,mBAAmB;gCACzB,IAAI,EAAE,OAAO;gCACb,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE;gCAC5C,UAAU,EAAE,KAAK;gCACjB,UAAU,EAAE,KAAK;6BAClB;yBACF;qBACF;iBACF;gBACD,OAAO,EAAE,EAAE;aACZ,CAAC;YAEF,MAAM,WAAW,GAAa;gBAC5B,IAAI,EAAE,QAAQ;gBACd,QAAQ,EAAE,kBAAkB;gBAC5B,SAAS,EAAE,SAAS;gBACpB,SAAS,EAAE,OAAO;gBAClB,iBAAiB,EAAE,IAAI;gBACvB,OAAO,EAAE,EAAE;gBACX,IAAI,EAAE;oBACJ;wBACE,IAAI,EAAE,qBAAqB;wBAC3B,eAAe,EAAE,OAAO;wBACxB,UAAU,EAAE,KAAK;wBACjB,YAAY,EAAE;4BACZ;gCACE,IAAI,EAAE,oBAAoB;gCAC1B,IAAI,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,MAAM,EAAE;gCACjD,IAAI,EAAE;oCACJ,IAAI,EAAE,eAAe;oCACrB,IAAI,EAAE,yCAAyC;oCAC/C,eAAe,EAAE,yCAAyC;oCAC1D,aAAa,EAAE;wCACb,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,YAAY,EAAE;qCAC9C;iCACF;gCACD,WAAW,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE;6BAC9C;yBACF;qBACF;iBACF;gBACD,OAAO,EAAE,EAAE;aACZ,CAAC;YAEF,MAAM,MAAM,GAAG,eAAe,CAAC,CAAC,SAAS,EAAE,WAAW,CAAC,EAAE;gBACvD,aAAa,EAAE,MAAM;aACtB,CAAC,CAAC;YAEH,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACjC,IAAI,CAAC,MAAM,CAAC,EAAE;gBAAE,OAAO;YAEvB,MAAM,SAAS,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,EAAE,CACvE,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC,CAC9B,EAAE,CAAC,CAAC,CAAC,CAAC;YACP,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YAC1C,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,OAAO,CAC1B,6EAA6E,CAC9E,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/types/references-cases/bindings-and-local.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=bindings-and-local.test.d.ts.map

package/dist/types/references-cases/bindings-and-local.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"bindings-and-local.test.d.ts","sourceRoot":"","sources":["../../../src/types/references-cases/bindings-and-local.test.ts"],"names":[],"mappings":""}