@zzzen/pyright-internal 1.2.0-dev.20260816 → 1.2.0-dev.20260830

package/dist/analyzer/tuples.d.ts

@@ -1,12 +1,13 @@
 import { DiagnosticAddendum } from '../common/diagnostic';
 import { SliceNode, TupleNode } from '../parser/parseNodes';
+import { AnalyzerNodeInfoAccessor } from './analyzerNodeInfo';
 import { ConstraintTracker } from './constraintTracker';
 import { AssignTypeFlags, EvalFlags, TypeEvaluator, TypeResult } from './typeEvaluatorTypes';
 import { ClassType, TupleTypeArg, Type } from './types';
 import { InferenceContext } from './typeUtils';
 export declare function makeTupleObject(evaluator: TypeEvaluator, typeArgs: TupleTypeArg[], isUnpacked?: boolean): Type;
-export declare function getTypeOfTuple(evaluator: TypeEvaluator, node: TupleNode, flags: EvalFlags, inferenceContext?: InferenceContext | undefined): TypeResult;
-export declare function getTypeOfTupleWithContext(evaluator: TypeEvaluator, node: TupleNode, flags: EvalFlags, inferenceContext: InferenceContext): TypeResult | undefined;
+export declare function getTypeOfTuple(evaluator: TypeEvaluator, node: TupleNode, flags: EvalFlags, inferenceContext: InferenceContext | undefined, nodeInfo: AnalyzerNodeInfoAccessor): TypeResult;
+export declare function getTypeOfTupleWithContext(evaluator: TypeEvaluator, node: TupleNode, flags: EvalFlags, inferenceContext: InferenceContext, nodeInfo: AnalyzerNodeInfoAccessor): TypeResult | undefined;
 export declare function getTypeOfTupleInferred(evaluator: TypeEvaluator, node: TupleNode, flags: EvalFlags): TypeResult;
 export declare function assignTupleTypeArgs(evaluator: TypeEvaluator, destType: ClassType, srcType: ClassType, diag: DiagnosticAddendum | undefined, constraints: ConstraintTracker | undefined, flags: AssignTypeFlags, recursionCount: number): boolean;
 export declare function adjustTupleTypeArgs(evaluator: TypeEvaluator, destTypeArgs: TupleTypeArg[], srcTypeArgs: TupleTypeArg[], flags: AssignTypeFlags): boolean;

package/dist/analyzer/tuples.js

@@ -37,7 +37,7 @@ function makeTupleObject(evaluator, typeArgs, isUnpacked = false) {
     }
     return types_1.UnknownType.create();
 }
-function getTypeOfTuple(evaluator, node, flags, inferenceContext) {
+function getTypeOfTuple(evaluator, node, flags, inferenceContext, nodeInfo) {
     if ((flags & 256 /* EvalFlags.TypeExpression */) !== 0 && node.parent?.nodeType !== 1 /* ParseNodeType.Argument */) {
         // This is allowed inside of an index trailer, specifically
         // to support Tuple[()], which is the documented way to annotate
@@ -63,7 +63,7 @@ function getTypeOfTuple(evaluator, node, flags, inferenceContext) {
             }
             if (!matchingSubtype) {
                 const subtypeResult = evaluator.useSpeculativeMode(node, () => {
-                    return getTypeOfTupleWithContext(evaluator, node, flags, (0, typeUtils_1.makeInferenceContext)(subtype));
+                    return getTypeOfTupleWithContext(evaluator, node, flags, (0, typeUtils_1.makeInferenceContext)(subtype), nodeInfo);
                 });
                 if (subtypeResult && evaluator.assignType(subtype, subtypeResult.type)) {
                     matchingSubtype = subtype;
@@ -75,7 +75,7 @@ function getTypeOfTuple(evaluator, node, flags, inferenceContext) {
     }
     let expectedTypeDiagAddendum;
     if (expectedType) {
-        const result = getTypeOfTupleWithContext(evaluator, node, flags, (0, typeUtils_1.makeInferenceContext)(expectedType));
+        const result = getTypeOfTupleWithContext(evaluator, node, flags, (0, typeUtils_1.makeInferenceContext)(expectedType), nodeInfo);
         if (result && !result.typeErrors) {
             return result;
         }
@@ -89,7 +89,7 @@ function getTypeOfTuple(evaluator, node, flags, inferenceContext) {
     }
     return { ...typeResult, expectedTypeDiagAddendum };
 }
-function getTypeOfTupleWithContext(evaluator, node, flags, inferenceContext) {
+function getTypeOfTupleWithContext(evaluator, node, flags, inferenceContext, nodeInfo) {
     inferenceContext.expectedType = (0, typeUtils_1.transformPossibleRecursiveTypeAlias)(inferenceContext.expectedType);
     if (!(0, types_1.isClassInstance)(inferenceContext.expectedType)) {
         return undefined;
@@ -116,7 +116,7 @@ function getTypeOfTupleWithContext(evaluator, node, flags, inferenceContext) {
     }
     else {
         const tupleConstraints = new constraintTracker_1.ConstraintTracker();
-        if (!(0, constraintSolver_1.addConstraintsForExpectedType)(evaluator, types_1.ClassType.cloneAsInstance(tupleClass), inferenceContext.expectedType, tupleConstraints, (0, parseTreeUtils_1.getTypeVarScopesForNode)(node), node.start)) {
+        if (!(0, constraintSolver_1.addConstraintsForExpectedType)(evaluator, types_1.ClassType.cloneAsInstance(tupleClass), inferenceContext.expectedType, tupleConstraints, (0, parseTreeUtils_1.getTypeVarScopesForNode)(node, nodeInfo), node.start)) {
             return undefined;
         }
         const specializedTuple = evaluator.solveAndApplyConstraints(tupleClass, tupleConstraints);

package/dist/analyzer/tuples.js.map

@@ -1 +1 @@
-{"version":3,"file":"tuples.js","sourceRoot":"","sources":["../../../../../src/analyzer/tuples.ts"],"names":[],"mappings":";AAAA;;;;;;;GAOG;;AA+CH,0CAOC;AAED,wCA8EC;AAED,8DAgGC;AAED,wDA6BC;AAKD,kDAwFC;AAOD,kDAoKC;AAID,gDAoBC;AAOD,kCAmCC;AA/kBD,qDAA0D;AAC1D,+DAA2D;AAC3D,uDAAmE;AAEnE,yDAAmE;AACnE,2DAAwD;AACxD,qDAA2D;AAC3D,6DAAwH;AACxH,mCAiBiB;AACjB,2CAWqB;AAErB,sEAAsE;AACtE,sEAAsE;AACtE,oEAAoE;AACpE,qCAAqC;AACrC,MAAM,0BAA0B,GAAG,GAAG,CAAC;AAEvC,SAAgB,eAAe,CAAC,SAAwB,EAAE,QAAwB,EAAE,UAAU,GAAG,KAAK;IAClG,MAAM,UAAU,GAAG,SAAS,CAAC,iBAAiB,EAAE,CAAC;IACjD,IAAI,UAAU,IAAI,IAAA,2BAAmB,EAAC,UAAU,CAAC,EAAE,CAAC;QAChD,OAAO,IAAA,6BAAiB,EAAC,IAAA,gCAAoB,EAAC,UAAU,EAAE,QAAQ,EAAE,uBAAuB,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC;IACnH,CAAC;IAED,OAAO,mBAAW,CAAC,MAAM,EAAE,CAAC;AAChC,CAAC;AAED,SAAgB,cAAc,CAC1B,SAAwB,EACxB,IAAe,EACf,KAAgB,EAChB,gBAA+C;IAE/C,IAAI,CAAC,KAAK,qCAA2B,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,QAAQ,mCAA2B,EAAE,CAAC;QAC/F,2DAA2D;QAC3D,gEAAgE;QAChE,uBAAuB;QACvB,MAAM,IAAI,GAAG,IAAI,+BAAkB,EAAE,CAAC;QACtC,IAAI,CAAC,UAAU,CAAC,sBAAW,CAAC,eAAe,EAAE,CAAC,CAAC;QAC/C,SAAS,CAAC,aAAa,CACnB,gCAAc,CAAC,qBAAqB,EACpC,qBAAU,CAAC,iBAAiB,EAAE,GAAG,IAAI,CAAC,SAAS,EAAE,EACjD,IAAI,CACP,CAAC;QAEF,OAAO,EAAE,IAAI,EAAE,mBAAW,CAAC,MAAM,EAAE,EAAE,CAAC;IAC1C,CAAC;IAED,IAAI,CAAC,KAAK,uCAA6B,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,gBAAgB,EAAE,CAAC;QAC/F,OAAO,EAAE,IAAI,EAAE,eAAe,CAAC,SAAS,EAAE,EAAE,CAAC,EAAE,qBAAqB,EAAE,IAAI,EAAE,CAAC;IACjF,CAAC;IAED,KAAK,IAAI,CAAC,CAAC,uEAAqD,uCAA6B,CAAC,CAAC;IAE/F,6EAA6E;IAC7E,4BAA4B;IAC5B,IAAI,YAAY,GAAG,gBAAgB,EAAE,YAAY,CAAC;IAClD,IAAI,uBAAuB,GAAG,gBAAgB,IAAI,IAAA,aAAK,EAAC,gBAAgB,CAAC,YAAY,CAAC,CAAC;IAEvF,IAAI,gBAAgB,IAAI,IAAA,eAAO,EAAC,gBAAgB,CAAC,YAAY,CAAC,EAAE,CAAC;QAC7D,IAAI,eAAiC,CAAC;QAEtC,IAAA,4BAAgB,EACZ,gBAAgB,CAAC,YAAY,EAC7B,CAAC,OAAO,EAAE,EAAE;YACR,IAAI,IAAA,aAAK,EAAC,OAAO,CAAC,EAAE,CAAC;gBACjB,uBAAuB,GAAG,IAAI,CAAC;YACnC,CAAC;YAED,IAAI,CAAC,eAAe,EAAE,CAAC;gBACnB,MAAM,aAAa,GAAG,SAAS,CAAC,kBAAkB,CAAC,IAAI,EAAE,GAAG,EAAE;oBAC1D,OAAO,yBAAyB,CAAC,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAA,gCAAoB,EAAC,OAAO,CAAC,CAAC,CAAC;gBAC5F,CAAC,CAAC,CAAC;gBAEH,IAAI,aAAa,IAAI,SAAS,CAAC,UAAU,CAAC,OAAO,EAAE,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;oBACrE,eAAe,GAAG,OAAO,CAAC;gBAC9B,CAAC;YACL,CAAC;QACL,CAAC;QACD,kBAAkB,CAAC,IAAI,CAC1B,CAAC;QAEF,YAAY,GAAG,eAAe,CAAC;IACnC,CAAC;IAED,IAAI,wBAAwD,CAAC;IAC7D,IAAI,YAAY,EAAE,CAAC;QACf,MAAM,MAAM,GAAG,yBAAyB,CAAC,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAA,gCAAoB,EAAC,YAAY,CAAC,CAAC,CAAC;QAErG,IAAI,MAAM,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC;YAC/B,OAAO,MAAM,CAAC;QAClB,CAAC;QAED,wBAAwB,GAAG,MAAM,EAAE,wBAAwB,CAAC;IAChE,CAAC;IAED,MAAM,UAAU,GAAG,sBAAsB,CAAC,SAAS,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IAElE,mEAAmE;IACnE,oDAAoD;IACpD,IAAI,uBAAuB,EAAE,CAAC;QAC1B,UAAU,CAAC,IAAI,GAAG,eAAO,CAAC,MAAM,EAAE,CAAC;IACvC,CAAC;IAED,OAAO,EAAE,GAAG,UAAU,EAAE,wBAAwB,EAAE,CAAC;AACvD,CAAC;AAED,SAAgB,yBAAyB,CACrC,SAAwB,EACxB,IAAe,EACf,KAAgB,EAChB,gBAAkC;IAElC,gBAAgB,CAAC,YAAY,GAAG,IAAA,+CAAmC,EAAC,gBAAgB,CAAC,YAAY,CAAC,CAAC;IACnG,IAAI,CAAC,IAAA,uBAAe,EAAC,gBAAgB,CAAC,YAAY,CAAC,EAAE,CAAC;QAClD,OAAO,SAAS,CAAC;IACrB,CAAC;IAED,MAAM,UAAU,GAAG,SAAS,CAAC,iBAAiB,EAAE,CAAC;IACjD,IAAI,CAAC,UAAU,IAAI,CAAC,IAAA,2BAAmB,EAAC,UAAU,CAAC,EAAE,CAAC;QAClD,OAAO,SAAS,CAAC;IACrB,CAAC;IAED,oCAAoC;IACpC,IAAI,aAAa,GAAW,EAAE,CAAC;IAE/B,IAAI,IAAA,wBAAY,EAAC,gBAAgB,CAAC,YAAY,CAAC,IAAI,gBAAgB,CAAC,YAAY,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC;QAClG,aAAa,GAAG,gBAAgB,CAAC,YAAY,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACvE,IAAA,+CAAmC,EAAC,CAAC,CAAC,IAAI,CAAC,CAC9C,CAAC;QACF,MAAM,cAAc,GAAG,gBAAgB,CAAC,YAAY,CAAC,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;QACxG,IAAI,cAAc,IAAI,CAAC,EAAE,CAAC;YACtB,IAAI,aAAa,CAAC,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;gBAC7C,aAAa,CAAC,MAAM,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC;YAC5C,CAAC;iBAAM,CAAC;gBACJ,OAAO,aAAa,CAAC,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;oBAChD,aAAa,CAAC,MAAM,CAAC,cAAc,EAAE,CAAC,EAAE,aAAa,CAAC,cAAc,CAAC,CAAC,CAAC;gBAC3E,CAAC;YACL,CAAC;QACL,CAAC;IACL,CAAC;SAAM,CAAC;QACJ,MAAM,gBAAgB,GAAG,IAAI,qCAAiB,EAAE,CAAC;QACjD,IACI,CAAC,IAAA,gDAA6B,EAC1B,SAAS,EACT,iBAAS,CAAC,eAAe,CAAC,UAAU,CAAC,EACrC,gBAAgB,CAAC,YAAY,EAC7B,gBAAgB,EAChB,IAAA,wCAAuB,EAAC,IAAI,CAAC,EAC7B,IAAI,CAAC,KAAK,CACb,EACH,CAAC;YACC,OAAO,SAAS,CAAC;QACrB,CAAC;QAED,MAAM,gBAAgB,GAAG,SAAS,CAAC,wBAAwB,CAAC,UAAU,EAAE,gBAAgB,CAAc,CAAC;QACvG,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,QAAQ,IAAI,gBAAgB,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACjF,OAAO,SAAS,CAAC;QACrB,CAAC;QAED,MAAM,cAAc,GAAG,IAAA,+CAAmC,EAAC,gBAAgB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9F,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3C,aAAa,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QACvC,CAAC;IACL,CAAC;IAED,MAAM,gBAAgB,GAAG,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CACtD,SAAS,CAAC,mBAAmB,CACzB,IAAI,EACJ,KAAK,+CAA+B,EACpC,IAAA,gCAAoB,EAChB,KAAK,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,EAC/D,gBAAgB,CAAC,gBAAgB,CACpC,CACJ,CACJ,CAAC;IACF,MAAM,YAAY,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;IAE5E,qEAAqE;IACrE,IAAI,wBAAwD,CAAC;IAC7D,IAAI,gBAAgB,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,wBAAwB,CAAC,EAAE,CAAC;QACrE,wBAAwB,GAAG,IAAI,+BAAkB,EAAE,CAAC;QACpD,gBAAgB,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE;YAChC,IAAI,MAAM,CAAC,wBAAwB,EAAE,CAAC;gBAClC,wBAAyB,CAAC,WAAW,CAAC,MAAM,CAAC,wBAAwB,CAAC,CAAC;YAC3E,CAAC;QACL,CAAC,CAAC,CAAC;IACP,CAAC;IAED,sEAAsE;IACtE,qEAAqE;IACrE,uBAAuB;IACvB,IAAI,IAAU,CAAC;IACf,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,0BAA0B,IAAI,gBAAgB,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;QAC3G,IAAI,GAAG,eAAe,CAAC,SAAS,EAAE,CAAC,EAAE,IAAI,EAAE,mBAAW,CAAC,MAAM,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IAC3F,CAAC;SAAM,CAAC;QACJ,IAAI,GAAG,eAAe,CAClB,SAAS,EACT,SAAS,CAAC,mBAAmB,CAAC,gBAAgB,EAAE,mBAAmB,CAAC,KAAK,EAAE,mBAAmB,CAAC,KAAK,CAAC,CACxG,CAAC;IACN,CAAC;IAED,OAAO,EAAE,IAAI,EAAE,wBAAwB,EAAE,YAAY,EAAE,CAAC;AAC5D,CAAC;AAED,SAAgB,sBAAsB,CAAC,SAAwB,EAAE,IAAe,EAAE,KAAgB;IAC9F,MAAM,gBAAgB,GAAG,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAC/C,SAAS,CAAC,mBAAmB,CAAC,IAAI,EAAE,KAAK,+CAA+B,CAAC,CAC5E,CAAC;IACF,MAAM,YAAY,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;IAE5E,sEAAsE;IACtE,uEAAuE;IACvE,8CAA8C;IAC9C,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,0BAA0B,EAAE,CAAC;QACnD,OAAO,EAAE,IAAI,EAAE,eAAe,CAAC,SAAS,EAAE,CAAC,EAAE,IAAI,EAAE,mBAAW,CAAC,MAAM,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;IACrG,CAAC;IAED,MAAM,IAAI,GAAG,eAAe,CACxB,SAAS,EACT,SAAS,CAAC,mBAAmB,CACzB,gBAAgB,EAChB,CAAC,KAAK,+CAA+B,CAAC,KAAK,CAAC;IAC5C,mBAAmB,CAAC,IAAI,CAC3B,CACJ,CAAC;IAEF,IAAI,YAAY,EAAE,CAAC;QACf,IAAI,IAAA,6BAAiB,EAAC,IAAI,CAAC,GAAG,8CAAyB,EAAE,CAAC;YACtD,OAAO,EAAE,IAAI,EAAE,mBAAW,CAAC,MAAM,EAAE,EAAE,CAAC;QAC1C,CAAC;IACL,CAAC;IAED,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;AAClC,CAAC;AAED,2EAA2E;AAC3E,wEAAwE;AACxE,iBAAiB;AACjB,SAAgB,mBAAmB,CAC/B,SAAwB,EACxB,QAAmB,EACnB,OAAkB,EAClB,IAAoC,EACpC,WAA0C,EAC1C,KAAsB,EACtB,cAAsB;IAEtB,MAAM,YAAY,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,CAAC;IAC9D,MAAM,WAAW,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,CAAC;IAE5D,IAAI,mBAAmB,CAAC,SAAS,EAAE,YAAY,EAAE,WAAW,EAAE,KAAK,CAAC,EAAE,CAAC;QACnE,KAAK,IAAI,QAAQ,GAAG,CAAC,EAAE,QAAQ,GAAG,WAAW,CAAC,MAAM,EAAE,QAAQ,EAAE,EAAE,CAAC;YAC/D,MAAM,SAAS,GAAG,IAAI,EAAE,cAAc,EAAE,CAAC;YACzC,MAAM,WAAW,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC;YAChD,MAAM,UAAU,GAAG,WAAW,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC;YAE9C,2DAA2D;YAC3D,2DAA2D;YAC3D,IACI,IAAA,sBAAc,EAAC,WAAW,CAAC;gBAC3B,WAAW,CAAC,IAAI,CAAC,UAAU;gBAC3B,CAAC,WAAW,CAAC,IAAI,CAAC,SAAS;gBAC3B,IAAA,8BAAkB,EAAC,UAAU,CAAC,EAChC,CAAC;gBACC,OAAO,IAAI,CAAC;YAChB,CAAC;YAED,IACI,CAAC,SAAS,CAAC,UAAU,CACjB,WAAW,EACX,UAAU,EACV,SAAS,EAAE,cAAc,EAAE,EAC3B,WAAW,EACX,KAAK,EACL,cAAc,CACjB,EACH,CAAC;gBACC,IAAI,SAAS,EAAE,CAAC;oBACZ,SAAS,CAAC,UAAU,CAChB,sBAAW,CAAC,sBAAsB,EAAE,CAAC,MAAM,CAAC;wBACxC,KAAK,EAAE,QAAQ,GAAG,CAAC;qBACtB,CAAC,CACL,CAAC;gBACN,CAAC;gBACD,OAAO,KAAK,CAAC;YACjB,CAAC;QACL,CAAC;IACL,CAAC;SAAM,CAAC;QACJ,MAAM,mBAAmB,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,IAAI,IAAA,sBAAc,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAE9F,IAAI,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,IAAI,IAAA,sBAAc,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;YACnE,IAAI,mBAAmB,EAAE,CAAC;gBACtB,IAAI,EAAE,UAAU,CACZ,sBAAW,CAAC,6BAA6B,EAAE,CAAC,MAAM,CAAC;oBAC/C,QAAQ,EAAE,YAAY,CAAC,MAAM,GAAG,CAAC;iBACpC,CAAC,CACL,CAAC;YACN,CAAC;iBAAM,CAAC;gBACJ,IAAI,EAAE,UAAU,CACZ,sBAAW,CAAC,yBAAyB,EAAE,CAAC,MAAM,CAAC;oBAC3C,QAAQ,EAAE,YAAY,CAAC,MAAM;iBAChC,CAAC,CACL,CAAC;YACN,CAAC;QACL,CAAC;aAAM,CAAC;YACJ,IAAI,mBAAmB,EAAE,CAAC;gBACtB,IAAI,EAAE,UAAU,CACZ,sBAAW,CAAC,kCAAkC,EAAE,CAAC,MAAM,CAAC;oBACpD,QAAQ,EAAE,YAAY,CAAC,MAAM,GAAG,CAAC;oBACjC,QAAQ,EAAE,WAAW,CAAC,MAAM;iBAC/B,CAAC,CACL,CAAC;YACN,CAAC;iBAAM,CAAC;gBACJ,IAAI,EAAE,UAAU,CACZ,sBAAW,CAAC,iBAAiB,EAAE,CAAC,MAAM,CAAC;oBACnC,QAAQ,EAAE,YAAY,CAAC,MAAM;oBAC7B,QAAQ,EAAE,WAAW,CAAC,MAAM;iBAC/B,CAAC,CACL,CAAC;YACN,CAAC;QACL,CAAC;QAED,OAAO,KAAK,CAAC;IACjB,CAAC;IAED,OAAO,IAAI,CAAC;AAChB,CAAC;AAED,yEAAyE;AACzE,0EAA0E;AAC1E,sEAAsE;AACtE,wEAAwE;AACxE,yBAAyB;AACzB,SAAgB,mBAAmB,CAC/B,SAAwB,EACxB,YAA4B,EAC5B,WAA2B,EAC3B,KAAsB;IAEtB,MAAM,4BAA4B,GAAG,YAAY,CAAC,SAAS,CACvD,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,IAAI,IAAA,8BAAsB,EAAC,CAAC,CAAC,IAAI,CAAC,IAAI,IAAA,yBAAiB,EAAC,CAAC,CAAC,IAAI,CAAC,CACtF,CAAC;IACF,IAAI,iBAAiB,GAAG,WAAW,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;IACpE,MAAM,gBAAgB,GAAG,WAAW,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,8BAAsB,EAAC,CAAC,CAAC,IAAI,CAAC,IAAI,IAAA,yBAAiB,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAEnH,IAAI,iBAAiB,IAAI,CAAC,EAAE,CAAC;QACzB,IAAI,IAAA,sBAAc,EAAC,WAAW,CAAC,iBAAiB,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;YACtD,+EAA+E;YAC/E,MAAM,eAAe,GAAG,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,iBAAiB,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,eAAO,CAAC,MAAM,EAAE,CAAC;YAExG,OAAO,WAAW,CAAC,MAAM,GAAG,YAAY,CAAC,MAAM,EAAE,CAAC;gBAC9C,WAAW,CAAC,MAAM,CAAC,iBAAiB,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC;YAC3F,CAAC;YAED,IAAI,WAAW,CAAC,MAAM,GAAG,YAAY,CAAC,MAAM,EAAE,CAAC;gBAC3C,WAAW,CAAC,MAAM,CAAC,iBAAiB,EAAE,CAAC,CAAC,CAAC;gBAEzC,4CAA4C;gBAC5C,iBAAiB,GAAG,CAAC,CAAC,CAAC;YAC3B,CAAC;QACL,CAAC;aAAM,IAAI,4BAA4B,GAAG,CAAC,EAAE,CAAC;YAC1C,qFAAqF;YACrF,OAAO,KAAK,CAAC;QACjB,CAAC;IACL,CAAC;IAED,+EAA+E;IAC/E,IACI,4BAA4B,IAAI,CAAC;QACjC,YAAY,CAAC,4BAA4B,CAAC,CAAC,WAAW;QACtD,IAAA,sBAAc,EAAC,YAAY,CAAC,4BAA4B,CAAC,CAAC,IAAI,CAAC,EACjE,CAAC;QACC,OAAO,YAAY,CAAC,MAAM,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC;YAC9C,YAAY,CAAC,MAAM,CAAC,4BAA4B,EAAE,CAAC,EAAE,YAAY,CAAC,4BAA4B,CAAC,CAAC,CAAC;QACrG,CAAC;IACL,CAAC;IAED,wFAAwF;IACxF,OAAO,WAAW,CAAC,MAAM,GAAG,YAAY,CAAC,MAAM,IAAI,WAAW,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC;QAChG,WAAW,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IAClD,CAAC;IAED,OAAO,YAAY,CAAC,MAAM,GAAG,WAAW,CAAC,MAAM,IAAI,YAAY,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC;QAClG,YAAY,CAAC,MAAM,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IACpD,CAAC;IAED,MAAM,gBAAgB,GAAG,WAAW,CAAC,MAAM,GAAG,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC;IACtE,IAAI,aAAa,GAAG,KAAK,CAAC;IAE1B,+EAA+E;IAC/E,oEAAoE;IACpE,oBAAoB;IACpB,IAAI,CAAC,KAAK,wCAAgC,CAAC,KAAK,CAAC,EAAE,CAAC;QAChD,MAAM,iBAAiB,GAAG,YAAY,CAAC,MAAM,GAAG,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC;QAEvE,IAAI,gBAAgB,IAAI,CAAC,IAAI,iBAAiB,IAAI,CAAC,EAAE,CAAC;YAClD,wEAAwE;YACxE,6BAA6B;YAC7B,MAAM,cAAc,GAAG,iBAAiB,KAAK,CAAC,IAAI,IAAA,sBAAc,EAAC,YAAY,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,CAAC;YACtG,MAAM,UAAU,GAAG,SAAS,CAAC,iBAAiB,EAAE,CAAC;YAEjD,IAAI,CAAC,cAAc,IAAI,UAAU,IAAI,IAAA,2BAAmB,EAAC,UAAU,CAAC,EAAE,CAAC;gBACnE,MAAM,WAAW,GAAG,YAAY,CAAC,MAAM,CAAC,gBAAgB,EAAE,iBAAiB,CAAC,CAAC;gBAE7E,+DAA+D;gBAC/D,MAAM,aAAa,GAAG,iBAAS,CAAC,eAAe,CAC3C,IAAA,gCAAoB,EAChB,UAAU,EACV,WAAW,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE;oBACxB,OAAO;wBACH,IAAI,EAAE,OAAO,CAAC,IAAI;wBAClB,WAAW,EAAE,OAAO,CAAC,WAAW;wBAChC,UAAU,EAAE,OAAO,CAAC,UAAU;qBACjC,CAAC;gBACN,CAAC,CAAC;gBACF,uBAAuB,CAAC,IAAI;gBAC5B,gBAAgB,CAAC,IAAI,CACxB,CACJ,CAAC;gBAEF,YAAY,CAAC,MAAM,CAAC,gBAAgB,EAAE,CAAC,EAAE;oBACrC,IAAI,EAAE,aAAa;oBACnB,WAAW,EAAE,KAAK;iBACrB,CAAC,CAAC;YACP,CAAC;YAED,aAAa,GAAG,IAAI,CAAC;QACzB,CAAC;IACL,CAAC;SAAM,CAAC;QACJ,IAAI,4BAA4B,IAAI,CAAC,IAAI,gBAAgB,IAAI,CAAC,EAAE,CAAC;YAC7D,kEAAkE;YAClE,uEAAuE;YACvE,IAAI,IAAA,sBAAc,EAAC,YAAY,CAAC,4BAA4B,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;gBAClE,MAAM,UAAU,GAAG,SAAS,CAAC,iBAAiB,EAAE,CAAC;gBAEjD,IAAI,UAAU,IAAI,IAAA,2BAAmB,EAAC,UAAU,CAAC,EAAE,CAAC;oBAChD,MAAM,WAAW,GAAG,WAAW,CAAC,MAAM,CAAC,4BAA4B,EAAE,gBAAgB,CAAC,CAAC;oBAEvF,IAAI,aAAmB,CAAC;oBAExB,qEAAqE;oBACrE,qCAAqC;oBACrC,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,IAAI,IAAA,8BAAsB,EAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;wBAC1E,aAAa,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;oBACxC,CAAC;yBAAM,CAAC;wBACJ,+DAA+D;wBAC/D,aAAa,GAAG,iBAAS,CAAC,eAAe,CACrC,IAAA,gCAAoB,EAChB,UAAU,EACV,WAAW,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE;4BACxB,OAAO;gCACH,IAAI,EAAE,OAAO,CAAC,IAAI;gCAClB,WAAW,EAAE,OAAO,CAAC,WAAW;gCAChC,UAAU,EAAE,OAAO,CAAC,UAAU;6BACjC,CAAC;wBACN,CAAC,CAAC;wBACF,uBAAuB,CAAC,IAAI;wBAC5B,gBAAgB,CAAC,IAAI,CACxB,CACJ,CAAC;oBACN,CAAC;oBAED,WAAW,CAAC,MAAM,CAAC,4BAA4B,EAAE,CAAC,EAAE;wBAChD,IAAI,EAAE,aAAa;wBACnB,WAAW,EAAE,KAAK;qBACrB,CAAC,CAAC;gBACP,CAAC;gBAED,aAAa,GAAG,IAAI,CAAC;YACzB,CAAC;QACL,CAAC;IACL,CAAC;IAED,IAAI,CAAC,aAAa,IAAI,4BAA4B,IAAI,CAAC,IAAI,gBAAgB,IAAI,CAAC,EAAE,CAAC;QAC/E,gEAAgE;QAChE,uEAAuE;QACvE,4CAA4C;QAC5C,IACI,iBAAiB,GAAG,CAAC;YACrB,CAAC,iBAAiB,IAAI,4BAA4B;gBAC9C,iBAAiB,GAAG,4BAA4B,GAAG,gBAAgB,CAAC,EAC1E,CAAC;YACC,MAAM,eAAe,GAAG,WAAW,CAAC,MAAM,CAAC,4BAA4B,EAAE,gBAAgB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;gBACjG,IAAI,IAAA,iBAAS,EAAC,CAAC,CAAC,IAAI,CAAC,IAAI,IAAA,8BAAsB,EAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;oBACtD,OAAO,mBAAW,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,EAAE,eAAe,CAAC,IAAI,CAAC,CAAC;gBACtE,CAAC;gBACD,OAAO,CAAC,CAAC,IAAI,CAAC;YAClB,CAAC,CAAC,CAAC;YAEH,WAAW,CAAC,MAAM,CAAC,4BAA4B,EAAE,CAAC,EAAE;gBAChD,IAAI,EAAE,eAAe,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAA,oBAAY,EAAC,eAAe,CAAC,CAAC,CAAC,CAAC,eAAO,CAAC,MAAM,EAAE;gBACnF,WAAW,EAAE,KAAK;aACrB,CAAC,CAAC;QACP,CAAC;IACL,CAAC;IAED,OAAO,YAAY,CAAC,MAAM,KAAK,WAAW,CAAC,MAAM,CAAC;AACtD,CAAC;AAED,sEAAsE;AACtE,8DAA8D;AAC9D,SAAgB,kBAAkB,CAC9B,SAAwB,EACxB,SAAoB,EACpB,SAAoB;IAEpB,+BAA+B;IAC/B,IAAI,SAAS,CAAC,CAAC,CAAC,SAAS,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC;QACzD,OAAO,SAAS,CAAC;IACrB,CAAC;IAED,MAAM,aAAa,GAAG,SAAS,CAAC,IAAI,CAAC,aAAa,CAAC;IACnD,MAAM,UAAU,GAAG,kBAAkB,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,EAAE,aAAa,CAAC,CAAC;IAC3F,MAAM,QAAQ,GAAG,kBAAkB,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC,QAAQ,EAAE,aAAa,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;IAE1G,IAAI,UAAU,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,GAAG,UAAU,EAAE,CAAC;QAC9E,OAAO,SAAS,CAAC;IACrB,CAAC;IAED,MAAM,cAAc,GAAG,aAAa,CAAC,KAAK,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;IACjE,OAAO,iBAAS,CAAC,eAAe,CAAC,IAAA,gCAAoB,EAAC,SAAS,EAAE,cAAc,CAAC,CAAC,CAAC;AACtF,CAAC;AAED,oFAAoF;AACpF,gFAAgF;AAChF,8EAA8E;AAC9E,8EAA8E;AAC9E,+DAA+D;AAC/D,SAAgB,WAAW,CAAC,SAAoB,EAAE,YAAoB;IAClE,IACI,CAAC,IAAA,wBAAY,EAAC,SAAS,CAAC;QACxB,CAAC,SAAS,CAAC,IAAI,CAAC,aAAa;QAC7B,SAAS,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,WAAW,IAAI,IAAA,sBAAc,EAAC,OAAO,CAAC,IAAI,CAAC,CAAC,EACrG,CAAC;QACC,OAAO,SAAS,CAAC;IACrB,CAAC;IAED,IAAI,cAAc,GAAgB,CAAC,SAAS,CAAC,CAAC;IAC9C,IAAI,KAAK,GAAG,CAAC,CAAC;IAEd,OAAO,KAAK,GAAG,SAAS,CAAC,IAAI,CAAC,aAAa,CAAC,MAAM,EAAE,CAAC;QACjD,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC;QAC1D,IAAI,IAAA,eAAO,EAAC,QAAQ,CAAC,EAAE,CAAC;YACpB,MAAM,iBAAiB,GAAgB,EAAE,CAAC;YAE1C,KAAK,MAAM,aAAa,IAAI,cAAc,EAAE,CAAC;gBACzC,IAAA,4BAAgB,EAAC,QAAQ,EAAE,CAAC,OAAO,EAAE,EAAE;oBACnC,MAAM,WAAW,GAAG,CAAC,GAAG,aAAa,CAAC,IAAI,CAAC,aAAc,CAAC,CAAC;oBAC3D,WAAW,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC;oBAC3D,iBAAiB,CAAC,IAAI,CAAC,iBAAS,CAAC,eAAe,CAAC,IAAA,gCAAoB,EAAC,aAAa,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC;gBACxG,CAAC,CAAC,CAAC;YACP,CAAC;YACD,cAAc,GAAG,iBAAiB,CAAC;QACvC,CAAC;QAED,IAAI,cAAc,CAAC,MAAM,GAAG,YAAY,EAAE,CAAC;YACvC,OAAO,SAAS,CAAC;QACrB,CAAC;QAED,KAAK,EAAE,CAAC;IACZ,CAAC;IAED,OAAO,cAAc,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,cAAc,CAAC;AACpE,CAAC;AAED,SAAS,kBAAkB,CACvB,SAAwB,EACxB,UAAsC,EACtC,YAAoB,EACpB,aAA6B;IAE7B,IAAI,KAAK,GAAG,YAAY,CAAC;IAEzB,IAAI,UAAU,EAAE,CAAC;QACb,MAAM,OAAO,GAAG,SAAS,CAAC,mBAAmB,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC;QAC/D,IAAI,CAAC,IAAA,uBAAe,EAAC,OAAO,CAAC,IAAI,CAAC,iBAAS,CAAC,SAAS,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,IAAA,yBAAa,EAAC,OAAO,CAAC,EAAE,CAAC;YAC/F,OAAO,SAAS,CAAC;QACrB,CAAC;QAED,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,YAAsB,CAAC;QAC5C,MAAM,cAAc,GAAG,aAAa,CAAC,SAAS,CAC1C,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,WAAW,IAAI,IAAA,sBAAc,EAAC,OAAO,CAAC,IAAI,CAAC,CACnE,CAAC;QAEF,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;YACZ,KAAK,GAAG,aAAa,CAAC,MAAM,GAAG,KAAK,CAAC;YACrC,IAAI,cAAc,IAAI,CAAC,IAAI,KAAK,IAAI,cAAc,EAAE,CAAC;gBACjD,OAAO,SAAS,CAAC;YACrB,CAAC;iBAAM,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;gBACnB,OAAO,CAAC,CAAC;YACb,CAAC;QACL,CAAC;aAAM,CAAC;YACJ,IAAI,cAAc,IAAI,CAAC,IAAI,KAAK,GAAG,cAAc,EAAE,CAAC;gBAChD,OAAO,SAAS,CAAC;YACrB,CAAC;iBAAM,IAAI,KAAK,GAAG,aAAa,CAAC,MAAM,EAAE,CAAC;gBACtC,OAAO,aAAa,CAAC,MAAM,CAAC;YAChC,CAAC;QACL,CAAC;IACL,CAAC;IAED,OAAO,KAAK,CAAC;AACjB,CAAC"}
+{"version":3,"file":"tuples.js","sourceRoot":"","sources":["../../../../../src/analyzer/tuples.ts"],"names":[],"mappings":";AAAA;;;;;;;GAOG;;AAgDH,0CAOC;AAED,wCAqFC;AAED,8DAiGC;AAED,wDA6BC;AAKD,kDAwFC;AAOD,kDAoKC;AAID,gDAoBC;AAOD,kCAmCC;AAxlBD,qDAA0D;AAC1D,+DAA2D;AAC3D,uDAAmE;AAGnE,yDAAmE;AACnE,2DAAwD;AACxD,qDAA2D;AAC3D,6DAAwH;AACxH,mCAiBiB;AACjB,2CAWqB;AAErB,sEAAsE;AACtE,sEAAsE;AACtE,oEAAoE;AACpE,qCAAqC;AACrC,MAAM,0BAA0B,GAAG,GAAG,CAAC;AAEvC,SAAgB,eAAe,CAAC,SAAwB,EAAE,QAAwB,EAAE,UAAU,GAAG,KAAK;IAClG,MAAM,UAAU,GAAG,SAAS,CAAC,iBAAiB,EAAE,CAAC;IACjD,IAAI,UAAU,IAAI,IAAA,2BAAmB,EAAC,UAAU,CAAC,EAAE,CAAC;QAChD,OAAO,IAAA,6BAAiB,EAAC,IAAA,gCAAoB,EAAC,UAAU,EAAE,QAAQ,EAAE,uBAAuB,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC;IACnH,CAAC;IAED,OAAO,mBAAW,CAAC,MAAM,EAAE,CAAC;AAChC,CAAC;AAED,SAAgB,cAAc,CAC1B,SAAwB,EACxB,IAAe,EACf,KAAgB,EAChB,gBAA8C,EAC9C,QAAkC;IAElC,IAAI,CAAC,KAAK,qCAA2B,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,QAAQ,mCAA2B,EAAE,CAAC;QAC/F,2DAA2D;QAC3D,gEAAgE;QAChE,uBAAuB;QACvB,MAAM,IAAI,GAAG,IAAI,+BAAkB,EAAE,CAAC;QACtC,IAAI,CAAC,UAAU,CAAC,sBAAW,CAAC,eAAe,EAAE,CAAC,CAAC;QAC/C,SAAS,CAAC,aAAa,CACnB,gCAAc,CAAC,qBAAqB,EACpC,qBAAU,CAAC,iBAAiB,EAAE,GAAG,IAAI,CAAC,SAAS,EAAE,EACjD,IAAI,CACP,CAAC;QAEF,OAAO,EAAE,IAAI,EAAE,mBAAW,CAAC,MAAM,EAAE,EAAE,CAAC;IAC1C,CAAC;IAED,IAAI,CAAC,KAAK,uCAA6B,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,gBAAgB,EAAE,CAAC;QAC/F,OAAO,EAAE,IAAI,EAAE,eAAe,CAAC,SAAS,EAAE,EAAE,CAAC,EAAE,qBAAqB,EAAE,IAAI,EAAE,CAAC;IACjF,CAAC;IAED,KAAK,IAAI,CAAC,CAAC,uEAAqD,uCAA6B,CAAC,CAAC;IAE/F,6EAA6E;IAC7E,4BAA4B;IAC5B,IAAI,YAAY,GAAG,gBAAgB,EAAE,YAAY,CAAC;IAClD,IAAI,uBAAuB,GAAG,gBAAgB,IAAI,IAAA,aAAK,EAAC,gBAAgB,CAAC,YAAY,CAAC,CAAC;IAEvF,IAAI,gBAAgB,IAAI,IAAA,eAAO,EAAC,gBAAgB,CAAC,YAAY,CAAC,EAAE,CAAC;QAC7D,IAAI,eAAiC,CAAC;QAEtC,IAAA,4BAAgB,EACZ,gBAAgB,CAAC,YAAY,EAC7B,CAAC,OAAO,EAAE,EAAE;YACR,IAAI,IAAA,aAAK,EAAC,OAAO,CAAC,EAAE,CAAC;gBACjB,uBAAuB,GAAG,IAAI,CAAC;YACnC,CAAC;YAED,IAAI,CAAC,eAAe,EAAE,CAAC;gBACnB,MAAM,aAAa,GAAG,SAAS,CAAC,kBAAkB,CAAC,IAAI,EAAE,GAAG,EAAE;oBAC1D,OAAO,yBAAyB,CAC5B,SAAS,EACT,IAAI,EACJ,KAAK,EACL,IAAA,gCAAoB,EAAC,OAAO,CAAC,EAC7B,QAAQ,CACX,CAAC;gBACN,CAAC,CAAC,CAAC;gBAEH,IAAI,aAAa,IAAI,SAAS,CAAC,UAAU,CAAC,OAAO,EAAE,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;oBACrE,eAAe,GAAG,OAAO,CAAC;gBAC9B,CAAC;YACL,CAAC;QACL,CAAC;QACD,kBAAkB,CAAC,IAAI,CAC1B,CAAC;QAEF,YAAY,GAAG,eAAe,CAAC;IACnC,CAAC;IAED,IAAI,wBAAwD,CAAC;IAC7D,IAAI,YAAY,EAAE,CAAC;QACf,MAAM,MAAM,GAAG,yBAAyB,CAAC,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAA,gCAAoB,EAAC,YAAY,CAAC,EAAE,QAAQ,CAAC,CAAC;QAE/G,IAAI,MAAM,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC;YAC/B,OAAO,MAAM,CAAC;QAClB,CAAC;QAED,wBAAwB,GAAG,MAAM,EAAE,wBAAwB,CAAC;IAChE,CAAC;IAED,MAAM,UAAU,GAAG,sBAAsB,CAAC,SAAS,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IAElE,mEAAmE;IACnE,oDAAoD;IACpD,IAAI,uBAAuB,EAAE,CAAC;QAC1B,UAAU,CAAC,IAAI,GAAG,eAAO,CAAC,MAAM,EAAE,CAAC;IACvC,CAAC;IAED,OAAO,EAAE,GAAG,UAAU,EAAE,wBAAwB,EAAE,CAAC;AACvD,CAAC;AAED,SAAgB,yBAAyB,CACrC,SAAwB,EACxB,IAAe,EACf,KAAgB,EAChB,gBAAkC,EAClC,QAAkC;IAElC,gBAAgB,CAAC,YAAY,GAAG,IAAA,+CAAmC,EAAC,gBAAgB,CAAC,YAAY,CAAC,CAAC;IACnG,IAAI,CAAC,IAAA,uBAAe,EAAC,gBAAgB,CAAC,YAAY,CAAC,EAAE,CAAC;QAClD,OAAO,SAAS,CAAC;IACrB,CAAC;IAED,MAAM,UAAU,GAAG,SAAS,CAAC,iBAAiB,EAAE,CAAC;IACjD,IAAI,CAAC,UAAU,IAAI,CAAC,IAAA,2BAAmB,EAAC,UAAU,CAAC,EAAE,CAAC;QAClD,OAAO,SAAS,CAAC;IACrB,CAAC;IAED,oCAAoC;IACpC,IAAI,aAAa,GAAW,EAAE,CAAC;IAE/B,IAAI,IAAA,wBAAY,EAAC,gBAAgB,CAAC,YAAY,CAAC,IAAI,gBAAgB,CAAC,YAAY,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC;QAClG,aAAa,GAAG,gBAAgB,CAAC,YAAY,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACvE,IAAA,+CAAmC,EAAC,CAAC,CAAC,IAAI,CAAC,CAC9C,CAAC;QACF,MAAM,cAAc,GAAG,gBAAgB,CAAC,YAAY,CAAC,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;QACxG,IAAI,cAAc,IAAI,CAAC,EAAE,CAAC;YACtB,IAAI,aAAa,CAAC,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;gBAC7C,aAAa,CAAC,MAAM,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC;YAC5C,CAAC;iBAAM,CAAC;gBACJ,OAAO,aAAa,CAAC,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;oBAChD,aAAa,CAAC,MAAM,CAAC,cAAc,EAAE,CAAC,EAAE,aAAa,CAAC,cAAc,CAAC,CAAC,CAAC;gBAC3E,CAAC;YACL,CAAC;QACL,CAAC;IACL,CAAC;SAAM,CAAC;QACJ,MAAM,gBAAgB,GAAG,IAAI,qCAAiB,EAAE,CAAC;QACjD,IACI,CAAC,IAAA,gDAA6B,EAC1B,SAAS,EACT,iBAAS,CAAC,eAAe,CAAC,UAAU,CAAC,EACrC,gBAAgB,CAAC,YAAY,EAC7B,gBAAgB,EAChB,IAAA,wCAAuB,EAAC,IAAI,EAAE,QAAQ,CAAC,EACvC,IAAI,CAAC,KAAK,CACb,EACH,CAAC;YACC,OAAO,SAAS,CAAC;QACrB,CAAC;QAED,MAAM,gBAAgB,GAAG,SAAS,CAAC,wBAAwB,CAAC,UAAU,EAAE,gBAAgB,CAAc,CAAC;QACvG,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,QAAQ,IAAI,gBAAgB,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACjF,OAAO,SAAS,CAAC;QACrB,CAAC;QAED,MAAM,cAAc,GAAG,IAAA,+CAAmC,EAAC,gBAAgB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9F,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3C,aAAa,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QACvC,CAAC;IACL,CAAC;IAED,MAAM,gBAAgB,GAAG,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CACtD,SAAS,CAAC,mBAAmB,CACzB,IAAI,EACJ,KAAK,+CAA+B,EACpC,IAAA,gCAAoB,EAChB,KAAK,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,EAC/D,gBAAgB,CAAC,gBAAgB,CACpC,CACJ,CACJ,CAAC;IACF,MAAM,YAAY,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;IAE5E,qEAAqE;IACrE,IAAI,wBAAwD,CAAC;IAC7D,IAAI,gBAAgB,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,wBAAwB,CAAC,EAAE,CAAC;QACrE,wBAAwB,GAAG,IAAI,+BAAkB,EAAE,CAAC;QACpD,gBAAgB,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE;YAChC,IAAI,MAAM,CAAC,wBAAwB,EAAE,CAAC;gBAClC,wBAAyB,CAAC,WAAW,CAAC,MAAM,CAAC,wBAAwB,CAAC,CAAC;YAC3E,CAAC;QACL,CAAC,CAAC,CAAC;IACP,CAAC;IAED,sEAAsE;IACtE,qEAAqE;IACrE,uBAAuB;IACvB,IAAI,IAAU,CAAC;IACf,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,0BAA0B,IAAI,gBAAgB,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;QAC3G,IAAI,GAAG,eAAe,CAAC,SAAS,EAAE,CAAC,EAAE,IAAI,EAAE,mBAAW,CAAC,MAAM,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IAC3F,CAAC;SAAM,CAAC;QACJ,IAAI,GAAG,eAAe,CAClB,SAAS,EACT,SAAS,CAAC,mBAAmB,CAAC,gBAAgB,EAAE,mBAAmB,CAAC,KAAK,EAAE,mBAAmB,CAAC,KAAK,CAAC,CACxG,CAAC;IACN,CAAC;IAED,OAAO,EAAE,IAAI,EAAE,wBAAwB,EAAE,YAAY,EAAE,CAAC;AAC5D,CAAC;AAED,SAAgB,sBAAsB,CAAC,SAAwB,EAAE,IAAe,EAAE,KAAgB;IAC9F,MAAM,gBAAgB,GAAG,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAC/C,SAAS,CAAC,mBAAmB,CAAC,IAAI,EAAE,KAAK,+CAA+B,CAAC,CAC5E,CAAC;IACF,MAAM,YAAY,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;IAE5E,sEAAsE;IACtE,uEAAuE;IACvE,8CAA8C;IAC9C,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,0BAA0B,EAAE,CAAC;QACnD,OAAO,EAAE,IAAI,EAAE,eAAe,CAAC,SAAS,EAAE,CAAC,EAAE,IAAI,EAAE,mBAAW,CAAC,MAAM,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;IACrG,CAAC;IAED,MAAM,IAAI,GAAG,eAAe,CACxB,SAAS,EACT,SAAS,CAAC,mBAAmB,CACzB,gBAAgB,EAChB,CAAC,KAAK,+CAA+B,CAAC,KAAK,CAAC;IAC5C,mBAAmB,CAAC,IAAI,CAC3B,CACJ,CAAC;IAEF,IAAI,YAAY,EAAE,CAAC;QACf,IAAI,IAAA,6BAAiB,EAAC,IAAI,CAAC,GAAG,8CAAyB,EAAE,CAAC;YACtD,OAAO,EAAE,IAAI,EAAE,mBAAW,CAAC,MAAM,EAAE,EAAE,CAAC;QAC1C,CAAC;IACL,CAAC;IAED,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;AAClC,CAAC;AAED,2EAA2E;AAC3E,wEAAwE;AACxE,iBAAiB;AACjB,SAAgB,mBAAmB,CAC/B,SAAwB,EACxB,QAAmB,EACnB,OAAkB,EAClB,IAAoC,EACpC,WAA0C,EAC1C,KAAsB,EACtB,cAAsB;IAEtB,MAAM,YAAY,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,CAAC;IAC9D,MAAM,WAAW,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,CAAC;IAE5D,IAAI,mBAAmB,CAAC,SAAS,EAAE,YAAY,EAAE,WAAW,EAAE,KAAK,CAAC,EAAE,CAAC;QACnE,KAAK,IAAI,QAAQ,GAAG,CAAC,EAAE,QAAQ,GAAG,WAAW,CAAC,MAAM,EAAE,QAAQ,EAAE,EAAE,CAAC;YAC/D,MAAM,SAAS,GAAG,IAAI,EAAE,cAAc,EAAE,CAAC;YACzC,MAAM,WAAW,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC;YAChD,MAAM,UAAU,GAAG,WAAW,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC;YAE9C,2DAA2D;YAC3D,2DAA2D;YAC3D,IACI,IAAA,sBAAc,EAAC,WAAW,CAAC;gBAC3B,WAAW,CAAC,IAAI,CAAC,UAAU;gBAC3B,CAAC,WAAW,CAAC,IAAI,CAAC,SAAS;gBAC3B,IAAA,8BAAkB,EAAC,UAAU,CAAC,EAChC,CAAC;gBACC,OAAO,IAAI,CAAC;YAChB,CAAC;YAED,IACI,CAAC,SAAS,CAAC,UAAU,CACjB,WAAW,EACX,UAAU,EACV,SAAS,EAAE,cAAc,EAAE,EAC3B,WAAW,EACX,KAAK,EACL,cAAc,CACjB,EACH,CAAC;gBACC,IAAI,SAAS,EAAE,CAAC;oBACZ,SAAS,CAAC,UAAU,CAChB,sBAAW,CAAC,sBAAsB,EAAE,CAAC,MAAM,CAAC;wBACxC,KAAK,EAAE,QAAQ,GAAG,CAAC;qBACtB,CAAC,CACL,CAAC;gBACN,CAAC;gBACD,OAAO,KAAK,CAAC;YACjB,CAAC;QACL,CAAC;IACL,CAAC;SAAM,CAAC;QACJ,MAAM,mBAAmB,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,IAAI,IAAA,sBAAc,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAE9F,IAAI,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,IAAI,IAAA,sBAAc,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;YACnE,IAAI,mBAAmB,EAAE,CAAC;gBACtB,IAAI,EAAE,UAAU,CACZ,sBAAW,CAAC,6BAA6B,EAAE,CAAC,MAAM,CAAC;oBAC/C,QAAQ,EAAE,YAAY,CAAC,MAAM,GAAG,CAAC;iBACpC,CAAC,CACL,CAAC;YACN,CAAC;iBAAM,CAAC;gBACJ,IAAI,EAAE,UAAU,CACZ,sBAAW,CAAC,yBAAyB,EAAE,CAAC,MAAM,CAAC;oBAC3C,QAAQ,EAAE,YAAY,CAAC,MAAM;iBAChC,CAAC,CACL,CAAC;YACN,CAAC;QACL,CAAC;aAAM,CAAC;YACJ,IAAI,mBAAmB,EAAE,CAAC;gBACtB,IAAI,EAAE,UAAU,CACZ,sBAAW,CAAC,kCAAkC,EAAE,CAAC,MAAM,CAAC;oBACpD,QAAQ,EAAE,YAAY,CAAC,MAAM,GAAG,CAAC;oBACjC,QAAQ,EAAE,WAAW,CAAC,MAAM;iBAC/B,CAAC,CACL,CAAC;YACN,CAAC;iBAAM,CAAC;gBACJ,IAAI,EAAE,UAAU,CACZ,sBAAW,CAAC,iBAAiB,EAAE,CAAC,MAAM,CAAC;oBACnC,QAAQ,EAAE,YAAY,CAAC,MAAM;oBAC7B,QAAQ,EAAE,WAAW,CAAC,MAAM;iBAC/B,CAAC,CACL,CAAC;YACN,CAAC;QACL,CAAC;QAED,OAAO,KAAK,CAAC;IACjB,CAAC;IAED,OAAO,IAAI,CAAC;AAChB,CAAC;AAED,yEAAyE;AACzE,0EAA0E;AAC1E,sEAAsE;AACtE,wEAAwE;AACxE,yBAAyB;AACzB,SAAgB,mBAAmB,CAC/B,SAAwB,EACxB,YAA4B,EAC5B,WAA2B,EAC3B,KAAsB;IAEtB,MAAM,4BAA4B,GAAG,YAAY,CAAC,SAAS,CACvD,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,IAAI,IAAA,8BAAsB,EAAC,CAAC,CAAC,IAAI,CAAC,IAAI,IAAA,yBAAiB,EAAC,CAAC,CAAC,IAAI,CAAC,CACtF,CAAC;IACF,IAAI,iBAAiB,GAAG,WAAW,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;IACpE,MAAM,gBAAgB,GAAG,WAAW,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,8BAAsB,EAAC,CAAC,CAAC,IAAI,CAAC,IAAI,IAAA,yBAAiB,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAEnH,IAAI,iBAAiB,IAAI,CAAC,EAAE,CAAC;QACzB,IAAI,IAAA,sBAAc,EAAC,WAAW,CAAC,iBAAiB,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;YACtD,+EAA+E;YAC/E,MAAM,eAAe,GAAG,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,iBAAiB,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,eAAO,CAAC,MAAM,EAAE,CAAC;YAExG,OAAO,WAAW,CAAC,MAAM,GAAG,YAAY,CAAC,MAAM,EAAE,CAAC;gBAC9C,WAAW,CAAC,MAAM,CAAC,iBAAiB,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC;YAC3F,CAAC;YAED,IAAI,WAAW,CAAC,MAAM,GAAG,YAAY,CAAC,MAAM,EAAE,CAAC;gBAC3C,WAAW,CAAC,MAAM,CAAC,iBAAiB,EAAE,CAAC,CAAC,CAAC;gBAEzC,4CAA4C;gBAC5C,iBAAiB,GAAG,CAAC,CAAC,CAAC;YAC3B,CAAC;QACL,CAAC;aAAM,IAAI,4BAA4B,GAAG,CAAC,EAAE,CAAC;YAC1C,qFAAqF;YACrF,OAAO,KAAK,CAAC;QACjB,CAAC;IACL,CAAC;IAED,+EAA+E;IAC/E,IACI,4BAA4B,IAAI,CAAC;QACjC,YAAY,CAAC,4BAA4B,CAAC,CAAC,WAAW;QACtD,IAAA,sBAAc,EAAC,YAAY,CAAC,4BAA4B,CAAC,CAAC,IAAI,CAAC,EACjE,CAAC;QACC,OAAO,YAAY,CAAC,MAAM,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC;YAC9C,YAAY,CAAC,MAAM,CAAC,4BAA4B,EAAE,CAAC,EAAE,YAAY,CAAC,4BAA4B,CAAC,CAAC,CAAC;QACrG,CAAC;IACL,CAAC;IAED,wFAAwF;IACxF,OAAO,WAAW,CAAC,MAAM,GAAG,YAAY,CAAC,MAAM,IAAI,WAAW,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC;QAChG,WAAW,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IAClD,CAAC;IAED,OAAO,YAAY,CAAC,MAAM,GAAG,WAAW,CAAC,MAAM,IAAI,YAAY,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC;QAClG,YAAY,CAAC,MAAM,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IACpD,CAAC;IAED,MAAM,gBAAgB,GAAG,WAAW,CAAC,MAAM,GAAG,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC;IACtE,IAAI,aAAa,GAAG,KAAK,CAAC;IAE1B,+EAA+E;IAC/E,oEAAoE;IACpE,oBAAoB;IACpB,IAAI,CAAC,KAAK,wCAAgC,CAAC,KAAK,CAAC,EAAE,CAAC;QAChD,MAAM,iBAAiB,GAAG,YAAY,CAAC,MAAM,GAAG,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC;QAEvE,IAAI,gBAAgB,IAAI,CAAC,IAAI,iBAAiB,IAAI,CAAC,EAAE,CAAC;YAClD,wEAAwE;YACxE,6BAA6B;YAC7B,MAAM,cAAc,GAAG,iBAAiB,KAAK,CAAC,IAAI,IAAA,sBAAc,EAAC,YAAY,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,CAAC;YACtG,MAAM,UAAU,GAAG,SAAS,CAAC,iBAAiB,EAAE,CAAC;YAEjD,IAAI,CAAC,cAAc,IAAI,UAAU,IAAI,IAAA,2BAAmB,EAAC,UAAU,CAAC,EAAE,CAAC;gBACnE,MAAM,WAAW,GAAG,YAAY,CAAC,MAAM,CAAC,gBAAgB,EAAE,iBAAiB,CAAC,CAAC;gBAE7E,+DAA+D;gBAC/D,MAAM,aAAa,GAAG,iBAAS,CAAC,eAAe,CAC3C,IAAA,gCAAoB,EAChB,UAAU,EACV,WAAW,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE;oBACxB,OAAO;wBACH,IAAI,EAAE,OAAO,CAAC,IAAI;wBAClB,WAAW,EAAE,OAAO,CAAC,WAAW;wBAChC,UAAU,EAAE,OAAO,CAAC,UAAU;qBACjC,CAAC;gBACN,CAAC,CAAC;gBACF,uBAAuB,CAAC,IAAI;gBAC5B,gBAAgB,CAAC,IAAI,CACxB,CACJ,CAAC;gBAEF,YAAY,CAAC,MAAM,CAAC,gBAAgB,EAAE,CAAC,EAAE;oBACrC,IAAI,EAAE,aAAa;oBACnB,WAAW,EAAE,KAAK;iBACrB,CAAC,CAAC;YACP,CAAC;YAED,aAAa,GAAG,IAAI,CAAC;QACzB,CAAC;IACL,CAAC;SAAM,CAAC;QACJ,IAAI,4BAA4B,IAAI,CAAC,IAAI,gBAAgB,IAAI,CAAC,EAAE,CAAC;YAC7D,kEAAkE;YAClE,uEAAuE;YACvE,IAAI,IAAA,sBAAc,EAAC,YAAY,CAAC,4BAA4B,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;gBAClE,MAAM,UAAU,GAAG,SAAS,CAAC,iBAAiB,EAAE,CAAC;gBAEjD,IAAI,UAAU,IAAI,IAAA,2BAAmB,EAAC,UAAU,CAAC,EAAE,CAAC;oBAChD,MAAM,WAAW,GAAG,WAAW,CAAC,MAAM,CAAC,4BAA4B,EAAE,gBAAgB,CAAC,CAAC;oBAEvF,IAAI,aAAmB,CAAC;oBAExB,qEAAqE;oBACrE,qCAAqC;oBACrC,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,IAAI,IAAA,8BAAsB,EAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;wBAC1E,aAAa,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;oBACxC,CAAC;yBAAM,CAAC;wBACJ,+DAA+D;wBAC/D,aAAa,GAAG,iBAAS,CAAC,eAAe,CACrC,IAAA,gCAAoB,EAChB,UAAU,EACV,WAAW,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE;4BACxB,OAAO;gCACH,IAAI,EAAE,OAAO,CAAC,IAAI;gCAClB,WAAW,EAAE,OAAO,CAAC,WAAW;gCAChC,UAAU,EAAE,OAAO,CAAC,UAAU;6BACjC,CAAC;wBACN,CAAC,CAAC;wBACF,uBAAuB,CAAC,IAAI;wBAC5B,gBAAgB,CAAC,IAAI,CACxB,CACJ,CAAC;oBACN,CAAC;oBAED,WAAW,CAAC,MAAM,CAAC,4BAA4B,EAAE,CAAC,EAAE;wBAChD,IAAI,EAAE,aAAa;wBACnB,WAAW,EAAE,KAAK;qBACrB,CAAC,CAAC;gBACP,CAAC;gBAED,aAAa,GAAG,IAAI,CAAC;YACzB,CAAC;QACL,CAAC;IACL,CAAC;IAED,IAAI,CAAC,aAAa,IAAI,4BAA4B,IAAI,CAAC,IAAI,gBAAgB,IAAI,CAAC,EAAE,CAAC;QAC/E,gEAAgE;QAChE,uEAAuE;QACvE,4CAA4C;QAC5C,IACI,iBAAiB,GAAG,CAAC;YACrB,CAAC,iBAAiB,IAAI,4BAA4B;gBAC9C,iBAAiB,GAAG,4BAA4B,GAAG,gBAAgB,CAAC,EAC1E,CAAC;YACC,MAAM,eAAe,GAAG,WAAW,CAAC,MAAM,CAAC,4BAA4B,EAAE,gBAAgB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;gBACjG,IAAI,IAAA,iBAAS,EAAC,CAAC,CAAC,IAAI,CAAC,IAAI,IAAA,8BAAsB,EAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;oBACtD,OAAO,mBAAW,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,EAAE,eAAe,CAAC,IAAI,CAAC,CAAC;gBACtE,CAAC;gBACD,OAAO,CAAC,CAAC,IAAI,CAAC;YAClB,CAAC,CAAC,CAAC;YAEH,WAAW,CAAC,MAAM,CAAC,4BAA4B,EAAE,CAAC,EAAE;gBAChD,IAAI,EAAE,eAAe,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAA,oBAAY,EAAC,eAAe,CAAC,CAAC,CAAC,CAAC,eAAO,CAAC,MAAM,EAAE;gBACnF,WAAW,EAAE,KAAK;aACrB,CAAC,CAAC;QACP,CAAC;IACL,CAAC;IAED,OAAO,YAAY,CAAC,MAAM,KAAK,WAAW,CAAC,MAAM,CAAC;AACtD,CAAC;AAED,sEAAsE;AACtE,8DAA8D;AAC9D,SAAgB,kBAAkB,CAC9B,SAAwB,EACxB,SAAoB,EACpB,SAAoB;IAEpB,+BAA+B;IAC/B,IAAI,SAAS,CAAC,CAAC,CAAC,SAAS,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC;QACzD,OAAO,SAAS,CAAC;IACrB,CAAC;IAED,MAAM,aAAa,GAAG,SAAS,CAAC,IAAI,CAAC,aAAa,CAAC;IACnD,MAAM,UAAU,GAAG,kBAAkB,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,EAAE,aAAa,CAAC,CAAC;IAC3F,MAAM,QAAQ,GAAG,kBAAkB,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC,QAAQ,EAAE,aAAa,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;IAE1G,IAAI,UAAU,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,GAAG,UAAU,EAAE,CAAC;QAC9E,OAAO,SAAS,CAAC;IACrB,CAAC;IAED,MAAM,cAAc,GAAG,aAAa,CAAC,KAAK,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;IACjE,OAAO,iBAAS,CAAC,eAAe,CAAC,IAAA,gCAAoB,EAAC,SAAS,EAAE,cAAc,CAAC,CAAC,CAAC;AACtF,CAAC;AAED,oFAAoF;AACpF,gFAAgF;AAChF,8EAA8E;AAC9E,8EAA8E;AAC9E,+DAA+D;AAC/D,SAAgB,WAAW,CAAC,SAAoB,EAAE,YAAoB;IAClE,IACI,CAAC,IAAA,wBAAY,EAAC,SAAS,CAAC;QACxB,CAAC,SAAS,CAAC,IAAI,CAAC,aAAa;QAC7B,SAAS,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,WAAW,IAAI,IAAA,sBAAc,EAAC,OAAO,CAAC,IAAI,CAAC,CAAC,EACrG,CAAC;QACC,OAAO,SAAS,CAAC;IACrB,CAAC;IAED,IAAI,cAAc,GAAgB,CAAC,SAAS,CAAC,CAAC;IAC9C,IAAI,KAAK,GAAG,CAAC,CAAC;IAEd,OAAO,KAAK,GAAG,SAAS,CAAC,IAAI,CAAC,aAAa,CAAC,MAAM,EAAE,CAAC;QACjD,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC;QAC1D,IAAI,IAAA,eAAO,EAAC,QAAQ,CAAC,EAAE,CAAC;YACpB,MAAM,iBAAiB,GAAgB,EAAE,CAAC;YAE1C,KAAK,MAAM,aAAa,IAAI,cAAc,EAAE,CAAC;gBACzC,IAAA,4BAAgB,EAAC,QAAQ,EAAE,CAAC,OAAO,EAAE,EAAE;oBACnC,MAAM,WAAW,GAAG,CAAC,GAAG,aAAa,CAAC,IAAI,CAAC,aAAc,CAAC,CAAC;oBAC3D,WAAW,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC;oBAC3D,iBAAiB,CAAC,IAAI,CAAC,iBAAS,CAAC,eAAe,CAAC,IAAA,gCAAoB,EAAC,aAAa,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC;gBACxG,CAAC,CAAC,CAAC;YACP,CAAC;YACD,cAAc,GAAG,iBAAiB,CAAC;QACvC,CAAC;QAED,IAAI,cAAc,CAAC,MAAM,GAAG,YAAY,EAAE,CAAC;YACvC,OAAO,SAAS,CAAC;QACrB,CAAC;QAED,KAAK,EAAE,CAAC;IACZ,CAAC;IAED,OAAO,cAAc,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,cAAc,CAAC;AACpE,CAAC;AAED,SAAS,kBAAkB,CACvB,SAAwB,EACxB,UAAsC,EACtC,YAAoB,EACpB,aAA6B;IAE7B,IAAI,KAAK,GAAG,YAAY,CAAC;IAEzB,IAAI,UAAU,EAAE,CAAC;QACb,MAAM,OAAO,GAAG,SAAS,CAAC,mBAAmB,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC;QAC/D,IAAI,CAAC,IAAA,uBAAe,EAAC,OAAO,CAAC,IAAI,CAAC,iBAAS,CAAC,SAAS,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,IAAA,yBAAa,EAAC,OAAO,CAAC,EAAE,CAAC;YAC/F,OAAO,SAAS,CAAC;QACrB,CAAC;QAED,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,YAAsB,CAAC;QAC5C,MAAM,cAAc,GAAG,aAAa,CAAC,SAAS,CAC1C,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,WAAW,IAAI,IAAA,sBAAc,EAAC,OAAO,CAAC,IAAI,CAAC,CACnE,CAAC;QAEF,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;YACZ,KAAK,GAAG,aAAa,CAAC,MAAM,GAAG,KAAK,CAAC;YACrC,IAAI,cAAc,IAAI,CAAC,IAAI,KAAK,IAAI,cAAc,EAAE,CAAC;gBACjD,OAAO,SAAS,CAAC;YACrB,CAAC;iBAAM,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;gBACnB,OAAO,CAAC,CAAC;YACb,CAAC;QACL,CAAC;aAAM,CAAC;YACJ,IAAI,cAAc,IAAI,CAAC,IAAI,KAAK,GAAG,cAAc,EAAE,CAAC;gBAChD,OAAO,SAAS,CAAC;YACrB,CAAC;iBAAM,IAAI,KAAK,GAAG,aAAa,CAAC,MAAM,EAAE,CAAC;gBACtC,OAAO,aAAa,CAAC,MAAM,CAAC;YAChC,CAAC;QACL,CAAC;IACL,CAAC;IAED,OAAO,KAAK,CAAC;AACjB,CAAC"}

package/dist/analyzer/typeDocStringUtils.d.ts

@@ -1,19 +1,19 @@
 import { ClassDeclaration, Declaration, DeclarationBase, FunctionDeclaration, VariableDeclaration } from '../analyzer/declaration';
 import { SourceMapper } from '../analyzer/sourceMapper';
-import { ClassType, FunctionType, ModuleType, OverloadedType, Type } from '../analyzer/types';
+import { ClassType, FunctionType, ModuleType, OverloadedType } from '../analyzer/types';
 import { Uri } from '../common/uri/uri';
 import { ModuleNode } from '../parser/parseNodes';
 import { TypeEvaluator } from './typeEvaluatorTypes';
 export declare const DefaultClassIteratorFlagsForFunctions: number;
 export declare function isInheritedFromBuiltin(type: FunctionType | OverloadedType, classType?: ClassType): boolean;
-export declare function getFunctionDocStringInherited(type: FunctionType, resolvedDecl: Declaration | undefined, sourceMapper: SourceMapper, classType?: ClassType): string | undefined;
-interface FunctionDocStringInfo {
+export declare function getFunctionOwnDocString(type: FunctionType, sourceMapper: SourceMapper): string | undefined;
+export declare function resolveMethodDocInfo(type: FunctionType | OverloadedType, classType: ClassType | undefined, matchedOverloads: FunctionType[] | undefined, sourceMapper: SourceMapper, evaluator: TypeEvaluator): FunctionDocStringInfo | undefined;
+export declare function resolveConstructorDocInfo(classType: ClassType, matchedOverloads: FunctionType[] | undefined, sourceMapper: SourceMapper, evaluator: TypeEvaluator): FunctionDocStringInfo | undefined;
+export interface FunctionDocStringInfo {
     docString: string;
     forceLiteral?: boolean;
     sourceDecl?: FunctionDeclaration;
 }
-export declare function getFunctionDocStringInheritedInfo(type: FunctionType, resolvedDecl: Declaration | undefined, sourceMapper: SourceMapper, classType?: ClassType): FunctionDocStringInfo | undefined;
-export declare function getOverloadedDocStringsInherited(type: OverloadedType, resolvedDecls: Declaration[], sourceMapper: SourceMapper, evaluator: TypeEvaluator, classType?: ClassType): string[];
 export declare function getPropertyDocStringInherited(decl: FunctionDeclaration, sourceMapper: SourceMapper, evaluator: TypeEvaluator): string | undefined;
 export declare function getVariableInStubFileDocStrings(decl: VariableDeclaration, sourceMapper: SourceMapper): string[];
 export declare function isBuiltInModule(uri: Uri | undefined): boolean;
@@ -23,6 +23,4 @@ export declare function getModuleDocString(type: ModuleType, resolvedDecl: Decla
 export declare function getClassDocString(classType: ClassType, resolvedDecl: Declaration | undefined, sourceMapper: SourceMapper): string | undefined;
 export declare function getFunctionOrClassDeclDocString(decl: FunctionDeclaration | ClassDeclaration): string | undefined;
 export declare function getVariableDocString(decl: VariableDeclaration | undefined, sourceMapper: SourceMapper): string | undefined;
-export declare function getOverloadedDocStrings(type: Type, resolvedDecl: Declaration | undefined, sourceMapper: SourceMapper): string[] | undefined;
 export declare function getFunctionDocStringFromDeclarationInfo(resolvedDecl: FunctionDeclaration, sourceMapper: SourceMapper): FunctionDocStringInfo | undefined;
-export {};

package/dist/analyzer/typeDocStringUtils.js

@@ -44,9 +44,9 @@ var __importStar = (this && this.__importStar) || (function () {
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.DefaultClassIteratorFlagsForFunctions = void 0;
 exports.isInheritedFromBuiltin = isInheritedFromBuiltin;
-exports.getFunctionDocStringInherited = getFunctionDocStringInherited;
-exports.getFunctionDocStringInheritedInfo = getFunctionDocStringInheritedInfo;
-exports.getOverloadedDocStringsInherited = getOverloadedDocStringsInherited;
+exports.getFunctionOwnDocString = getFunctionOwnDocString;
+exports.resolveMethodDocInfo = resolveMethodDocInfo;
+exports.resolveConstructorDocInfo = resolveConstructorDocInfo;
 exports.getPropertyDocStringInherited = getPropertyDocStringInherited;
 exports.getVariableInStubFileDocStrings = getVariableInStubFileDocStrings;
 exports.isBuiltInModule = isBuiltInModule;
@@ -56,7 +56,6 @@ exports.getModuleDocString = getModuleDocString;
 exports.getClassDocString = getClassDocString;
 exports.getFunctionOrClassDeclDocString = getFunctionOrClassDeclDocString;
 exports.getVariableDocString = getVariableDocString;
-exports.getOverloadedDocStrings = getOverloadedDocStrings;
 exports.getFunctionDocStringFromDeclarationInfo = getFunctionDocStringFromDeclarationInfo;
 const declaration_1 = require("../analyzer/declaration");
 const ParseTreeUtils = __importStar(require("../analyzer/parseTreeUtils"));
@@ -83,77 +82,213 @@ function isInheritedFromBuiltin(type, classType) {
         !!type.priv.boundToType &&
         !types_1.ClassType.isBuiltIn(type.priv.boundToType));
 }
-function getFunctionDocStringInherited(type, resolvedDecl, sourceMapper, classType) {
-    return getFunctionDocStringInheritedInfo(type, resolvedDecl, sourceMapper, classType)?.docString;
-}
-function getFunctionDocStringInheritedInfo(type, resolvedDecl, sourceMapper, classType) {
-    let docInfo;
-    // Don't allow docs to be inherited from the builtins to other classes;
-    // they typically not helpful (and object's __init__ doc causes issues
-    // with our current docstring traversal).
-    if (!isInheritedFromBuiltin(type, classType) && resolvedDecl && (0, declaration_1.isFunctionDeclaration)(resolvedDecl)) {
-        docInfo = _getFunctionDocStringInfo(type, resolvedDecl, sourceMapper);
-    }
-    // Search mro
-    if (!docInfo?.docString && classType) {
-        const funcName = type.shared.name;
-        const memberIterator = (0, typeUtils_1.getClassMemberIterator)(classType, funcName, exports.DefaultClassIteratorFlagsForFunctions);
-        for (const classMember of memberIterator) {
-            const decls = classMember.symbol.getDeclarations();
-            if (decls.length > 0) {
-                const inheritedDecl = classMember.symbol.getDeclarations().slice(-1)[0];
-                if ((0, declaration_1.isFunctionDeclaration)(inheritedDecl)) {
-                    docInfo = _getFunctionDocStringFromDeclarationInfo(inheritedDecl, sourceMapper);
-                    if (docInfo?.docString) {
-                        break;
-                    }
+// ===========================================================================
+// Unified spec-ordered docstring resolution (component core).
+//
+// These implement the docstring-resolution-order spec and are the single source
+// of ordering for every callable docstring surface (functions, methods, overloads,
+// constructors). They operate on the FULL member symbol plus the call-matched
+// overload(s) so that Rule A (matched overload -> implementation -> other overloads)
+// applies uniformly, and they walk the MRO (derived-first, excluding builtin bases
+// but always considering the class itself) for inheritance. Stub->source fallback
+// is centralized in _functionDocInfo via _getFunctionDocStringFromDeclarationInfo.
+// ===========================================================================
+// Rule A within one class's member: matched overload -> implementation -> other
+// overloads (declaration order). Returns the first candidate that has a docstring.
+function _selectMemberDocInfo(memberType, matchedOverloads, sourceMapper) {
+    if ((0, types_1.isFunction)(memberType)) {
+        return _functionDocInfo(memberType, sourceMapper);
+    }
+    if (!(0, types_1.isOverloaded)(memberType)) {
+        return undefined;
+    }
+    const overloads = types_1.OverloadedType.getOverloads(memberType);
+    const impl = types_1.OverloadedType.getImplementation(memberType);
+    // Tier 1: the call-matched overload(s). First read the matched overload's OWN docstring
+    // directly; this is robust to declaration-cleared specializations (e.g. a ParamSpec/Callable
+    // transform via applyParamSpecValue clones the overload with shared.docString copied but its
+    // declaration dropped, so identity/declaration matching against the re-fetched symbol would
+    // miss it). Then fall back to the corresponding original overload from the full symbol.
+    if (matchedOverloads && matchedOverloads.length > 0) {
+        // matchedOverloads is a hint forwarded from the caller (e.g. resolveConstructorDocInfo
+        // forwards the same hint to both __init__ and __new__). Only trust a matched overload that
+        // actually belongs to this member; otherwise another member's matched overload could
+        // short-circuit Rule B here. Name is preserved across binding/specialization, so filtering
+        // by name is a safe scope check.
+        const memberName = overloads.length > 0 ? overloads[0].shared.name : undefined;
+        for (const matched of matchedOverloads) {
+            if (memberName !== undefined && matched.shared.name !== memberName) {
+                continue;
+            }
+            const info = _functionDocInfo(matched, sourceMapper);
+            if (info) {
+                return info;
+            }
+        }
+        for (const overload of overloads) {
+            if (_isMatchedOverload(overload, matchedOverloads)) {
+                const info = _functionDocInfo(overload, sourceMapper);
+                if (info) {
+                    return info;
                 }
             }
         }
     }
-    if (docInfo?.docString) {
-        return docInfo;
+    // Tier 2: the implementation.
+    if (impl && (0, types_1.isFunction)(impl)) {
+        const info = _functionDocInfo(impl, sourceMapper);
+        if (info) {
+            return info;
+        }
     }
-    if (!type.shared.docString) {
-        return undefined;
+    // Tier 3: the remaining overloads, in declaration order.
+    for (const overload of overloads) {
+        const info = _functionDocInfo(overload, sourceMapper);
+        if (info) {
+            return info;
+        }
     }
-    return {
-        docString: type.shared.docString,
-        sourceDecl: type.shared.declaration && (0, declaration_1.isFunctionDeclaration)(type.shared.declaration)
-            ? type.shared.declaration
-            : undefined,
-    };
+    return undefined;
+}
+function _isMatchedOverload(overload, matchedOverloads) {
+    // Match by object identity first, then by shared declaration. The latter keeps the
+    // matched-overload tier robust to binding/specialization (e.g. a generic `Box[int]()`
+    // whose matched overload is a specialized clone); `shared.declaration` is preserved
+    // across those transforms. If it ever were not, this falls through to the impl/other tiers.
+    return matchedOverloads.some((m) => m === overload || (!!m.shared.declaration && m.shared.declaration === overload.shared.declaration));
+}
+function _functionDocInfo(type, sourceMapper) {
+    if (type.shared.docString) {
+        // Leave forceLiteral undefined so downstream formatting can apply its built-in-module
+        // literal heuristic (matching the legacy getFunctionDocStringInheritedInfo behavior).
+        return {
+            docString: type.shared.docString,
+            sourceDecl: type.shared.declaration && (0, declaration_1.isFunctionDeclaration)(type.shared.declaration)
+                ? type.shared.declaration
+                : undefined,
+        };
+    }
+    if (type.shared.declaration) {
+        return _getFunctionDocStringFromDeclarationInfo(type.shared.declaration, sourceMapper);
+    }
+    return undefined;
 }
-function getOverloadedDocStringsInherited(type, resolvedDecls, sourceMapper, evaluator, classType) {
-    let docStrings;
-    // Don't allow docs to be inherited from the builtins to other classes;
-    // they typically not helpful (and object's __init__ doc causes issues
-    // with our current docstring traversal).
+// Resolve ONLY the passed function's own docstring (with stub->source fallback), without borrowing
+// from sibling overloads, the implementation, the class, or the MRO. Used where each overload must
+// show its own docstring (e.g. signature-help enumeration) rather than a symbol-level resolved one.
+function getFunctionOwnDocString(type, sourceMapper) {
+    return _functionDocInfo(type, sourceMapper)?.docString;
+}
+// Resolve a function/method docstring per spec. For a class member, resolve the class's OWN
+// member first (the full, unnarrowed overload set) via Rule A, then walk base classes
+// (excluding builtin bases) for inheritance. For a free function, resolve the passed type.
+// The builtin-inheritance guard and the trailing type.shared.docString fallback mirror the
+// legacy getFunctionDocStringInheritedInfo behavior so builtin docs don't leak into user classes.
+function resolveMethodDocInfo(type, classType, matchedOverloads, sourceMapper, evaluator) {
+    const memberName = _memberNameOfType(type);
+    // Step 1: the member's own docstring (Rule A over the full overload set on its class), unless
+    // the member is inherited from a builtin (its generic doc should not surface on a user class).
     if (!isInheritedFromBuiltin(type, classType)) {
-        for (const resolvedDecl of resolvedDecls) {
-            docStrings = getOverloadedDocStrings(type, resolvedDecl, sourceMapper);
-            if (docStrings && docStrings.length > 0) {
-                return docStrings;
+        let ownType = type;
+        if (classType && memberName) {
+            const symbol = types_1.ClassType.getSymbolTable(classType).get(memberName);
+            if (symbol) {
+                ownType = evaluator.getEffectiveTypeOfSymbol(symbol);
             }
         }
-    }
-    // Search mro
-    const overloads = types_1.OverloadedType.getOverloads(type);
-    if (classType && overloads.length > 0) {
-        const funcName = overloads[0].shared.name;
-        const memberIterator = (0, typeUtils_1.getClassMemberIterator)(classType, funcName, exports.DefaultClassIteratorFlagsForFunctions);
-        for (const classMember of memberIterator) {
-            const inheritedDecl = classMember.symbol.getDeclarations().slice(-1)[0];
-            const declType = evaluator.getTypeForDeclaration(inheritedDecl)?.type;
-            if (declType) {
-                docStrings = getOverloadedDocStrings(declType, inheritedDecl, sourceMapper);
-                if (docStrings && docStrings.length > 0) {
-                    break;
+        else if (!classType && memberName) {
+            // Free/module-level function: re-fetch the full (unnarrowed) overloaded symbol so
+            // sibling overloads are visible when the passed type was narrowed to the matched
+            // overload. Only adopt the re-fetched type when it is overloaded; otherwise keep the
+            // passed type so a decorator / functools.wraps-synthesized function (whose docstring
+            // is not on the raw declared symbol) is not discarded.
+            const primary = (0, types_1.isOverloaded)(type) ? types_1.OverloadedType.getOverloads(type)[0] : type;
+            const declNode = primary?.shared.declaration?.node;
+            if (declNode) {
+                const symbolWithScope = evaluator.lookUpSymbolRecursive(declNode, memberName, 
+                /* honorCodeFlow */ false);
+                if (symbolWithScope) {
+                    const refetched = evaluator.getEffectiveTypeOfSymbol(symbolWithScope.symbol);
+                    if ((0, types_1.isOverloaded)(refetched)) {
+                        ownType = refetched;
+                    }
                 }
             }
         }
+        const own = _selectMemberDocInfo(ownType, matchedOverloads, sourceMapper);
+        if (own?.docString) {
+            return own;
+        }
     }
-    return docStrings ?? [];
+    // Step 2: inheritance — walk base classes (exclude builtin bases; the original class was
+    // handled in step 1), applying Rule A per class.
+    if (classType && memberName) {
+        for (const [mroClass] of (0, typeUtils_1.getClassIterator)(classType, 0 /* ClassIteratorFlags.Default */)) {
+            if (!(0, types_1.isInstantiableClass)(mroClass)) {
+                continue;
+            }
+            if (types_1.ClassType.isSameGenericClass(mroClass, classType)) {
+                continue;
+            }
+            if (types_1.ClassType.isBuiltIn(mroClass)) {
+                continue;
+            }
+            const symbol = types_1.ClassType.getSymbolTable(mroClass).get(memberName);
+            if (!symbol) {
+                continue;
+            }
+            const info = _selectMemberDocInfo(evaluator.getEffectiveTypeOfSymbol(symbol), undefined, sourceMapper);
+            if (info?.docString) {
+                return info;
+            }
+        }
+    }
+    // Step 3: the passed type's own docstring (last resort, mirrors legacy behavior).
+    if ((0, types_1.isFunction)(type) && type.shared.docString) {
+        return {
+            docString: type.shared.docString,
+            sourceDecl: type.shared.declaration && (0, declaration_1.isFunctionDeclaration)(type.shared.declaration)
+                ? type.shared.declaration
+                : undefined,
+        };
+    }
+    return undefined;
+}
+function _memberNameOfType(type) {
+    if ((0, types_1.isOverloaded)(type)) {
+        const overloads = types_1.OverloadedType.getOverloads(type);
+        return overloads.length > 0 ? overloads[0].shared.name : undefined;
+    }
+    return type.shared.name;
+}
+// Resolve a constructor-method docstring per spec (Phase 1). Walk the MRO and, for each
+// class, resolve its own `__init__` then `__new__` via Rule A. Returns undefined so the
+// caller can fall back to the class docstring (Phase 2).
+function resolveConstructorDocInfo(classType, matchedOverloads, sourceMapper, evaluator) {
+    for (const [mroClass] of (0, typeUtils_1.getClassIterator)(classType, 0 /* ClassIteratorFlags.Default */)) {
+        if (!(0, types_1.isInstantiableClass)(mroClass)) {
+            continue;
+        }
+        if (!types_1.ClassType.isSameGenericClass(mroClass, classType) && types_1.ClassType.isBuiltIn(mroClass)) {
+            continue;
+        }
+        const symbolTable = types_1.ClassType.getSymbolTable(mroClass);
+        const initSymbol = symbolTable.get('__init__');
+        const initInfo = initSymbol
+            ? _selectMemberDocInfo(evaluator.getEffectiveTypeOfSymbol(initSymbol), matchedOverloads, sourceMapper)
+            : undefined;
+        if (initInfo?.docString) {
+            return initInfo;
+        }
+        const newSymbol = symbolTable.get('__new__');
+        const newInfo = newSymbol
+            ? _selectMemberDocInfo(evaluator.getEffectiveTypeOfSymbol(newSymbol), matchedOverloads, sourceMapper)
+            : undefined;
+        if (newInfo?.docString) {
+            return newInfo;
+        }
+    }
+    return undefined;
 }
 function getPropertyDocStringInherited(decl, sourceMapper, evaluator) {
     const enclosingClass = ParseTreeUtils.getEnclosingClass(decl.node.d.name, /* stopAtFunction */ false);
@@ -242,6 +377,39 @@ function getClassDocString(classType, resolvedDecl, sourceMapper) {
             docString = _getFunctionOrClassDeclsDocString(classDecls);
         }
     }
+    // Fall back to inheriting a docstring from a base class (approximating
+    // Python's `inspect.getdoc`, but excluding builtin bases). Walk the MRO and
+    // use the nearest base's docstring. Skip builtin classes (e.g. `object`) so
+    // their generic docstrings don't leak, mirroring the method behavior in
+    // getFunctionDocStringInherited. Only inherit when the class truly has no
+    // docstring of its own. An explicit empty docstring (`""`) is recorded on
+    // `classType.shared.docString` and must block inheritance, matching Python
+    // `inspect.getdoc`. Note the empty string is discarded by the resolution
+    // above (helpers use truthy checks), so we consult the class's own docstring
+    // directly rather than the resolved local.
+    //
+    // Known limitation: unlike the class's own docstring (which resolves through
+    // `sourceMapper` to recover `.py` docs behind a `.pyi` stub), this inherited
+    // branch reads `mroClass.shared.docString` directly. So an inherited docstring
+    // surfaces only when the base doesn't ship a doc-less stub. This keeps the
+    // Pyright diff surgical; the async path mirrors the same decision.
+    if (docString === undefined && classType.shared.docString === undefined) {
+        for (const [mroClass] of (0, typeUtils_1.getClassIterator)(classType, 0 /* ClassIteratorFlags.Default */)) {
+            if (!(0, types_1.isInstantiableClass)(mroClass)) {
+                continue;
+            }
+            if (types_1.ClassType.isSameGenericClass(mroClass, classType)) {
+                continue;
+            }
+            if (types_1.ClassType.isBuiltIn(mroClass)) {
+                continue;
+            }
+            if (mroClass.shared.docString) {
+                docString = mroClass.shared.docString;
+                break;
+            }
+        }
+    }
     return docString;
 }
 function getFunctionOrClassDeclDocString(decl) {
@@ -258,54 +426,6 @@ function getVariableDocString(decl, sourceMapper) {
         return getVariableInStubFileDocStrings(decl, sourceMapper).find((doc) => doc);
     }
 }
-function getOverloadedDocStrings(type, resolvedDecl, sourceMapper) {
-    if (!(0, types_1.isOverloaded)(type)) {
-        return undefined;
-    }
-    const docStrings = [];
-    const overloads = types_1.OverloadedType.getOverloads(type);
-    const impl = types_1.OverloadedType.getImplementation(type);
-    if (overloads.some((o) => o.shared.docString)) {
-        overloads.forEach((overload) => {
-            if (overload.shared.docString) {
-                docStrings.push(overload.shared.docString);
-            }
-        });
-    }
-    if (impl && (0, types_1.isFunction)(impl) && impl.shared.docString) {
-        docStrings.push(impl.shared.docString);
-    }
-    // Fallback: try to extract docstrings from per-overload declarations.
-    // This handles cases where overloads are specialized (e.g. via a Callable[P, T]
-    // decorator) and shared.docString was not propagated to the specialized types.
-    if (docStrings.length === 0) {
-        for (const overload of overloads) {
-            if (overload.shared.declaration) {
-                const declDocString = _getFunctionDocStringFromDeclaration(overload.shared.declaration, sourceMapper);
-                if (declDocString) {
-                    docStrings.push(declDocString);
-                }
-            }
-        }
-        if (docStrings.length === 0 && impl && (0, types_1.isFunction)(impl) && impl.shared.declaration) {
-            const declDocString = _getFunctionDocStringFromDeclaration(impl.shared.declaration, sourceMapper);
-            if (declDocString) {
-                docStrings.push(declDocString);
-            }
-        }
-    }
-    if (docStrings.length === 0 &&
-        resolvedDecl &&
-        (0, sourceMapper_1.isStubFile)(resolvedDecl.uri) &&
-        (0, declaration_1.isFunctionDeclaration)(resolvedDecl)) {
-        const implDecls = sourceMapper.findFunctionDeclarations(resolvedDecl);
-        const docString = _getFunctionOrClassDeclsDocString(implDecls);
-        if (docString) {
-            docStrings.push(docString);
-        }
-    }
-    return docStrings;
-}
 function _getPropertyDocStringInherited(decl, sourceMapper, evaluator, classType) {
     if (!decl || !(0, declaration_1.isFunctionDeclaration)(decl)) {
         return;
@@ -349,29 +469,6 @@ function _getFunctionDocStringFromDeclaration(resolvedDecl, sourceMapper) {
 function getFunctionDocStringFromDeclarationInfo(resolvedDecl, sourceMapper) {
     return _getFunctionDocStringFromDeclarationInfo(resolvedDecl, sourceMapper);
 }
-function _getFunctionDocStringInfo(type, resolvedDecl, sourceMapper) {
-    if (!(0, types_1.isFunction)(type)) {
-        return undefined;
-    }
-    if (type.shared.docString) {
-        return {
-            docString: type.shared.docString,
-            sourceDecl: type.shared.declaration && (0, declaration_1.isFunctionDeclaration)(type.shared.declaration)
-                ? type.shared.declaration
-                : resolvedDecl,
-        };
-    }
-    if (resolvedDecl) {
-        const docInfo = _getFunctionDocStringFromDeclarationInfo(resolvedDecl, sourceMapper);
-        if (docInfo) {
-            return docInfo;
-        }
-    }
-    if (type.shared.declaration) {
-        return _getFunctionDocStringFromDeclarationInfo(type.shared.declaration, sourceMapper);
-    }
-    return undefined;
-}
 function _getFunctionDocStringFromDeclarationInfo(resolvedDecl, sourceMapper) {
     const docInfo = _getFunctionOrClassDeclsDocStringInfo([resolvedDecl]);
     if (docInfo) {