@zzzen/pyright-internal 1.1.254

package/dist/analyzer/constraintSolver.js

@@ -0,0 +1,605 @@
+"use strict";
+/*
+ * constraintSolver.ts
+ * Copyright (c) Microsoft Corporation.
+ * Licensed under the MIT license.
+ * Author: Eric Traut
+ *
+ * Code that solves a TypeVar, TypeVarTuple or ParamSpec based on
+ * all of the provided constraints.
+ *
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.populateTypeVarContextBasedOnExpectedType = exports.assignTypeToTypeVar = void 0;
+const diagnostic_1 = require("../common/diagnostic");
+const localize_1 = require("../localization/localize");
+const typeEvaluatorTypes_1 = require("./typeEvaluatorTypes");
+const types_1 = require("./types");
+const typeUtils_1 = require("./typeUtils");
+const typeVarContext_1 = require("./typeVarContext");
+// Assigns the source type to the dest type var in the type var context. If an existing
+// type is already associated with that type var name, it attempts to either widen or
+// narrow the type (depending on the value of the isContravariant parameter). The goal is
+// to produce the narrowest type that meets all of the requirements. If the type var context
+// has been "locked", it simply validates that the srcType is compatible (with no attempt
+// to widen or narrow).
+function assignTypeToTypeVar(evaluator, destType, srcType, diag, typeVarContext, flags = 0 /* Default */, recursionCount = 0) {
+    var _a;
+    let isTypeVarInScope = true;
+    const isContravariant = (flags & 2 /* ReverseTypeVarMatching */) !== 0;
+    // If the TypeVar doesn't have a scope ID, then it's being used
+    // outside of a valid TypeVar scope. This will be reported as a
+    // separate error. Just ignore this case to avoid redundant errors.
+    if (!destType.scopeId) {
+        return true;
+    }
+    // Verify that we are solving for the scope associated with this
+    // type variable.
+    if (!typeVarContext.hasSolveForScope(destType.scopeId)) {
+        if ((0, types_1.isAnyOrUnknown)(srcType) || ((0, types_1.isClass)(srcType) && types_1.ClassType.derivesFromAnyOrUnknown(srcType))) {
+            return true;
+        }
+        // If we're in "ignore type var scope" mode, don't generate
+        // an error in this path.
+        if ((flags & 512 /* IgnoreTypeVarScope */) !== 0) {
+            return true;
+        }
+        // If we're in "reverse type var" mode, simply make sure that
+        // the concrete type is assignable.
+        if (isContravariant) {
+            if (evaluator.assignType(evaluator.makeTopLevelTypeVarsConcrete(destType), evaluator.makeTopLevelTypeVarsConcrete(srcType), 
+            /* diag */ undefined, 
+            /* destTypeVarContext */ undefined, 
+            /* srcTypeVarContext */ undefined, flags, recursionCount)) {
+                return true;
+            }
+        }
+        isTypeVarInScope = false;
+        if (!destType.details.isSynthesized) {
+            diag === null || diag === void 0 ? void 0 : diag.addMessage(localize_1.Localizer.DiagnosticAddendum.typeAssignmentMismatch().format({
+                sourceType: evaluator.printType(srcType),
+                destType: evaluator.printType(destType),
+            }));
+            return false;
+        }
+    }
+    if ((flags & 8 /* SkipSolveTypeVars */) !== 0) {
+        return evaluator.assignType(evaluator.makeTopLevelTypeVarsConcrete(destType), evaluator.makeTopLevelTypeVarsConcrete(srcType), diag, 
+        /* destTypeVarContext */ undefined, 
+        /* srcTypeVarContext */ undefined, flags, recursionCount);
+    }
+    if (destType.details.isParamSpec) {
+        return assignTypeToParamSpec(evaluator, destType, srcType, diag, typeVarContext, recursionCount);
+    }
+    if (destType.details.isVariadic) {
+        if (!(0, types_1.isUnpacked)(srcType)) {
+            const tupleClassType = evaluator.getTupleClassType();
+            if (tupleClassType && (0, types_1.isInstantiableClass)(tupleClassType)) {
+                // Package up the type into a tuple.
+                srcType = (0, typeUtils_1.convertToInstance)((0, typeUtils_1.specializeTupleClass)(tupleClassType, [{ type: srcType, isUnbounded: false }], 
+                /* isTypeArgumentExplicit */ true, 
+                /* stripLiterals */ true, 
+                /* isUnpackedTuple */ true));
+            }
+            else {
+                srcType = types_1.UnknownType.create();
+            }
+        }
+    }
+    // If we're attempting to assign `type` to Type[T], transform `type` into `Type[Any]`.
+    if (types_1.TypeBase.isInstantiable(destType) &&
+        (0, types_1.isClassInstance)(srcType) &&
+        types_1.ClassType.isBuiltIn(srcType, 'type') &&
+        !srcType.typeArguments) {
+        srcType = types_1.AnyType.create();
+    }
+    const curEntry = typeVarContext.getTypeVar(destType);
+    const curNarrowTypeBound = curEntry === null || curEntry === void 0 ? void 0 : curEntry.narrowBound;
+    const curWideTypeBound = (_a = curEntry === null || curEntry === void 0 ? void 0 : curEntry.wideBound) !== null && _a !== void 0 ? _a : destType.details.boundType;
+    // Handle the constrained case. This case needs to be handled specially
+    // because type narrowing isn't used in this case. For example, if the
+    // source type is "Literal[1]" and the constraint list includes the type
+    // "float", the resulting type is float.
+    if (destType.details.constraints.length > 0) {
+        let constrainedType;
+        const concreteSrcType = evaluator.makeTopLevelTypeVarsConcrete(srcType);
+        if ((0, types_1.isTypeVar)(srcType)) {
+            if (evaluator.assignType(destType, concreteSrcType, 
+            /* diag */ undefined, new typeVarContext_1.TypeVarContext(destType.scopeId), 
+            /* srcTypeVarContext */ undefined, 0 /* Default */, recursionCount)) {
+                constrainedType = srcType;
+                // If the source and dest are both instantiables (type[T]), then
+                // we need to convert to an instance (T) for the
+                if (types_1.TypeBase.isInstantiable(srcType)) {
+                    constrainedType = (0, typeUtils_1.convertToInstance)(srcType);
+                }
+            }
+        }
+        else {
+            let isCompatible = true;
+            // Subtypes that are not conditionally dependent on the dest type var
+            // must all map to the same constraint. For example, Union[str, bytes]
+            // cannot be assigned to AnyStr.
+            let unconditionalConstraintIndex;
+            // Find the narrowest constrained type that is compatible.
+            constrainedType = (0, typeUtils_1.mapSubtypes)(concreteSrcType, (srcSubtype) => {
+                let constrainedSubtype;
+                if ((0, types_1.isAnyOrUnknown)(srcSubtype)) {
+                    return srcSubtype;
+                }
+                let constraintIndexUsed;
+                destType.details.constraints.forEach((constraint, i) => {
+                    const adjustedConstraint = types_1.TypeBase.isInstantiable(destType)
+                        ? (0, typeUtils_1.convertToInstantiable)(constraint)
+                        : constraint;
+                    if (evaluator.assignType(adjustedConstraint, srcSubtype, 
+                    /* diag */ undefined, 
+                    /* destTypeVarContext */ undefined, 
+                    /* srcTypeVarContext */ undefined, 0 /* Default */, recursionCount)) {
+                        if (!constrainedSubtype ||
+                            evaluator.assignType(types_1.TypeBase.isInstantiable(destType)
+                                ? (0, typeUtils_1.convertToInstantiable)(constrainedSubtype)
+                                : constrainedSubtype, adjustedConstraint, 
+                            /* diag */ undefined, 
+                            /* destTypeVarContext */ undefined, 
+                            /* srcTypeVarContext */ undefined, 0 /* Default */, recursionCount)) {
+                            constrainedSubtype = (0, typeUtils_1.addConditionToType)(constraint, (0, typeUtils_1.getTypeCondition)(srcSubtype));
+                            constraintIndexUsed = i;
+                        }
+                    }
+                });
+                if (!constrainedSubtype) {
+                    // We found a source subtype that is not compatible with the dest.
+                    // This is OK if we're handling the contravariant case because only
+                    // one subtype needs to be assignable in that case.
+                    if (!isContravariant) {
+                        isCompatible = false;
+                    }
+                }
+                // If this subtype isn't conditional, make sure it maps to the same
+                // constraint index as previous unconditional subtypes.
+                if (constraintIndexUsed !== undefined && !(0, typeUtils_1.getTypeCondition)(srcSubtype)) {
+                    if (unconditionalConstraintIndex !== undefined &&
+                        unconditionalConstraintIndex !== constraintIndexUsed) {
+                        isCompatible = false;
+                    }
+                    unconditionalConstraintIndex = constraintIndexUsed;
+                }
+                return constrainedSubtype;
+            });
+            if ((0, types_1.isNever)(constrainedType) || !isCompatible) {
+                constrainedType = undefined;
+            }
+            // If the type is a union, see if the entire union is assignable to one
+            // of the constraints.
+            if (!constrainedType && (0, types_1.isUnion)(concreteSrcType)) {
+                constrainedType = destType.details.constraints.find((constraint) => {
+                    const adjustedConstraint = types_1.TypeBase.isInstantiable(destType)
+                        ? (0, typeUtils_1.convertToInstantiable)(constraint)
+                        : constraint;
+                    return evaluator.assignType(adjustedConstraint, concreteSrcType, 
+                    /* diag */ undefined, 
+                    /* destTypeVarContext */ undefined, 
+                    /* srcTypeVarContext */ undefined, 0 /* Default */, recursionCount);
+                });
+            }
+        }
+        // If there was no constrained type that was assignable
+        // or there were multiple types that were assignable and they
+        // are not conditional, it's an error.
+        if (!constrainedType) {
+            diag === null || diag === void 0 ? void 0 : diag.addMessage(localize_1.Localizer.DiagnosticAddendum.typeConstrainedTypeVar().format({
+                type: evaluator.printType(srcType),
+                name: destType.details.name,
+            }));
+            return false;
+        }
+        if (curNarrowTypeBound && !(0, types_1.isAnyOrUnknown)(curNarrowTypeBound)) {
+            if (!evaluator.assignType(curNarrowTypeBound, constrainedType, 
+            /* diag */ undefined, 
+            /* destTypeVarContext */ undefined, 
+            /* srcTypeVarContext */ undefined, 0 /* Default */, recursionCount)) {
+                // Handle the case where one of the constrained types is a wider
+                // version of another constrained type that was previously assigned
+                // to the type variable.
+                if (evaluator.assignType(constrainedType, curNarrowTypeBound, 
+                /* diag */ undefined, 
+                /* destTypeVarContext */ undefined, 
+                /* srcTypeVarContext */ undefined, 0 /* Default */, recursionCount)) {
+                    if (!typeVarContext.isLocked() && isTypeVarInScope) {
+                        typeVarContext.setTypeVarType(destType, constrainedType);
+                    }
+                }
+                else {
+                    diag === null || diag === void 0 ? void 0 : diag.addMessage(localize_1.Localizer.DiagnosticAddendum.typeConstrainedTypeVar().format({
+                        type: evaluator.printType(constrainedType),
+                        name: evaluator.printType(curNarrowTypeBound),
+                    }));
+                    return false;
+                }
+            }
+        }
+        else {
+            // Assign the type to the type var.
+            if (!typeVarContext.isLocked() && isTypeVarInScope) {
+                typeVarContext.setTypeVarType(destType, constrainedType);
+            }
+        }
+        return true;
+    }
+    // Handle the unconstrained (but possibly bound) case.
+    let newNarrowTypeBound = curNarrowTypeBound;
+    let newWideTypeBound = curWideTypeBound;
+    const diagAddendum = diag ? new diagnostic_1.DiagnosticAddendum() : undefined;
+    // Strip literals if the existing value contains no literals. This allows
+    // for explicit (but no implicit) literal specialization of a generic class.
+    const retainLiterals = (flags & 128 /* RetainLiteralsForTypeVar */) !== 0 ||
+        typeVarContext.getRetainLiterals(destType) ||
+        (destType.details.boundType && (0, typeUtils_1.containsLiteralType)(destType.details.boundType)) ||
+        destType.details.constraints.some((t) => (0, typeUtils_1.containsLiteralType)(t));
+    let adjSrcType = retainLiterals ? srcType : (0, typeUtils_1.stripLiteralValue)(srcType);
+    if (types_1.TypeBase.isInstantiable(destType)) {
+        if ((0, typeUtils_1.isEffectivelyInstantiable)(adjSrcType)) {
+            adjSrcType = (0, typeUtils_1.convertToInstance)(adjSrcType);
+        }
+        else {
+            diag === null || diag === void 0 ? void 0 : diag.addMessage(localize_1.Localizer.DiagnosticAddendum.typeAssignmentMismatch().format({
+                sourceType: evaluator.printType(adjSrcType),
+                destType: evaluator.printType(destType),
+            }));
+            return false;
+        }
+    }
+    if (isContravariant || (flags & 4 /* AllowTypeVarNarrowing */) !== 0) {
+        // Update the wide type bound.
+        if (!curWideTypeBound) {
+            newWideTypeBound = adjSrcType;
+        }
+        else if (!(0, types_1.isTypeSame)(curWideTypeBound, adjSrcType, 
+        /* ignorePseudoGeneric */ undefined, 
+        /* ignoreTypeFlags */ undefined, recursionCount)) {
+            if (evaluator.assignType(curWideTypeBound, evaluator.makeTopLevelTypeVarsConcrete(adjSrcType), diagAddendum, 
+            /* destTypeVarContext */ undefined, 
+            /* srcTypeVarContext */ undefined, flags & 512 /* IgnoreTypeVarScope */, recursionCount)) {
+                // The srcType is narrower than the current wideTypeBound, so replace it.
+                newWideTypeBound = adjSrcType;
+            }
+            else if (!evaluator.assignType(adjSrcType, curWideTypeBound, diagAddendum, 
+            /* destTypeVarContext */ undefined, 
+            /* srcTypeVarContext */ undefined, flags & 512 /* IgnoreTypeVarScope */, recursionCount)) {
+                if (diag && diagAddendum) {
+                    diag.addMessage(localize_1.Localizer.DiagnosticAddendum.typeAssignmentMismatch().format({
+                        sourceType: evaluator.printType(adjSrcType),
+                        destType: evaluator.printType(curWideTypeBound),
+                    }));
+                    diag.addAddendum(diagAddendum);
+                }
+                return false;
+            }
+        }
+        // Make sure we haven't narrowed it beyond the current narrow bound.
+        if (curNarrowTypeBound) {
+            if (!evaluator.assignType(newWideTypeBound, curNarrowTypeBound, 
+            /* diag */ undefined, 
+            /* destTypeVarContext */ undefined, 
+            /* srcTypeVarContext */ undefined, flags & 512 /* IgnoreTypeVarScope */, recursionCount)) {
+                if (diag && diagAddendum) {
+                    diag.addMessage(localize_1.Localizer.DiagnosticAddendum.typeAssignmentMismatch().format({
+                        sourceType: evaluator.printType(adjSrcType),
+                        destType: evaluator.printType(curNarrowTypeBound),
+                    }));
+                    diag.addAddendum(diagAddendum);
+                }
+                return false;
+            }
+        }
+    }
+    else {
+        if (!curNarrowTypeBound) {
+            // There was previously no narrow bound. We've now established one.
+            newNarrowTypeBound = adjSrcType;
+        }
+        else if (!(0, types_1.isTypeSame)(curNarrowTypeBound, adjSrcType, 
+        /* ignorePseudoGeneric */ undefined, 
+        /* ignoreTypeFlags */ undefined, recursionCount)) {
+            if (evaluator.assignType(curNarrowTypeBound, adjSrcType, diagAddendum, new typeVarContext_1.TypeVarContext(destType.scopeId), 
+            /* srcTypeVarContext */ undefined, flags, recursionCount)) {
+                // No need to widen. Stick with the existing type unless it's unknown
+                // or partly unknown, in which case we'll replace it with a known type
+                // as long as it doesn't violate the current narrow bound.
+                if ((0, typeUtils_1.isPartlyUnknown)(curNarrowTypeBound) &&
+                    !(0, types_1.isUnknown)(adjSrcType) &&
+                    evaluator.assignType(adjSrcType, curNarrowTypeBound, 
+                    /* diag */ undefined, new typeVarContext_1.TypeVarContext(destType.scopeId), 
+                    /* srcTypeVarContext */ undefined, flags & 512 /* IgnoreTypeVarScope */, recursionCount)) {
+                    newNarrowTypeBound = adjSrcType;
+                }
+                else {
+                    newNarrowTypeBound = curNarrowTypeBound;
+                }
+            }
+            else {
+                // We need to widen the type.
+                if (typeVarContext.isLocked() || (0, types_1.isTypeVar)(adjSrcType)) {
+                    diag === null || diag === void 0 ? void 0 : diag.addMessage(localize_1.Localizer.DiagnosticAddendum.typeAssignmentMismatch().format({
+                        sourceType: evaluator.printType(curNarrowTypeBound),
+                        destType: evaluator.printType(adjSrcType),
+                    }));
+                    return false;
+                }
+                // Don't allow widening for variadic type variables.
+                const possibleVariadic = destType;
+                if ((0, types_1.isVariadicTypeVar)(possibleVariadic)) {
+                    diag === null || diag === void 0 ? void 0 : diag.addMessage(localize_1.Localizer.DiagnosticAddendum.typeAssignmentMismatch().format({
+                        sourceType: evaluator.printType(curNarrowTypeBound),
+                        destType: evaluator.printType(adjSrcType),
+                    }));
+                    return false;
+                }
+                if (evaluator.assignType(adjSrcType, curNarrowTypeBound, 
+                /* diag */ undefined, new typeVarContext_1.TypeVarContext(destType.scopeId), 
+                /* srcTypeVarContext */ undefined, flags & 512 /* IgnoreTypeVarScope */, recursionCount)) {
+                    newNarrowTypeBound = adjSrcType;
+                }
+                else {
+                    const objectType = evaluator.getObjectType();
+                    // In some extreme edge cases, the narrow type bound can become
+                    // a union with so many subtypes that performance grinds to a
+                    // halt. We'll detect this case and widen the resulting type
+                    // to an 'object' instead of making the union even bigger. This
+                    // is still a valid solution to the TypeVar.
+                    if ((0, types_1.isUnion)(curNarrowTypeBound) &&
+                        curNarrowTypeBound.subtypes.length > typeEvaluatorTypes_1.maxSubtypesForInferredType &&
+                        destType.details.boundType !== undefined &&
+                        objectType &&
+                        (0, types_1.isClassInstance)(objectType)) {
+                        newNarrowTypeBound = (0, types_1.combineTypes)([curNarrowTypeBound, objectType]);
+                    }
+                    else {
+                        newNarrowTypeBound = (0, types_1.combineTypes)([curNarrowTypeBound, adjSrcType]);
+                    }
+                }
+            }
+        }
+        // Make sure we don't exceed the wide type bound.
+        if (curWideTypeBound && newNarrowTypeBound) {
+            if (!(0, types_1.isTypeSame)(curWideTypeBound, newNarrowTypeBound, 
+            /* ignorePseudoGeneric */ undefined, 
+            /* ignoreTypeFlags */ undefined, recursionCount)) {
+                let makeConcrete = true;
+                // Handle the case where the wide type is type T and the narrow type
+                // is type T | <some other type>. In this case, it violates the
+                // wide type bound.
+                if ((0, types_1.isTypeVar)(curWideTypeBound)) {
+                    if ((0, types_1.isTypeSame)(newNarrowTypeBound, curWideTypeBound)) {
+                        makeConcrete = false;
+                    }
+                    else if ((0, types_1.isUnion)(newNarrowTypeBound) &&
+                        newNarrowTypeBound.subtypes.some((subtype) => (0, types_1.isTypeSame)(subtype, curWideTypeBound))) {
+                        makeConcrete = false;
+                    }
+                }
+                if (!evaluator.assignType(makeConcrete ? evaluator.makeTopLevelTypeVarsConcrete(curWideTypeBound) : curWideTypeBound, newNarrowTypeBound, diag === null || diag === void 0 ? void 0 : diag.createAddendum(), new typeVarContext_1.TypeVarContext(destType.scopeId), 
+                /* srcTypeVarContext */ undefined, flags & 512 /* IgnoreTypeVarScope */, recursionCount)) {
+                    if (diag && diagAddendum) {
+                        diag.addMessage(localize_1.Localizer.DiagnosticAddendum.typeAssignmentMismatch().format({
+                            sourceType: evaluator.printType(adjSrcType),
+                            destType: evaluator.printType(curWideTypeBound),
+                        }));
+                    }
+                    return false;
+                }
+            }
+        }
+    }
+    // If there's a bound type, make sure the source is assignable to it.
+    if (destType.details.boundType) {
+        const updatedType = (newNarrowTypeBound || newWideTypeBound);
+        // If the dest is a Type[T] but the source is not a valid Type,
+        // skip the assignType check and the diagnostic addendum, which will
+        // be confusing and inaccurate.
+        if (types_1.TypeBase.isInstantiable(destType) && !types_1.TypeBase.isInstantiable(srcType)) {
+            return false;
+        }
+        // In general, bound types cannot be generic, but the "Self" type is an
+        // exception. In this case, we need to use the original TypeVarContext
+        // to solve for the generic type variable(s) in the bound type.
+        const effectiveTypeVarContext = destType.details.isSynthesizedSelf
+            ? typeVarContext
+            : new typeVarContext_1.TypeVarContext(destType.scopeId);
+        if (!evaluator.assignType(destType.details.boundType, evaluator.makeTopLevelTypeVarsConcrete(updatedType), diag === null || diag === void 0 ? void 0 : diag.createAddendum(), effectiveTypeVarContext, 
+        /* srcTypeVarContext */ undefined, flags & 512 /* IgnoreTypeVarScope */, recursionCount)) {
+            // Avoid adding a message that will confuse users if the TypeVar was
+            // synthesized for internal purposes.
+            if (!destType.details.isSynthesized) {
+                diag === null || diag === void 0 ? void 0 : diag.addMessage(localize_1.Localizer.DiagnosticAddendum.typeBound().format({
+                    sourceType: evaluator.printType(updatedType),
+                    destType: evaluator.printType(destType.details.boundType),
+                    name: types_1.TypeVarType.getReadableName(destType),
+                }));
+            }
+            return false;
+        }
+    }
+    if (!typeVarContext.isLocked() && isTypeVarInScope) {
+        typeVarContext.setTypeVarType(destType, newNarrowTypeBound, newWideTypeBound, retainLiterals);
+    }
+    return true;
+}
+exports.assignTypeToTypeVar = assignTypeToTypeVar;
+function assignTypeToParamSpec(evaluator, destType, srcType, diag, typeVarContext, recursionCount = 0) {
+    if ((0, types_1.isTypeVar)(srcType) && srcType.details.isParamSpec) {
+        const existingEntry = typeVarContext.getParamSpec(destType);
+        if (existingEntry) {
+            if (existingEntry.parameters.length === 0 && existingEntry.paramSpec) {
+                // If there's an existing entry that matches, that's fine.
+                if ((0, types_1.isTypeSame)(existingEntry.paramSpec, srcType, 
+                /* ignorePseudoGeneric */ undefined, 
+                /* ignoreTypeFlags */ undefined, recursionCount)) {
+                    return true;
+                }
+            }
+        }
+        else {
+            if (!typeVarContext.isLocked() && typeVarContext.hasSolveForScope(destType.scopeId)) {
+                typeVarContext.setParamSpec(destType, {
+                    flags: 0 /* None */,
+                    parameters: [],
+                    typeVarScopeId: undefined,
+                    docString: undefined,
+                    paramSpec: srcType,
+                });
+            }
+            return true;
+        }
+    }
+    else if ((0, types_1.isFunction)(srcType)) {
+        const functionSrcType = srcType;
+        const parameters = srcType.details.parameters.map((p, index) => {
+            const paramSpecEntry = {
+                category: p.category,
+                name: p.name,
+                isNameSynthesized: p.isNameSynthesized,
+                hasDefault: !!p.hasDefault,
+                type: types_1.FunctionType.getEffectiveParameterType(functionSrcType, index),
+            };
+            return paramSpecEntry;
+        });
+        const existingEntry = typeVarContext.getParamSpec(destType);
+        if (existingEntry) {
+            if (existingEntry.paramSpec === srcType.details.paramSpec) {
+                // Convert the remaining portion of the signature to a function
+                // for comparison purposes.
+                const existingFunction = (0, typeUtils_1.convertParamSpecValueToType)(existingEntry, /* omitParamSpec */ true);
+                const assignedFunction = (0, typeUtils_1.convertParamSpecValueToType)({
+                    parameters,
+                    flags: srcType.details.flags,
+                    typeVarScopeId: srcType.details.typeVarScopeId,
+                    docString: undefined,
+                    paramSpec: undefined,
+                }, 
+                /* omitParamSpec */ true);
+                if (evaluator.assignType(existingFunction, assignedFunction, 
+                /* diag */ undefined, 
+                /* destTypeVarContext */ undefined, 
+                /* srcTypeVarContext */ undefined, 32 /* SkipFunctionReturnTypeCheck */, recursionCount)) {
+                    return true;
+                }
+            }
+        }
+        else {
+            if (!typeVarContext.isLocked() && typeVarContext.hasSolveForScope(destType.scopeId)) {
+                typeVarContext.setParamSpec(destType, {
+                    parameters,
+                    typeVarScopeId: srcType.details.typeVarScopeId,
+                    flags: srcType.details.flags,
+                    docString: srcType.details.docString,
+                    paramSpec: srcType.details.paramSpec,
+                });
+            }
+            return true;
+        }
+    }
+    else if ((0, types_1.isAnyOrUnknown)(srcType)) {
+        return true;
+    }
+    diag === null || diag === void 0 ? void 0 : diag.addMessage(localize_1.Localizer.DiagnosticAddendum.typeParamSpec().format({
+        type: evaluator.printType(srcType),
+        name: destType.details.name,
+    }));
+    return false;
+}
+// In cases where the expected type is a specialized base class of the
+// source type, we need to determine which type arguments in the derived
+// class will make it compatible with the specialized base class. This method
+// performs this reverse mapping of type arguments and populates the type var
+// map for the target type. If the type is not assignable to the expected type,
+// it returns false.
+function populateTypeVarContextBasedOnExpectedType(evaluator, type, expectedType, typeVarContext, liveTypeVarScopes) {
+    if ((0, types_1.isAny)(expectedType)) {
+        type.details.typeParameters.forEach((typeParam) => {
+            typeVarContext.setTypeVarType(typeParam, expectedType);
+        });
+        return true;
+    }
+    if (!(0, types_1.isClass)(expectedType)) {
+        return false;
+    }
+    // If the expected type is generic (but not specialized), we can't proceed.
+    const expectedTypeArgs = expectedType.typeArguments;
+    if (!expectedTypeArgs) {
+        return evaluator.assignType(type, expectedType, 
+        /* diag */ undefined, typeVarContext, 
+        /* srcTypeVarContext */ undefined, 1024 /* PopulatingExpectedType */);
+    }
+    // If the expected type is the same as the target type (commonly the case),
+    // we can use a faster method.
+    if (types_1.ClassType.isSameGenericClass(expectedType, type)) {
+        const sameClassTypeVarContext = (0, typeUtils_1.buildTypeVarContextFromSpecializedClass)(expectedType);
+        sameClassTypeVarContext.getTypeVars().forEach((entry) => {
+            const typeVarType = sameClassTypeVarContext.getTypeVarType(entry.typeVar);
+            if (typeVarType) {
+                // Skip this if the type argument is a TypeVar defined by the class scope because
+                // we're potentially solving for these TypeVars.
+                if (!(0, types_1.isTypeVar)(typeVarType) || typeVarType.scopeId !== type.details.typeVarScopeId) {
+                    typeVarContext.setTypeVarType(entry.typeVar, entry.typeVar.details.variance === 1 /* Covariant */ ? undefined : typeVarType, entry.typeVar.details.variance === 2 /* Contravariant */ ? undefined : typeVarType, entry.retainLiteral);
+                }
+            }
+        });
+        return true;
+    }
+    // Create a generic version of the expected type.
+    const expectedTypeScopeId = (0, typeUtils_1.getTypeVarScopeId)(expectedType);
+    const synthExpectedTypeArgs = types_1.ClassType.getTypeParameters(expectedType).map((typeParam, index) => {
+        const typeVar = types_1.TypeVarType.createInstance(`__dest${index}`);
+        typeVar.details.isSynthesized = true;
+        // Use invariance here so we set the narrow and wide values on the TypeVar.
+        typeVar.details.variance = 0 /* Invariant */;
+        typeVar.scopeId = expectedTypeScopeId;
+        return typeVar;
+    });
+    const genericExpectedType = types_1.ClassType.cloneForSpecialization(expectedType, synthExpectedTypeArgs, 
+    /* isTypeArgumentExplicit */ true);
+    // For each type param in the target type, create a placeholder type variable.
+    const typeArgs = types_1.ClassType.getTypeParameters(type).map((_, index) => {
+        const typeVar = types_1.TypeVarType.createInstance(`__source${index}`);
+        typeVar.details.isSynthesized = true;
+        typeVar.details.synthesizedIndex = index;
+        typeVar.details.isExemptFromBoundCheck = true;
+        return typeVar;
+    });
+    const specializedType = types_1.ClassType.cloneForSpecialization(type, typeArgs, /* isTypeArgumentExplicit */ true);
+    const syntheticTypeVarContext = new typeVarContext_1.TypeVarContext(expectedTypeScopeId);
+    if (evaluator.assignType(genericExpectedType, specializedType, 
+    /* diag */ undefined, syntheticTypeVarContext, 
+    /* srcTypeVarContext */ undefined, 1024 /* PopulatingExpectedType */)) {
+        let isResultValid = true;
+        synthExpectedTypeArgs.forEach((typeVar, index) => {
+            const synthTypeVar = syntheticTypeVarContext.getTypeVarType(typeVar);
+            // Is this one of the synthesized type vars we allocated above? If so,
+            // the type arg that corresponds to this type var maps back to the target type.
+            if (synthTypeVar &&
+                (0, types_1.isTypeVar)(synthTypeVar) &&
+                synthTypeVar.details.isSynthesized &&
+                synthTypeVar.details.synthesizedIndex !== undefined) {
+                const targetTypeVar = types_1.ClassType.getTypeParameters(specializedType)[synthTypeVar.details.synthesizedIndex];
+                if (index < expectedTypeArgs.length) {
+                    let expectedTypeArgValue = expectedTypeArgs[index];
+                    if (liveTypeVarScopes) {
+                        expectedTypeArgValue = (0, typeUtils_1.transformExpectedTypeForConstructor)(expectedTypeArgValue, typeVarContext, liveTypeVarScopes);
+                    }
+                    if (expectedTypeArgValue) {
+                        typeVarContext.setTypeVarType(targetTypeVar, typeVar.details.variance === 1 /* Covariant */ ? undefined : expectedTypeArgValue, typeVar.details.variance === 2 /* Contravariant */ ? undefined : expectedTypeArgValue);
+                    }
+                    else {
+                        isResultValid = false;
+                    }
+                }
+            }
+        });
+        return isResultValid;
+    }
+    return false;
+}
+exports.populateTypeVarContextBasedOnExpectedType = populateTypeVarContextBasedOnExpectedType;
+//# sourceMappingURL=constraintSolver.js.map

package/dist/analyzer/constraintSolver.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"constraintSolver.js","sourceRoot":"","sources":["../../../src/analyzer/constraintSolver.ts"],"names":[],"mappings":";AAAA;;;;;;;;;GASG;;;AAEH,qDAA0D;AAC1D,uDAAqD;AACrD,6DAAiF;AACjF,mCA0BiB;AACjB,2CAgBqB;AACrB,qDAAkD;AAElD,uFAAuF;AACvF,qFAAqF;AACrF,yFAAyF;AACzF,4FAA4F;AAC5F,yFAAyF;AACzF,uBAAuB;AACvB,SAAgB,mBAAmB,CAC/B,SAAwB,EACxB,QAAqB,EACrB,OAAa,EACb,IAAoC,EACpC,cAA8B,EAC9B,KAAK,kBAA0B,EAC/B,cAAc,GAAG,CAAC;;IAElB,IAAI,gBAAgB,GAAG,IAAI,CAAC;IAC5B,MAAM,eAAe,GAAG,CAAC,KAAK,iCAAyC,CAAC,KAAK,CAAC,CAAC;IAE/E,+DAA+D;IAC/D,+DAA+D;IAC/D,mEAAmE;IACnE,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE;QACnB,OAAO,IAAI,CAAC;KACf;IAED,gEAAgE;IAChE,iBAAiB;IACjB,IAAI,CAAC,cAAc,CAAC,gBAAgB,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE;QACpD,IAAI,IAAA,sBAAc,EAAC,OAAO,CAAC,IAAI,CAAC,IAAA,eAAO,EAAC,OAAO,CAAC,IAAI,iBAAS,CAAC,uBAAuB,CAAC,OAAO,CAAC,CAAC,EAAE;YAC7F,OAAO,IAAI,CAAC;SACf;QAED,2DAA2D;QAC3D,yBAAyB;QACzB,IAAI,CAAC,KAAK,+BAAqC,CAAC,KAAK,CAAC,EAAE;YACpD,OAAO,IAAI,CAAC;SACf;QAED,6DAA6D;QAC7D,mCAAmC;QACnC,IAAI,eAAe,EAAE;YACjB,IACI,SAAS,CAAC,UAAU,CAChB,SAAS,CAAC,4BAA4B,CAAC,QAAQ,CAAC,EAChD,SAAS,CAAC,4BAA4B,CAAC,OAAO,CAAC;YAC/C,UAAU,CAAC,SAAS;YACpB,wBAAwB,CAAC,SAAS;YAClC,uBAAuB,CAAC,SAAS,EACjC,KAAK,EACL,cAAc,CACjB,EACH;gBACE,OAAO,IAAI,CAAC;aACf;SACJ;QAED,gBAAgB,GAAG,KAAK,CAAC;QACzB,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,aAAa,EAAE;YACjC,IAAI,aAAJ,IAAI,uBAAJ,IAAI,CAAE,UAAU,CACZ,oBAAS,CAAC,kBAAkB,CAAC,sBAAsB,EAAE,CAAC,MAAM,CAAC;gBACzD,UAAU,EAAE,SAAS,CAAC,SAAS,CAAC,OAAO,CAAC;gBACxC,QAAQ,EAAE,SAAS,CAAC,SAAS,CAAC,QAAQ,CAAC;aAC1C,CAAC,CACL,CAAC;YACF,OAAO,KAAK,CAAC;SAChB;KACJ;IAED,IAAI,CAAC,KAAK,4BAAoC,CAAC,KAAK,CAAC,EAAE;QACnD,OAAO,SAAS,CAAC,UAAU,CACvB,SAAS,CAAC,4BAA4B,CAAC,QAAQ,CAAC,EAChD,SAAS,CAAC,4BAA4B,CAAC,OAAO,CAAC,EAC/C,IAAI;QACJ,wBAAwB,CAAC,SAAS;QAClC,uBAAuB,CAAC,SAAS,EACjC,KAAK,EACL,cAAc,CACjB,CAAC;KACL;IAED,IAAI,QAAQ,CAAC,OAAO,CAAC,WAAW,EAAE;QAC9B,OAAO,qBAAqB,CAAC,SAAS,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,cAAc,CAAC,CAAC;KACpG;IAED,IAAI,QAAQ,CAAC,OAAO,CAAC,UAAU,EAAE;QAC7B,IAAI,CAAC,IAAA,kBAAU,EAAC,OAAO,CAAC,EAAE;YACtB,MAAM,cAAc,GAAG,SAAS,CAAC,iBAAiB,EAAE,CAAC;YACrD,IAAI,cAAc,IAAI,IAAA,2BAAmB,EAAC,cAAc,CAAC,EAAE;gBACvD,oCAAoC;gBACpC,OAAO,GAAG,IAAA,6BAAiB,EACvB,IAAA,gCAAoB,EAChB,cAAc,EACd,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC;gBACvC,4BAA4B,CAAC,IAAI;gBACjC,mBAAmB,CAAC,IAAI;gBACxB,qBAAqB,CAAC,IAAI,CAC7B,CACJ,CAAC;aACL;iBAAM;gBACH,OAAO,GAAG,mBAAW,CAAC,MAAM,EAAE,CAAC;aAClC;SACJ;KACJ;IAED,sFAAsF;IACtF,IACI,gBAAQ,CAAC,cAAc,CAAC,QAAQ,CAAC;QACjC,IAAA,uBAAe,EAAC,OAAO,CAAC;QACxB,iBAAS,CAAC,SAAS,CAAC,OAAO,EAAE,MAAM,CAAC;QACpC,CAAC,OAAO,CAAC,aAAa,EACxB;QACE,OAAO,GAAG,eAAO,CAAC,MAAM,EAAE,CAAC;KAC9B;IAED,MAAM,QAAQ,GAAG,cAAc,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;IACrD,MAAM,kBAAkB,GAAG,QAAQ,aAAR,QAAQ,uBAAR,QAAQ,CAAE,WAAW,CAAC;IACjD,MAAM,gBAAgB,GAAG,MAAA,QAAQ,aAAR,QAAQ,uBAAR,QAAQ,CAAE,SAAS,mCAAI,QAAQ,CAAC,OAAO,CAAC,SAAS,CAAC;IAE3E,uEAAuE;IACvE,sEAAsE;IACtE,wEAAwE;IACxE,wCAAwC;IACxC,IAAI,QAAQ,CAAC,OAAO,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE;QACzC,IAAI,eAAiC,CAAC;QACtC,MAAM,eAAe,GAAG,SAAS,CAAC,4BAA4B,CAAC,OAAO,CAAC,CAAC;QAExE,IAAI,IAAA,iBAAS,EAAC,OAAO,CAAC,EAAE;YACpB,IACI,SAAS,CAAC,UAAU,CAChB,QAAQ,EACR,eAAe;YACf,UAAU,CAAC,SAAS,EACpB,IAAI,+BAAc,CAAC,QAAQ,CAAC,OAAO,CAAC;YACpC,uBAAuB,CAAC,SAAS,mBAEjC,cAAc,CACjB,EACH;gBACE,eAAe,GAAG,OAAO,CAAC;gBAE1B,gEAAgE;gBAChE,gDAAgD;gBAChD,IAAI,gBAAQ,CAAC,cAAc,CAAC,OAAO,CAAC,EAAE;oBAClC,eAAe,GAAG,IAAA,6BAAiB,EAAC,OAAO,CAAC,CAAC;iBAChD;aACJ;SACJ;aAAM;YACH,IAAI,YAAY,GAAG,IAAI,CAAC;YAExB,qEAAqE;YACrE,sEAAsE;YACtE,gCAAgC;YAChC,IAAI,4BAAgD,CAAC;YAErD,0DAA0D;YAC1D,eAAe,GAAG,IAAA,uBAAW,EAAC,eAAe,EAAE,CAAC,UAAU,EAAE,EAAE;gBAC1D,IAAI,kBAAoC,CAAC;gBAEzC,IAAI,IAAA,sBAAc,EAAC,UAAU,CAAC,EAAE;oBAC5B,OAAO,UAAU,CAAC;iBACrB;gBAED,IAAI,mBAAuC,CAAC;gBAC5C,QAAQ,CAAC,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,UAAU,EAAE,CAAC,EAAE,EAAE;oBACnD,MAAM,kBAAkB,GAAG,gBAAQ,CAAC,cAAc,CAAC,QAAQ,CAAC;wBACxD,CAAC,CAAC,IAAA,iCAAqB,EAAC,UAAU,CAAC;wBACnC,CAAC,CAAC,UAAU,CAAC;oBACjB,IACI,SAAS,CAAC,UAAU,CAChB,kBAAkB,EAClB,UAAU;oBACV,UAAU,CAAC,SAAS;oBACpB,wBAAwB,CAAC,SAAS;oBAClC,uBAAuB,CAAC,SAAS,mBAEjC,cAAc,CACjB,EACH;wBACE,IACI,CAAC,kBAAkB;4BACnB,SAAS,CAAC,UAAU,CAChB,gBAAQ,CAAC,cAAc,CAAC,QAAQ,CAAC;gCAC7B,CAAC,CAAC,IAAA,iCAAqB,EAAC,kBAAkB,CAAC;gCAC3C,CAAC,CAAC,kBAAkB,EACxB,kBAAkB;4BAClB,UAAU,CAAC,SAAS;4BACpB,wBAAwB,CAAC,SAAS;4BAClC,uBAAuB,CAAC,SAAS,mBAEjC,cAAc,CACjB,EACH;4BACE,kBAAkB,GAAG,IAAA,8BAAkB,EAAC,UAAU,EAAE,IAAA,4BAAgB,EAAC,UAAU,CAAC,CAAC,CAAC;4BAClF,mBAAmB,GAAG,CAAC,CAAC;yBAC3B;qBACJ;gBACL,CAAC,CAAC,CAAC;gBAEH,IAAI,CAAC,kBAAkB,EAAE;oBACrB,kEAAkE;oBAClE,mEAAmE;oBACnE,mDAAmD;oBACnD,IAAI,CAAC,eAAe,EAAE;wBAClB,YAAY,GAAG,KAAK,CAAC;qBACxB;iBACJ;gBAED,mEAAmE;gBACnE,uDAAuD;gBACvD,IAAI,mBAAmB,KAAK,SAAS,IAAI,CAAC,IAAA,4BAAgB,EAAC,UAAU,CAAC,EAAE;oBACpE,IACI,4BAA4B,KAAK,SAAS;wBAC1C,4BAA4B,KAAK,mBAAmB,EACtD;wBACE,YAAY,GAAG,KAAK,CAAC;qBACxB;oBAED,4BAA4B,GAAG,mBAAmB,CAAC;iBACtD;gBAED,OAAO,kBAAkB,CAAC;YAC9B,CAAC,CAAC,CAAC;YAEH,IAAI,IAAA,eAAO,EAAC,eAAe,CAAC,IAAI,CAAC,YAAY,EAAE;gBAC3C,eAAe,GAAG,SAAS,CAAC;aAC/B;YAED,uEAAuE;YACvE,sBAAsB;YACtB,IAAI,CAAC,eAAe,IAAI,IAAA,eAAO,EAAC,eAAe,CAAC,EAAE;gBAC9C,eAAe,GAAG,QAAQ,CAAC,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,EAAE;oBAC/D,MAAM,kBAAkB,GAAG,gBAAQ,CAAC,cAAc,CAAC,QAAQ,CAAC;wBACxD,CAAC,CAAC,IAAA,iCAAqB,EAAC,UAAU,CAAC;wBACnC,CAAC,CAAC,UAAU,CAAC;oBACjB,OAAO,SAAS,CAAC,UAAU,CACvB,kBAAkB,EAClB,eAAe;oBACf,UAAU,CAAC,SAAS;oBACpB,wBAAwB,CAAC,SAAS;oBAClC,uBAAuB,CAAC,SAAS,mBAEjC,cAAc,CACjB,CAAC;gBACN,CAAC,CAAC,CAAC;aACN;SACJ;QAED,uDAAuD;QACvD,6DAA6D;QAC7D,sCAAsC;QACtC,IAAI,CAAC,eAAe,EAAE;YAClB,IAAI,aAAJ,IAAI,uBAAJ,IAAI,CAAE,UAAU,CACZ,oBAAS,CAAC,kBAAkB,CAAC,sBAAsB,EAAE,CAAC,MAAM,CAAC;gBACzD,IAAI,EAAE,SAAS,CAAC,SAAS,CAAC,OAAO,CAAC;gBAClC,IAAI,EAAE,QAAQ,CAAC,OAAO,CAAC,IAAI;aAC9B,CAAC,CACL,CAAC;YACF,OAAO,KAAK,CAAC;SAChB;QAED,IAAI,kBAAkB,IAAI,CAAC,IAAA,sBAAc,EAAC,kBAAkB,CAAC,EAAE;YAC3D,IACI,CAAC,SAAS,CAAC,UAAU,CACjB,kBAAkB,EAClB,eAAe;YACf,UAAU,CAAC,SAAS;YACpB,wBAAwB,CAAC,SAAS;YAClC,uBAAuB,CAAC,SAAS,mBAEjC,cAAc,CACjB,EACH;gBACE,gEAAgE;gBAChE,mEAAmE;gBACnE,wBAAwB;gBACxB,IACI,SAAS,CAAC,UAAU,CAChB,eAAe,EACf,kBAAkB;gBAClB,UAAU,CAAC,SAAS;gBACpB,wBAAwB,CAAC,SAAS;gBAClC,uBAAuB,CAAC,SAAS,mBAEjC,cAAc,CACjB,EACH;oBACE,IAAI,CAAC,cAAc,CAAC,QAAQ,EAAE,IAAI,gBAAgB,EAAE;wBAChD,cAAc,CAAC,cAAc,CAAC,QAAQ,EAAE,eAAe,CAAC,CAAC;qBAC5D;iBACJ;qBAAM;oBACH,IAAI,aAAJ,IAAI,uBAAJ,IAAI,CAAE,UAAU,CACZ,oBAAS,CAAC,kBAAkB,CAAC,sBAAsB,EAAE,CAAC,MAAM,CAAC;wBACzD,IAAI,EAAE,SAAS,CAAC,SAAS,CAAC,eAAe,CAAC;wBAC1C,IAAI,EAAE,SAAS,CAAC,SAAS,CAAC,kBAAkB,CAAC;qBAChD,CAAC,CACL,CAAC;oBACF,OAAO,KAAK,CAAC;iBAChB;aACJ;SACJ;aAAM;YACH,mCAAmC;YACnC,IAAI,CAAC,cAAc,CAAC,QAAQ,EAAE,IAAI,gBAAgB,EAAE;gBAChD,cAAc,CAAC,cAAc,CAAC,QAAQ,EAAE,eAAe,CAAC,CAAC;aAC5D;SACJ;QAED,OAAO,IAAI,CAAC;KACf;IAED,sDAAsD;IACtD,IAAI,kBAAkB,GAAG,kBAAkB,CAAC;IAC5C,IAAI,gBAAgB,GAAG,gBAAgB,CAAC;IACxC,MAAM,YAAY,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,+BAAkB,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;IAEjE,yEAAyE;IACzE,4EAA4E;IAC5E,MAAM,cAAc,GAChB,CAAC,KAAK,qCAA2C,CAAC,KAAK,CAAC;QACxD,cAAc,CAAC,iBAAiB,CAAC,QAAQ,CAAC;QAC1C,CAAC,QAAQ,CAAC,OAAO,CAAC,SAAS,IAAI,IAAA,+BAAmB,EAAC,QAAQ,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QAC/E,QAAQ,CAAC,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,+BAAmB,EAAC,CAAC,CAAC,CAAC,CAAC;IACrE,IAAI,UAAU,GAAG,cAAc,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAA,6BAAiB,EAAC,OAAO,CAAC,CAAC;IAEvE,IAAI,gBAAQ,CAAC,cAAc,CAAC,QAAQ,CAAC,EAAE;QACnC,IAAI,IAAA,qCAAyB,EAAC,UAAU,CAAC,EAAE;YACvC,UAAU,GAAG,IAAA,6BAAiB,EAAC,UAAU,CAAC,CAAC;SAC9C;aAAM;YACH,IAAI,aAAJ,IAAI,uBAAJ,IAAI,CAAE,UAAU,CACZ,oBAAS,CAAC,kBAAkB,CAAC,sBAAsB,EAAE,CAAC,MAAM,CAAC;gBACzD,UAAU,EAAE,SAAS,CAAC,SAAS,CAAC,UAAU,CAAC;gBAC3C,QAAQ,EAAE,SAAS,CAAC,SAAS,CAAC,QAAQ,CAAC;aAC1C,CAAC,CACL,CAAC;YACF,OAAO,KAAK,CAAC;SAChB;KACJ;IAED,IAAI,eAAe,IAAI,CAAC,KAAK,gCAAwC,CAAC,KAAK,CAAC,EAAE;QAC1E,8BAA8B;QAC9B,IAAI,CAAC,gBAAgB,EAAE;YACnB,gBAAgB,GAAG,UAAU,CAAC;SACjC;aAAM,IACH,CAAC,IAAA,kBAAU,EACP,gBAAgB,EAChB,UAAU;QACV,yBAAyB,CAAC,SAAS;QACnC,qBAAqB,CAAC,SAAS,EAC/B,cAAc,CACjB,EACH;YACE,IACI,SAAS,CAAC,UAAU,CAChB,gBAAgB,EAChB,SAAS,CAAC,4BAA4B,CAAC,UAAU,CAAC,EAClD,YAAY;YACZ,wBAAwB,CAAC,SAAS;YAClC,uBAAuB,CAAC,SAAS,EACjC,KAAK,+BAAqC,EAC1C,cAAc,CACjB,EACH;gBACE,yEAAyE;gBACzE,gBAAgB,GAAG,UAAU,CAAC;aACjC;iBAAM,IACH,CAAC,SAAS,CAAC,UAAU,CACjB,UAAU,EACV,gBAAgB,EAChB,YAAY;YACZ,wBAAwB,CAAC,SAAS;YAClC,uBAAuB,CAAC,SAAS,EACjC,KAAK,+BAAqC,EAC1C,cAAc,CACjB,EACH;gBACE,IAAI,IAAI,IAAI,YAAY,EAAE;oBACtB,IAAI,CAAC,UAAU,CACX,oBAAS,CAAC,kBAAkB,CAAC,sBAAsB,EAAE,CAAC,MAAM,CAAC;wBACzD,UAAU,EAAE,SAAS,CAAC,SAAS,CAAC,UAAU,CAAC;wBAC3C,QAAQ,EAAE,SAAS,CAAC,SAAS,CAAC,gBAAgB,CAAC;qBAClD,CAAC,CACL,CAAC;oBACF,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,CAAC;iBAClC;gBACD,OAAO,KAAK,CAAC;aAChB;SACJ;QAED,oEAAoE;QACpE,IAAI,kBAAkB,EAAE;YACpB,IACI,CAAC,SAAS,CAAC,UAAU,CACjB,gBAAiB,EACjB,kBAAkB;YAClB,UAAU,CAAC,SAAS;YACpB,wBAAwB,CAAC,SAAS;YAClC,uBAAuB,CAAC,SAAS,EACjC,KAAK,+BAAqC,EAC1C,cAAc,CACjB,EACH;gBACE,IAAI,IAAI,IAAI,YAAY,EAAE;oBACtB,IAAI,CAAC,UAAU,CACX,oBAAS,CAAC,kBAAkB,CAAC,sBAAsB,EAAE,CAAC,MAAM,CAAC;wBACzD,UAAU,EAAE,SAAS,CAAC,SAAS,CAAC,UAAU,CAAC;wBAC3C,QAAQ,EAAE,SAAS,CAAC,SAAS,CAAC,kBAAkB,CAAC;qBACpD,CAAC,CACL,CAAC;oBACF,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,CAAC;iBAClC;gBACD,OAAO,KAAK,CAAC;aAChB;SACJ;KACJ;SAAM;QACH,IAAI,CAAC,kBAAkB,EAAE;YACrB,mEAAmE;YACnE,kBAAkB,GAAG,UAAU,CAAC;SACnC;aAAM,IACH,CAAC,IAAA,kBAAU,EACP,kBAAkB,EAClB,UAAU;QACV,yBAAyB,CAAC,SAAS;QACnC,qBAAqB,CAAC,SAAS,EAC/B,cAAc,CACjB,EACH;YACE,IACI,SAAS,CAAC,UAAU,CAChB,kBAAkB,EAClB,UAAU,EACV,YAAY,EACZ,IAAI,+BAAc,CAAC,QAAQ,CAAC,OAAO,CAAC;YACpC,uBAAuB,CAAC,SAAS,EACjC,KAAK,EACL,cAAc,CACjB,EACH;gBACE,qEAAqE;gBACrE,sEAAsE;gBACtE,0DAA0D;gBAC1D,IACI,IAAA,2BAAe,EAAC,kBAAkB,CAAC;oBACnC,CAAC,IAAA,iBAAS,EAAC,UAAU,CAAC;oBACtB,SAAS,CAAC,UAAU,CAChB,UAAU,EACV,kBAAkB;oBAClB,UAAU,CAAC,SAAS,EACpB,IAAI,+BAAc,CAAC,QAAQ,CAAC,OAAO,CAAC;oBACpC,uBAAuB,CAAC,SAAS,EACjC,KAAK,+BAAqC,EAC1C,cAAc,CACjB,EACH;oBACE,kBAAkB,GAAG,UAAU,CAAC;iBACnC;qBAAM;oBACH,kBAAkB,GAAG,kBAAkB,CAAC;iBAC3C;aACJ;iBAAM;gBACH,6BAA6B;gBAC7B,IAAI,cAAc,CAAC,QAAQ,EAAE,IAAI,IAAA,iBAAS,EAAC,UAAU,CAAC,EAAE;oBACpD,IAAI,aAAJ,IAAI,uBAAJ,IAAI,CAAE,UAAU,CACZ,oBAAS,CAAC,kBAAkB,CAAC,sBAAsB,EAAE,CAAC,MAAM,CAAC;wBACzD,UAAU,EAAE,SAAS,CAAC,SAAS,CAAC,kBAAkB,CAAC;wBACnD,QAAQ,EAAE,SAAS,CAAC,SAAS,CAAC,UAAU,CAAC;qBAC5C,CAAC,CACL,CAAC;oBACF,OAAO,KAAK,CAAC;iBAChB;gBAED,oDAAoD;gBACpD,MAAM,gBAAgB,GAAG,QAAQ,CAAC;gBAClC,IAAI,IAAA,yBAAiB,EAAC,gBAAgB,CAAC,EAAE;oBACrC,IAAI,aAAJ,IAAI,uBAAJ,IAAI,CAAE,UAAU,CACZ,oBAAS,CAAC,kBAAkB,CAAC,sBAAsB,EAAE,CAAC,MAAM,CAAC;wBACzD,UAAU,EAAE,SAAS,CAAC,SAAS,CAAC,kBAAkB,CAAC;wBACnD,QAAQ,EAAE,SAAS,CAAC,SAAS,CAAC,UAAU,CAAC;qBAC5C,CAAC,CACL,CAAC;oBACF,OAAO,KAAK,CAAC;iBAChB;gBAED,IACI,SAAS,CAAC,UAAU,CAChB,UAAU,EACV,kBAAkB;gBAClB,UAAU,CAAC,SAAS,EACpB,IAAI,+BAAc,CAAC,QAAQ,CAAC,OAAO,CAAC;gBACpC,uBAAuB,CAAC,SAAS,EACjC,KAAK,+BAAqC,EAC1C,cAAc,CACjB,EACH;oBACE,kBAAkB,GAAG,UAAU,CAAC;iBACnC;qBAAM;oBACH,MAAM,UAAU,GAAG,SAAS,CAAC,aAAa,EAAE,CAAC;oBAE7C,+DAA+D;oBAC/D,6DAA6D;oBAC7D,4DAA4D;oBAC5D,+DAA+D;oBAC/D,4CAA4C;oBAC5C,IACI,IAAA,eAAO,EAAC,kBAAkB,CAAC;wBAC3B,kBAAkB,CAAC,QAAQ,CAAC,MAAM,GAAG,+CAA0B;wBAC9D,QAAwB,CAAC,OAAO,CAAC,SAAS,KAAK,SAAS;wBACzD,UAAU;wBACV,IAAA,uBAAe,EAAC,UAAU,CAAC,EAC7B;wBACE,kBAAkB,GAAG,IAAA,oBAAY,EAAC,CAAC,kBAAkB,EAAE,UAAU,CAAC,CAAC,CAAC;qBACvE;yBAAM;wBACH,kBAAkB,GAAG,IAAA,oBAAY,EAAC,CAAC,kBAAkB,EAAE,UAAU,CAAC,CAAC,CAAC;qBACvE;iBACJ;aACJ;SACJ;QAED,iDAAiD;QACjD,IAAI,gBAAgB,IAAI,kBAAkB,EAAE;YACxC,IACI,CAAC,IAAA,kBAAU,EACP,gBAAgB,EAChB,kBAAkB;YAClB,yBAAyB,CAAC,SAAS;YACnC,qBAAqB,CAAC,SAAS,EAC/B,cAAc,CACjB,EACH;gBACE,IAAI,YAAY,GAAG,IAAI,CAAC;gBAExB,oEAAoE;gBACpE,+DAA+D;gBAC/D,mBAAmB;gBACnB,IAAI,IAAA,iBAAS,EAAC,gBAAgB,CAAC,EAAE;oBAC7B,IAAI,IAAA,kBAAU,EAAC,kBAAkB,EAAE,gBAAgB,CAAC,EAAE;wBAClD,YAAY,GAAG,KAAK,CAAC;qBACxB;yBAAM,IACH,IAAA,eAAO,EAAC,kBAAkB,CAAC;wBAC3B,kBAAkB,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,IAAA,kBAAU,EAAC,OAAO,EAAE,gBAAgB,CAAC,CAAC,EACtF;wBACE,YAAY,GAAG,KAAK,CAAC;qBACxB;iBACJ;gBAED,IACI,CAAC,SAAS,CAAC,UAAU,CACjB,YAAY,CAAC,CAAC,CAAC,SAAS,CAAC,4BAA4B,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,gBAAgB,EAC1F,kBAAkB,EAClB,IAAI,aAAJ,IAAI,uBAAJ,IAAI,CAAE,cAAc,EAAE,EACtB,IAAI,+BAAc,CAAC,QAAQ,CAAC,OAAO,CAAC;gBACpC,uBAAuB,CAAC,SAAS,EACjC,KAAK,+BAAqC,EAC1C,cAAc,CACjB,EACH;oBACE,IAAI,IAAI,IAAI,YAAY,EAAE;wBACtB,IAAI,CAAC,UAAU,CACX,oBAAS,CAAC,kBAAkB,CAAC,sBAAsB,EAAE,CAAC,MAAM,CAAC;4BACzD,UAAU,EAAE,SAAS,CAAC,SAAS,CAAC,UAAU,CAAC;4BAC3C,QAAQ,EAAE,SAAS,CAAC,SAAS,CAAC,gBAAgB,CAAC;yBAClD,CAAC,CACL,CAAC;qBACL;oBACD,OAAO,KAAK,CAAC;iBAChB;aACJ;SACJ;KACJ;IAED,qEAAqE;IACrE,IAAI,QAAQ,CAAC,OAAO,CAAC,SAAS,EAAE;QAC5B,MAAM,WAAW,GAAG,CAAC,kBAAkB,IAAI,gBAAgB,CAAE,CAAC;QAE9D,+DAA+D;QAC/D,oEAAoE;QACpE,+BAA+B;QAC/B,IAAI,gBAAQ,CAAC,cAAc,CAAC,QAAQ,CAAC,IAAI,CAAC,gBAAQ,CAAC,cAAc,CAAC,OAAO,CAAC,EAAE;YACxE,OAAO,KAAK,CAAC;SAChB;QAED,uEAAuE;QACvE,sEAAsE;QACtE,+DAA+D;QAC/D,MAAM,uBAAuB,GAAG,QAAQ,CAAC,OAAO,CAAC,iBAAiB;YAC9D,CAAC,CAAC,cAAc;YAChB,CAAC,CAAC,IAAI,+BAAc,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;QAE3C,IACI,CAAC,SAAS,CAAC,UAAU,CACjB,QAAQ,CAAC,OAAO,CAAC,SAAS,EAC1B,SAAS,CAAC,4BAA4B,CAAC,WAAW,CAAC,EACnD,IAAI,aAAJ,IAAI,uBAAJ,IAAI,CAAE,cAAc,EAAE,EACtB,uBAAuB;QACvB,uBAAuB,CAAC,SAAS,EACjC,KAAK,+BAAqC,EAC1C,cAAc,CACjB,EACH;YACE,oEAAoE;YACpE,qCAAqC;YACrC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,aAAa,EAAE;gBACjC,IAAI,aAAJ,IAAI,uBAAJ,IAAI,CAAE,UAAU,CACZ,oBAAS,CAAC,kBAAkB,CAAC,SAAS,EAAE,CAAC,MAAM,CAAC;oBAC5C,UAAU,EAAE,SAAS,CAAC,SAAS,CAAC,WAAW,CAAC;oBAC5C,QAAQ,EAAE,SAAS,CAAC,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,SAAS,CAAC;oBACzD,IAAI,EAAE,mBAAW,CAAC,eAAe,CAAC,QAAQ,CAAC;iBAC9C,CAAC,CACL,CAAC;aACL;YACD,OAAO,KAAK,CAAC;SAChB;KACJ;IAED,IAAI,CAAC,cAAc,CAAC,QAAQ,EAAE,IAAI,gBAAgB,EAAE;QAChD,cAAc,CAAC,cAAc,CAAC,QAAQ,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,cAAc,CAAC,CAAC;KACjG;IAED,OAAO,IAAI,CAAC;AAChB,CAAC;AAlmBD,kDAkmBC;AAED,SAAS,qBAAqB,CAC1B,SAAwB,EACxB,QAAqB,EACrB,OAAa,EACb,IAAoC,EACpC,cAA8B,EAC9B,cAAc,GAAG,CAAC;IAElB,IAAI,IAAA,iBAAS,EAAC,OAAO,CAAC,IAAI,OAAO,CAAC,OAAO,CAAC,WAAW,EAAE;QACnD,MAAM,aAAa,GAAG,cAAc,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC;QAC5D,IAAI,aAAa,EAAE;YACf,IAAI,aAAa,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,IAAI,aAAa,CAAC,SAAS,EAAE;gBAClE,0DAA0D;gBAC1D,IACI,IAAA,kBAAU,EACN,aAAa,CAAC,SAAS,EACvB,OAAO;gBACP,yBAAyB,CAAC,SAAS;gBACnC,qBAAqB,CAAC,SAAS,EAC/B,cAAc,CACjB,EACH;oBACE,OAAO,IAAI,CAAC;iBACf;aACJ;SACJ;aAAM;YACH,IAAI,CAAC,cAAc,CAAC,QAAQ,EAAE,IAAI,cAAc,CAAC,gBAAgB,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE;gBACjF,cAAc,CAAC,YAAY,CAAC,QAAQ,EAAE;oBAClC,KAAK,cAAwB;oBAC7B,UAAU,EAAE,EAAE;oBACd,cAAc,EAAE,SAAS;oBACzB,SAAS,EAAE,SAAS;oBACpB,SAAS,EAAE,OAAO;iBACrB,CAAC,CAAC;aACN;YACD,OAAO,IAAI,CAAC;SACf;KACJ;SAAM,IAAI,IAAA,kBAAU,EAAC,OAAO,CAAC,EAAE;QAC5B,MAAM,eAAe,GAAG,OAAO,CAAC;QAChC,MAAM,UAAU,GAAG,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE;YAC3D,MAAM,cAAc,GAAmB;gBACnC,QAAQ,EAAE,CAAC,CAAC,QAAQ;gBACpB,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,iBAAiB,EAAE,CAAC,CAAC,iBAAiB;gBACtC,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU;gBAC1B,IAAI,EAAE,oBAAY,CAAC,yBAAyB,CAAC,eAAe,EAAE,KAAK,CAAC;aACvE,CAAC;YACF,OAAO,cAAc,CAAC;QAC1B,CAAC,CAAC,CAAC;QAEH,MAAM,aAAa,GAAG,cAAc,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC;QAC5D,IAAI,aAAa,EAAE;YACf,IAAI,aAAa,CAAC,SAAS,KAAK,OAAO,CAAC,OAAO,CAAC,SAAS,EAAE;gBACvD,+DAA+D;gBAC/D,2BAA2B;gBAC3B,MAAM,gBAAgB,GAAG,IAAA,uCAA2B,EAAC,aAAa,EAAE,mBAAmB,CAAC,IAAI,CAAC,CAAC;gBAC9F,MAAM,gBAAgB,GAAG,IAAA,uCAA2B,EAChD;oBACI,UAAU;oBACV,KAAK,EAAE,OAAO,CAAC,OAAO,CAAC,KAAK;oBAC5B,cAAc,EAAE,OAAO,CAAC,OAAO,CAAC,cAAc;oBAC9C,SAAS,EAAE,SAAS;oBACpB,SAAS,EAAE,SAAS;iBACvB;gBACD,mBAAmB,CAAC,IAAI,CAC3B,CAAC;gBAEF,IACI,SAAS,CAAC,UAAU,CAChB,gBAAgB,EAChB,gBAAgB;gBAChB,UAAU,CAAC,SAAS;gBACpB,wBAAwB,CAAC,SAAS;gBAClC,uBAAuB,CAAC,SAAS,wCAEjC,cAAc,CACjB,EACH;oBACE,OAAO,IAAI,CAAC;iBACf;aACJ;SACJ;aAAM;YACH,IAAI,CAAC,cAAc,CAAC,QAAQ,EAAE,IAAI,cAAc,CAAC,gBAAgB,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE;gBACjF,cAAc,CAAC,YAAY,CAAC,QAAQ,EAAE;oBAClC,UAAU;oBACV,cAAc,EAAE,OAAO,CAAC,OAAO,CAAC,cAAc;oBAC9C,KAAK,EAAE,OAAO,CAAC,OAAO,CAAC,KAAK;oBAC5B,SAAS,EAAE,OAAO,CAAC,OAAO,CAAC,SAAS;oBACpC,SAAS,EAAE,OAAO,CAAC,OAAO,CAAC,SAAS;iBACvC,CAAC,CAAC;aACN;YACD,OAAO,IAAI,CAAC;SACf;KACJ;SAAM,IAAI,IAAA,sBAAc,EAAC,OAAO,CAAC,EAAE;QAChC,OAAO,IAAI,CAAC;KACf;IAED,IAAI,aAAJ,IAAI,uBAAJ,IAAI,CAAE,UAAU,CACZ,oBAAS,CAAC,kBAAkB,CAAC,aAAa,EAAE,CAAC,MAAM,CAAC;QAChD,IAAI,EAAE,SAAS,CAAC,SAAS,CAAC,OAAO,CAAC;QAClC,IAAI,EAAE,QAAQ,CAAC,OAAO,CAAC,IAAI;KAC9B,CAAC,CACL,CAAC;IACF,OAAO,KAAK,CAAC;AACjB,CAAC;AAED,sEAAsE;AACtE,wEAAwE;AACxE,6EAA6E;AAC7E,6EAA6E;AAC7E,+EAA+E;AAC/E,oBAAoB;AACpB,SAAgB,yCAAyC,CACrD,SAAwB,EACxB,IAAe,EACf,YAAkB,EAClB,cAA8B,EAC9B,iBAA+C;IAE/C,IAAI,IAAA,aAAK,EAAC,YAAY,CAAC,EAAE;QACrB,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE;YAC9C,cAAc,CAAC,cAAc,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC;QAC3D,CAAC,CAAC,CAAC;QACH,OAAO,IAAI,CAAC;KACf;IAED,IAAI,CAAC,IAAA,eAAO,EAAC,YAAY,CAAC,EAAE;QACxB,OAAO,KAAK,CAAC;KAChB;IAED,2EAA2E;IAC3E,MAAM,gBAAgB,GAAG,YAAY,CAAC,aAAa,CAAC;IACpD,IAAI,CAAC,gBAAgB,EAAE;QACnB,OAAO,SAAS,CAAC,UAAU,CACvB,IAAI,EACJ,YAAY;QACZ,UAAU,CAAC,SAAS,EACpB,cAAc;QACd,uBAAuB,CAAC,SAAS,oCAEpC,CAAC;KACL;IAED,2EAA2E;IAC3E,8BAA8B;IAC9B,IAAI,iBAAS,CAAC,kBAAkB,CAAC,YAAY,EAAE,IAAI,CAAC,EAAE;QAClD,MAAM,uBAAuB,GAAG,IAAA,mDAAuC,EAAC,YAAY,CAAC,CAAC;QACtF,uBAAuB,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;YACpD,MAAM,WAAW,GAAG,uBAAuB,CAAC,cAAc,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YAE1E,IAAI,WAAW,EAAE;gBACb,iFAAiF;gBACjF,gDAAgD;gBAChD,IAAI,CAAC,IAAA,iBAAS,EAAC,WAAW,CAAC,IAAI,WAAW,CAAC,OAAO,KAAK,IAAI,CAAC,OAAO,CAAC,cAAc,EAAE;oBAChF,cAAc,CAAC,cAAc,CACzB,KAAK,CAAC,OAAO,EACb,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,QAAQ,sBAAuB,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,EAC/E,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,QAAQ,0BAA2B,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,EACnF,KAAK,CAAC,aAAa,CACtB,CAAC;iBACL;aACJ;QACL,CAAC,CAAC,CAAC;QACH,OAAO,IAAI,CAAC;KACf;IAED,iDAAiD;IACjD,MAAM,mBAAmB,GAAG,IAAA,6BAAiB,EAAC,YAAY,CAAC,CAAC;IAC5D,MAAM,qBAAqB,GAAG,iBAAS,CAAC,iBAAiB,CAAC,YAAY,CAAC,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE;QAC7F,MAAM,OAAO,GAAG,mBAAW,CAAC,cAAc,CAAC,SAAS,KAAK,EAAE,CAAC,CAAC;QAC7D,OAAO,CAAC,OAAO,CAAC,aAAa,GAAG,IAAI,CAAC;QAErC,2EAA2E;QAC3E,OAAO,CAAC,OAAO,CAAC,QAAQ,oBAAqB,CAAC;QAC9C,OAAO,CAAC,OAAO,GAAG,mBAAmB,CAAC;QACtC,OAAO,OAAO,CAAC;IACnB,CAAC,CAAC,CAAC;IACH,MAAM,mBAAmB,GAAG,iBAAS,CAAC,sBAAsB,CACxD,YAAY,EACZ,qBAAqB;IACrB,4BAA4B,CAAC,IAAI,CACpC,CAAC;IAEF,8EAA8E;IAC9E,MAAM,QAAQ,GAAG,iBAAS,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE;QAChE,MAAM,OAAO,GAAG,mBAAW,CAAC,cAAc,CAAC,WAAW,KAAK,EAAE,CAAC,CAAC;QAC/D,OAAO,CAAC,OAAO,CAAC,aAAa,GAAG,IAAI,CAAC;QACrC,OAAO,CAAC,OAAO,CAAC,gBAAgB,GAAG,KAAK,CAAC;QACzC,OAAO,CAAC,OAAO,CAAC,sBAAsB,GAAG,IAAI,CAAC;QAC9C,OAAO,OAAO,CAAC;IACnB,CAAC,CAAC,CAAC;IAEH,MAAM,eAAe,GAAG,iBAAS,CAAC,sBAAsB,CAAC,IAAI,EAAE,QAAQ,EAAE,4BAA4B,CAAC,IAAI,CAAC,CAAC;IAC5G,MAAM,uBAAuB,GAAG,IAAI,+BAAc,CAAC,mBAAmB,CAAC,CAAC;IACxE,IACI,SAAS,CAAC,UAAU,CAChB,mBAAmB,EACnB,eAAe;IACf,UAAU,CAAC,SAAS,EACpB,uBAAuB;IACvB,uBAAuB,CAAC,SAAS,oCAEpC,EACH;QACE,IAAI,aAAa,GAAG,IAAI,CAAC;QAEzB,qBAAqB,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE;YAC7C,MAAM,YAAY,GAAG,uBAAuB,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC;YAErE,sEAAsE;YACtE,+EAA+E;YAC/E,IACI,YAAY;gBACZ,IAAA,iBAAS,EAAC,YAAY,CAAC;gBACvB,YAAY,CAAC,OAAO,CAAC,aAAa;gBAClC,YAAY,CAAC,OAAO,CAAC,gBAAgB,KAAK,SAAS,EACrD;gBACE,MAAM,aAAa,GACf,iBAAS,CAAC,iBAAiB,CAAC,eAAe,CAAC,CAAC,YAAY,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC;gBACxF,IAAI,KAAK,GAAG,gBAAgB,CAAC,MAAM,EAAE;oBACjC,IAAI,oBAAoB,GAAqB,gBAAgB,CAAC,KAAK,CAAC,CAAC;oBAErE,IAAI,iBAAiB,EAAE;wBACnB,oBAAoB,GAAG,IAAA,+CAAmC,EACtD,oBAAoB,EACpB,cAAc,EACd,iBAAiB,CACpB,CAAC;qBACL;oBAED,IAAI,oBAAoB,EAAE;wBACtB,cAAc,CAAC,cAAc,CACzB,aAAa,EACb,OAAO,CAAC,OAAO,CAAC,QAAQ,sBAAuB,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,oBAAoB,EAClF,OAAO,CAAC,OAAO,CAAC,QAAQ,0BAA2B,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,oBAAoB,CACzF,CAAC;qBACL;yBAAM;wBACH,aAAa,GAAG,KAAK,CAAC;qBACzB;iBACJ;aACJ;QACL,CAAC,CAAC,CAAC;QAEH,OAAO,aAAa,CAAC;KACxB;IAED,OAAO,KAAK,CAAC;AACjB,CAAC;AAvID,8FAuIC"}

package/dist/analyzer/constructorTransform.d.ts

@@ -0,0 +1,4 @@
+import { ExpressionNode } from '../parser/parseNodes';
+import { FunctionArgument, FunctionResult, TypeEvaluator } from './typeEvaluatorTypes';
+import { ClassType } from './types';
+export declare function applyConstructorTransform(evaluator: TypeEvaluator, errorNode: ExpressionNode, argList: FunctionArgument[], classType: ClassType, result: FunctionResult): FunctionResult;