@tsonic/frontend 0.0.74 → 0.0.75

package/dist/ir/validation/call-resolution-refresh-pass.js

@@ -0,0 +1,616 @@
+import { getAwaitedIrType, referenceTypeIdentity, } from "../types/type-ops.js";
+import { collectResolutionArguments, resolveCallableCandidate, } from "../converters/expressions/calls/call-resolution.js";
+import { getBoundGlobalCallParameterTypes } from "../converters/expressions/calls/bound-global-call-parameters.js";
+import { finalizeInvocationMetadata, getAuthoritativeDirectCalleeParameterTypes, getDirectStructuralMemberType, } from "../converters/expressions/calls/invocation-finalization.js";
+const preserveResolvedReturnType = (current, next, hasDeclaredReturnType) => {
+    const nextIsBroadOrVoid = next?.kind === "voidType" ||
+        next?.kind === "unknownType" ||
+        next?.kind === "anyType";
+    const currentIsConcrete = current &&
+        current.kind !== "voidType" &&
+        current.kind !== "unknownType" &&
+        current.kind !== "anyType";
+    if (currentIsConcrete && nextIsBroadOrVoid) {
+        return current;
+    }
+    if (hasDeclaredReturnType === false && current && next && nextIsBroadOrVoid) {
+        return current;
+    }
+    return next ?? current;
+};
+const preserveConcreteRefreshExpectedType = (current, explicitExpected, sourceBackedReturnType) => {
+    if (explicitExpected) {
+        return explicitExpected;
+    }
+    const concreteCurrent = current &&
+        current.kind !== "voidType" &&
+        current.kind !== "unknownType" &&
+        current.kind !== "anyType"
+        ? current
+        : undefined;
+    if (concreteCurrent) {
+        return concreteCurrent;
+    }
+    return sourceBackedReturnType &&
+        sourceBackedReturnType.kind !== "voidType" &&
+        sourceBackedReturnType.kind !== "unknownType" &&
+        sourceBackedReturnType.kind !== "anyType"
+        ? sourceBackedReturnType
+        : explicitExpected;
+};
+const getDeterministicReferenceIdentity = (type) => {
+    const identity = referenceTypeIdentity(type);
+    return identity !== undefined &&
+        (identity.startsWith("id:") || identity.startsWith("clr:"))
+        ? identity
+        : undefined;
+};
+const hasDeterministicIdentityConflict = (left, right) => {
+    if (!left || !right || left.kind !== right.kind) {
+        return false;
+    }
+    switch (left.kind) {
+        case "referenceType": {
+            if (right.kind !== "referenceType") {
+                return false;
+            }
+            const leftIdentity = getDeterministicReferenceIdentity(left);
+            const rightIdentity = getDeterministicReferenceIdentity(right);
+            if (leftIdentity && rightIdentity && leftIdentity !== rightIdentity) {
+                return true;
+            }
+            const leftArgs = left.typeArguments ?? [];
+            const rightArgs = right.typeArguments ?? [];
+            if (leftArgs.length !== rightArgs.length) {
+                return false;
+            }
+            return leftArgs.some((typeArgument, index) => hasDeterministicIdentityConflict(typeArgument, rightArgs[index]));
+        }
+        case "arrayType":
+            return (right.kind === "arrayType" &&
+                hasDeterministicIdentityConflict(left.elementType, right.elementType));
+        case "dictionaryType":
+            return (right.kind === "dictionaryType" &&
+                (hasDeterministicIdentityConflict(left.keyType, right.keyType) ||
+                    hasDeterministicIdentityConflict(left.valueType, right.valueType)));
+        case "tupleType":
+            return (right.kind === "tupleType" &&
+                left.elementTypes.length === right.elementTypes.length &&
+                left.elementTypes.some((typeElement, index) => hasDeterministicIdentityConflict(typeElement, right.elementTypes[index])));
+        case "functionType":
+            return (right.kind === "functionType" &&
+                left.parameters.length === right.parameters.length &&
+                (hasDeterministicIdentityConflict(left.returnType, right.returnType) ||
+                    left.parameters.some((parameter, index) => hasDeterministicIdentityConflict(parameter.type, right.parameters[index]?.type))));
+        default:
+            return false;
+    }
+};
+const cohereSourceBackedReturnType = (inferredType, sourceBackedReturnType, ctx) => {
+    if (inferredType &&
+        sourceBackedReturnType &&
+        !ctx.typeSystem.typesEqual(inferredType, sourceBackedReturnType) &&
+        hasDeterministicIdentityConflict(inferredType, sourceBackedReturnType)) {
+        return inferredType;
+    }
+    return sourceBackedReturnType;
+};
+const cohereAwaitedSourceBackedReturnType = (awaitedInferredType, sourceBackedReturnType, ctx) => {
+    if (!awaitedInferredType || !sourceBackedReturnType) {
+        return sourceBackedReturnType;
+    }
+    const sourceAwaitedType = getAwaitedIrType(sourceBackedReturnType) ?? sourceBackedReturnType;
+    if (ctx.typeSystem.typesEqual(awaitedInferredType, sourceAwaitedType) ||
+        !hasDeterministicIdentityConflict(awaitedInferredType, sourceAwaitedType)) {
+        return sourceBackedReturnType;
+    }
+    return getAwaitedIrType(sourceBackedReturnType) &&
+        sourceBackedReturnType.kind === "referenceType" &&
+        (sourceBackedReturnType.typeArguments?.length ?? 0) === 1
+        ? {
+            ...sourceBackedReturnType,
+            typeArguments: [awaitedInferredType],
+        }
+        : awaitedInferredType;
+};
+const refreshSpreadArgument = (argument, ctx) => argument?.kind === "spread"
+    ? (() => {
+        const expression = refreshExpression(argument.expression, ctx);
+        return {
+            ...argument,
+            expression,
+            inferredType: expression.inferredType,
+        };
+    })()
+    : argument
+        ? refreshExpression(argument, ctx)
+        : argument;
+const refreshExpression = (expr, ctx) => {
+    switch (expr.kind) {
+        case "call": {
+            const callee = refreshExpression(expr.callee, ctx);
+            const arguments_ = expr.arguments.map((argument) => argument.kind === "spread"
+                ? (() => {
+                    const expression = refreshExpression(argument.expression, ctx);
+                    return {
+                        ...argument,
+                        expression,
+                        inferredType: expression.inferredType,
+                    };
+                })()
+                : refreshExpression(argument, ctx));
+            const dynamicImportNamespace = expr.dynamicImportNamespace
+                ? refreshExpression(expr.dynamicImportNamespace, ctx)
+                : undefined;
+            if (callee.kind === "identifier" && callee.name === "super") {
+                return {
+                    ...expr,
+                    callee,
+                    arguments: arguments_,
+                    dynamicImportNamespace,
+                };
+            }
+            if (!expr.signatureId) {
+                return {
+                    ...expr,
+                    callee,
+                    arguments: arguments_,
+                    dynamicImportNamespace,
+                };
+            }
+            const resolutionArgs = collectResolutionArguments(arguments_);
+            const argumentCount = resolutionArgs.argumentCount > 0
+                ? resolutionArgs.argumentCount
+                : arguments_.length;
+            const argTypes = resolutionArgs.argumentCount > 0
+                ? resolutionArgs.argTypes
+                : arguments_.map((argument) => argument.kind === "spread" ? undefined : argument.inferredType);
+            const selection = ctx.typeSystem.selectBestCallCandidate(expr.signatureId, expr.candidateSignatureIds, {
+                argumentCount,
+                receiverType: callee.kind === "memberAccess"
+                    ? callee.object.inferredType
+                    : undefined,
+                explicitTypeArgs: expr.typeArguments,
+                argTypes,
+                expectedReturnType: expr.resolutionExpectedReturnType,
+            });
+            const resolved = selection.resolved;
+            const usesAuthoritativeSurfaceBindings = ctx.surface !== "clr";
+            const boundGlobalCallParameterTypes = getBoundGlobalCallParameterTypes(callee, argumentCount, ctx);
+            const authoritativeBoundGlobalSurfaceParameterTypes = usesAuthoritativeSurfaceBindings
+                ? boundGlobalCallParameterTypes?.parameterTypes
+                : undefined;
+            const authoritativeBoundGlobalReturnType = usesAuthoritativeSurfaceBindings
+                ? boundGlobalCallParameterTypes?.returnType
+                : undefined;
+            const preservedAmbientBoundGlobalSurfaceParameterTypes = !usesAuthoritativeSurfaceBindings && boundGlobalCallParameterTypes
+                ? expr.surfaceParameterTypes
+                : undefined;
+            const directStructuralResolution = callee.kind === "memberAccess" && typeof callee.property === "string"
+                ? (() => {
+                    const directStructuralMemberType = getDirectStructuralMemberType(callee.object.inferredType, callee.property);
+                    return directStructuralMemberType
+                        ? resolveCallableCandidate(directStructuralMemberType, argumentCount, ctx, argTypes, expr.typeArguments, expr.resolutionExpectedReturnType)
+                        : undefined;
+                })()
+                : undefined;
+            const directCalleeResolution = callee.inferredType && callee.inferredType.kind !== "unknownType"
+                ? resolveCallableCandidate(callee.inferredType, argumentCount, ctx, argTypes, expr.typeArguments, expr.resolutionExpectedReturnType)
+                : undefined;
+            const authoritativeDirectCalleeParameterTypes = getAuthoritativeDirectCalleeParameterTypes(callee, argumentCount, ctx);
+            const preserveAuthoritativeDirectCalleeSurfaceIdentity = !!authoritativeDirectCalleeParameterTypes &&
+                !authoritativeBoundGlobalSurfaceParameterTypes &&
+                !expr.sourceBackedSurfaceParameterTypes &&
+                !preservedAmbientBoundGlobalSurfaceParameterTypes;
+            const finalizedInvocationMetadata = finalizeInvocationMetadata({
+                ctx,
+                callee,
+                receiverType: callee.kind === "memberAccess"
+                    ? callee.object.inferredType
+                    : undefined,
+                callableType: directStructuralResolution?.callableType ??
+                    directCalleeResolution?.callableType ??
+                    (callee.inferredType?.kind === "functionType"
+                        ? callee.inferredType
+                        : undefined),
+                argumentCount,
+                argTypes,
+                explicitTypeArgs: expr.typeArguments,
+                expectedType: expr.resolutionExpectedReturnType,
+                boundGlobalParameterTypes: boundGlobalCallParameterTypes?.parameterTypes,
+                authoritativeBoundGlobalSurfaceParameterTypes,
+                authoritativeBoundGlobalReturnType,
+                sourceBackedParameterTypes: expr.sourceBackedParameterTypes,
+                sourceBackedSurfaceParameterTypes: expr.sourceBackedSurfaceParameterTypes,
+                sourceBackedReturnType: expr.sourceBackedReturnType,
+                ambientBoundGlobalSurfaceParameterTypes: preservedAmbientBoundGlobalSurfaceParameterTypes,
+                authoritativeDirectParameterTypes: authoritativeDirectCalleeParameterTypes,
+                resolvedParameterTypes: resolved?.parameterTypes,
+                resolvedSurfaceParameterTypes: resolved?.surfaceParameterTypes,
+                resolvedReturnType: resolved?.returnType,
+                fallbackParameterTypes: expr.parameterTypes,
+                fallbackSurfaceParameterTypes: expr.surfaceParameterTypes,
+                exactParameterCandidates: [
+                    directStructuralResolution?.resolved?.parameterTypes,
+                    directCalleeResolution?.resolved?.parameterTypes,
+                ],
+                exactSurfaceParameterCandidates: [
+                    directStructuralResolution?.resolved?.surfaceParameterTypes ??
+                        directStructuralResolution?.resolved?.parameterTypes,
+                    directCalleeResolution?.resolved?.surfaceParameterTypes ??
+                        directCalleeResolution?.resolved?.parameterTypes,
+                ],
+                exactReturnCandidates: [
+                    directStructuralResolution?.resolved?.returnType,
+                    directCalleeResolution?.resolved?.returnType,
+                ],
+                preserveDirectSurfaceIdentity: preserveAuthoritativeDirectCalleeSurfaceIdentity,
+            });
+            const refreshedRestParameter = boundGlobalCallParameterTypes
+                ? boundGlobalCallParameterTypes.restParameter
+                : (expr.sourceBackedRestParameter ??
+                    resolved?.restParameter ??
+                    expr.restParameter);
+            const refreshedSurfaceRestParameter = boundGlobalCallParameterTypes
+                ? boundGlobalCallParameterTypes.restParameter
+                : (expr.sourceBackedRestParameter ??
+                    resolved?.surfaceRestParameter ??
+                    expr.surfaceRestParameter);
+            const coherentSourceBackedReturnType = cohereSourceBackedReturnType(expr.inferredType, finalizedInvocationMetadata.sourceBackedReturnType, ctx);
+            return {
+                ...expr,
+                callee,
+                arguments: arguments_,
+                dynamicImportNamespace,
+                inferredType: preserveResolvedReturnType(expr.inferredType, coherentSourceBackedReturnType ?? resolved?.returnType, resolved?.hasDeclaredReturnType),
+                parameterTypes: finalizedInvocationMetadata.parameterTypes,
+                surfaceParameterTypes: finalizedInvocationMetadata.surfaceParameterTypes,
+                restParameter: refreshedRestParameter,
+                surfaceRestParameter: refreshedSurfaceRestParameter,
+                sourceBackedParameterTypes: finalizedInvocationMetadata.sourceBackedParameterTypes,
+                sourceBackedSurfaceParameterTypes: finalizedInvocationMetadata.sourceBackedSurfaceParameterTypes,
+                sourceBackedReturnType: coherentSourceBackedReturnType,
+            };
+        }
+        case "new": {
+            const callee = refreshExpression(expr.callee, ctx);
+            const arguments_ = expr.arguments.map((argument) => argument.kind === "spread"
+                ? (() => {
+                    const expression = refreshExpression(argument.expression, ctx);
+                    return {
+                        ...argument,
+                        expression,
+                        inferredType: expression.inferredType,
+                    };
+                })()
+                : refreshExpression(argument, ctx));
+            if (!expr.signatureId) {
+                return {
+                    ...expr,
+                    callee,
+                    arguments: arguments_,
+                };
+            }
+            const argTypes = arguments_.map((argument) => argument.kind === "spread" ? undefined : argument.inferredType);
+            const refreshedExpectedReturnType = preserveConcreteRefreshExpectedType(expr.inferredType, expr.resolutionExpectedReturnType, expr.sourceBackedReturnType);
+            const resolved = ctx.typeSystem.resolveCall({
+                sigId: expr.signatureId,
+                argumentCount: arguments_.length,
+                explicitTypeArgs: expr.typeArguments,
+                argTypes,
+                expectedReturnType: refreshedExpectedReturnType,
+            });
+            const finalizedInvocationMetadata = finalizeInvocationMetadata({
+                ctx,
+                callee,
+                receiverType: callee.kind === "memberAccess"
+                    ? callee.object.inferredType
+                    : undefined,
+                callableType: callee.inferredType?.kind === "functionType"
+                    ? callee.inferredType
+                    : undefined,
+                argumentCount: arguments_.length,
+                argTypes,
+                explicitTypeArgs: expr.typeArguments,
+                expectedType: refreshedExpectedReturnType,
+                boundGlobalParameterTypes: undefined,
+                authoritativeBoundGlobalSurfaceParameterTypes: undefined,
+                authoritativeBoundGlobalReturnType: undefined,
+                sourceBackedParameterTypes: expr.sourceBackedParameterTypes,
+                sourceBackedSurfaceParameterTypes: expr.sourceBackedSurfaceParameterTypes,
+                sourceBackedReturnType: expr.sourceBackedReturnType,
+                ambientBoundGlobalSurfaceParameterTypes: undefined,
+                authoritativeDirectParameterTypes: undefined,
+                resolvedParameterTypes: resolved.parameterTypes,
+                resolvedSurfaceParameterTypes: resolved.surfaceParameterTypes,
+                resolvedReturnType: resolved.returnType,
+                fallbackParameterTypes: expr.parameterTypes,
+                fallbackSurfaceParameterTypes: expr.surfaceParameterTypes,
+                exactParameterCandidates: [],
+                exactSurfaceParameterCandidates: [],
+                exactReturnCandidates: [],
+                preserveDirectSurfaceIdentity: false,
+            });
+            const coherentSourceBackedReturnType = cohereSourceBackedReturnType(expr.inferredType, finalizedInvocationMetadata.sourceBackedReturnType ??
+                expr.sourceBackedReturnType, ctx);
+            return {
+                ...expr,
+                callee,
+                arguments: arguments_,
+                inferredType: coherentSourceBackedReturnType ??
+                    resolved.returnType ??
+                    expr.inferredType,
+                parameterTypes: finalizedInvocationMetadata.parameterTypes ?? expr.parameterTypes,
+                surfaceParameterTypes: finalizedInvocationMetadata.surfaceParameterTypes ??
+                    expr.surfaceParameterTypes,
+                sourceBackedParameterTypes: finalizedInvocationMetadata.sourceBackedParameterTypes ??
+                    expr.sourceBackedParameterTypes,
+                sourceBackedSurfaceParameterTypes: finalizedInvocationMetadata.sourceBackedSurfaceParameterTypes ??
+                    expr.sourceBackedSurfaceParameterTypes,
+                sourceBackedRestParameter: expr.sourceBackedRestParameter,
+                sourceBackedReturnType: coherentSourceBackedReturnType,
+                surfaceRestParameter: expr.sourceBackedRestParameter ??
+                    resolved.surfaceRestParameter ??
+                    expr.surfaceRestParameter,
+            };
+        }
+        case "memberAccess":
+            return {
+                ...expr,
+                object: refreshExpression(expr.object, ctx),
+                property: typeof expr.property === "string"
+                    ? expr.property
+                    : refreshExpression(expr.property, ctx),
+            };
+        case "binary":
+        case "logical":
+            return {
+                ...expr,
+                left: refreshExpression(expr.left, ctx),
+                right: refreshExpression(expr.right, ctx),
+            };
+        case "conditional":
+            return {
+                ...expr,
+                condition: refreshExpression(expr.condition, ctx),
+                whenTrue: refreshExpression(expr.whenTrue, ctx),
+                whenFalse: refreshExpression(expr.whenFalse, ctx),
+            };
+        case "assignment":
+            return {
+                ...expr,
+                left: expr.left.kind === "identifierPattern" ||
+                    expr.left.kind === "arrayPattern" ||
+                    expr.left.kind === "objectPattern"
+                    ? expr.left
+                    : refreshExpression(expr.left, ctx),
+                right: refreshExpression(expr.right, ctx),
+            };
+        case "await": {
+            const expression = refreshExpression(expr.expression, ctx);
+            if (!("sourceBackedReturnType" in expression)) {
+                return {
+                    ...expr,
+                    expression,
+                };
+            }
+            const coherentSourceBackedReturnType = cohereAwaitedSourceBackedReturnType(expr.inferredType, expression.sourceBackedReturnType, ctx);
+            return {
+                ...expr,
+                expression: {
+                    ...expression,
+                    inferredType: coherentSourceBackedReturnType ?? expression.inferredType,
+                    sourceBackedReturnType: coherentSourceBackedReturnType,
+                },
+            };
+        }
+        case "unary":
+        case "update":
+        case "typeAssertion":
+        case "numericNarrowing":
+        case "asinterface":
+        case "trycast":
+            return {
+                ...expr,
+                expression: refreshExpression(expr.expression, ctx),
+            };
+        case "yield":
+            return {
+                ...expr,
+                expression: expr.expression
+                    ? refreshExpression(expr.expression, ctx)
+                    : undefined,
+            };
+        case "templateLiteral":
+            return {
+                ...expr,
+                expressions: expr.expressions.map((expression) => refreshExpression(expression, ctx)),
+            };
+        case "array":
+            return {
+                ...expr,
+                elements: expr.elements.map((element) => refreshSpreadArgument(element, ctx)),
+            };
+        case "object":
+            return {
+                ...expr,
+                properties: expr.properties.map((property) => property.kind === "spread"
+                    ? {
+                        ...property,
+                        expression: refreshExpression(property.expression, ctx),
+                    }
+                    : property.kind === "property"
+                        ? {
+                            ...property,
+                            value: refreshExpression(property.value, ctx),
+                        }
+                        : property),
+            };
+        case "arrowFunction":
+            return {
+                ...expr,
+                body: expr.body.kind === "blockStatement"
+                    ? refreshStatement(expr.body, ctx)
+                    : refreshExpression(expr.body, ctx),
+            };
+        case "functionExpression":
+            return {
+                ...expr,
+                body: refreshStatement(expr.body, ctx),
+            };
+        default:
+            return expr;
+    }
+};
+const refreshStatement = (stmt, ctx) => {
+    switch (stmt.kind) {
+        case "expressionStatement":
+            return {
+                ...stmt,
+                expression: refreshExpression(stmt.expression, ctx),
+            };
+        case "returnStatement":
+            return {
+                ...stmt,
+                expression: stmt.expression
+                    ? refreshExpression(stmt.expression, ctx)
+                    : undefined,
+            };
+        case "variableDeclaration":
+            return {
+                ...stmt,
+                declarations: stmt.declarations.map((declaration) => ({
+                    ...declaration,
+                    initializer: declaration.initializer
+                        ? refreshExpression(declaration.initializer, ctx)
+                        : undefined,
+                })),
+            };
+        case "ifStatement":
+            return {
+                ...stmt,
+                condition: refreshExpression(stmt.condition, ctx),
+                thenStatement: refreshStatement(stmt.thenStatement, ctx),
+                elseStatement: stmt.elseStatement
+                    ? refreshStatement(stmt.elseStatement, ctx)
+                    : undefined,
+            };
+        case "blockStatement":
+            return {
+                ...stmt,
+                statements: stmt.statements.map((statement) => refreshStatement(statement, ctx)),
+            };
+        case "forStatement":
+            return {
+                ...stmt,
+                initializer: stmt.initializer && stmt.initializer.kind !== "variableDeclaration"
+                    ? refreshExpression(stmt.initializer, ctx)
+                    : stmt.initializer
+                        ? refreshStatement(stmt.initializer, ctx)
+                        : undefined,
+                condition: stmt.condition
+                    ? refreshExpression(stmt.condition, ctx)
+                    : undefined,
+                update: stmt.update ? refreshExpression(stmt.update, ctx) : undefined,
+                body: refreshStatement(stmt.body, ctx),
+            };
+        case "forOfStatement":
+        case "forInStatement":
+            return {
+                ...stmt,
+                expression: refreshExpression(stmt.expression, ctx),
+                body: refreshStatement(stmt.body, ctx),
+            };
+        case "whileStatement":
+            return {
+                ...stmt,
+                condition: refreshExpression(stmt.condition, ctx),
+                body: refreshStatement(stmt.body, ctx),
+            };
+        case "switchStatement":
+            return {
+                ...stmt,
+                expression: refreshExpression(stmt.expression, ctx),
+                cases: stmt.cases.map((switchCase) => ({
+                    ...switchCase,
+                    test: switchCase.test
+                        ? refreshExpression(switchCase.test, ctx)
+                        : undefined,
+                    statements: switchCase.statements.map((statement) => refreshStatement(statement, ctx)),
+                })),
+            };
+        case "throwStatement":
+            return {
+                ...stmt,
+                expression: refreshExpression(stmt.expression, ctx),
+            };
+        case "tryStatement":
+            return {
+                ...stmt,
+                tryBlock: refreshStatement(stmt.tryBlock, ctx),
+                catchClause: stmt.catchClause
+                    ? {
+                        ...stmt.catchClause,
+                        body: refreshStatement(stmt.catchClause.body, ctx),
+                    }
+                    : undefined,
+                finallyBlock: stmt.finallyBlock
+                    ? refreshStatement(stmt.finallyBlock, ctx)
+                    : undefined,
+            };
+        case "functionDeclaration":
+            return {
+                ...stmt,
+                body: refreshStatement(stmt.body, ctx),
+            };
+        case "classDeclaration":
+            return {
+                ...stmt,
+                members: stmt.members.map((member) => {
+                    if (member.kind === "methodDeclaration" && member.body) {
+                        return {
+                            ...member,
+                            body: refreshStatement(member.body, ctx),
+                        };
+                    }
+                    if (member.kind === "constructorDeclaration" && member.body) {
+                        return {
+                            ...member,
+                            body: refreshStatement(member.body, ctx),
+                        };
+                    }
+                    if (member.kind === "propertyDeclaration") {
+                        return {
+                            ...member,
+                            initializer: member.initializer
+                                ? refreshExpression(member.initializer, ctx)
+                                : undefined,
+                            getterBody: member.getterBody
+                                ? refreshStatement(member.getterBody, ctx)
+                                : undefined,
+                            setterBody: member.setterBody
+                                ? refreshStatement(member.setterBody, ctx)
+                                : undefined,
+                        };
+                    }
+                    return member;
+                }),
+            };
+        default:
+            return stmt;
+    }
+};
+export const runCallResolutionRefreshPass = (modules, ctx) => ({
+    ok: true,
+    modules: modules.map((module) => ({
+        ...module,
+        body: module.body.map((statement) => refreshStatement(statement, ctx)),
+        exports: module.exports.map((entry) => entry.kind === "declaration"
+            ? {
+                ...entry,
+                declaration: refreshStatement(entry.declaration, ctx),
+            }
+            : entry),
+    })),
+});
+//# sourceMappingURL=call-resolution-refresh-pass.js.map

package/dist/ir/validation/call-resolution-refresh-pass.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"call-resolution-refresh-pass.js","sourceRoot":"","sources":["../../../src/ir/validation/call-resolution-refresh-pass.ts"],"names":[],"mappings":"AAEA,OAAO,EACL,gBAAgB,EAChB,qBAAqB,GACtB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EACL,0BAA0B,EAC1B,wBAAwB,GACzB,MAAM,oDAAoD,CAAC;AAC5D,OAAO,EAAE,gCAAgC,EAAE,MAAM,iEAAiE,CAAC;AACnH,OAAO,EACL,0BAA0B,EAC1B,0CAA0C,EAC1C,6BAA6B,GAC9B,MAAM,4DAA4D,CAAC;AAOpE,MAAM,0BAA0B,GAAG,CACjC,OAAqC,EACrC,IAAkC,EAClC,qBAA0C,EACZ,EAAE;IAChC,MAAM,iBAAiB,GACrB,IAAI,EAAE,IAAI,KAAK,UAAU;QACzB,IAAI,EAAE,IAAI,KAAK,aAAa;QAC5B,IAAI,EAAE,IAAI,KAAK,SAAS,CAAC;IAC3B,MAAM,iBAAiB,GACrB,OAAO;QACP,OAAO,CAAC,IAAI,KAAK,UAAU;QAC3B,OAAO,CAAC,IAAI,KAAK,aAAa;QAC9B,OAAO,CAAC,IAAI,KAAK,SAAS,CAAC;IAE7B,IAAI,iBAAiB,IAAI,iBAAiB,EAAE,CAAC;QAC3C,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,IAAI,qBAAqB,KAAK,KAAK,IAAI,OAAO,IAAI,IAAI,IAAI,iBAAiB,EAAE,CAAC;QAC5E,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,OAAO,IAAI,IAAI,OAAO,CAAC;AACzB,CAAC,CAAC;AAEF,MAAM,mCAAmC,GAAG,CAC1C,OAAqC,EACrC,gBAA0D,EAC1D,sBAAgE,EAClC,EAAE;IAChC,IAAI,gBAAgB,EAAE,CAAC;QACrB,OAAO,gBAAgB,CAAC;IAC1B,CAAC;IAED,MAAM,eAAe,GACnB,OAAO;QACP,OAAO,CAAC,IAAI,KAAK,UAAU;QAC3B,OAAO,CAAC,IAAI,KAAK,aAAa;QAC9B,OAAO,CAAC,IAAI,KAAK,SAAS;QACxB,CAAC,CAAC,OAAO;QACT,CAAC,CAAC,SAAS,CAAC;IAChB,IAAI,eAAe,EAAE,CAAC;QACpB,OAAO,eAAe,CAAC;IACzB,CAAC;IAED,OAAO,sBAAsB;QAC3B,sBAAsB,CAAC,IAAI,KAAK,UAAU;QAC1C,sBAAsB,CAAC,IAAI,KAAK,aAAa;QAC7C,sBAAsB,CAAC,IAAI,KAAK,SAAS;QACzC,CAAC,CAAC,sBAAsB;QACxB,CAAC,CAAC,gBAAgB,CAAC;AACvB,CAAC,CAAC;AAEF,MAAM,iCAAiC,GAAG,CACxC,IAAgD,EAC5B,EAAE;IACtB,MAAM,QAAQ,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;IAC7C,OAAO,QAAQ,KAAK,SAAS;QAC3B,CAAC,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;QAC3D,CAAC,CAAC,QAAQ;QACV,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC,CAAC;AAEF,MAAM,gCAAgC,GAAG,CACvC,IAAwB,EACxB,KAAyB,EAChB,EAAE;IACX,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,EAAE,CAAC;QAChD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,IAAI,KAAK,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;gBACnC,OAAO,KAAK,CAAC;YACf,CAAC;YACD,MAAM,YAAY,GAAG,iCAAiC,CAAC,IAAI,CAAC,CAAC;YAC7D,MAAM,aAAa,GAAG,iCAAiC,CAAC,KAAK,CAAC,CAAC;YAC/D,IAAI,YAAY,IAAI,aAAa,IAAI,YAAY,KAAK,aAAa,EAAE,CAAC;gBACpE,OAAO,IAAI,CAAC;YACd,CAAC;YACD,MAAM,QAAQ,GAAG,IAAI,CAAC,aAAa,IAAI,EAAE,CAAC;YAC1C,MAAM,SAAS,GAAG,KAAK,CAAC,aAAa,IAAI,EAAE,CAAC;YAC5C,IAAI,QAAQ,CAAC,MAAM,KAAK,SAAS,CAAC,MAAM,EAAE,CAAC;gBACzC,OAAO,KAAK,CAAC;YACf,CAAC;YACD,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC,YAAY,EAAE,KAAK,EAAE,EAAE,CAC3C,gCAAgC,CAAC,YAAY,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC,CACjE,CAAC;QACJ,CAAC;QACD,KAAK,WAAW;YACd,OAAO,CACL,KAAK,CAAC,IAAI,KAAK,WAAW;gBAC1B,gCAAgC,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,CAAC,WAAW,CAAC,CACtE,CAAC;QACJ,KAAK,gBAAgB;YACnB,OAAO,CACL,KAAK,CAAC,IAAI,KAAK,gBAAgB;gBAC/B,CAAC,gCAAgC,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC;oBAC5D,gCAAgC,CAAC,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC,CACrE,CAAC;QACJ,KAAK,WAAW;YACd,OAAO,CACL,KAAK,CAAC,IAAI,KAAK,WAAW;gBAC1B,IAAI,CAAC,YAAY,CAAC,MAAM,KAAK,KAAK,CAAC,YAAY,CAAC,MAAM;gBACtD,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,KAAK,EAAE,EAAE,CAC5C,gCAAgC,CAAC,WAAW,EAAE,KAAK,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CACzE,CACF,CAAC;QACJ,KAAK,cAAc;YACjB,OAAO,CACL,KAAK,CAAC,IAAI,KAAK,cAAc;gBAC7B,IAAI,CAAC,UAAU,CAAC,MAAM,KAAK,KAAK,CAAC,UAAU,CAAC,MAAM;gBAClD,CAAC,gCAAgC,CAAC,IAAI,CAAC,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC;oBAClE,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE,CACxC,gCAAgC,CAC9B,SAAS,CAAC,IAAI,EACd,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,IAAI,CAC9B,CACF,CAAC,CACL,CAAC;QACJ;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,4BAA4B,GAAG,CACnC,YAA0C,EAC1C,sBAAgE,EAChE,GAAmB,EACuB,EAAE;IAC5C,IACE,YAAY;QACZ,sBAAsB;QACtB,CAAC,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC,YAAY,EAAE,sBAAsB,CAAC;QAChE,gCAAgC,CAAC,YAAY,EAAE,sBAAsB,CAAC,EACtE,CAAC;QACD,OAAO,YAAY,CAAC;IACtB,CAAC;IAED,OAAO,sBAAsB,CAAC;AAChC,CAAC,CAAC;AAEF,MAAM,mCAAmC,GAAG,CAC1C,mBAAiD,EACjD,sBAAgE,EAChE,GAAmB,EACuB,EAAE;IAC5C,IAAI,CAAC,mBAAmB,IAAI,CAAC,sBAAsB,EAAE,CAAC;QACpD,OAAO,sBAAsB,CAAC;IAChC,CAAC;IAED,MAAM,iBAAiB,GACrB,gBAAgB,CAAC,sBAAsB,CAAC,IAAI,sBAAsB,CAAC;IACrE,IACE,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC,mBAAmB,EAAE,iBAAiB,CAAC;QACjE,CAAC,gCAAgC,CAAC,mBAAmB,EAAE,iBAAiB,CAAC,EACzE,CAAC;QACD,OAAO,sBAAsB,CAAC;IAChC,CAAC;IAED,OAAO,gBAAgB,CAAC,sBAAsB,CAAC;QAC7C,sBAAsB,CAAC,IAAI,KAAK,eAAe;QAC/C,CAAC,sBAAsB,CAAC,aAAa,EAAE,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC;QACzD,CAAC,CAAC;YACE,GAAG,sBAAsB;YACzB,aAAa,EAAE,CAAC,mBAAmB,CAAC;SACrC;QACH,CAAC,CAAC,mBAAmB,CAAC;AAC1B,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAC5B,QAAsE,EACtE,GAAmB,EACnB,EAAE,CACF,QAAQ,EAAE,IAAI,KAAK,QAAQ;IACzB,CAAC,CAAC,CAAC,GAAG,EAAE;QACJ,MAAM,UAAU,GAAG,iBAAiB,CAAC,QAAQ,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;QAC/D,OAAO;YACL,GAAG,QAAQ;YACX,UAAU;YACV,YAAY,EAAE,UAAU,CAAC,YAAY;SACtC,CAAC;IACJ,CAAC,CAAC,EAAE;IACN,CAAC,CAAC,QAAQ;QACR,CAAC,CAAC,iBAAiB,CAAC,QAAQ,EAAE,GAAG,CAAC;QAClC,CAAC,CAAC,QAAQ,CAAC;AAEjB,MAAM,iBAAiB,GAAG,CACxB,IAAkB,EAClB,GAAmB,EACL,EAAE;IAChB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,MAAM,MAAM,GAAG,iBAAiB,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;YACnD,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CACjD,QAAQ,CAAC,IAAI,KAAK,QAAQ;gBACxB,CAAC,CAAC,CAAC,GAAG,EAAE;oBACJ,MAAM,UAAU,GAAG,iBAAiB,CAAC,QAAQ,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;oBAC/D,OAAO;wBACL,GAAG,QAAQ;wBACX,UAAU;wBACV,YAAY,EAAE,UAAU,CAAC,YAAY;qBACtC,CAAC;gBACJ,CAAC,CAAC,EAAE;gBACN,CAAC,CAAC,iBAAiB,CAAC,QAAQ,EAAE,GAAG,CAAC,CACrC,CAAC;YAEF,MAAM,sBAAsB,GAAG,IAAI,CAAC,sBAAsB;gBACxD,CAAC,CAAE,iBAAiB,CAChB,IAAI,CAAC,sBAAsB,EAC3B,GAAG,CACmC;gBAC1C,CAAC,CAAC,SAAS,CAAC;YAEd,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBAC5D,OAAO;oBACL,GAAG,IAAI;oBACP,MAAM;oBACN,SAAS,EAAE,UAAU;oBACrB,sBAAsB;iBACvB,CAAC;YACJ,CAAC;YAED,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;gBACtB,OAAO;oBACL,GAAG,IAAI;oBACP,MAAM;oBACN,SAAS,EAAE,UAAU;oBACrB,sBAAsB;iBACvB,CAAC;YACJ,CAAC;YAED,MAAM,cAAc,GAAG,0BAA0B,CAAC,UAAU,CAAC,CAAC;YAC9D,MAAM,aAAa,GACjB,cAAc,CAAC,aAAa,GAAG,CAAC;gBAC9B,CAAC,CAAC,cAAc,CAAC,aAAa;gBAC9B,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC;YACxB,MAAM,QAAQ,GACZ,cAAc,CAAC,aAAa,GAAG,CAAC;gBAC9B,CAAC,CAAC,cAAc,CAAC,QAAQ;gBACzB,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAC1B,QAAQ,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,YAAY,CAC/D,CAAC;YACR,MAAM,SAAS,GAAG,GAAG,CAAC,UAAU,CAAC,uBAAuB,CACtD,IAAI,CAAC,WAAW,EAChB,IAAI,CAAC,qBAAqB,EAC1B;gBACE,aAAa;gBACb,YAAY,EACV,MAAM,CAAC,IAAI,KAAK,cAAc;oBAC5B,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,YAAY;oBAC5B,CAAC,CAAC,SAAS;gBACf,gBAAgB,EAAE,IAAI,CAAC,aAAa;gBACpC,QAAQ;gBACR,kBAAkB,EAAE,IAAI,CAAC,4BAA4B;aACtD,CACF,CAAC;YACF,MAAM,QAAQ,GAAG,SAAS,CAAC,QAAQ,CAAC;YACpC,MAAM,gCAAgC,GAAG,GAAG,CAAC,OAAO,KAAK,KAAK,CAAC;YAC/D,MAAM,6BAA6B,GAAG,gCAAgC,CACpE,MAAM,EACN,aAAa,EACb,GAAG,CACJ,CAAC;YACF,MAAM,6CAA6C,GACjD,gCAAgC;gBAC9B,CAAC,CAAC,6BAA6B,EAAE,cAAc;gBAC/C,CAAC,CAAC,SAAS,CAAC;YAChB,MAAM,kCAAkC,GACtC,gCAAgC;gBAC9B,CAAC,CAAC,6BAA6B,EAAE,UAAU;gBAC3C,CAAC,CAAC,SAAS,CAAC;YAChB,MAAM,gDAAgD,GACpD,CAAC,gCAAgC,IAAI,6BAA6B;gBAChE,CAAC,CAAC,IAAI,CAAC,qBAAqB;gBAC5B,CAAC,CAAC,SAAS,CAAC;YAChB,MAAM,0BAA0B,GAC9B,MAAM,CAAC,IAAI,KAAK,cAAc,IAAI,OAAO,MAAM,CAAC,QAAQ,KAAK,QAAQ;gBACnE,CAAC,CAAC,CAAC,GAAG,EAAE;oBACJ,MAAM,0BAA0B,GAAG,6BAA6B,CAC9D,MAAM,CAAC,MAAM,CAAC,YAAY,EAC1B,MAAM,CAAC,QAAQ,CAChB,CAAC;oBACF,OAAO,0BAA0B;wBAC/B,CAAC,CAAC,wBAAwB,CACtB,0BAA0B,EAC1B,aAAa,EACb,GAAG,EACH,QAAQ,EACR,IAAI,CAAC,aAAa,EAClB,IAAI,CAAC,4BAA4B,CAClC;wBACH,CAAC,CAAC,SAAS,CAAC;gBAChB,CAAC,CAAC,EAAE;gBACN,CAAC,CAAC,SAAS,CAAC;YAChB,MAAM,sBAAsB,GAC1B,MAAM,CAAC,YAAY,IAAI,MAAM,CAAC,YAAY,CAAC,IAAI,KAAK,aAAa;gBAC/D,CAAC,CAAC,wBAAwB,CACtB,MAAM,CAAC,YAAY,EACnB,aAAa,EACb,GAAG,EACH,QAAQ,EACR,IAAI,CAAC,aAAa,EAClB,IAAI,CAAC,4BAA4B,CAClC;gBACH,CAAC,CAAC,SAAS,CAAC;YAChB,MAAM,uCAAuC,GAC3C,0CAA0C,CAAC,MAAM,EAAE,aAAa,EAAE,GAAG,CAAC,CAAC;YACzE,MAAM,gDAAgD,GACpD,CAAC,CAAC,uCAAuC;gBACzC,CAAC,6CAA6C;gBAC9C,CAAC,IAAI,CAAC,iCAAiC;gBACvC,CAAC,gDAAgD,CAAC;YACpD,MAAM,2BAA2B,GAAG,0BAA0B,CAAC;gBAC7D,GAAG;gBACH,MAAM;gBACN,YAAY,EACV,MAAM,CAAC,IAAI,KAAK,cAAc;oBAC5B,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,YAAY;oBAC5B,CAAC,CAAC,SAAS;gBACf,YAAY,EACV,0BAA0B,EAAE,YAAY;oBACxC,sBAAsB,EAAE,YAAY;oBACpC,CAAC,MAAM,CAAC,YAAY,EAAE,IAAI,KAAK,cAAc;wBAC3C,CAAC,CAAC,MAAM,CAAC,YAAY;wBACrB,CAAC,CAAC,SAAS,CAAC;gBAChB,aAAa;gBACb,QAAQ;gBACR,gBAAgB,EAAE,IAAI,CAAC,aAAa;gBACpC,YAAY,EAAE,IAAI,CAAC,4BAA4B;gBAC/C,yBAAyB,EACvB,6BAA6B,EAAE,cAAc;gBAC/C,6CAA6C;gBAC7C,kCAAkC;gBAClC,0BAA0B,EAAE,IAAI,CAAC,0BAA0B;gBAC3D,iCAAiC,EAC/B,IAAI,CAAC,iCAAiC;gBACxC,sBAAsB,EAAE,IAAI,CAAC,sBAAsB;gBACnD,uCAAuC,EACrC,gDAAgD;gBAClD,iCAAiC,EAC/B,uCAAuC;gBACzC,sBAAsB,EAAE,QAAQ,EAAE,cAAc;gBAChD,6BAA6B,EAAE,QAAQ,EAAE,qBAAqB;gBAC9D,kBAAkB,EAAE,QAAQ,EAAE,UAAU;gBACxC,sBAAsB,EAAE,IAAI,CAAC,cAAc;gBAC3C,6BAA6B,EAAE,IAAI,CAAC,qBAAqB;gBACzD,wBAAwB,EAAE;oBACxB,0BAA0B,EAAE,QAAQ,EAAE,cAAc;oBACpD,sBAAsB,EAAE,QAAQ,EAAE,cAAc;iBACjD;gBACD,+BAA+B,EAAE;oBAC/B,0BAA0B,EAAE,QAAQ,EAAE,qBAAqB;wBACzD,0BAA0B,EAAE,QAAQ,EAAE,cAAc;oBACtD,sBAAsB,EAAE,QAAQ,EAAE,qBAAqB;wBACrD,sBAAsB,EAAE,QAAQ,EAAE,cAAc;iBACnD;gBACD,qBAAqB,EAAE;oBACrB,0BAA0B,EAAE,QAAQ,EAAE,UAAU;oBAChD,sBAAsB,EAAE,QAAQ,EAAE,UAAU;iBAC7C;gBACD,6BAA6B,EAC3B,gDAAgD;aACnD,CAAC,CAAC;YACH,MAAM,sBAAsB,GAAG,6BAA6B;gBAC1D,CAAC,CAAC,6BAA6B,CAAC,aAAa;gBAC7C,CAAC,CAAC,CAAC,IAAI,CAAC,yBAAyB;oBAC/B,QAAQ,EAAE,aAAa;oBACvB,IAAI,CAAC,aAAa,CAAC,CAAC;YACxB,MAAM,6BAA6B,GAAG,6BAA6B;gBACjE,CAAC,CAAC,6BAA6B,CAAC,aAAa;gBAC7C,CAAC,CAAC,CAAC,IAAI,CAAC,yBAAyB;oBAC/B,QAAQ,EAAE,oBAAoB;oBAC9B,IAAI,CAAC,oBAAoB,CAAC,CAAC;YAC/B,MAAM,8BAA8B,GAAG,4BAA4B,CACjE,IAAI,CAAC,YAAY,EACjB,2BAA2B,CAAC,sBAAsB,EAClD,GAAG,CACJ,CAAC;YAEF,OAAO;gBACL,GAAG,IAAI;gBACP,MAAM;gBACN,SAAS,EAAE,UAAU;gBACrB,sBAAsB;gBACtB,YAAY,EAAE,0BAA0B,CACtC,IAAI,CAAC,YAAY,EACjB,8BAA8B,IAAI,QAAQ,EAAE,UAAU,EACtD,QAAQ,EAAE,qBAAqB,CAChC;gBACD,cAAc,EAAE,2BAA2B,CAAC,cAAc;gBAC1D,qBAAqB,EACnB,2BAA2B,CAAC,qBAAqB;gBACnD,aAAa,EAAE,sBAAsB;gBACrC,oBAAoB,EAAE,6BAA6B;gBACnD,0BAA0B,EACxB,2BAA2B,CAAC,0BAA0B;gBACxD,iCAAiC,EAC/B,2BAA2B,CAAC,iCAAiC;gBAC/D,sBAAsB,EAAE,8BAA8B;aACvD,CAAC;QACJ,CAAC;QAED,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,MAAM,GAAG,iBAAiB,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;YACnD,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CACjD,QAAQ,CAAC,IAAI,KAAK,QAAQ;gBACxB,CAAC,CAAC,CAAC,GAAG,EAAE;oBACJ,MAAM,UAAU,GAAG,iBAAiB,CAAC,QAAQ,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;oBAC/D,OAAO;wBACL,GAAG,QAAQ;wBACX,UAAU;wBACV,YAAY,EAAE,UAAU,CAAC,YAAY;qBACtC,CAAC;gBACJ,CAAC,CAAC,EAAE;gBACN,CAAC,CAAC,iBAAiB,CAAC,QAAQ,EAAE,GAAG,CAAC,CACrC,CAAC;YAEF,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;gBACtB,OAAO;oBACL,GAAG,IAAI;oBACP,MAAM;oBACN,SAAS,EAAE,UAAU;iBACtB,CAAC;YACJ,CAAC;YAED,MAAM,QAAQ,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAC3C,QAAQ,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,YAAY,CAC/D,CAAC;YACF,MAAM,2BAA2B,GAAG,mCAAmC,CACrE,IAAI,CAAC,YAAY,EACjB,IAAI,CAAC,4BAA4B,EACjC,IAAI,CAAC,sBAAsB,CAC5B,CAAC;YACF,MAAM,QAAQ,GAAG,GAAG,CAAC,UAAU,CAAC,WAAW,CAAC;gBAC1C,KAAK,EAAE,IAAI,CAAC,WAAW;gBACvB,aAAa,EAAE,UAAU,CAAC,MAAM;gBAChC,gBAAgB,EAAE,IAAI,CAAC,aAAa;gBACpC,QAAQ;gBACR,kBAAkB,EAAE,2BAA2B;aAChD,CAAC,CAAC;YACH,MAAM,2BAA2B,GAAG,0BAA0B,CAAC;gBAC7D,GAAG;gBACH,MAAM;gBACN,YAAY,EACV,MAAM,CAAC,IAAI,KAAK,cAAc;oBAC5B,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,YAAY;oBAC5B,CAAC,CAAC,SAAS;gBACf,YAAY,EACV,MAAM,CAAC,YAAY,EAAE,IAAI,KAAK,cAAc;oBAC1C,CAAC,CAAC,MAAM,CAAC,YAAY;oBACrB,CAAC,CAAC,SAAS;gBACf,aAAa,EAAE,UAAU,CAAC,MAAM;gBAChC,QAAQ;gBACR,gBAAgB,EAAE,IAAI,CAAC,aAAa;gBACpC,YAAY,EAAE,2BAA2B;gBACzC,yBAAyB,EAAE,SAAS;gBACpC,6CAA6C,EAAE,SAAS;gBACxD,kCAAkC,EAAE,SAAS;gBAC7C,0BAA0B,EAAE,IAAI,CAAC,0BAA0B;gBAC3D,iCAAiC,EAC/B,IAAI,CAAC,iCAAiC;gBACxC,sBAAsB,EAAE,IAAI,CAAC,sBAAsB;gBACnD,uCAAuC,EAAE,SAAS;gBAClD,iCAAiC,EAAE,SAAS;gBAC5C,sBAAsB,EAAE,QAAQ,CAAC,cAAc;gBAC/C,6BAA6B,EAAE,QAAQ,CAAC,qBAAqB;gBAC7D,kBAAkB,EAAE,QAAQ,CAAC,UAAU;gBACvC,sBAAsB,EAAE,IAAI,CAAC,cAAc;gBAC3C,6BAA6B,EAAE,IAAI,CAAC,qBAAqB;gBACzD,wBAAwB,EAAE,EAAE;gBAC5B,+BAA+B,EAAE,EAAE;gBACnC,qBAAqB,EAAE,EAAE;gBACzB,6BAA6B,EAAE,KAAK;aACrC,CAAC,CAAC;YACH,MAAM,8BAA8B,GAAG,4BAA4B,CACjE,IAAI,CAAC,YAAY,EACjB,2BAA2B,CAAC,sBAAsB;gBAChD,IAAI,CAAC,sBAAsB,EAC7B,GAAG,CACJ,CAAC;YAEF,OAAO;gBACL,GAAG,IAAI;gBACP,MAAM;gBACN,SAAS,EAAE,UAAU;gBACrB,YAAY,EACV,8BAA8B;oBAC9B,QAAQ,CAAC,UAAU;oBACnB,IAAI,CAAC,YAAY;gBACnB,cAAc,EACZ,2BAA2B,CAAC,cAAc,IAAI,IAAI,CAAC,cAAc;gBACnE,qBAAqB,EACnB,2BAA2B,CAAC,qBAAqB;oBACjD,IAAI,CAAC,qBAAqB;gBAC5B,0BAA0B,EACxB,2BAA2B,CAAC,0BAA0B;oBACtD,IAAI,CAAC,0BAA0B;gBACjC,iCAAiC,EAC/B,2BAA2B,CAAC,iCAAiC;oBAC7D,IAAI,CAAC,iCAAiC;gBACxC,yBAAyB,EAAE,IAAI,CAAC,yBAAyB;gBACzD,sBAAsB,EAAE,8BAA8B;gBACtD,oBAAoB,EAClB,IAAI,CAAC,yBAAyB;oBAC9B,QAAQ,CAAC,oBAAoB;oBAC7B,IAAI,CAAC,oBAAoB;aAC5B,CAAC;QACJ,CAAC;QAED,KAAK,cAAc;YACjB,OAAO;gBACL,GAAG,IAAI;gBACP,MAAM,EAAE,iBAAiB,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC;gBAC3C,QAAQ,EACN,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ;oBAC/B,CAAC,CAAC,IAAI,CAAC,QAAQ;oBACf,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC;aAC5C,CAAC;QAEJ,KAAK,QAAQ,CAAC;QACd,KAAK,SAAS;YACZ,OAAO;gBACL,GAAG,IAAI;gBACP,IAAI,EAAE,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC;gBACvC,KAAK,EAAE,iBAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC;aAC1C,CAAC;QAEJ,KAAK,aAAa;YAChB,OAAO;gBACL,GAAG,IAAI;gBACP,SAAS,EAAE,iBAAiB,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC;gBACjD,QAAQ,EAAE,iBAAiB,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC;gBAC/C,SAAS,EAAE,iBAAiB,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC;aAClD,CAAC;QAEJ,KAAK,YAAY;YACf,OAAO;gBACL,GAAG,IAAI;gBACP,IAAI,EACF,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,mBAAmB;oBACtC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,cAAc;oBACjC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,eAAe;oBAChC,CAAC,CAAC,IAAI,CAAC,IAAI;oBACX,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC;gBACvC,KAAK,EAAE,iBAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC;aAC1C,CAAC;QAEJ,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,UAAU,GAAG,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;YAC3D,IAAI,CAAC,CAAC,wBAAwB,IAAI,UAAU,CAAC,EAAE,CAAC;gBAC9C,OAAO;oBACL,GAAG,IAAI;oBACP,UAAU;iBACX,CAAC;YACJ,CAAC;YAED,MAAM,8BAA8B,GAClC,mCAAmC,CACjC,IAAI,CAAC,YAAY,EACjB,UAAU,CAAC,sBAAsB,EACjC,GAAG,CACJ,CAAC;YACJ,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE;oBACV,GAAG,UAAU;oBACb,YAAY,EACV,8BAA8B,IAAI,UAAU,CAAC,YAAY;oBAC3D,sBAAsB,EAAE,8BAA8B;iBAClC;aACvB,CAAC;QACJ,CAAC;QAED,KAAK,OAAO,CAAC;QACb,KAAK,QAAQ,CAAC;QACd,KAAK,eAAe,CAAC;QACrB,KAAK,kBAAkB,CAAC;QACxB,KAAK,aAAa,CAAC;QACnB,KAAK,SAAS;YACZ,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC;aACpD,CAAC;QAEJ,KAAK,OAAO;YACV,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,IAAI,CAAC,UAAU;oBACzB,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC;oBACzC,CAAC,CAAC,SAAS;aACd,CAAC;QAEJ,KAAK,iBAAiB;YACpB,OAAO;gBACL,GAAG,IAAI;gBACP,WAAW,EAAE,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAC/C,iBAAiB,CAAC,UAAU,EAAE,GAAG,CAAC,CACnC;aACF,CAAC;QAEJ,KAAK,OAAO;YACV,OAAO;gBACL,GAAG,IAAI;gBACP,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CACtC,qBAAqB,CAAC,OAAO,EAAE,GAAG,CAAC,CACpC;aACF,CAAC;QAEJ,KAAK,QAAQ;YACX,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAC3C,QAAQ,CAAC,IAAI,KAAK,QAAQ;oBACxB,CAAC,CAAC;wBACE,GAAG,QAAQ;wBACX,UAAU,EAAE,iBAAiB,CAAC,QAAQ,CAAC,UAAU,EAAE,GAAG,CAAC;qBACxD;oBACH,CAAC,CAAC,QAAQ,CAAC,IAAI,KAAK,UAAU;wBAC5B,CAAC,CAAC;4BACE,GAAG,QAAQ;4BACX,KAAK,EAAE,iBAAiB,CAAC,QAAQ,CAAC,KAAK,EAAE,GAAG,CAAC;yBAC9C;wBACH,CAAC,CAAC,QAAQ,CACf;aACF,CAAC;QAEJ,KAAK,eAAe;YAClB,OAAO;gBACL,GAAG,IAAI;gBACP,IAAI,EACF,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,gBAAgB;oBACjC,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC;oBAClC,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC;aACxC,CAAC;QAEJ,KAAK,oBAAoB;YACvB,OAAO;gBACL,GAAG,IAAI;gBACP,IAAI,EAAE,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC;aACvC,CAAC;QAEJ;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CACvB,IAAO,EACP,GAAmB,EAChB,EAAE;IACL,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,qBAAqB;YACxB,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC;aAC/C,CAAC;QAET,KAAK,iBAAiB;YACpB,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,IAAI,CAAC,UAAU;oBACzB,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC;oBACzC,CAAC,CAAC,SAAS;aACT,CAAC;QAET,KAAK,qBAAqB;YACxB,OAAO;gBACL,GAAG,IAAI;gBACP,YAAY,EAAE,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;oBACpD,GAAG,WAAW;oBACd,WAAW,EAAE,WAAW,CAAC,WAAW;wBAClC,CAAC,CAAC,iBAAiB,CAAC,WAAW,CAAC,WAAW,EAAE,GAAG,CAAC;wBACjD,CAAC,CAAC,SAAS;iBACd,CAAC,CAAC;aACC,CAAC;QAET,KAAK,aAAa;YAChB,OAAO;gBACL,GAAG,IAAI;gBACP,SAAS,EAAE,iBAAiB,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC;gBACjD,aAAa,EAAE,gBAAgB,CAAC,IAAI,CAAC,aAAa,EAAE,GAAG,CAAC;gBACxD,aAAa,EAAE,IAAI,CAAC,aAAa;oBAC/B,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,aAAa,EAAE,GAAG,CAAC;oBAC3C,CAAC,CAAC,SAAS;aACT,CAAC;QAET,KAAK,gBAAgB;YACnB,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAC5C,gBAAgB,CAAC,SAAS,EAAE,GAAG,CAAC,CACjC;aACG,CAAC;QAET,KAAK,cAAc;YACjB,OAAO;gBACL,GAAG,IAAI;gBACP,WAAW,EACT,IAAI,CAAC,WAAW,IAAI,IAAI,CAAC,WAAW,CAAC,IAAI,KAAK,qBAAqB;oBACjE,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,CAAC;oBAC1C,CAAC,CAAC,IAAI,CAAC,WAAW;wBAChB,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,CAAC;wBACzC,CAAC,CAAC,SAAS;gBACjB,SAAS,EAAE,IAAI,CAAC,SAAS;oBACvB,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC;oBACxC,CAAC,CAAC,SAAS;gBACb,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS;gBACrE,IAAI,EAAE,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC;aAClC,CAAC;QAET,KAAK,gBAAgB,CAAC;QACtB,KAAK,gBAAgB;YACnB,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC;gBACnD,IAAI,EAAE,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC;aAClC,CAAC;QAET,KAAK,gBAAgB;YACnB,OAAO;gBACL,GAAG,IAAI;gBACP,SAAS,EAAE,iBAAiB,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC;gBACjD,IAAI,EAAE,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC;aAClC,CAAC;QAET,KAAK,iBAAiB;YACpB,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC;gBACnD,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;oBACrC,GAAG,UAAU;oBACb,IAAI,EAAE,UAAU,CAAC,IAAI;wBACnB,CAAC,CAAC,iBAAiB,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC;wBACzC,CAAC,CAAC,SAAS;oBACb,UAAU,EAAE,UAAU,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAClD,gBAAgB,CAAC,SAAS,EAAE,GAAG,CAAC,CACjC;iBACF,CAAC,CAAC;aACC,CAAC;QAET,KAAK,gBAAgB;YACnB,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC;aAC/C,CAAC;QAET,KAAK,cAAc;YACjB,OAAO;gBACL,GAAG,IAAI;gBACP,QAAQ,EAAE,gBAAgB,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC;gBAC9C,WAAW,EAAE,IAAI,CAAC,WAAW;oBAC3B,CAAC,CAAC;wBACE,GAAG,IAAI,CAAC,WAAW;wBACnB,IAAI,EAAE,gBAAgB,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,GAAG,CAAC;qBACnD;oBACH,CAAC,CAAC,SAAS;gBACb,YAAY,EAAE,IAAI,CAAC,YAAY;oBAC7B,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,YAAY,EAAE,GAAG,CAAC;oBAC1C,CAAC,CAAC,SAAS;aACT,CAAC;QAET,KAAK,qBAAqB;YACxB,OAAO;gBACL,GAAG,IAAI;gBACP,IAAI,EAAE,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC;aAClC,CAAC;QAET,KAAK,kBAAkB;YACrB,OAAO;gBACL,GAAG,IAAI;gBACP,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE;oBACnC,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;wBACvD,OAAO;4BACL,GAAG,MAAM;4BACT,IAAI,EAAE,gBAAgB,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC;yBACzC,CAAC;oBACJ,CAAC;oBACD,IAAI,MAAM,CAAC,IAAI,KAAK,wBAAwB,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;wBAC5D,OAAO;4BACL,GAAG,MAAM;4BACT,IAAI,EAAE,gBAAgB,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC;yBACzC,CAAC;oBACJ,CAAC;oBACD,IAAI,MAAM,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;wBAC1C,OAAO;4BACL,GAAG,MAAM;4BACT,WAAW,EAAE,MAAM,CAAC,WAAW;gCAC7B,CAAC,CAAC,iBAAiB,CAAC,MAAM,CAAC,WAAW,EAAE,GAAG,CAAC;gCAC5C,CAAC,CAAC,SAAS;4BACb,UAAU,EAAE,MAAM,CAAC,UAAU;gCAC3B,CAAC,CAAC,gBAAgB,CAAC,MAAM,CAAC,UAAU,EAAE,GAAG,CAAC;gCAC1C,CAAC,CAAC,SAAS;4BACb,UAAU,EAAE,MAAM,CAAC,UAAU;gCAC3B,CAAC,CAAC,gBAAgB,CAAC,MAAM,CAAC,UAAU,EAAE,GAAG,CAAC;gCAC1C,CAAC,CAAC,SAAS;yBACd,CAAC;oBACJ,CAAC;oBACD,OAAO,MAAM,CAAC;gBAChB,CAAC,CAAC;aACE,CAAC;QAET;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC1C,OAA4B,EAC5B,GAAmB,EACU,EAAE,CAAC,CAAC;IACjC,EAAE,EAAE,IAAI;IACR,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;QAChC,GAAG,MAAM;QACT,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,gBAAgB,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;QACtE,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CACpC,KAAK,CAAC,IAAI,KAAK,aAAa;YAC1B,CAAC,CAAC;gBACE,GAAG,KAAK;gBACR,WAAW,EAAE,gBAAgB,CAAC,KAAK,CAAC,WAAW,EAAE,GAAG,CAAC;aACtD;YACH,CAAC,CAAC,KAAK,CACV;KACF,CAAC,CAAC;CACJ,CAAC,CAAC"}

package/dist/ir/validation/char-validation-expressions.d.ts

@@ -0,0 +1,13 @@
+/**
+ * Char Validation — Expression, statement, and pattern validation walkers.
+ *
+ * Contains validateExpression, validateStatement, validateBlock,
+ * validatePattern, validateCharExpected, and validateClassMember.
+ */
+import { IrStatement, IrExpression, IrType, IrBlockStatement, IrPattern } from "../types.js";
+import type { CharValidationContext } from "./char-validation-types.js";
+export declare const validatePattern: (pattern: IrPattern, ctx: CharValidationContext) => void;
+export declare const validateExpression: (expr: IrExpression, ctx: CharValidationContext, expectedType?: IrType) => void;
+export declare const validateBlock: (block: IrBlockStatement | undefined, ctx: CharValidationContext, currentReturnType: IrType | undefined) => void;
+export declare const validateStatement: (stmt: IrStatement, ctx: CharValidationContext, currentReturnType: IrType | undefined) => void;
+//# sourceMappingURL=char-validation-expressions.d.ts.map