@flighthq/tool-compiler 0.5.1-edge.1687.b63c819

package/dist/packages/compiler-structural/src/compilerStructuralTypeSubstitution.js

@@ -0,0 +1,224 @@
+export function createIrTypeParameterSubstitutionPlan(parameters, arguments_) {
+    if (arguments_.length > parameters.length) {
+        throw createCompilerStructuralTypeSubstitutionFailure('too-many-type-arguments', ['typeArguments', parameters.length], `Structural type receives ${String(arguments_.length)} argument(s) for ${String(parameters.length)} parameter(s)`);
+    }
+    const seen = new Set();
+    const substitutions = [];
+    for (const [index, parameter] of parameters.entries()) {
+        if (seen.has(parameter.binding.id)) {
+            throw createCompilerStructuralTypeSubstitutionFailure('duplicate-type-parameter', ['typeParameters', index, 'binding', 'id'], `Structural type repeats type parameter ${parameter.binding.id}`);
+        }
+        seen.add(parameter.binding.id);
+        const argument = arguments_[index] ?? parameter.default;
+        if (!argument) {
+            throw createCompilerStructuralTypeSubstitutionFailure('missing-type-argument', ['typeParameters', index], `Structural type requires argument for ${parameter.binding.name}`);
+        }
+        const partial = Object.freeze({
+            schema: 'flight-compiler-structural-type-substitution/1',
+            substitutions: Object.freeze([...substitutions]),
+        });
+        substitutions.push(Object.freeze({
+            parameter: parameter.binding,
+            type: resolveIrTypeStructuralSubstitution(argument, partial),
+        }));
+    }
+    return Object.freeze({
+        schema: 'flight-compiler-structural-type-substitution/1',
+        substitutions: Object.freeze(substitutions),
+    });
+}
+export function isCompilerStructuralTypeSubstitutionFailure(value) {
+    return (value instanceof Error &&
+        'kind' in value &&
+        value.kind === 'compiler-structural-type-substitution' &&
+        'code' in value &&
+        compilerStructuralTypeSubstitutionFailureCodes.has(value.code) &&
+        'path' in value &&
+        Array.isArray(value.path) &&
+        value.path.every((segment) => typeof segment === 'string' || typeof segment === 'number'));
+}
+export function resolveIrTypeStructuralSubstitution(type, plan) {
+    if (plan.schema !== 'flight-compiler-structural-type-substitution/1' || !Array.isArray(plan.substitutions)) {
+        throw createCompilerStructuralTypeSubstitutionFailure('invalid-substitution-plan', [], `Structural type substitution plan uses ${String(plan.schema)}; expected flight-compiler-structural-type-substitution/1`);
+    }
+    const substitutions = new Map();
+    for (const [index, substitution] of plan.substitutions.entries()) {
+        if (substitution.parameter.kind !== 'typeParameter' ||
+            substitution.parameter.space !== 'type' ||
+            substitutions.has(substitution.parameter.id)) {
+            throw createCompilerStructuralTypeSubstitutionFailure('invalid-substitution-plan', ['substitutions', index], `Structural type substitution ${String(index)} does not introduce one unique type parameter`);
+        }
+        substitutions.set(substitution.parameter.id, substitution.type);
+    }
+    return resolveIrTypeStructuralSubstitutionInternal(type, { active: new Set(), ancestors: new Set(), substitutions }, []);
+}
+function resolveIrTypeStructuralSubstitutionInternal(type, context, path) {
+    if (context.ancestors.has(type)) {
+        throw createCompilerStructuralTypeSubstitutionFailure('cyclic-type-substitution', path, 'Structural type substitution cannot traverse a cyclic type value');
+    }
+    context.ancestors.add(type);
+    try {
+        if (type.kind === 'named' &&
+            type.reference.kind === 'binding' &&
+            type.reference.binding.kind === 'typeParameter' &&
+            context.substitutions.has(type.reference.binding.id)) {
+            if (type.reference.path.length > 0 || type.typeArguments.length > 0) {
+                throw createCompilerStructuralTypeSubstitutionFailure('invalid-type-parameter-reference', path, `Substituted type parameter ${type.reference.binding.name} must be an unqualified bare reference`);
+            }
+            const replacement = context.substitutions.get(type.reference.binding.id);
+            if (replacement.kind === 'named' &&
+                replacement.reference.kind === 'binding' &&
+                replacement.reference.binding.kind === 'typeParameter' &&
+                replacement.reference.binding.id === type.reference.binding.id &&
+                replacement.reference.path.length === 0 &&
+                replacement.typeArguments.length === 0) {
+                return { ...type, reference: { ...type.reference, path: [] }, typeArguments: [] };
+            }
+            if (context.active.has(type.reference.binding.id)) {
+                throw createCompilerStructuralTypeSubstitutionFailure('cyclic-type-substitution', path, `Structural type substitution for ${type.reference.binding.name} is cyclic`);
+            }
+            const active = new Set(context.active).add(type.reference.binding.id);
+            return resolveIrTypeStructuralSubstitutionInternal(replacement, { ...context, active }, path);
+        }
+        switch (type.kind) {
+            case 'array':
+                return {
+                    ...type,
+                    element: resolveIrTypeStructuralSubstitutionInternal(type.element, context, [...path, 'element']),
+                };
+            case 'conditionalFacet':
+                return {
+                    ...type,
+                    check: resolveIrTypeStructuralSubstitutionInternal(type.check, context, [...path, 'check']),
+                    facet: resolveIrTypeStructuralSubstitutionInternal(type.facet, context, [...path, 'facet']),
+                    path: [...type.path],
+                };
+            case 'function': {
+                const substitutions = new Map(context.substitutions);
+                type.typeParameters.forEach((parameter) => substitutions.delete(parameter.binding.id));
+                const nested = { ...context, substitutions };
+                return {
+                    ...type,
+                    parameters: type.parameters.map((parameter, index) => ({
+                        ...parameter,
+                        type: resolveIrTypeStructuralSubstitutionInternal(parameter.type, nested, [
+                            ...path,
+                            'parameters',
+                            index,
+                            'type',
+                        ]),
+                    })),
+                    returns: resolveIrTypeStructuralSubstitutionInternal(type.returns, nested, [...path, 'returns']),
+                    typeParameters: type.typeParameters.map((parameter, index) => ({
+                        ...parameter,
+                        ...(parameter.constraint
+                            ? {
+                                constraint: resolveIrTypeStructuralSubstitutionInternal(parameter.constraint, nested, [
+                                    ...path,
+                                    'typeParameters',
+                                    index,
+                                    'constraint',
+                                ]),
+                            }
+                            : {}),
+                        ...(parameter.default
+                            ? {
+                                default: resolveIrTypeStructuralSubstitutionInternal(parameter.default, nested, [
+                                    ...path,
+                                    'typeParameters',
+                                    index,
+                                    'default',
+                                ]),
+                            }
+                            : {}),
+                    })),
+                };
+            }
+            case 'indexedAccess':
+                return {
+                    ...type,
+                    index: resolveIrTypeStructuralSubstitutionInternal(type.index, context, [...path, 'index']),
+                    object: resolveIrTypeStructuralSubstitutionInternal(type.object, context, [...path, 'object']),
+                };
+            case 'intersection':
+            case 'union': {
+                const types = type.types.map((member, index) => resolveIrTypeStructuralSubstitutionInternal(member, context, [...path, 'types', index]));
+                return { ...type, types: [types[0], types[1], ...types.slice(2)] };
+            }
+            case 'keyof':
+                return {
+                    ...type,
+                    type: resolveIrTypeStructuralSubstitutionInternal(type.type, context, [...path, 'type']),
+                };
+            case 'named':
+                return {
+                    ...type,
+                    reference: type.reference.kind === 'ambient'
+                        ? { ...type.reference }
+                        : { ...type.reference, path: [...type.reference.path] },
+                    typeArguments: type.typeArguments.map((argument, index) => resolveIrTypeStructuralSubstitutionInternal(argument, context, [...path, 'typeArguments', index])),
+                };
+            case 'object':
+                return {
+                    ...type,
+                    properties: type.properties.map((property, index) => ({
+                        ...property,
+                        type: resolveIrTypeStructuralSubstitutionInternal(property.type, context, [
+                            ...path,
+                            'properties',
+                            index,
+                            'type',
+                        ]),
+                    })),
+                };
+            case 'tuple':
+                return {
+                    ...type,
+                    elements: type.elements.map((element, index) => ({
+                        ...element,
+                        type: resolveIrTypeStructuralSubstitutionInternal(element.type, context, [
+                            ...path,
+                            'elements',
+                            index,
+                            'type',
+                        ]),
+                    })),
+                };
+            case 'typeOf':
+                return {
+                    ...type,
+                    reference: type.reference.kind === 'ambient'
+                        ? { ...type.reference }
+                        : { ...type.reference, path: [...type.reference.path] },
+                };
+            case 'literal':
+            case 'never':
+            case 'null':
+            case 'primitive':
+            case 'undefined':
+            case 'unknown':
+                return { ...type };
+        }
+    }
+    finally {
+        context.ancestors.delete(type);
+    }
+}
+function createCompilerStructuralTypeSubstitutionFailure(code, path, message) {
+    const failure = Object.assign(new Error(message), {
+        code,
+        kind: 'compiler-structural-type-substitution',
+        path: Object.freeze([...path]),
+    });
+    failure.name = 'CompilerStructuralTypeSubstitutionError';
+    return failure;
+}
+const compilerStructuralTypeSubstitutionFailureCodes = new Set([
+    'cyclic-type-substitution',
+    'duplicate-type-parameter',
+    'invalid-substitution-plan',
+    'invalid-type-parameter-reference',
+    'missing-type-argument',
+    'too-many-type-arguments',
+]);
+//# sourceMappingURL=compilerStructuralTypeSubstitution.js.map

package/dist/packages/compiler-structural/src/compilerStructuralTypeSubstitution.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compilerStructuralTypeSubstitution.js","sourceRoot":"","sources":["../../../../../compiler-structural/src/compilerStructuralTypeSubstitution.ts"],"names":[],"mappings":"AAgBA,MAAM,UAAU,qCAAqC,CACnD,UAAgD,EAChD,UAAuC;IAEvC,IAAI,UAAU,CAAC,MAAM,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC;QAC1C,MAAM,+CAA+C,CACnD,yBAAyB,EACzB,CAAC,eAAe,EAAE,UAAU,CAAC,MAAM,CAAC,EACpC,4BAA4B,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,oBAAoB,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,eAAe,CAClH,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,aAAa,GAAyC,EAAE,CAAC;IAC/D,KAAK,MAAM,CAAC,KAAK,EAAE,SAAS,CAAC,IAAI,UAAU,CAAC,OAAO,EAAE,EAAE,CAAC;QACtD,IAAI,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC;YACnC,MAAM,+CAA+C,CACnD,0BAA0B,EAC1B,CAAC,gBAAgB,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,EAC1C,0CAA0C,SAAS,CAAC,OAAO,CAAC,EAAE,EAAE,CACjE,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC/B,MAAM,QAAQ,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,SAAS,CAAC,OAAO,CAAC;QACxD,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,MAAM,+CAA+C,CACnD,uBAAuB,EACvB,CAAC,gBAAgB,EAAE,KAAK,CAAC,EACzB,yCAAyC,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,CAClE,CAAC;QACJ,CAAC;QACD,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC;YAC5B,MAAM,EAAE,gDAAyD;YACjE,aAAa,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,aAAa,CAAC,CAAC;SACjD,CAAC,CAAC;QACH,aAAa,CAAC,IAAI,CAChB,MAAM,CAAC,MAAM,CAAC;YACZ,SAAS,EAAE,SAAS,CAAC,OAAO;YAC5B,IAAI,EAAE,mCAAmC,CAAC,QAAQ,EAAE,OAAO,CAAC;SAC7D,CAAC,CACH,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,MAAM,EAAE,gDAAgD;QACxD,aAAa,EAAE,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC;KAC5C,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,2CAA2C,CACzD,KAAc;IAEd,OAAO,CACL,KAAK,YAAY,KAAK;QACtB,MAAM,IAAI,KAAK;QACf,KAAK,CAAC,IAAI,KAAK,uCAAuC;QACtD,MAAM,IAAI,KAAK;QACf,8CAA8C,CAAC,GAAG,CAAC,KAAK,CAAC,IAAqD,CAAC;QAC/G,MAAM,IAAI,KAAK;QACf,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC;QACzB,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,OAAO,KAAK,QAAQ,CAAC,CAC1F,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,mCAAmC,CACjD,IAAsB,EACtB,IAAsD;IAEtD,IAAI,IAAI,CAAC,MAAM,KAAK,gDAAgD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC;QAC3G,MAAM,+CAA+C,CACnD,2BAA2B,EAC3B,EAAE,EACF,0CAA0C,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,2DAA2D,CACzH,CAAC;IACJ,CAAC;IACD,MAAM,aAAa,GAAG,IAAI,GAAG,EAA4B,CAAC;IAC1D,KAAK,MAAM,CAAC,KAAK,EAAE,YAAY,CAAC,IAAI,IAAI,CAAC,aAAa,CAAC,OAAO,EAAE,EAAE,CAAC;QACjE,IACE,YAAY,CAAC,SAAS,CAAC,IAAI,KAAK,eAAe;YAC/C,YAAY,CAAC,SAAS,CAAC,KAAK,KAAK,MAAM;YACvC,aAAa,CAAC,GAAG,CAAC,YAAY,CAAC,SAAS,CAAC,EAAE,CAAC,EAC5C,CAAC;YACD,MAAM,+CAA+C,CACnD,2BAA2B,EAC3B,CAAC,eAAe,EAAE,KAAK,CAAC,EACxB,gCAAgC,MAAM,CAAC,KAAK,CAAC,+CAA+C,CAC7F,CAAC;QACJ,CAAC;QACD,aAAa,CAAC,GAAG,CAAC,YAAY,CAAC,SAAS,CAAC,EAAE,EAAE,YAAY,CAAC,IAAI,CAAC,CAAC;IAClE,CAAC;IACD,OAAO,2CAA2C,CAChD,IAAI,EACJ,EAAE,MAAM,EAAE,IAAI,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,GAAG,EAAE,EAAE,aAAa,EAAE,EAC1D,EAAE,CACH,CAAC;AACJ,CAAC;AAED,SAAS,2CAA2C,CAClD,IAAsB,EACtB,OAA0C,EAC1C,IAA6B;IAE7B,IAAI,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QAChC,MAAM,+CAA+C,CACnD,0BAA0B,EAC1B,IAAI,EACJ,kEAAkE,CACnE,CAAC;IACJ,CAAC;IACD,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC5B,IAAI,CAAC;QACH,IACE,IAAI,CAAC,IAAI,KAAK,OAAO;YACrB,IAAI,CAAC,SAAS,CAAC,IAAI,KAAK,SAAS;YACjC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,KAAK,eAAe;YAC/C,OAAO,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC,EACpD,CAAC;YACD,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACpE,MAAM,+CAA+C,CACnD,kCAAkC,EAClC,IAAI,EACJ,8BAA8B,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,wCAAwC,CAClG,CAAC;YACJ,CAAC;YACD,MAAM,WAAW,GAAG,OAAO,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,CAAE,CAAC;YAC1E,IACE,WAAW,CAAC,IAAI,KAAK,OAAO;gBAC5B,WAAW,CAAC,SAAS,CAAC,IAAI,KAAK,SAAS;gBACxC,WAAW,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,KAAK,eAAe;gBACtD,WAAW,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,KAAK,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE;gBAC9D,WAAW,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;gBACvC,WAAW,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,EACtC,CAAC;gBACD,OAAO,EAAE,GAAG,IAAI,EAAE,SAAS,EAAE,EAAE,GAAG,IAAI,CAAC,SAAS,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,aAAa,EAAE,EAAE,EAAE,CAAC;YACpF,CAAC;YACD,IAAI,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC;gBAClD,MAAM,+CAA+C,CACnD,0BAA0B,EAC1B,IAAI,EACJ,oCAAoC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,YAAY,CAC5E,CAAC;YACJ,CAAC;YACD,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;YACtE,OAAO,2CAA2C,CAAC,WAAW,EAAE,EAAE,GAAG,OAAO,EAAE,MAAM,EAAE,EAAE,IAAI,CAAC,CAAC;QAChG,CAAC;QACD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,OAAO;gBACV,OAAO;oBACL,GAAG,IAAI;oBACP,OAAO,EAAE,2CAA2C,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,CAAC,GAAG,IAAI,EAAE,SAAS,CAAC,CAAC;iBAClG,CAAC;YACJ,KAAK,kBAAkB;gBACrB,OAAO;oBACL,GAAG,IAAI;oBACP,KAAK,EAAE,2CAA2C,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,GAAG,IAAI,EAAE,OAAO,CAAC,CAAC;oBAC3F,KAAK,EAAE,2CAA2C,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,GAAG,IAAI,EAAE,OAAO,CAAC,CAAC;oBAC3F,IAAI,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,CAA0B;iBAC9C,CAAC;YACJ,KAAK,UAAU,CAAC,CAAC,CAAC;gBAChB,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;gBACrD,IAAI,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,aAAa,CAAC,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC;gBACvF,MAAM,MAAM,GAAG,EAAE,GAAG,OAAO,EAAE,aAAa,EAAE,CAAC;gBAC7C,OAAO;oBACL,GAAG,IAAI;oBACP,UAAU,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;wBACrD,GAAG,SAAS;wBACZ,IAAI,EAAE,2CAA2C,CAAC,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE;4BACxE,GAAG,IAAI;4BACP,YAAY;4BACZ,KAAK;4BACL,MAAM;yBACP,CAAC;qBACH,CAAC,CAAC;oBACH,OAAO,EAAE,2CAA2C,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,CAAC,GAAG,IAAI,EAAE,SAAS,CAAC,CAAC;oBAChG,cAAc,EAAE,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;wBAC7D,GAAG,SAAS;wBACZ,GAAG,CAAC,SAAS,CAAC,UAAU;4BACtB,CAAC,CAAC;gCACE,UAAU,EAAE,2CAA2C,CAAC,SAAS,CAAC,UAAU,EAAE,MAAM,EAAE;oCACpF,GAAG,IAAI;oCACP,gBAAgB;oCAChB,KAAK;oCACL,YAAY;iCACb,CAAC;6BACH;4BACH,CAAC,CAAC,EAAE,CAAC;wBACP,GAAG,CAAC,SAAS,CAAC,OAAO;4BACnB,CAAC,CAAC;gCACE,OAAO,EAAE,2CAA2C,CAAC,SAAS,CAAC,OAAO,EAAE,MAAM,EAAE;oCAC9E,GAAG,IAAI;oCACP,gBAAgB;oCAChB,KAAK;oCACL,SAAS;iCACV,CAAC;6BACH;4BACH,CAAC,CAAC,EAAE,CAAC;qBACR,CAAC,CAAC;iBACJ,CAAC;YACJ,CAAC;YACD,KAAK,eAAe;gBAClB,OAAO;oBACL,GAAG,IAAI;oBACP,KAAK,EAAE,2CAA2C,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,GAAG,IAAI,EAAE,OAAO,CAAC,CAAC;oBAC3F,MAAM,EAAE,2CAA2C,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,GAAG,IAAI,EAAE,QAAQ,CAAC,CAAC;iBAC/F,CAAC;YACJ,KAAK,cAAc,CAAC;YACpB,KAAK,OAAO,CAAC,CAAC,CAAC;gBACb,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAC7C,2CAA2C,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,GAAG,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC,CACxF,CAAC;gBACF,OAAO,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,CAAC,CAAE,EAAE,KAAK,CAAC,CAAC,CAAE,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACvE,CAAC;YACD,KAAK,OAAO;gBACV,OAAO;oBACL,GAAG,IAAI;oBACP,IAAI,EAAE,2CAA2C,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,GAAG,IAAI,EAAE,MAAM,CAAC,CAAC;iBACzF,CAAC;YACJ,KAAK,OAAO;gBACV,OAAO;oBACL,GAAG,IAAI;oBACP,SAAS,EACP,IAAI,CAAC,SAAS,CAAC,IAAI,KAAK,SAAS;wBAC/B,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,SAAS,EAAE;wBACvB,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,SAAS,EAAE,IAAI,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE;oBAC3D,aAAa,EAAE,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE,CACxD,2CAA2C,CAAC,QAAQ,EAAE,OAAO,EAAE,CAAC,GAAG,IAAI,EAAE,eAAe,EAAE,KAAK,CAAC,CAAC,CAClG;iBACF,CAAC;YACJ,KAAK,QAAQ;gBACX,OAAO;oBACL,GAAG,IAAI;oBACP,UAAU,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;wBACpD,GAAG,QAAQ;wBACX,IAAI,EAAE,2CAA2C,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,EAAE;4BACxE,GAAG,IAAI;4BACP,YAAY;4BACZ,KAAK;4BACL,MAAM;yBACP,CAAC;qBACH,CAAC,CAAC;iBACJ,CAAC;YACJ,KAAK,OAAO;gBACV,OAAO;oBACL,GAAG,IAAI;oBACP,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;wBAC/C,GAAG,OAAO;wBACV,IAAI,EAAE,2CAA2C,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,EAAE;4BACvE,GAAG,IAAI;4BACP,UAAU;4BACV,KAAK;4BACL,MAAM;yBACP,CAAC;qBACH,CAAC,CAAC;iBACJ,CAAC;YACJ,KAAK,QAAQ;gBACX,OAAO;oBACL,GAAG,IAAI;oBACP,SAAS,EACP,IAAI,CAAC,SAAS,CAAC,IAAI,KAAK,SAAS;wBAC/B,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,SAAS,EAAE;wBACvB,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,SAAS,EAAE,IAAI,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE;iBAC5D,CAAC;YACJ,KAAK,SAAS,CAAC;YACf,KAAK,OAAO,CAAC;YACb,KAAK,MAAM,CAAC;YACZ,KAAK,WAAW,CAAC;YACjB,KAAK,WAAW,CAAC;YACjB,KAAK,SAAS;gBACZ,OAAO,EAAE,GAAG,IAAI,EAAE,CAAC;QACvB,CAAC;IACH,CAAC;YAAS,CAAC;QACT,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACjC,CAAC;AACH,CAAC;AAED,SAAS,+CAA+C,CACtD,IAAmD,EACnD,IAA6B,EAC7B,OAAe;IAEf,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,EAAE;QAChD,IAAI;QACJ,IAAI,EAAE,uCAAgD;QACtD,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC;KAC/B,CAAC,CAAC;IACH,OAAO,CAAC,IAAI,GAAG,yCAAyC,CAAC;IACzD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,MAAM,8CAA8C,GAAG,IAAI,GAAG,CAAgD;IAC5G,0BAA0B;IAC1B,0BAA0B;IAC1B,2BAA2B;IAC3B,kCAAkC;IAClC,uBAAuB;IACvB,yBAAyB;CAC1B,CAAC,CAAC"}

package/dist/packages/compiler-structural/src/compilerTypeValueIdentityAnalysis.d.ts

@@ -0,0 +1,4 @@
+import type { CompilerModuleResolutionPlan, CompilerTypeValueIdentityAnalysis, CompilerTypeValueIdentityAnalyzer, IrModule, IrType } from '../../compiler-types/src/index.js';
+export declare function analyzeIrTypeValueIdentity(type: Readonly<IrType>, module: Readonly<IrModule>, modules?: readonly Readonly<IrModule>[], resolution?: Readonly<CompilerModuleResolutionPlan>): CompilerTypeValueIdentityAnalysis;
+export declare function createIrTypeValueIdentityAnalyzer(modules: readonly Readonly<IrModule>[], resolution?: Readonly<CompilerModuleResolutionPlan>): CompilerTypeValueIdentityAnalyzer;
+//# sourceMappingURL=compilerTypeValueIdentityAnalysis.d.ts.map

package/dist/packages/compiler-structural/src/compilerTypeValueIdentityAnalysis.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compilerTypeValueIdentityAnalysis.d.ts","sourceRoot":"","sources":["../../../../../compiler-structural/src/compilerTypeValueIdentityAnalysis.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAEV,4BAA4B,EAC5B,iCAAiC,EACjC,iCAAiC,EAEjC,QAAQ,EACR,MAAM,EAEP,MAAM,mCAAmC,CAAC;AAwD3C,wBAAgB,0BAA0B,CACxC,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,EACtB,MAAM,EAAE,QAAQ,CAAC,QAAQ,CAAC,EAC1B,OAAO,GAAE,SAAS,QAAQ,CAAC,QAAQ,CAAC,EAAa,EACjD,UAAU,GAAE,QAAQ,CAAC,4BAA4B,CAAqC,GACrF,iCAAiC,CAEnC;AAED,wBAAgB,iCAAiC,CAC/C,OAAO,EAAE,SAAS,QAAQ,CAAC,QAAQ,CAAC,EAAE,EACtC,UAAU,GAAE,QAAQ,CAAC,4BAA4B,CAAqC,GACrF,iCAAiC,CAUnC"}