xbintsc 0.5.23 → 0.5.32

package/dist/src/checker/typecheck.js

@@ -0,0 +1,574 @@
+/**
+ * The type-aware half of the checker: declaration/assignment/return/argument
+ * assignability, property existence on annotated and inferred shapes, and the
+ * small amount of flow narrowing that makes those checks useful inside an
+ * `if (value !== null)` block.
+ *
+ * Every decision is conservative. When the model cannot name a type it uses
+ * `any`, and `any` is compatible with everything; a diagnostic is only emitted
+ * for a definite mismatch.
+ */
+import { SyntaxKind, } from "../ast/nodes.js";
+import { DiagnosticCode } from "../diagnostics/diagnostic.js";
+import { isAssignable, isDefinitelyNotCallable } from "./assignability.js";
+import { Flow, narrow, withoutNullish } from "./flow.js";
+import { ANY, printType, primitive, unionOf, unwrap, widenType } from "./type-model.js";
+import { TypeResolver } from "./type-system.js";
+import { typeCheckerMembers } from "./typecheck-types.js";
+import { fileNameOf, isUntypedNode } from "./source.js";
+/**
+ * Check declarations, assignments, returns, call arguments and property reads
+ * against the type model. Runs after the simpler passes; it only adds
+ * `TypeMismatch`, `NotCallable` and `PropertyNotFound` diagnostics.
+ */
+export function checkTypes(sourceFile, binding, diagnostics) {
+    new TypeChecker(sourceFile, binding, diagnostics).run();
+}
+export class TypeChecker {
+    sourceFile;
+    binding;
+    diagnostics;
+    resolver;
+    constructor(sourceFile, binding, diagnostics) {
+        this.sourceFile = sourceFile;
+        this.binding = binding;
+        this.diagnostics = diagnostics;
+        this.resolver = new TypeResolver(sourceFile, binding);
+    }
+    run() {
+        this.checkStatements(this.sourceFile.statements, new Flow(), { returnType: ANY });
+    }
+    // -- statements ----------------------------------------------------------
+    checkStatements(statements, flow, context) {
+        for (const statement of statements)
+            this.checkStatement(statement, flow, context);
+    }
+    checkStatement(statement, flow, context) {
+        if (isUntypedNode(this.sourceFile, statement))
+            return;
+        switch (statement.kind) {
+            case SyntaxKind.VariableStatement:
+                this.checkVariableList(statement.declarationList, flow, context);
+                return;
+            case SyntaxKind.ExpressionStatement:
+                this.checkExpression(statement.expression, flow, context);
+                return;
+            case SyntaxKind.ReturnStatement: {
+                const returned = statement.expression;
+                if (returned)
+                    this.checkAssignable(returned, context.returnType, flow, context);
+                return;
+            }
+            case SyntaxKind.IfStatement: {
+                const condition = statement.condition;
+                this.checkExpression(condition, flow, context);
+                this.checkStatement(statement.thenStatement, narrow(condition, true, flow, this.resolver), context);
+                const otherwise = statement.elseStatement;
+                if (otherwise)
+                    this.checkStatement(otherwise, narrow(condition, false, flow, this.resolver), context);
+                return;
+            }
+            case SyntaxKind.Block:
+                this.checkStatements(statement.statements, new Flow(flow), context);
+                return;
+            case SyntaxKind.FunctionDeclaration:
+                this.checkFunction(statement, flow, context.thisType);
+                return;
+            case SyntaxKind.ClassDeclaration:
+                this.checkClass(statement, flow);
+                return;
+            case SyntaxKind.ForStatement: {
+                const loop = statement;
+                const loopFlow = new Flow(flow);
+                if (loop.initializer) {
+                    if (loop.initializer.kind === SyntaxKind.VariableDeclarationList) {
+                        this.checkVariableList(loop.initializer, loopFlow, context);
+                    }
+                    else {
+                        this.checkExpression(loop.initializer, loopFlow, context);
+                    }
+                }
+                if (loop.condition)
+                    this.checkExpression(loop.condition, loopFlow, context);
+                if (loop.incrementor)
+                    this.checkExpression(loop.incrementor, loopFlow, context);
+                this.checkStatement(loop.statement, loopFlow, context);
+                return;
+            }
+            case SyntaxKind.ForOfStatement:
+                this.checkForOf(statement, flow, context);
+                return;
+            case SyntaxKind.ForInStatement: {
+                const loop = statement;
+                if (loop.initializer.kind === SyntaxKind.VariableDeclarationList) {
+                    const declaration = loop.initializer.declarations[0];
+                    const symbol = declaration ? this.binding.symbolOfDeclaration.get(declaration) : undefined;
+                    if (symbol && declaration?.name.kind === SyntaxKind.Identifier)
+                        this.resolver.setSymbolType(symbol.id, primitive("string"));
+                }
+                this.checkStatement(loop.statement, new Flow(flow), context);
+                return;
+            }
+            case SyntaxKind.WhileStatement:
+            case SyntaxKind.DoStatement: {
+                const loop = statement;
+                this.checkExpression(loop.condition, new Flow(flow), context);
+                this.checkStatement(loop.statement, new Flow(flow), context);
+                return;
+            }
+            case SyntaxKind.TryStatement: {
+                const attempt = statement;
+                this.checkStatements(attempt.tryBlock.statements, new Flow(flow), context);
+                if (attempt.catchClause) {
+                    const catchSymbol = attempt.catchClause.variable
+                        ? this.binding.symbolOfDeclaration.get(attempt.catchClause.variable)
+                        : undefined;
+                    if (catchSymbol)
+                        this.resolver.setSymbolType(catchSymbol.id, ANY);
+                    this.checkStatements(attempt.catchClause.block.statements, new Flow(flow), context);
+                }
+                if (attempt.finallyBlock)
+                    this.checkStatements(attempt.finallyBlock.statements, new Flow(flow), context);
+                return;
+            }
+            case SyntaxKind.SwitchStatement: {
+                const switchStatement = statement;
+                this.checkExpression(switchStatement.expression, flow, context);
+                for (const clause of switchStatement.clauses) {
+                    if (clause.expression)
+                        this.checkExpression(clause.expression, flow, context);
+                    this.checkStatements(clause.statements, new Flow(flow), context);
+                }
+                return;
+            }
+            case SyntaxKind.ThrowStatement:
+                this.checkExpression(statement.expression, flow, context);
+                return;
+            case SyntaxKind.LabeledStatement:
+                this.checkStatement(statement.statement, flow, context);
+                return;
+            case SyntaxKind.ExportAssignment:
+                this.checkExpression(statement.expression, flow, context);
+                return;
+            default:
+                return;
+        }
+    }
+    checkVariableList(list, flow, context) {
+        for (const declaration of list.declarations) {
+            const symbol = this.binding.symbolOfDeclaration.get(declaration);
+            const annotation = declaration.type ? this.resolver.resolve(declaration.type) : undefined;
+            const isSimple = declaration.name.kind === SyntaxKind.Identifier;
+            if (declaration.initializer) {
+                if (annotation && isSimple)
+                    this.checkAssignable(declaration.initializer, annotation, flow, context);
+                else
+                    this.checkExpression(declaration.initializer, flow, context);
+            }
+            if (!symbol || declaration.name.kind !== SyntaxKind.Identifier)
+                continue;
+            const inferred = annotation ?? (declaration.initializer ? this.resolver.inferExpression(declaration.initializer, (candidate) => this.lookup(candidate.id, flow)) : ANY);
+            // `let x = 1` has type number, not the literal 1; `const` keeps the literal.
+            const widened = list.declarationKind === "const" ? inferred : this.widen(inferred);
+            this.resolver.setSymbolType(symbol.id, widened);
+            // An alias can mutate the original through a path this pass cannot
+            // follow, so the original shape is no longer trusted.
+            const initializer = declaration.initializer ? unwrap(declaration.initializer) : undefined;
+            if (initializer?.kind === SyntaxKind.Identifier) {
+                const source = this.binding.symbolOfIdentifier.get(initializer);
+                if (source && this.lookup(source.id, flow).kind === "object")
+                    this.resolver.setSymbolType(source.id, ANY);
+            }
+        }
+    }
+    /** `let`/`var` widen literal and array-literal types (`let x = 1` is number). */
+    widen(type) {
+        return widenType(type);
+    }
+    checkForOf(loop, flow, context) {
+        const iterated = this.checkExpression(loop.expression, flow, context);
+        let element = ANY;
+        if (iterated.kind === "array")
+            element = iterated.element;
+        else if (iterated.kind === "tuple")
+            element = unionOf(iterated.elements);
+        else if (iterated.kind === "primitive" && iterated.name === "string")
+            element = primitive("string");
+        if (loop.initializer.kind === SyntaxKind.VariableDeclarationList) {
+            const declaration = loop.initializer.declarations[0];
+            const symbol = declaration ? this.binding.symbolOfDeclaration.get(declaration) : undefined;
+            if (symbol && declaration?.name.kind === SyntaxKind.Identifier) {
+                const annotated = declaration.type ? this.resolver.resolve(declaration.type) : undefined;
+                this.resolver.setSymbolType(symbol.id, annotated ?? element);
+            }
+        }
+        this.checkStatement(loop.statement, new Flow(flow), context);
+    }
+    checkFunction(node, flow, thisType) {
+        const returnType = node.returnType ? this.resolver.resolve(node.returnType) : ANY;
+        const child = new Flow(flow);
+        for (const parameter of node.parameters) {
+            const symbol = this.binding.symbolOfDeclaration.get(parameter);
+            if (symbol)
+                this.resolver.setSymbolType(symbol.id, parameter.type ? this.resolver.resolve(parameter.type) : ANY);
+        }
+        const context = { returnType, ...(thisType ? { thisType } : {}) };
+        if (!node.body)
+            return;
+        this.checkStatements(node.body.statements, child, context);
+    }
+    checkClass(node, flow) {
+        const thisType = this.resolver.classInstanceType(node);
+        for (const member of node.members) {
+            if (member.kind === SyntaxKind.ClassStaticBlockDeclaration) {
+                const block = member;
+                this.checkStatements(block.body.statements, new Flow(flow), { returnType: ANY });
+                continue;
+            }
+            if (member.kind === SyntaxKind.PropertyDeclaration) {
+                const property = member;
+                if (!property.initializer)
+                    continue;
+                if (property.type)
+                    this.checkAssignable(property.initializer, this.resolver.resolve(property.type), new Flow(flow), { returnType: ANY, thisType });
+                else
+                    this.checkExpression(property.initializer, new Flow(flow), { returnType: ANY, thisType });
+                continue;
+            }
+            if (member.kind === SyntaxKind.MethodDeclaration || member.kind === SyntaxKind.ConstructorDeclaration) {
+                const method = member;
+                const isStatic = method.modifiers.some((modifier) => modifier.modifierKind === "static");
+                if (!method.body)
+                    continue;
+                const child = new Flow(flow);
+                for (const parameter of method.parameters) {
+                    const symbol = this.binding.symbolOfDeclaration.get(parameter);
+                    if (symbol)
+                        this.resolver.setSymbolType(symbol.id, parameter.type ? this.resolver.resolve(parameter.type) : ANY);
+                }
+                const context = {
+                    returnType: method.returnType ? this.resolver.resolve(method.returnType) : ANY,
+                    ...(isStatic ? {} : { thisType }),
+                };
+                this.checkStatements(method.body.statements, child, context);
+            }
+        }
+    }
+    // -- expressions ---------------------------------------------------------
+    lookup(symbolId, flow) {
+        return flow.typeOf(symbolId) ?? this.resolver.typeOfSymbolId(symbolId) ?? ANY;
+    }
+    checkAssignable(expression, target, flow, context) {
+        if (target.kind === "any")
+            return this.checkExpression(expression, flow, context);
+        const source = this.checkExpression(expression, flow, context);
+        if (!isAssignable(source, target) && !isUntypedNode(this.sourceFile, expression)) {
+            this.report(DiagnosticCode.TypeMismatch, `Type '${printType(source)}' is not assignable to type '${printType(target)}'.`, expression);
+        }
+        return source;
+    }
+    report(code, message, node) {
+        this.diagnostics.error(code, message, node, fileNameOf(this.sourceFile, node));
+    }
+    checkExpression(expression, flow, context) {
+        if (isUntypedNode(this.sourceFile, expression))
+            return ANY;
+        switch (expression.kind) {
+            case SyntaxKind.NumericLiteral:
+            case SyntaxKind.StringLiteral:
+            case SyntaxKind.NoSubstitutionTemplateLiteral:
+            case SyntaxKind.BigIntLiteral:
+            case SyntaxKind.TrueKeyword:
+            case SyntaxKind.FalseKeyword:
+            case SyntaxKind.NullKeyword:
+            case SyntaxKind.UndefinedKeyword:
+                return this.resolver.inferExpression(expression, (symbol) => this.lookup(symbol.id, flow));
+            case SyntaxKind.Identifier: {
+                const symbol = this.binding.symbolOfIdentifier.get(expression);
+                return symbol ? this.lookup(symbol.id, flow) : ANY;
+            }
+            case SyntaxKind.ThisKeyword:
+                return context.thisType ?? ANY;
+            case SyntaxKind.PropertyAccessExpression: {
+                const access = expression;
+                const base = this.checkExpression(access.expression, flow, context);
+                if (access.name.kind !== SyntaxKind.Identifier)
+                    return ANY;
+                const name = access.name.text;
+                const found = this.lookupProperty(base, name);
+                if (found.missing) {
+                    this.report(DiagnosticCode.PropertyNotFound, `Property '${name}' does not exist on ${printType(base)}.`, access);
+                }
+                return found.type;
+            }
+            case SyntaxKind.ElementAccessExpression: {
+                const access = expression;
+                const base = this.checkExpression(access.expression, flow, context);
+                this.checkExpression(access.argumentExpression, flow, context);
+                const index = unwrap(access.argumentExpression);
+                // A symbol or computed key is not an array index (`arr[Symbol.iterator]`).
+                if (index.kind !== SyntaxKind.NumericLiteral)
+                    return ANY;
+                if (base.kind === "array")
+                    return base.element;
+                if (base.kind === "tuple")
+                    return base.elements[index.value] ?? ANY;
+                return ANY;
+            }
+            case SyntaxKind.CallExpression:
+                return this.checkCall(expression, flow, context);
+            case SyntaxKind.NewExpression: {
+                const call = expression;
+                for (const argument of call.arguments)
+                    this.checkExpression(argument, flow, context);
+                return this.resolver.inferExpression(call, (symbol) => this.lookup(symbol.id, flow));
+            }
+            case SyntaxKind.BinaryExpression:
+                return this.checkBinary(expression, flow, context);
+            case SyntaxKind.ConditionalExpression: {
+                const conditional = expression;
+                this.checkExpression(conditional.condition, flow, context);
+                const whenTrue = this.checkExpression(conditional.whenTrue, narrow(conditional.condition, true, flow, this.resolver), context);
+                const whenFalse = this.checkExpression(conditional.whenFalse, narrow(conditional.condition, false, flow, this.resolver), context);
+                return unionOf([whenTrue, whenFalse]);
+            }
+            case SyntaxKind.SequenceExpression: {
+                const sequence = expression;
+                let type = ANY;
+                for (const item of sequence.expressions)
+                    type = this.checkExpression(item, flow, context);
+                return type;
+            }
+            case SyntaxKind.ObjectLiteralExpression:
+                return this.checkObjectLiteral(expression, flow, context);
+            case SyntaxKind.ArrayLiteralExpression: {
+                const elements = expression.elements;
+                const types = elements.map((element) => {
+                    if (element.kind !== SyntaxKind.SpreadElement)
+                        return this.checkExpression(element, flow, context);
+                    const spread = this.checkExpression(element.expression, flow, context);
+                    return spread.kind === "array" ? spread.element : ANY;
+                });
+                return { kind: "array", element: unionOf(types) };
+            }
+            case SyntaxKind.ArrowFunction:
+                this.checkFunctionLike(expression, flow, context);
+                return this.resolver.inferExpression(expression, (symbol) => this.lookup(symbol.id, flow));
+            case SyntaxKind.FunctionExpression:
+                this.checkFunctionLike(expression, flow, context);
+                return this.resolver.inferExpression(expression, (symbol) => this.lookup(symbol.id, flow));
+            case SyntaxKind.AsExpression:
+                this.checkExpression(expression.expression, flow, context);
+                return this.resolver.resolve(expression.type);
+            case SyntaxKind.SatisfiesExpression:
+            case SyntaxKind.ParenthesizedExpression:
+                return this.checkExpression(expression.expression, flow, context);
+            case SyntaxKind.NonNullExpression:
+                return withoutNullish(this.checkExpression(expression.expression, flow, context));
+            case SyntaxKind.TypeOfExpression:
+                this.checkExpression(expression.expression, flow, context);
+                return primitive("string");
+            case SyntaxKind.VoidExpression: {
+                const operand = expression.expression;
+                if (operand)
+                    this.checkExpression(operand, flow, context);
+                return primitive("undefined");
+            }
+            case SyntaxKind.PrefixUnaryExpression: {
+                const unary = expression;
+                this.checkExpression(unary.operand, flow, context);
+                if (unary.operator === "!")
+                    return primitive("boolean");
+                if (unary.operator === "typeof")
+                    return primitive("string");
+                return primitive("number");
+            }
+            case SyntaxKind.PostfixUnaryExpression:
+                this.checkExpression(expression.operand, flow, context);
+                return primitive("number");
+            case SyntaxKind.AwaitExpression:
+                this.checkExpression(expression.expression, flow, context);
+                return ANY;
+            case SyntaxKind.TemplateLiteral: {
+                for (const span of expression.spans)
+                    this.checkExpression(span.expression, flow, context);
+                return primitive("string");
+            }
+            case SyntaxKind.TaggedTemplateExpression: {
+                const tagged = expression;
+                this.checkExpression(tagged.tag, flow, context);
+                this.checkExpression(tagged.template, flow, context);
+                return ANY;
+            }
+            case SyntaxKind.DeleteExpression:
+                this.checkExpression(expression.expression, flow, context);
+                return primitive("boolean");
+            case SyntaxKind.SpreadElement:
+                return this.checkExpression(expression.expression, flow, context);
+            default:
+                return ANY;
+        }
+    }
+    checkObjectLiteral(literal, flow, context) {
+        for (const property of literal.properties) {
+            if (property.kind === SyntaxKind.PropertyAssignment) {
+                this.checkExpression(property.initializer, flow, context);
+            }
+            else if (property.kind === SyntaxKind.ShorthandPropertyAssignment) {
+                this.checkExpression(property.name, flow, context);
+            }
+            else if (property.kind === SyntaxKind.SpreadElement) {
+                this.checkExpression(property.expression, flow, context);
+            }
+        }
+        return this.resolver.inferExpression(literal, (symbol) => this.lookup(symbol.id, flow));
+    }
+    checkFunctionLike(node, flow, context) {
+        const returnType = node.returnType ? this.resolver.resolve(node.returnType) : ANY;
+        const child = new Flow(flow);
+        for (const parameter of node.parameters) {
+            const symbol = this.binding.symbolOfDeclaration.get(parameter);
+            if (symbol)
+                this.resolver.setSymbolType(symbol.id, parameter.type ? this.resolver.resolve(parameter.type) : ANY);
+        }
+        const inner = { returnType, ...(context.thisType ? { thisType: context.thisType } : {}) };
+        if (node.body.kind === SyntaxKind.Block)
+            this.checkStatements(node.body.statements, child, inner);
+        else
+            this.checkAssignable(node.body, returnType, child, inner);
+    }
+    checkBinary(binary, flow, context) {
+        const assignment = binary.operator === "=";
+        if (assignment) {
+            const pattern = unwrap(binary.left);
+            // A destructuring assignment target is a pattern, not an object value.
+            if (pattern.kind === SyntaxKind.ObjectLiteralExpression || pattern.kind === SyntaxKind.ArrayLiteralExpression) {
+                return this.checkExpression(binary.right, flow, context);
+            }
+            const target = this.checkAssignmentTarget(binary.left, flow, context);
+            const value = this.checkExpression(binary.right, flow, context);
+            if (!isAssignable(value, target) && !isUntypedNode(this.sourceFile, binary.right)) {
+                this.report(DiagnosticCode.TypeMismatch, `Type '${printType(value)}' is not assignable to type '${printType(target)}'.`, binary.right);
+            }
+            return value;
+        }
+        if (binary.operator === "&&" || binary.operator === "||") {
+            const left = this.checkExpression(binary.left, flow, context);
+            const rightFlow = narrow(binary.left, binary.operator === "&&", flow, this.resolver);
+            const right = this.checkExpression(binary.right, rightFlow, context);
+            return unionOf([left, right]);
+        }
+        if (binary.operator === "??") {
+            const left = this.checkExpression(binary.left, flow, context);
+            const right = this.checkExpression(binary.right, narrow(binary.left, true, flow, this.resolver), context);
+            return unionOf([withoutNullish(left), right]);
+        }
+        this.checkExpression(binary.left, flow, context);
+        this.checkExpression(binary.right, flow, context);
+        return this.resolver.inferExpression(binary, (symbol) => this.lookup(symbol.id, flow));
+    }
+    /**
+     * The type a value is assigned into. A missing property is not reported on a
+     * write: xbintsc programs legitimately grow an object after its literal
+     * (`const o = {}; o.a = 1`), so the shape is opened instead.
+     */
+    checkAssignmentTarget(expression, flow, context) {
+        const target = unwrap(expression);
+        if (target.kind === SyntaxKind.Identifier) {
+            const symbol = this.binding.symbolOfIdentifier.get(target);
+            return symbol ? this.lookup(symbol.id, flow) : ANY;
+        }
+        if (target.kind === SyntaxKind.PropertyAccessExpression) {
+            const access = target;
+            const base = this.checkExpression(access.expression, flow, context);
+            if (access.name.kind !== SyntaxKind.Identifier)
+                return ANY;
+            const found = this.lookupProperty(base, access.name.text);
+            if (!found.missing)
+                return found.type;
+            const baseIdentifier = unwrap(access.expression);
+            if (baseIdentifier.kind === SyntaxKind.Identifier) {
+                const symbol = this.binding.symbolOfIdentifier.get(baseIdentifier);
+                if (symbol)
+                    this.resolver.setSymbolType(symbol.id, ANY);
+            }
+            return ANY;
+        }
+        if (target.kind === SyntaxKind.ElementAccessExpression) {
+            const access = target;
+            const base = this.checkExpression(access.expression, flow, context);
+            this.checkExpression(access.argumentExpression, flow, context);
+            return base.kind === "array" ? base.element : ANY;
+        }
+        return ANY;
+    }
+    checkCall(call, flow, context) {
+        this.openMutatedArguments(call, flow);
+        const callee = this.checkExpression(call.expression, flow, context);
+        if (isDefinitelyNotCallable(callee)) {
+            this.report(DiagnosticCode.NotCallable, `This expression is not callable; its type is '${printType(callee)}'.`, call.expression);
+            for (const argument of call.arguments)
+                this.checkExpression(argument, flow, context);
+            return ANY;
+        }
+        if (callee.kind !== "function") {
+            for (const argument of call.arguments)
+                this.checkExpression(argument, flow, context);
+            return ANY;
+        }
+        const substitutions = this.inferTypeArguments(callee, call, flow, context);
+        for (let index = 0; index < call.arguments.length; index++) {
+            const argument = call.arguments[index];
+            if (argument.kind === SyntaxKind.SpreadElement) {
+                this.checkExpression(argument.expression, flow, context);
+                continue;
+            }
+            const last = callee.parameters[callee.parameters.length - 1];
+            const parameter = index < callee.parameters.length - 1 ? callee.parameters[index] : last;
+            const argumentType = this.checkExpression(argument, flow, context);
+            if (!parameter)
+                continue;
+            const restElement = parameter.rest && parameter.type.kind === "array" ? parameter.type.element : parameter.type;
+            const expected = this.substitute(restElement, substitutions);
+            if (!isAssignable(argumentType, expected) && !isUntypedNode(this.sourceFile, argument)) {
+                this.report(DiagnosticCode.TypeMismatch, `Argument of type '${printType(argumentType)}' is not assignable to parameter of type '${printType(expected)}'.`, argument);
+            }
+        }
+        return this.substitute(callee.returnType, substitutions);
+    }
+    /** Calls can mutate an object argument; open its shape when they might. */
+    openMutatedArguments(call, flow) {
+        if (!this.callMayMutate(call))
+            return;
+        for (const argument of call.arguments) {
+            const target = unwrap(argument);
+            if (target.kind !== SyntaxKind.Identifier)
+                continue;
+            const symbol = this.binding.symbolOfIdentifier.get(target);
+            if (!symbol)
+                continue;
+            if (this.lookup(symbol.id, flow).kind === "object")
+                this.resolver.setSymbolType(symbol.id, ANY);
+        }
+    }
+    callMayMutate(call) {
+        const callee = unwrap(call.expression);
+        if (callee.kind !== SyntaxKind.PropertyAccessExpression)
+            return true;
+        const access = callee;
+        if (access.expression.kind !== SyntaxKind.Identifier || access.name.kind !== SyntaxKind.Identifier)
+            return true;
+        const owner = access.expression.text;
+        const method = access.name.text;
+        if (owner === "console" || owner === "String" || owner === "Number" || owner === "Boolean")
+            return false;
+        if (owner === "JSON" && method === "stringify")
+            return false;
+        if (owner === "Array" && method === "isArray")
+            return false;
+        return !(owner === "Object" &&
+            ["keys", "values", "entries", "getOwnPropertyNames", "getOwnPropertyDescriptor", "getOwnPropertyDescriptors", "getPrototypeOf", "isFrozen", "isSealed", "isExtensible", "hasOwn"].includes(method));
+    }
+}
+Object.assign(TypeChecker.prototype, typeCheckerMembers);
+//# sourceMappingURL=typecheck.js.map

package/dist/src/checker/typecheck.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"typecheck.js","sourceRoot":"","sources":["../../../src/checker/typecheck.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EACL,UAAU,GAwBX,MAAM,iBAAiB,CAAC;AAEzB,OAAO,EAAE,cAAc,EAAsB,MAAM,8BAA8B,CAAC;AAClF,OAAO,EAAE,YAAY,EAAE,uBAAuB,EAAE,MAAM,oBAAoB,CAAC;AAC3E,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,WAAW,CAAC;AACzD,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAa,MAAM,iBAAiB,CAAC;AACnG,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAChD,OAAO,EAAE,kBAAkB,EAA2B,MAAM,sBAAsB,CAAC;AACnF,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAOxD;;;;GAIG;AACH,MAAM,UAAU,UAAU,CACxB,UAA0B,EAC1B,OAAmB,EACnB,WAA0B;IAE1B,IAAI,WAAW,CAAC,UAAU,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC,GAAG,EAAE,CAAC;AAC1D,CAAC;AAED,MAAM,OAAO,WAAW;IAIX;IACA;IACA;IALF,QAAQ,CAAe;IAEhC,YACW,UAA0B,EAC1B,OAAmB,EACnB,WAA0B;QAF1B,eAAU,GAAV,UAAU,CAAgB;QAC1B,YAAO,GAAP,OAAO,CAAY;QACnB,gBAAW,GAAX,WAAW,CAAe;QAEnC,IAAI,CAAC,QAAQ,GAAG,IAAI,YAAY,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IACxD,CAAC;IAED,GAAG;QACD,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,EAAE,IAAI,IAAI,EAAE,EAAE,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC,CAAC;IACpF,CAAC;IAED,2EAA2E;IAEnE,eAAe,CAAC,UAAgC,EAAE,IAAU,EAAE,OAAqB;QACzF,KAAK,MAAM,SAAS,IAAI,UAAU;YAAE,IAAI,CAAC,cAAc,CAAC,SAAS,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IACpF,CAAC;IAEO,cAAc,CAAC,SAAoB,EAAE,IAAU,EAAE,OAAqB;QAC5E,IAAI,aAAa,CAAC,IAAI,CAAC,UAAU,EAAE,SAAS,CAAC;YAAE,OAAO;QACtD,QAAQ,SAAS,CAAC,IAAI,EAAE,CAAC;YACvB,KAAK,UAAU,CAAC,iBAAiB;gBAC/B,IAAI,CAAC,iBAAiB,CAAE,SAA+B,CAAC,eAAe,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;gBACxF,OAAO;YACT,KAAK,UAAU,CAAC,mBAAmB;gBACjC,IAAI,CAAC,eAAe,CAAE,SAAmD,CAAC,UAAU,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;gBACrG,OAAO;YACT,KAAK,UAAU,CAAC,eAAe,CAAC,CAAC,CAAC;gBAChC,MAAM,QAAQ,GAAI,SAA6B,CAAC,UAAU,CAAC;gBAC3D,IAAI,QAAQ;oBAAE,IAAI,CAAC,eAAe,CAAC,QAAQ,EAAE,OAAO,CAAC,UAAU,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;gBAChF,OAAO;YACT,CAAC;YACD,KAAK,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC;gBAC5B,MAAM,SAAS,GAAI,SAAyB,CAAC,SAAS,CAAC;gBACvD,IAAI,CAAC,eAAe,CAAC,SAAS,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;gBAC/C,IAAI,CAAC,cAAc,CAAE,SAAyB,CAAC,aAAa,EAAE,MAAM,CAAC,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC,CAAC;gBACrH,MAAM,SAAS,GAAI,SAAyB,CAAC,aAAa,CAAC;gBAC3D,IAAI,SAAS;oBAAE,IAAI,CAAC,cAAc,CAAC,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC,CAAC;gBACtG,OAAO;YACT,CAAC;YACD,KAAK,UAAU,CAAC,KAAK;gBACnB,IAAI,CAAC,eAAe,CAAE,SAAmB,CAAC,UAAU,EAAE,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;gBAC/E,OAAO;YACT,KAAK,UAAU,CAAC,mBAAmB;gBACjC,IAAI,CAAC,aAAa,CAAC,SAAgC,EAAE,IAAI,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;gBAC7E,OAAO;YACT,KAAK,UAAU,CAAC,gBAAgB;gBAC9B,IAAI,CAAC,UAAU,CAAC,SAA6B,EAAE,IAAI,CAAC,CAAC;gBACrD,OAAO;YACT,KAAK,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC;gBAC7B,MAAM,IAAI,GAAG,SAAyB,CAAC;gBACvC,MAAM,QAAQ,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC;gBAChC,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;oBACrB,IAAI,IAAI,CAAC,WAAW,CAAC,IAAI,KAAK,UAAU,CAAC,uBAAuB,EAAE,CAAC;wBACjE,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,WAAsC,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;oBACzF,CAAC;yBAAM,CAAC;wBACN,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,WAAyB,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;oBAC1E,CAAC;gBACH,CAAC;gBACD,IAAI,IAAI,CAAC,SAAS;oBAAE,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,SAAS,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;gBAC5E,IAAI,IAAI,CAAC,WAAW;oBAAE,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,WAAW,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;gBAChF,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,SAAS,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;gBACvD,OAAO;YACT,CAAC;YACD,KAAK,UAAU,CAAC,cAAc;gBAC5B,IAAI,CAAC,UAAU,CAAC,SAA2B,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;gBAC5D,OAAO;YACT,KAAK,UAAU,CAAC,cAAc,CAAC,CAAC,CAAC;gBAC/B,MAAM,IAAI,GAAG,SAAmG,CAAC;gBACjH,IAAI,IAAI,CAAC,WAAW,CAAC,IAAI,KAAK,UAAU,CAAC,uBAAuB,EAAE,CAAC;oBACjE,MAAM,WAAW,GAAG,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;oBACrD,MAAM,MAAM,GAAG,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,mBAAmB,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;oBAC3F,IAAI,MAAM,IAAI,WAAW,EAAE,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,UAAU;wBAAE,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,MAAM,CAAC,EAAE,EAAE,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC;gBAC9H,CAAC;gBACD,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;gBAC7D,OAAO;YACT,CAAC;YACD,KAAK,UAAU,CAAC,cAAc,CAAC;YAC/B,KAAK,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC;gBAC5B,MAAM,IAAI,GAAG,SAAuE,CAAC;gBACrF,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;gBAC9D,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;gBAC7D,OAAO;YACT,CAAC;YACD,KAAK,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC;gBAC7B,MAAM,OAAO,GAAG,SAAyB,CAAC;gBAC1C,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,QAAQ,CAAC,UAAU,EAAE,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;gBAC3E,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC;oBACxB,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,CAAC,QAAQ;wBAC9C,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,mBAAmB,CAAC,GAAG,CAAC,OAAO,CAAC,WAAW,CAAC,QAAQ,CAAC;wBACpE,CAAC,CAAC,SAAS,CAAC;oBACd,IAAI,WAAW;wBAAE,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,WAAW,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;oBAClE,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,WAAW,CAAC,KAAK,CAAC,UAAU,EAAE,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;gBACtF,CAAC;gBACD,IAAI,OAAO,CAAC,YAAY;oBAAE,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,YAAY,CAAC,UAAU,EAAE,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;gBACzG,OAAO;YACT,CAAC;YACD,KAAK,UAAU,CAAC,eAAe,CAAC,CAAC,CAAC;gBAChC,MAAM,eAAe,GAAG,SAAmH,CAAC;gBAC5I,IAAI,CAAC,eAAe,CAAC,eAAe,CAAC,UAAU,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;gBAChE,KAAK,MAAM,MAAM,IAAI,eAAe,CAAC,OAAO,EAAE,CAAC;oBAC7C,IAAI,MAAM,CAAC,UAAU;wBAAE,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,UAAU,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;oBAC9E,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,UAAU,EAAE,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;gBACnE,CAAC;gBACD,OAAO;YACT,CAAC;YACD,KAAK,UAAU,CAAC,cAAc;gBAC5B,IAAI,CAAC,eAAe,CAAE,SAAmD,CAAC,UAAU,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;gBACrG,OAAO;YACT,KAAK,UAAU,CAAC,gBAAgB;gBAC9B,IAAI,CAAC,cAAc,CAAE,SAAiD,CAAC,SAAS,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;gBACjG,OAAO;YACT,KAAK,UAAU,CAAC,gBAAgB;gBAC9B,IAAI,CAAC,eAAe,CAAE,SAAmD,CAAC,UAAU,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;gBACrG,OAAO;YACT;gBACE,OAAO;QACX,CAAC;IACH,CAAC;IAEO,iBAAiB,CAAC,IAA6B,EAAE,IAAU,EAAE,OAAqB;QACxF,KAAK,MAAM,WAAW,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;YAC5C,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,mBAAmB,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;YACjE,MAAM,UAAU,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YAC1F,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,UAAU,CAAC;YACjE,IAAI,WAAW,CAAC,WAAW,EAAE,CAAC;gBAC5B,IAAI,UAAU,IAAI,QAAQ;oBAAE,IAAI,CAAC,eAAe,CAAC,WAAW,CAAC,WAAW,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;;oBAChG,IAAI,CAAC,eAAe,CAAC,WAAW,CAAC,WAAW,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;YACpE,CAAC;YACD,IAAI,CAAC,MAAM,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,UAAU;gBAAE,SAAS;YACzE,MAAM,QAAQ,GAAG,UAAU,IAAI,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,eAAe,CAAC,WAAW,CAAC,WAAW,EAAE,CAAC,SAAS,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;YACxK,6EAA6E;YAC7E,MAAM,OAAO,GAAG,IAAI,CAAC,eAAe,KAAK,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;YACnF,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,MAAM,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;YAChD,mEAAmE;YACnE,sDAAsD;YACtD,MAAM,WAAW,GAAG,WAAW,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YAC1F,IAAI,WAAW,EAAE,IAAI,KAAK,UAAU,CAAC,UAAU,EAAE,CAAC;gBAChD,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,kBAAkB,CAAC,GAAG,CAAC,WAAyB,CAAC,CAAC;gBAC9E,IAAI,MAAM,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;oBAAE,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,MAAM,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;YAC5G,CAAC;QACH,CAAC;IACH,CAAC;IAED,iFAAiF;IACzE,KAAK,CAAC,IAAU;QACtB,OAAO,SAAS,CAAC,IAAI,CAAC,CAAC;IACzB,CAAC;IAEO,UAAU,CAAC,IAAoB,EAAE,IAAU,EAAE,OAAqB;QACxE,MAAM,QAAQ,GAAG,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;QACtE,IAAI,OAAO,GAAS,GAAG,CAAC;QACxB,IAAI,QAAQ,CAAC,IAAI,KAAK,OAAO;YAAE,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC;aACrD,IAAI,QAAQ,CAAC,IAAI,KAAK,OAAO;YAAE,OAAO,GAAG,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;aACpE,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC;QACpG,IAAI,IAAI,CAAC,WAAW,CAAC,IAAI,KAAK,UAAU,CAAC,uBAAuB,EAAE,CAAC;YACjE,MAAM,WAAW,GAAG,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;YACrD,MAAM,MAAM,GAAG,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,mBAAmB,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YAC3F,IAAI,MAAM,IAAI,WAAW,EAAE,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,UAAU,EAAE,CAAC;gBAC/D,MAAM,SAAS,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;gBACzF,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,MAAM,CAAC,EAAE,EAAE,SAAS,IAAI,OAAO,CAAC,CAAC;YAC/D,CAAC;QACH,CAAC;QACD,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;IAC/D,CAAC;IAEO,aAAa,CAAC,IAAyB,EAAE,IAAU,EAAE,QAA0B;QACrF,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QAClF,MAAM,KAAK,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7B,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YACxC,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,mBAAmB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YAC/D,IAAI,MAAM;gBAAE,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,MAAM,CAAC,EAAE,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QACnH,CAAC;QACD,MAAM,OAAO,GAAiB,EAAE,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;QAChF,IAAI,CAAC,IAAI,CAAC,IAAI;YAAE,OAAO;QACvB,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IAC7D,CAAC;IAEO,UAAU,CAAC,IAAsB,EAAE,IAAU;QACnD,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;QACvD,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YAClC,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,2BAA2B,EAAE,CAAC;gBAC3D,MAAM,KAAK,GAAG,MAAoC,CAAC;gBACnD,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC,CAAC;gBACjF,SAAS;YACX,CAAC;YACD,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,mBAAmB,EAAE,CAAC;gBACnD,MAAM,QAAQ,GAAG,MAA4F,CAAC;gBAC9G,IAAI,CAAC,QAAQ,CAAC,WAAW;oBAAE,SAAS;gBACpC,IAAI,QAAQ,CAAC,IAAI;oBAAE,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,WAAW,EAAE,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,UAAU,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC,CAAC;;oBAC9I,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,WAAW,EAAE,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,UAAU,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC,CAAC;gBAC/F,SAAS;YACX,CAAC;YACD,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,iBAAiB,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,sBAAsB,EAAE,CAAC;gBACtG,MAAM,MAAM,GAAG,MAAgL,CAAC;gBAChM,MAAM,QAAQ,GAAG,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,YAAY,KAAK,QAAQ,CAAC,CAAC;gBACzF,IAAI,CAAC,MAAM,CAAC,IAAI;oBAAE,SAAS;gBAC3B,MAAM,KAAK,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC7B,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;oBAC1C,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,mBAAmB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;oBAC/D,IAAI,MAAM;wBAAE,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,MAAM,CAAC,EAAE,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;gBACnH,CAAC;gBACD,MAAM,OAAO,GAAiB;oBAC5B,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,GAAG;oBAC9E,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC;iBAClC,CAAC;gBACF,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;YAC/D,CAAC;QACH,CAAC;IACH,CAAC;IAED,2EAA2E;IAE3E,MAAM,CAAC,QAAgB,EAAE,IAAU;QACjC,OAAO,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,cAAc,CAAC,QAAQ,CAAC,IAAI,GAAG,CAAC;IAChF,CAAC;IAEO,eAAe,CAAC,UAAsB,EAAE,MAAY,EAAE,IAAU,EAAE,OAAqB;QAC7F,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK;YAAE,OAAO,IAAI,CAAC,eAAe,CAAC,UAAU,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;QAClF,MAAM,MAAM,GAAG,IAAI,CAAC,eAAe,CAAC,UAAU,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;QAC/D,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,UAAU,EAAE,UAAU,CAAC,EAAE,CAAC;YACjF,IAAI,CAAC,MAAM,CACT,cAAc,CAAC,YAAY,EAC3B,SAAS,SAAS,CAAC,MAAM,CAAC,gCAAgC,SAAS,CAAC,MAAM,CAAC,IAAI,EAC/E,UAAU,CACX,CAAC;QACJ,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IAEO,MAAM,CAAC,IAAoB,EAAE,OAAe,EAAE,IAAgB;QACpE,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC;IACjF,CAAC;IAED,eAAe,CAAC,UAAsB,EAAE,IAAU,EAAE,OAAqB;QACvE,IAAI,aAAa,CAAC,IAAI,CAAC,UAAU,EAAE,UAAU,CAAC;YAAE,OAAO,GAAG,CAAC;QAC3D,QAAQ,UAAU,CAAC,IAAI,EAAE,CAAC;YACxB,KAAK,UAAU,CAAC,cAAc,CAAC;YAC/B,KAAK,UAAU,CAAC,aAAa,CAAC;YAC9B,KAAK,UAAU,CAAC,6BAA6B,CAAC;YAC9C,KAAK,UAAU,CAAC,aAAa,CAAC;YAC9B,KAAK,UAAU,CAAC,WAAW,CAAC;YAC5B,KAAK,UAAU,CAAC,YAAY,CAAC;YAC7B,KAAK,UAAU,CAAC,WAAW,CAAC;YAC5B,KAAK,UAAU,CAAC,gBAAgB;gBAC9B,OAAO,IAAI,CAAC,QAAQ,CAAC,eAAe,CAAC,UAAU,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC;YAC7F,KAAK,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC;gBAC3B,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,kBAAkB,CAAC,GAAG,CAAC,UAAwB,CAAC,CAAC;gBAC7E,OAAO,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;YACrD,CAAC;YACD,KAAK,UAAU,CAAC,WAAW;gBACzB,OAAO,OAAO,CAAC,QAAQ,IAAI,GAAG,CAAC;YACjC,KAAK,UAAU,CAAC,wBAAwB,CAAC,CAAC,CAAC;gBACzC,MAAM,MAAM,GAAG,UAAsC,CAAC;gBACtD,MAAM,IAAI,GAAG,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,UAAU,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;gBACpE,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,UAAU;oBAAE,OAAO,GAAG,CAAC;gBAC3D,MAAM,IAAI,GAAI,MAAM,CAAC,IAAmB,CAAC,IAAI,CAAC;gBAC9C,MAAM,KAAK,GAAG,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;gBAC9C,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;oBAClB,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,gBAAgB,EAAE,aAAa,IAAI,uBAAuB,SAAS,CAAC,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;gBACnH,CAAC;gBACD,OAAO,KAAK,CAAC,IAAI,CAAC;YACpB,CAAC;YACD,KAAK,UAAU,CAAC,uBAAuB,CAAC,CAAC,CAAC;gBACxC,MAAM,MAAM,GAAG,UAAmF,CAAC;gBACnG,MAAM,IAAI,GAAG,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,UAAU,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;gBACpE,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,kBAAkB,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;gBAC/D,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,kBAAkB,CAAC,CAAC;gBAChD,2EAA2E;gBAC3E,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,CAAC,cAAc;oBAAE,OAAO,GAAG,CAAC;gBACzD,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;oBAAE,OAAO,IAAI,CAAC,OAAO,CAAC;gBAC/C,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;oBAAE,OAAO,IAAI,CAAC,QAAQ,CAAE,KAAsC,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC;gBACtG,OAAO,GAAG,CAAC;YACb,CAAC;YACD,KAAK,UAAU,CAAC,cAAc;gBAC5B,OAAO,IAAI,CAAC,SAAS,CAAC,UAA4B,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;YACrE,KAAK,UAAU,CAAC,aAAa,CAAC,CAAC,CAAC;gBAC9B,MAAM,IAAI,GAAG,UAA2B,CAAC;gBACzC,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,SAAS;oBAAE,IAAI,CAAC,eAAe,CAAC,QAAQ,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;gBACrF,OAAO,IAAI,CAAC,QAAQ,CAAC,eAAe,CAAC,IAAI,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC;YACvF,CAAC;YACD,KAAK,UAAU,CAAC,gBAAgB;gBAC9B,OAAO,IAAI,CAAC,WAAW,CAAC,UAA8B,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;YACzE,KAAK,UAAU,CAAC,qBAAqB,CAAC,CAAC,CAAC;gBACtC,MAAM,WAAW,GAAG,UAAmC,CAAC;gBACxD,IAAI,CAAC,eAAe,CAAC,WAAW,CAAC,SAAS,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;gBAC3D,MAAM,QAAQ,GAAG,IAAI,CAAC,eAAe,CAAC,WAAW,CAAC,QAAQ,EAAE,MAAM,CAAC,WAAW,CAAC,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC,CAAC;gBAC/H,MAAM,SAAS,GAAG,IAAI,CAAC,eAAe,CAAC,WAAW,CAAC,SAAS,EAAE,MAAM,CAAC,WAAW,CAAC,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC,CAAC;gBAClI,OAAO,OAAO,CAAC,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC;YACxC,CAAC;YACD,KAAK,UAAU,CAAC,kBAAkB,CAAC,CAAC,CAAC;gBACnC,MAAM,QAAQ,GAAG,UAAsD,CAAC;gBACxE,IAAI,IAAI,GAAS,GAAG,CAAC;gBACrB,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,WAAW;oBAAE,IAAI,GAAG,IAAI,CAAC,eAAe,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;gBAC1F,OAAO,IAAI,CAAC;YACd,CAAC;YACD,KAAK,UAAU,CAAC,uBAAuB;gBACrC,OAAO,IAAI,CAAC,kBAAkB,CAAC,UAAqC,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;YACvF,KAAK,UAAU,CAAC,sBAAsB,CAAC,CAAC,CAAC;gBACvC,MAAM,QAAQ,GAAI,UAAoD,CAAC,QAAQ,CAAC;gBAChF,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE;oBACrC,IAAI,OAAO,CAAC,IAAI,KAAK,UAAU,CAAC,aAAa;wBAAE,OAAO,IAAI,CAAC,eAAe,CAAC,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;oBACnG,MAAM,MAAM,GAAG,IAAI,CAAC,eAAe,CAAE,OAAiD,CAAC,UAAU,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;oBAClH,OAAO,MAAM,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;gBACxD,CAAC,CAAC,CAAC;gBACH,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACpD,CAAC;YACD,KAAK,UAAU,CAAC,aAAa;gBAC3B,IAAI,CAAC,iBAAiB,CAAC,UAA2B,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;gBACnE,OAAO,IAAI,CAAC,QAAQ,CAAC,eAAe,CAAC,UAAU,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC;YAC7F,KAAK,UAAU,CAAC,kBAAkB;gBAChC,IAAI,CAAC,iBAAiB,CAAC,UAAgC,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;gBACxE,OAAO,IAAI,CAAC,QAAQ,CAAC,eAAe,CAAC,UAAU,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC;YAC7F,KAAK,UAAU,CAAC,YAAY;gBAC1B,IAAI,CAAC,eAAe,CAAE,UAAoD,CAAC,UAAU,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;gBACtG,OAAO,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAE,UAAsE,CAAC,IAAI,CAAC,CAAC;YAC7G,KAAK,UAAU,CAAC,mBAAmB,CAAC;YACpC,KAAK,UAAU,CAAC,uBAAuB;gBACrC,OAAO,IAAI,CAAC,eAAe,CAAE,UAAoD,CAAC,UAAU,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;YAC/G,KAAK,UAAU,CAAC,iBAAiB;gBAC/B,OAAO,cAAc,CAAC,IAAI,CAAC,eAAe,CAAE,UAAoD,CAAC,UAAU,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;YAC/H,KAAK,UAAU,CAAC,gBAAgB;gBAC9B,IAAI,CAAC,eAAe,CAAE,UAAoD,CAAC,UAAU,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;gBACtG,OAAO,SAAS,CAAC,QAAQ,CAAC,CAAC;YAC7B,KAAK,UAAU,CAAC,cAAc,CAAC,CAAC,CAAC;gBAC/B,MAAM,OAAO,GAAI,UAAqD,CAAC,UAAU,CAAC;gBAClF,IAAI,OAAO;oBAAE,IAAI,CAAC,eAAe,CAAC,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;gBAC1D,OAAO,SAAS,CAAC,WAAW,CAAC,CAAC;YAChC,CAAC;YACD,KAAK,UAAU,CAAC,qBAAqB,CAAC,CAAC,CAAC;gBACtC,MAAM,KAAK,GAAG,UAAkE,CAAC;gBACjF,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;gBACnD,IAAI,KAAK,CAAC,QAAQ,KAAK,GAAG;oBAAE,OAAO,SAAS,CAAC,SAAS,CAAC,CAAC;gBACxD,IAAI,KAAK,CAAC,QAAQ,KAAK,QAAQ;oBAAE,OAAO,SAAS,CAAC,QAAQ,CAAC,CAAC;gBAC5D,OAAO,SAAS,CAAC,QAAQ,CAAC,CAAC;YAC7B,CAAC;YACD,KAAK,UAAU,CAAC,sBAAsB;gBACpC,IAAI,CAAC,eAAe,CAAE,UAAiD,CAAC,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;gBAChG,OAAO,SAAS,CAAC,QAAQ,CAAC,CAAC;YAC7B,KAAK,UAAU,CAAC,eAAe;gBAC7B,IAAI,CAAC,eAAe,CAAE,UAAoD,CAAC,UAAU,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;gBACtG,OAAO,GAAG,CAAC;YACb,KAAK,UAAU,CAAC,eAAe,CAAC,CAAC,CAAC;gBAChC,KAAK,MAAM,IAAI,IAAK,UAAiE,CAAC,KAAK;oBAAE,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;gBAClJ,OAAO,SAAS,CAAC,QAAQ,CAAC,CAAC;YAC7B,CAAC;YACD,KAAK,UAAU,CAAC,wBAAwB,CAAC,CAAC,CAAC;gBACzC,MAAM,MAAM,GAAG,UAAkE,CAAC;gBAClF,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;gBAChD,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;gBACrD,OAAO,GAAG,CAAC;YACb,CAAC;YACD,KAAK,UAAU,CAAC,gBAAgB;gBAC9B,IAAI,CAAC,eAAe,CAAE,UAAoD,CAAC,UAAU,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;gBACtG,OAAO,SAAS,CAAC,SAAS,CAAC,CAAC;YAC9B,KAAK,UAAU,CAAC,aAAa;gBAC3B,OAAO,IAAI,CAAC,eAAe,CAAE,UAAoD,CAAC,UAAU,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;YAC/G;gBACE,OAAO,GAAG,CAAC;QACf,CAAC;IACH,CAAC;IAEO,kBAAkB,CAAC,OAAgC,EAAE,IAAU,EAAE,OAAqB;QAC5F,KAAK,MAAM,QAAQ,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;YAC1C,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU,CAAC,kBAAkB,EAAE,CAAC;gBACpD,IAAI,CAAC,eAAe,CAAE,QAAmD,CAAC,WAAW,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;YACxG,CAAC;iBAAM,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU,CAAC,2BAA2B,EAAE,CAAC;gBACpE,IAAI,CAAC,eAAe,CAAE,QAA4C,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;YAC1F,CAAC;iBAAM,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU,CAAC,aAAa,EAAE,CAAC;gBACtD,IAAI,CAAC,eAAe,CAAE,QAAkD,CAAC,UAAU,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;YACtG,CAAC;QACH,CAAC;QACD,OAAO,IAAI,CAAC,QAAQ,CAAC,eAAe,CAAC,OAAO,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC;IAC1F,CAAC;IAEO,iBAAiB,CAAC,IAAwC,EAAE,IAAU,EAAE,OAAqB;QACnG,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QAClF,MAAM,KAAK,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7B,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YACxC,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,mBAAmB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YAC/D,IAAI,MAAM;gBAAE,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,MAAM,CAAC,EAAE,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QACnH,CAAC;QACD,MAAM,KAAK,GAAiB,EAAE,UAAU,EAAE,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;QACxG,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,KAAK;YAAE,IAAI,CAAC,eAAe,CAAE,IAAI,CAAC,IAAc,CAAC,UAAU,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;;YACxG,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,IAAkB,EAAE,UAAU,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IAC/E,CAAC;IAEO,WAAW,CAAC,MAAwB,EAAE,IAAU,EAAE,OAAqB;QAC7E,MAAM,UAAU,GAAI,MAAM,CAAC,QAAmB,KAAK,GAAG,CAAC;QACvD,IAAI,UAAU,EAAE,CAAC;YACf,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YACpC,uEAAuE;YACvE,IAAI,OAAO,CAAC,IAAI,KAAK,UAAU,CAAC,uBAAuB,IAAI,OAAO,CAAC,IAAI,KAAK,UAAU,CAAC,sBAAsB,EAAE,CAAC;gBAC9G,OAAO,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;YAC3D,CAAC;YACD,MAAM,MAAM,GAAG,IAAI,CAAC,qBAAqB,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;YACtE,MAAM,KAAK,GAAG,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;YAChE,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;gBAClF,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,YAAY,EAAE,SAAS,SAAS,CAAC,KAAK,CAAC,gCAAgC,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;YACzI,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;QACD,IAAI,MAAM,CAAC,QAAQ,KAAK,IAAI,IAAI,MAAM,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;YACzD,MAAM,IAAI,GAAG,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;YAC9D,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,QAAQ,KAAK,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;YACrF,MAAM,KAAK,GAAG,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,KAAK,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;YACrE,OAAO,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;QAChC,CAAC;QACD,IAAI,MAAM,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;YAC7B,MAAM,IAAI,GAAG,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;YAC9D,MAAM,KAAK,GAAG,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC,CAAC;YAC1G,OAAO,OAAO,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;QAChD,CAAC;QACD,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;QACjD,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;QAClD,OAAO,IAAI,CAAC,QAAQ,CAAC,eAAe,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC;IACzF,CAAC;IAED;;;;OAIG;IACK,qBAAqB,CAAC,UAAsB,EAAE,IAAU,EAAE,OAAqB;QACrF,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC;QAClC,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,UAAU,EAAE,CAAC;YAC1C,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,kBAAkB,CAAC,GAAG,CAAC,MAAoB,CAAC,CAAC;YACzE,OAAO,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QACrD,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,wBAAwB,EAAE,CAAC;YACxD,MAAM,MAAM,GAAG,MAAkC,CAAC;YAClD,MAAM,IAAI,GAAG,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,UAAU,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;YACpE,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,UAAU;gBAAE,OAAO,GAAG,CAAC;YAC3D,MAAM,KAAK,GAAG,IAAI,CAAC,cAAc,CAAC,IAAI,EAAG,MAAM,CAAC,IAAmB,CAAC,IAAI,CAAC,CAAC;YAC1E,IAAI,CAAC,KAAK,CAAC,OAAO;gBAAE,OAAO,KAAK,CAAC,IAAI,CAAC;YACtC,MAAM,cAAc,GAAG,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;YACjD,IAAI,cAAc,CAAC,IAAI,KAAK,UAAU,CAAC,UAAU,EAAE,CAAC;gBAClD,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,kBAAkB,CAAC,GAAG,CAAC,cAA4B,CAAC,CAAC;gBACjF,IAAI,MAAM;oBAAE,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,MAAM,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;YAC1D,CAAC;YACD,OAAO,GAAG,CAAC;QACb,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,uBAAuB,EAAE,CAAC;YACvD,MAAM,MAAM,GAAG,MAA+E,CAAC;YAC/F,MAAM,IAAI,GAAG,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,UAAU,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;YACpE,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,kBAAkB,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;YAC/D,OAAO,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;QACpD,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IAEO,SAAS,CAAC,IAAoB,EAAE,IAAU,EAAE,OAAqB;QACvE,IAAI,CAAC,oBAAoB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACtC,MAAM,MAAM,GAAG,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;QACpE,IAAI,uBAAuB,CAAC,MAAM,CAAC,EAAE,CAAC;YACpC,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,WAAW,EAAE,iDAAiD,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;YACjI,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,SAAS;gBAAE,IAAI,CAAC,eAAe,CAAC,QAAQ,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;YACrF,OAAO,GAAG,CAAC;QACb,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC/B,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,SAAS;gBAAE,IAAI,CAAC,eAAe,CAAC,QAAQ,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;YACrF,OAAO,GAAG,CAAC;QACb,CAAC;QACD,MAAM,aAAa,GAAG,IAAI,CAAC,kBAAkB,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;QAC3E,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;YAC3D,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAE,CAAC;YACxC,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU,CAAC,aAAa,EAAE,CAAC;gBAC/C,IAAI,CAAC,eAAe,CAAE,QAAkD,CAAC,UAAU,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;gBACpG,SAAS;YACX,CAAC;YACD,MAAM,IAAI,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;YAC7D,MAAM,SAAS,GAAG,KAAK,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YACzF,MAAM,YAAY,GAAG,IAAI,CAAC,eAAe,CAAC,QAAQ,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;YACnE,IAAI,CAAC,SAAS;gBAAE,SAAS;YACzB,MAAM,WAAW,GAAG,SAAS,CAAC,IAAI,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC;YAChH,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,WAAW,EAAE,aAAa,CAAC,CAAC;YAC7D,IAAI,CAAC,YAAY,CAAC,YAAY,EAAE,QAAQ,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,UAAU,EAAE,QAAQ,CAAC,EAAE,CAAC;gBACvF,IAAI,CAAC,MAAM,CACT,cAAc,CAAC,YAAY,EAC3B,qBAAqB,SAAS,CAAC,YAAY,CAAC,6CAA6C,SAAS,CAAC,QAAQ,CAAC,IAAI,EAChH,QAAQ,CACT,CAAC;YACJ,CAAC;QACH,CAAC;QACD,OAAO,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,UAAU,EAAE,aAAa,CAAC,CAAC;IAC3D,CAAC;IAED,2EAA2E;IACnE,oBAAoB,CAAC,IAAoB,EAAE,IAAU;QAC3D,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC;YAAE,OAAO;QACtC,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YACtC,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC;YAChC,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,UAAU;gBAAE,SAAS;YACpD,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,kBAAkB,CAAC,GAAG,CAAC,MAAoB,CAAC,CAAC;YACzE,IAAI,CAAC,MAAM;gBAAE,SAAS;YACtB,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;gBAAE,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,MAAM,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;QAClG,CAAC;IACH,CAAC;IAEO,aAAa,CAAC,IAAoB;QACxC,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACvC,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,wBAAwB;YAAE,OAAO,IAAI,CAAC;QACrE,MAAM,MAAM,GAAG,MAAkC,CAAC;QAClD,IAAI,MAAM,CAAC,UAAU,CAAC,IAAI,KAAK,UAAU,CAAC,UAAU,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,UAAU;YAAE,OAAO,IAAI,CAAC;QAChH,MAAM,KAAK,GAAI,MAAM,CAAC,UAAyB,CAAC,IAAI,CAAC;QACrD,MAAM,MAAM,GAAI,MAAM,CAAC,IAAmB,CAAC,IAAI,CAAC;QAChD,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QACzG,IAAI,KAAK,KAAK,MAAM,IAAI,MAAM,KAAK,WAAW;YAAE,OAAO,KAAK,CAAC;QAC7D,IAAI,KAAK,KAAK,OAAO,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QAC5D,OAAO,CAAC,CACN,KAAK,KAAK,QAAQ;YAClB,CAAC,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,qBAAqB,EAAE,0BAA0B,EAAE,2BAA2B,EAAE,gBAAgB,EAAE,UAAU,EAAE,UAAU,EAAE,cAAc,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CACnM,CAAC;IACJ,CAAC;CACF;AAID,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,SAAS,EAAE,kBAAkB,CAAC,CAAC"}

package/dist/src/checker/undefined.d.ts

@@ -0,0 +1,14 @@
+/**
+ * Unresolved names: an identifier that is neither a declaration in any
+ * enclosing scope nor a runtime global.
+ *
+ * The binder already collects exactly this set (`BindResult.unresolved`); the
+ * checker only decides which entries are legitimate globals and reports the
+ * rest. Keeping the decision here (instead of in code generation) means a name
+ * error no longer depends on the identifier being lowered — dead code and
+ * unreachable branches are checked too.
+ */
+import type { SourceFileNode } from "../ast/nodes.js";
+import type { BindResult } from "../binder/binder.js";
+import { type DiagnosticBag } from "../diagnostics/diagnostic.js";
+export declare function checkUnresolvedNames(sourceFile: SourceFileNode, binding: BindResult, diagnostics: DiagnosticBag, extensionBuiltins?: ReadonlySet<string>): void;