@zzzen/pyright-internal 1.2.0-dev.20260920 → 1.2.0-dev.20260927

package/dist/tests/protocolRequirementInstances.test.js

@@ -0,0 +1,164 @@
+"use strict";
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || (function () {
+    var ownKeys = function(o) {
+        ownKeys = Object.getOwnPropertyNames || function (o) {
+            var ar = [];
+            for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
+            return ar;
+        };
+        return ownKeys(o);
+    };
+    return function (mod) {
+        if (mod && mod.__esModule) return mod;
+        var result = {};
+        if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
+        __setModuleDefault(result, mod);
+        return result;
+    };
+})();
+Object.defineProperty(exports, "__esModule", { value: true });
+const assert = __importStar(require("assert"));
+const constraintTracker_1 = require("../analyzer/constraintTracker");
+const protocols_1 = require("../analyzer/protocols");
+const types_1 = require("../analyzer/types");
+const typeUtils_1 = require("../analyzer/typeUtils");
+const diagnostic_1 = require("../common/diagnostic");
+const testState_1 = require("./harness/fourslash/testState");
+const cases = [
+    { element: 'Plain', shortcut: true, accepted: false },
+    { element: 'int', shortcut: true, accepted: false },
+    { element: 'Plain | Other', shortcut: true, accepted: false },
+    { element: 'Plain | Callable[[], int]', shortcut: true, accepted: false },
+    { element: 'Good', shortcut: false, accepted: true },
+    { element: 'Good | Plain', shortcut: false, accepted: false },
+    { element: 'Nested', shortcut: false, accepted: false },
+    { element: 'Dynamic', shortcut: false },
+    { element: 'AttributeAccess', shortcut: false },
+    { element: 'UncertainBase', shortcut: false },
+    { element: 'Generic[T]', shortcut: false, accepted: false },
+    { element: 'Generic[int]', shortcut: true, accepted: false },
+    { element: 'InheritedPlain', shortcut: true, accepted: false },
+    { element: 'CallableObject', shortcut: true, accepted: false },
+    { element: 'InheritedGood', shortcut: false, accepted: true },
+    { element: 'InheritedDynamic', shortcut: false },
+    { element: 'IndexOnly', shortcut: false, accepted: false },
+    { element: 'Plain | Any', shortcut: false },
+    { element: 'Plain | Dynamic', shortcut: false },
+    { element: 'Plain | T', shortcut: false, accepted: false },
+    { element: 'Generic[list[T]]', shortcut: false, accepted: false },
+    { element: 'Generic[list[int]]', shortcut: true, accepted: false },
+    { element: 'Record', shortcut: false, accepted: false },
+    { element: 'UnrelatedProtocol', shortcut: false, accepted: false },
+    { element: 'type[Plain]', shortcut: false, accepted: false },
+];
+test.each(cases)('ProtocolRequirementInstances $element', ({ element, shortcut, accepted }) => {
+    const run = (diagnostics) => {
+        const state = (0, testState_1.parseAndGetTestState)(`
+// @filename: test.py
+//// from collections.abc import Callable, Iterator
+//// from typing import Any, Protocol, TypedDict, TypeVar
+//// T_co = TypeVar("T_co", covariant=True)
+//// class Leaf(Protocol[T_co]):
+////     def serialize(self) -> T_co: ...
+//// class NestedSequence(Protocol[T_co]):
+////     def __len__(self, /) -> int: ...
+////     def __getitem__(self, index: int, /) -> T_co | "NestedSequence[T_co]": ...
+////     def __iter__(self, /) -> Iterator[T_co | "NestedSequence[T_co]"]: ...
+//// class Plain: pass
+//// class Other: pass
+//// class Good:
+////     def serialize(self) -> int: ...
+//// class Nested:
+////     def __len__(self, /) -> int: ...
+////     def __getitem__(self, index: int, /) -> Good: ...
+////     def __iter__(self, /) -> Iterator[Good]: ...
+//// class Dynamic:
+////     def __getattr__(self, name: str) -> Any: ...
+//// class AttributeAccess:
+////     def __getattribute__(self, name: str) -> Any: ...
+//// class UncertainBase(Missing): pass
+//// class Generic[Value]: pass
+//// class InheritedPlain(Plain): pass
+//// class CallableObject:
+////     def __call__(self, value: int) -> str: ...
+//// class InheritedGood(Good): pass
+//// class InheritedDynamic(Dynamic): pass
+//// class IndexOnly:
+////     def __getitem__(self, index: int) -> Good: ...
+//// class Record(TypedDict):
+////     value: int
+//// class UnrelatedProtocol(Protocol):
+////     def unrelated(self) -> int: ...
+//// def check[T](source: list[${element}], destination: NestedSequence[Leaf[T]], variable: T):
+////     /*source*/source
+////     /*destination*/destination
+////     /*variable*/variable
+        `).state;
+        const evaluator = state.program.evaluator;
+        const typeAt = (marker) => {
+            const node = (0, testState_1.getNodeAtMarker)(state, marker);
+            assert.strictEqual(node.nodeType, 38 /* ParseNodeType.Name */);
+            return evaluator.getTypeOfExpression(node).type;
+        };
+        const source = typeAt('source');
+        const destination = typeAt('destination');
+        const variable = typeAt('variable');
+        assert.ok((0, types_1.isClassInstance)(source) && (0, types_1.isClassInstance)(destination) && (0, types_1.isTypeVar)(variable));
+        const freeVariable = variable.priv.freeTypeVar;
+        assert.ok(freeVariable?.priv.scopeId);
+        const target = (0, typeUtils_1.makeTypeVarsFree)(types_1.ClassType.cloneAsInstantiable(destination), [freeVariable.priv.scopeId]);
+        const constraints = new constraintTracker_1.ConstraintTracker();
+        constraints.getMainConstraintSet().addScopeId('caller');
+        const observe = () => ({
+            solved: evaluator.printType(evaluator.solveAndApplyConstraints(freeVariable, constraints)),
+            sets: constraints.getConstraintSets().map((set) => ({
+                scopes: [...set.getScopeIds()],
+                bounds: set.getTypeVars().map((entry) => ({
+                    lower: entry.lowerBound && evaluator.printType(entry.lowerBound),
+                    upper: entry.upperBound && evaluator.printType(entry.upperBound),
+                    retain: entry.retainLiterals,
+                })),
+            })),
+        });
+        const before = observe();
+        assert.strictEqual((0, protocols_1.tryFastRejectSequenceProtocol)(evaluator, target, source, constraints, 0 /* AssignTypeFlags.Default */, 0), shortcut ? '__getitem__' : undefined);
+        assert.deepStrictEqual(observe(), before);
+        const results = [];
+        for (let repetition = 0; repetition < 2; repetition++) {
+            const result = (0, protocols_1.assignClassToProtocol)(evaluator, target, source, diagnostics ? new diagnostic_1.DiagnosticAddendum() : undefined, constraints, 0 /* AssignTypeFlags.Default */, 0);
+            if (element === 'Nested') {
+                assert.strictEqual(result, repetition > 0);
+                assert.strictEqual(observe().solved, 'int');
+            }
+            else if (accepted !== undefined) {
+                assert.strictEqual(result, accepted);
+            }
+            if (accepted) {
+                assert.strictEqual(observe().solved, 'int');
+            }
+            if (shortcut) {
+                assert.deepStrictEqual(observe(), before);
+            }
+            results.push({ result, state: observe() });
+        }
+        return results;
+    };
+    assert.deepStrictEqual(run(false), run(true));
+});
+//# sourceMappingURL=protocolRequirementInstances.test.js.map

package/dist/tests/protocolRequirementInstances.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"protocolRequirementInstances.test.js","sourceRoot":"","sources":["../../../../../src/tests/protocolRequirementInstances.test.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA,+CAAiC;AAEjC,qEAAkE;AAClE,qDAA6F;AAE7F,6CAA0E;AAC1E,qDAAyD;AACzD,qDAA0D;AAE1D,6DAAsF;AAEtF,MAAM,KAAK,GAAG;IACV,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE;IACrD,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE;IACnD,EAAE,OAAO,EAAE,eAAe,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE;IAC7D,EAAE,OAAO,EAAE,2BAA2B,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE;IACzE,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE;IACpD,EAAE,OAAO,EAAE,cAAc,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE;IAC7D,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE;IACvD,EAAE,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,KAAK,EAAE;IACvC,EAAE,OAAO,EAAE,iBAAiB,EAAE,QAAQ,EAAE,KAAK,EAAE;IAC/C,EAAE,OAAO,EAAE,eAAe,EAAE,QAAQ,EAAE,KAAK,EAAE;IAC7C,EAAE,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE;IAC3D,EAAE,OAAO,EAAE,cAAc,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE;IAC5D,EAAE,OAAO,EAAE,gBAAgB,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE;IAC9D,EAAE,OAAO,EAAE,gBAAgB,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE;IAC9D,EAAE,OAAO,EAAE,eAAe,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE;IAC7D,EAAE,OAAO,EAAE,kBAAkB,EAAE,QAAQ,EAAE,KAAK,EAAE;IAChD,EAAE,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE;IAC1D,EAAE,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,KAAK,EAAE;IAC3C,EAAE,OAAO,EAAE,iBAAiB,EAAE,QAAQ,EAAE,KAAK,EAAE;IAC/C,EAAE,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE;IAC1D,EAAE,OAAO,EAAE,kBAAkB,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE;IACjE,EAAE,OAAO,EAAE,oBAAoB,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE;IAClE,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE;IACvD,EAAE,OAAO,EAAE,mBAAmB,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE;IAClE,EAAE,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE;CAC/D,CAAC;AAEF,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,uCAAuC,EAAE,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,EAAE;IAC1F,MAAM,GAAG,GAAG,CAAC,WAAoB,EAAE,EAAE;QACjC,MAAM,KAAK,GAAG,IAAA,gCAAoB,EAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;iCAoCV,OAAO;;;;SAI/B,CAAC,CAAC,KAAK,CAAC;QACT,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,SAAU,CAAC;QAC3C,MAAM,MAAM,GAAG,CAAC,MAAc,EAAE,EAAE;YAC9B,MAAM,IAAI,GAAG,IAAA,2BAAe,EAAC,KAAK,EAAE,MAAM,CAAC,CAAC;YAC5C,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,QAAQ,8BAAqB,CAAC;YACtD,OAAO,SAAS,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC;QACpD,CAAC,CAAC;QACF,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC;QAChC,MAAM,WAAW,GAAG,MAAM,CAAC,aAAa,CAAC,CAAC;QAC1C,MAAM,QAAQ,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC;QACpC,MAAM,CAAC,EAAE,CAAC,IAAA,uBAAe,EAAC,MAAM,CAAC,IAAI,IAAA,uBAAe,EAAC,WAAW,CAAC,IAAI,IAAA,iBAAS,EAAC,QAAQ,CAAC,CAAC,CAAC;QAC1F,MAAM,YAAY,GAAG,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC;QAC/C,MAAM,CAAC,EAAE,CAAC,YAAY,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;QACtC,MAAM,MAAM,GAAG,IAAA,4BAAgB,EAAC,iBAAS,CAAC,mBAAmB,CAAC,WAAW,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;QACzG,MAAM,WAAW,GAAG,IAAI,qCAAiB,EAAE,CAAC;QAC5C,WAAW,CAAC,oBAAoB,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;QACxD,MAAM,OAAO,GAAG,GAAG,EAAE,CAAC,CAAC;YACnB,MAAM,EAAE,SAAS,CAAC,SAAS,CAAC,SAAS,CAAC,wBAAwB,CAAC,YAAY,EAAE,WAAW,CAAC,CAAC;YAC1F,IAAI,EAAE,WAAW,CAAC,iBAAiB,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;gBAChD,MAAM,EAAE,CAAC,GAAG,GAAG,CAAC,WAAW,EAAE,CAAC;gBAC9B,MAAM,EAAE,GAAG,CAAC,WAAW,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;oBACtC,KAAK,EAAE,KAAK,CAAC,UAAU,IAAI,SAAS,CAAC,SAAS,CAAC,KAAK,CAAC,UAAU,CAAC;oBAChE,KAAK,EAAE,KAAK,CAAC,UAAU,IAAI,SAAS,CAAC,SAAS,CAAC,KAAK,CAAC,UAAU,CAAC;oBAChE,MAAM,EAAE,KAAK,CAAC,cAAc;iBAC/B,CAAC,CAAC;aACN,CAAC,CAAC;SACN,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,OAAO,EAAE,CAAC;QACzB,MAAM,CAAC,WAAW,CACd,IAAA,yCAA6B,EAAC,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,mCAA2B,CAAC,CAAC,EACjG,QAAQ,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS,CACvC,CAAC;QACF,MAAM,CAAC,eAAe,CAAC,OAAO,EAAE,EAAE,MAAM,CAAC,CAAC;QAC1C,MAAM,OAAO,GAAG,EAAE,CAAC;QACnB,KAAK,IAAI,UAAU,GAAG,CAAC,EAAE,UAAU,GAAG,CAAC,EAAE,UAAU,EAAE,EAAE,CAAC;YACpD,MAAM,MAAM,GAAG,IAAA,iCAAqB,EAChC,SAAS,EACT,MAAM,EACN,MAAM,EACN,WAAW,CAAC,CAAC,CAAC,IAAI,+BAAkB,EAAE,CAAC,CAAC,CAAC,SAAS,EAClD,WAAW,mCAEX,CAAC,CACJ,CAAC;YACF,IAAI,OAAO,KAAK,QAAQ,EAAE,CAAC;gBACvB,MAAM,CAAC,WAAW,CAAC,MAAM,EAAE,UAAU,GAAG,CAAC,CAAC,CAAC;gBAC3C,MAAM,CAAC,WAAW,CAAC,OAAO,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;YAChD,CAAC;iBAAM,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAChC,MAAM,CAAC,WAAW,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;YACzC,CAAC;YACD,IAAI,QAAQ,EAAE,CAAC;gBACX,MAAM,CAAC,WAAW,CAAC,OAAO,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;YAChD,CAAC;YACD,IAAI,QAAQ,EAAE,CAAC;gBACX,MAAM,CAAC,eAAe,CAAC,OAAO,EAAE,EAAE,MAAM,CAAC,CAAC;YAC9C,CAAC;YACD,OAAO,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC;QAC/C,CAAC;QACD,OAAO,OAAO,CAAC;IACnB,CAAC,CAAC;IACF,MAAM,CAAC,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;AAClD,CAAC,CAAC,CAAC"}

package/dist/tests/protocolRequirementListStub.test.d.ts

@@ -0,0 +1 @@
+export {};

package/dist/tests/protocolRequirementListStub.test.js

@@ -0,0 +1,244 @@
+"use strict";
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || (function () {
+    var ownKeys = function(o) {
+        ownKeys = Object.getOwnPropertyNames || function (o) {
+            var ar = [];
+            for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
+            return ar;
+        };
+        return ownKeys(o);
+    };
+    return function (mod) {
+        if (mod && mod.__esModule) return mod;
+        var result = {};
+        if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
+        __setModuleDefault(result, mod);
+        return result;
+    };
+})();
+Object.defineProperty(exports, "__esModule", { value: true });
+const assert = __importStar(require("assert"));
+const fs_1 = require("fs");
+const path_1 = require("path");
+const constraintTracker_1 = require("../analyzer/constraintTracker");
+const protocols_1 = require("../analyzer/protocols");
+const types_1 = require("../analyzer/types");
+const typeUtils_1 = require("../analyzer/typeUtils");
+const diagnostic_1 = require("../common/diagnostic");
+const testState_1 = require("./harness/fourslash/testState");
+function readBuiltinsStub() {
+    return (0, fs_1.readFileSync)((0, path_1.resolve)(__dirname, '../../typeshed-fallback/stdlib/builtins.pyi'), 'utf8').replace(/\r\n/g, '\n');
+}
+test.each([
+    [false, false],
+    [false, true],
+    [true, false],
+    [true, true],
+])('ProtocolRequirementListStub erased=%s diagnostics=%s', (erased, diagnostics) => {
+    let builtinsStub = readBuiltinsStub();
+    if (erased) {
+        const listStart = builtinsStub.indexOf('class list(MutableSequence[_T]):');
+        assert.ok(listStart >= 0);
+        const listEnd = builtinsStub.indexOf('\nclass ', listStart + 1);
+        assert.ok(listEnd > listStart);
+        const listStub = builtinsStub.slice(listStart, listEnd);
+        const indexSignature = 'def __getitem__(self, i: SupportsIndex, /) -> _T:';
+        const iteratorSignature = 'def __iter__(self) -> Iterator[_T]:';
+        assert.ok(listStub.includes(indexSignature));
+        assert.ok(listStub.includes(iteratorSignature));
+        builtinsStub =
+            builtinsStub.slice(0, listStart) +
+                listStub
+                    .replace(indexSignature, 'def __getitem__(self, i: SupportsIndex, /) -> Any:')
+                    .replace(iteratorSignature, 'def __iter__(self) -> Iterator[Any]:') +
+                builtinsStub.slice(listEnd);
+    }
+    const state = (0, testState_1.parseAndGetTestState)(`
+// @filename: /typeshed-fallback/stdlib/builtins.pyi
+${builtinsStub
+        .split('\n')
+        .map((line) => `//// ${line}`)
+        .join('\n')}
+// @filename: test.py
+//// from collections.abc import Callable, Iterator
+//// from typing import Protocol, TypeVar
+//// T_co = TypeVar("T_co", covariant=True)
+//// class Leaf(Protocol[T_co]):
+////     def serialize(self) -> T_co: ...
+//// class NestedSequence(Protocol[T_co]):
+////     def __len__(self, /) -> int: ...
+////     def __getitem__(self, index: int, /) -> T_co | "NestedSequence[T_co]": ...
+////     def __iter__(self, /) -> Iterator[T_co | "NestedSequence[T_co]"]: ...
+//// def check[T](source: list[Callable[[], int]], destination: NestedSequence[Leaf[T]], variable: T):
+////     element = source[0]
+////     /*element*/element
+////     /*source*/source
+////     /*destination*/destination
+////     /*variable*/variable
+    `).state;
+    const evaluator = state.program.evaluator;
+    const sourceNode = (0, testState_1.getNodeAtMarker)(state, 'source');
+    const destinationNode = (0, testState_1.getNodeAtMarker)(state, 'destination');
+    const variableNode = (0, testState_1.getNodeAtMarker)(state, 'variable');
+    const elementNode = (0, testState_1.getNodeAtMarker)(state, 'element');
+    assert.strictEqual(sourceNode.nodeType, 38 /* ParseNodeType.Name */);
+    assert.strictEqual(destinationNode.nodeType, 38 /* ParseNodeType.Name */);
+    assert.strictEqual(variableNode.nodeType, 38 /* ParseNodeType.Name */);
+    assert.strictEqual(elementNode.nodeType, 38 /* ParseNodeType.Name */);
+    const source = evaluator.getTypeOfExpression(sourceNode).type;
+    const destination = evaluator.getTypeOfExpression(destinationNode).type;
+    const variable = evaluator.getTypeOfExpression(variableNode).type;
+    assert.ok((0, types_1.isClassInstance)(source));
+    assert.ok((0, types_1.isClassInstance)(destination));
+    assert.ok((0, types_1.isTypeVar)(variable));
+    assert.strictEqual(evaluator.printType(evaluator.getTypeOfExpression(elementNode).type), erased ? 'Any' : '() -> int');
+    const freeVariable = variable.priv.freeTypeVar;
+    assert.ok(freeVariable?.priv.scopeId);
+    const target = (0, typeUtils_1.makeTypeVarsFree)(types_1.ClassType.cloneAsInstantiable(destination), [freeVariable.priv.scopeId]);
+    assert.strictEqual((0, protocols_1.assignClassToProtocol)(evaluator, target, source, diagnostics ? new diagnostic_1.DiagnosticAddendum() : undefined, new constraintTracker_1.ConstraintTracker(), 0 /* AssignTypeFlags.Default */, 0), erased);
+});
+test.each([false, true].flatMap((overlap) => ['Leaf[int]', 'int'].map((element) => ({ overlap, element }))))('ProtocolRequirementIndexOverlap overlap=$overlap element=$element', ({ overlap, element }) => {
+    let builtinsStub = readBuiltinsStub();
+    if (overlap) {
+        const intDeclaration = '@disjoint_base\nclass int:';
+        assert.ok(builtinsStub.includes(intDeclaration));
+        builtinsStub = builtinsStub.replace(intDeclaration, 'class int(slice[Any]):');
+    }
+    const listStart = builtinsStub.indexOf('class list(MutableSequence[_T]):');
+    const listEnd = builtinsStub.indexOf('\nclass ', listStart + 1);
+    assert.ok(listStart >= 0 && listEnd > listStart);
+    const listStub = builtinsStub.slice(listStart, listEnd);
+    const sliceSignature = 'def __getitem__(self, s: slice[SupportsIndex | None], /) -> list[_T]:';
+    assert.ok(listStub.includes(sliceSignature));
+    builtinsStub =
+        builtinsStub.slice(0, listStart) +
+            listStub.replace(sliceSignature, sliceSignature.replace('-> list[_T]', '-> Any')) +
+            builtinsStub.slice(listEnd);
+    const state = (0, testState_1.parseAndGetTestState)(`
+// @filename: /typeshed-fallback/stdlib/builtins.pyi
+${builtinsStub
+        .split('\n')
+        .map((line) => `//// ${line}`)
+        .join('\n')}
+// @filename: test.py
+//// from collections.abc import Callable, Iterator
+//// from typing import Any, Protocol, TypeVar
+//// T_co = TypeVar("T_co", covariant=True)
+//// class Leaf(Protocol[T_co]):
+////     def serialize(self) -> T_co: ...
+//// class NestedSequence(Protocol[T_co]):
+////     def __len__(self, /) -> int: ...
+////     def __getitem__(self, index: int, /) -> T_co | "NestedSequence[T_co]": ...
+////     def __iter__(self, /) -> Iterator[T_co | "NestedSequence[T_co]"]: ...
+//// def check(source: list[Callable[[], int]], destination: NestedSequence[${element}], integer: int, sliced: slice[Any]):
+////     source_index = source.__getitem__
+////     destination_index = destination.__getitem__
+////     /*source_index*/source_index
+////     /*destination_index*/destination_index
+////     /*integer*/integer
+////     /*sliced*/sliced
+////     /*source*/source
+////     /*destination*/destination
+    `).state;
+    const evaluator = state.program.evaluator;
+    const typeAt = (marker) => {
+        const node = (0, testState_1.getNodeAtMarker)(state, marker);
+        assert.strictEqual(node.nodeType, 38 /* ParseNodeType.Name */);
+        return evaluator.getTypeOfExpression(node).type;
+    };
+    assert.strictEqual(evaluator.assignType(typeAt('sliced'), typeAt('integer')), overlap);
+    assert.strictEqual(evaluator.assignType(typeAt('destination_index'), typeAt('source_index')), overlap);
+    const source = typeAt('source');
+    const destination = typeAt('destination');
+    assert.ok((0, types_1.isClassInstance)(source) && (0, types_1.isClassInstance)(destination));
+    assert.strictEqual((0, protocols_1.tryFastRejectSequenceProtocol)(evaluator, types_1.ClassType.cloneAsInstantiable(destination), source, new constraintTracker_1.ConstraintTracker(), 0 /* AssignTypeFlags.Default */, 0), overlap ? undefined : '__getitem__');
+    assert.strictEqual((0, protocols_1.assignClassToProtocol)(evaluator, types_1.ClassType.cloneAsInstantiable(destination), source, new diagnostic_1.DiagnosticAddendum(), new constraintTracker_1.ConstraintTracker(), 0 /* AssignTypeFlags.Default */, 0), false);
+});
+describe.each(['stock', 'erased', 'extraOverload', 'explicitSelf', 'unknownReturn', 'nonOverloaded'])('ProtocolRequirementListContract %s', (contract) => {
+    test.each([false, true])('concrete=%s', (concrete) => {
+        const builtinsStub = readBuiltinsStub();
+        const listStart = builtinsStub.indexOf('class list(MutableSequence[_T]):');
+        const listEnd = builtinsStub.indexOf('\nclass ', listStart + 1);
+        assert.ok(listStart >= 0 && listEnd > listStart);
+        const listStub = builtinsStub.slice(listStart, listEnd);
+        const indexSignature = 'def __getitem__(self, i: SupportsIndex, /) -> _T: ...';
+        const sliceOverload = '    @overload\n    def __getitem__(self, s: slice[SupportsIndex | None], /) -> list[_T]: ...';
+        assert.ok(listStub.includes(indexSignature) && listStub.includes(sliceOverload));
+        let changedList = listStub;
+        if (contract === 'erased') {
+            changedList = listStub.replace(indexSignature, indexSignature.replace('-> _T', '-> Any'));
+        }
+        else if (contract === 'extraOverload') {
+            changedList = listStub.replace(indexSignature, `def __getitem__(self, i: int, /) -> Any: ...\n    @overload\n    ${indexSignature}`);
+        }
+        else if (contract === 'explicitSelf') {
+            changedList = listStub.replace(indexSignature, indexSignature.replace('self,', 'self: list[int],'));
+        }
+        else if (contract === 'unknownReturn') {
+            changedList = listStub.replace(indexSignature, indexSignature.replace('-> _T', '-> MissingReturn'));
+        }
+        else if (contract === 'nonOverloaded') {
+            changedList = listStub
+                .replace(sliceOverload, '')
+                .replace(`    @overload\n    ${indexSignature}`, `    ${indexSignature}`);
+        }
+        const state = (0, testState_1.parseAndGetTestState)(`
+// @filename: /typeshed-fallback/stdlib/builtins.pyi
+${(builtinsStub.slice(0, listStart) + changedList + builtinsStub.slice(listEnd))
+            .split('\n')
+            .map((line) => `//// ${line}`)
+            .join('\n')}
+// @filename: test.py
+//// from collections.abc import Callable, Iterator
+//// from typing import Protocol, TypeVar
+//// T_co = TypeVar("T_co", covariant=True)
+//// class Leaf(Protocol[T_co]):
+////     def serialize(self) -> T_co: ...
+//// class NestedSequence(Protocol[T_co]):
+////     def __len__(self, /) -> int: ...
+////     def __getitem__(self, index: int, /) -> T_co | "NestedSequence[T_co]": ...
+////     def __iter__(self, /) -> Iterator[T_co | "NestedSequence[T_co]"]: ...
+//// def check[T](source: list[Callable[[], int]], destination: NestedSequence[${concrete ? 'int' : 'Leaf[T]'}], variable: T):
+////     /*source*/source
+////     /*destination*/destination
+////     /*variable*/variable
+            `).state;
+        const evaluator = state.program.evaluator;
+        const sourceNode = (0, testState_1.getNodeAtMarker)(state, 'source');
+        const destinationNode = (0, testState_1.getNodeAtMarker)(state, 'destination');
+        const variableNode = (0, testState_1.getNodeAtMarker)(state, 'variable');
+        assert.strictEqual(sourceNode.nodeType, 38 /* ParseNodeType.Name */);
+        assert.strictEqual(destinationNode.nodeType, 38 /* ParseNodeType.Name */);
+        assert.strictEqual(variableNode.nodeType, 38 /* ParseNodeType.Name */);
+        const source = evaluator.getTypeOfExpression(sourceNode).type;
+        const destination = evaluator.getTypeOfExpression(destinationNode).type;
+        const variable = evaluator.getTypeOfExpression(variableNode).type;
+        assert.ok((0, types_1.isClassInstance)(source) && (0, types_1.isClassInstance)(destination) && (0, types_1.isTypeVar)(variable));
+        const scopeId = variable.priv.freeTypeVar?.priv.scopeId;
+        assert.ok(scopeId);
+        const target = (0, typeUtils_1.makeTypeVarsFree)(types_1.ClassType.cloneAsInstantiable(destination), [scopeId]);
+        const constraints = new constraintTracker_1.ConstraintTracker();
+        constraints.getMainConstraintSet().addScopeId('caller');
+        assert.strictEqual((0, protocols_1.tryFastRejectSequenceProtocol)(evaluator, target, source, constraints, 0 /* AssignTypeFlags.Default */, 0), contract === 'stock' ? '__getitem__' : undefined);
+        expect(constraints
+            .getConstraintSets()
+            .map((set) => ({ scopes: [...set.getScopeIds()], bindings: set.getTypeVars() }))).toEqual([{ scopes: ['caller'], bindings: [] }]);
+    });
+});
+//# sourceMappingURL=protocolRequirementListStub.test.js.map

package/dist/tests/protocolRequirementListStub.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"protocolRequirementListStub.test.js","sourceRoot":"","sources":["../../../../../src/tests/protocolRequirementListStub.test.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA,+CAAiC;AACjC,2BAAkC;AAClC,+BAA+B;AAE/B,qEAAkE;AAClE,qDAA6F;AAE7F,6CAA0E;AAC1E,qDAAyD;AACzD,qDAA0D;AAE1D,6DAAsF;AAEtF,SAAS,gBAAgB;IACrB,OAAO,IAAA,iBAAY,EAAC,IAAA,cAAO,EAAC,SAAS,EAAE,6CAA6C,CAAC,EAAE,MAAM,CAAC,CAAC,OAAO,CAClG,OAAO,EACP,IAAI,CACP,CAAC;AACN,CAAC;AAED,IAAI,CAAC,IAAI,CAAC;IACN,CAAC,KAAK,EAAE,KAAK,CAAC;IACd,CAAC,KAAK,EAAE,IAAI,CAAC;IACb,CAAC,IAAI,EAAE,KAAK,CAAC;IACb,CAAC,IAAI,EAAE,IAAI,CAAC;CACf,CAAC,CAAC,sDAAsD,EAAE,CAAC,MAAM,EAAE,WAAW,EAAE,EAAE;IAC/E,IAAI,YAAY,GAAG,gBAAgB,EAAE,CAAC;IACtC,IAAI,MAAM,EAAE,CAAC;QACT,MAAM,SAAS,GAAG,YAAY,CAAC,OAAO,CAAC,kCAAkC,CAAC,CAAC;QAC3E,MAAM,CAAC,EAAE,CAAC,SAAS,IAAI,CAAC,CAAC,CAAC;QAC1B,MAAM,OAAO,GAAG,YAAY,CAAC,OAAO,CAAC,UAAU,EAAE,SAAS,GAAG,CAAC,CAAC,CAAC;QAChE,MAAM,CAAC,EAAE,CAAC,OAAO,GAAG,SAAS,CAAC,CAAC;QAC/B,MAAM,QAAQ,GAAG,YAAY,CAAC,KAAK,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QACxD,MAAM,cAAc,GAAG,mDAAmD,CAAC;QAC3E,MAAM,iBAAiB,GAAG,qCAAqC,CAAC;QAChE,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC,CAAC;QAC7C,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,iBAAiB,CAAC,CAAC,CAAC;QAChD,YAAY;YACR,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC;gBAChC,QAAQ;qBACH,OAAO,CAAC,cAAc,EAAE,oDAAoD,CAAC;qBAC7E,OAAO,CAAC,iBAAiB,EAAE,sCAAsC,CAAC;gBACvE,YAAY,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACpC,CAAC;IACD,MAAM,KAAK,GAAG,IAAA,gCAAoB,EAAC;;EAErC,YAAY;SACT,KAAK,CAAC,IAAI,CAAC;SACX,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,IAAI,EAAE,CAAC;SAC7B,IAAI,CAAC,IAAI,CAAC;;;;;;;;;;;;;;;;;KAiBV,CAAC,CAAC,KAAK,CAAC;IACT,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,SAAU,CAAC;IAC3C,MAAM,UAAU,GAAG,IAAA,2BAAe,EAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IACpD,MAAM,eAAe,GAAG,IAAA,2BAAe,EAAC,KAAK,EAAE,aAAa,CAAC,CAAC;IAC9D,MAAM,YAAY,GAAG,IAAA,2BAAe,EAAC,KAAK,EAAE,UAAU,CAAC,CAAC;IACxD,MAAM,WAAW,GAAG,IAAA,2BAAe,EAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IACtD,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,QAAQ,8BAAqB,CAAC;IAC5D,MAAM,CAAC,WAAW,CAAC,eAAe,CAAC,QAAQ,8BAAqB,CAAC;IACjE,MAAM,CAAC,WAAW,CAAC,YAAY,CAAC,QAAQ,8BAAqB,CAAC;IAC9D,MAAM,CAAC,WAAW,CAAC,WAAW,CAAC,QAAQ,8BAAqB,CAAC;IAC7D,MAAM,MAAM,GAAG,SAAS,CAAC,mBAAmB,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC;IAC9D,MAAM,WAAW,GAAG,SAAS,CAAC,mBAAmB,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC;IACxE,MAAM,QAAQ,GAAG,SAAS,CAAC,mBAAmB,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC;IAClE,MAAM,CAAC,EAAE,CAAC,IAAA,uBAAe,EAAC,MAAM,CAAC,CAAC,CAAC;IACnC,MAAM,CAAC,EAAE,CAAC,IAAA,uBAAe,EAAC,WAAW,CAAC,CAAC,CAAC;IACxC,MAAM,CAAC,EAAE,CAAC,IAAA,iBAAS,EAAC,QAAQ,CAAC,CAAC,CAAC;IAC/B,MAAM,CAAC,WAAW,CACd,SAAS,CAAC,SAAS,CAAC,SAAS,CAAC,mBAAmB,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,EACpE,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,WAAW,CAC/B,CAAC;IACF,MAAM,YAAY,GAAG,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC;IAC/C,MAAM,CAAC,EAAE,CAAC,YAAY,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;IACtC,MAAM,MAAM,GAAG,IAAA,4BAAgB,EAAC,iBAAS,CAAC,mBAAmB,CAAC,WAAW,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;IACzG,MAAM,CAAC,WAAW,CACd,IAAA,iCAAqB,EACjB,SAAS,EACT,MAAM,EACN,MAAM,EACN,WAAW,CAAC,CAAC,CAAC,IAAI,+BAAkB,EAAE,CAAC,CAAC,CAAC,SAAS,EAClD,IAAI,qCAAiB,EAAE,mCAEvB,CAAC,CACJ,EACD,MAAM,CACT,CAAC;AACN,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,CACxG,mEAAmE,EACnE,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE;IACrB,IAAI,YAAY,GAAG,gBAAgB,EAAE,CAAC;IACtC,IAAI,OAAO,EAAE,CAAC;QACV,MAAM,cAAc,GAAG,4BAA4B,CAAC;QACpD,MAAM,CAAC,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC,CAAC;QACjD,YAAY,GAAG,YAAY,CAAC,OAAO,CAAC,cAAc,EAAE,wBAAwB,CAAC,CAAC;IAClF,CAAC;IACD,MAAM,SAAS,GAAG,YAAY,CAAC,OAAO,CAAC,kCAAkC,CAAC,CAAC;IAC3E,MAAM,OAAO,GAAG,YAAY,CAAC,OAAO,CAAC,UAAU,EAAE,SAAS,GAAG,CAAC,CAAC,CAAC;IAChE,MAAM,CAAC,EAAE,CAAC,SAAS,IAAI,CAAC,IAAI,OAAO,GAAG,SAAS,CAAC,CAAC;IACjD,MAAM,QAAQ,GAAG,YAAY,CAAC,KAAK,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IACxD,MAAM,cAAc,GAAG,uEAAuE,CAAC;IAC/F,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC,CAAC;IAC7C,YAAY;QACR,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC;YAChC,QAAQ,CAAC,OAAO,CAAC,cAAc,EAAE,cAAc,CAAC,OAAO,CAAC,aAAa,EAAE,QAAQ,CAAC,CAAC;YACjF,YAAY,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAChC,MAAM,KAAK,GAAG,IAAA,gCAAoB,EAAC;;EAEzC,YAAY;SACT,KAAK,CAAC,IAAI,CAAC;SACX,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,IAAI,EAAE,CAAC;SAC7B,IAAI,CAAC,IAAI,CAAC;;;;;;;;;;;8EAW+D,OAAO;;;;;;;;;KAShF,CAAC,CAAC,KAAK,CAAC;IACL,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,SAAU,CAAC;IAC3C,MAAM,MAAM,GAAG,CAAC,MAAc,EAAE,EAAE;QAC9B,MAAM,IAAI,GAAG,IAAA,2BAAe,EAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QAC5C,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,QAAQ,8BAAqB,CAAC;QACtD,OAAO,SAAS,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC;IACpD,CAAC,CAAC;IACF,MAAM,CAAC,WAAW,CAAC,SAAS,CAAC,UAAU,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;IACvF,MAAM,CAAC,WAAW,CAAC,SAAS,CAAC,UAAU,CAAC,MAAM,CAAC,mBAAmB,CAAC,EAAE,MAAM,CAAC,cAAc,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;IACvG,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC;IAChC,MAAM,WAAW,GAAG,MAAM,CAAC,aAAa,CAAC,CAAC;IAC1C,MAAM,CAAC,EAAE,CAAC,IAAA,uBAAe,EAAC,MAAM,CAAC,IAAI,IAAA,uBAAe,EAAC,WAAW,CAAC,CAAC,CAAC;IACnE,MAAM,CAAC,WAAW,CACd,IAAA,yCAA6B,EACzB,SAAS,EACT,iBAAS,CAAC,mBAAmB,CAAC,WAAW,CAAC,EAC1C,MAAM,EACN,IAAI,qCAAiB,EAAE,mCAEvB,CAAC,CACJ,EACD,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,aAAa,CACtC,CAAC;IACF,MAAM,CAAC,WAAW,CACd,IAAA,iCAAqB,EACjB,SAAS,EACT,iBAAS,CAAC,mBAAmB,CAAC,WAAW,CAAC,EAC1C,MAAM,EACN,IAAI,+BAAkB,EAAE,EACxB,IAAI,qCAAiB,EAAE,mCAEvB,CAAC,CACJ,EACD,KAAK,CACR,CAAC;AACN,CAAC,CACJ,CAAC;AAEF,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,QAAQ,EAAE,eAAe,EAAE,cAAc,EAAE,eAAe,EAAE,eAAe,CAAC,CAAC,CACjG,oCAAoC,EACpC,CAAC,QAAQ,EAAE,EAAE;IACT,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC,QAAQ,EAAE,EAAE;QACjD,MAAM,YAAY,GAAG,gBAAgB,EAAE,CAAC;QACxC,MAAM,SAAS,GAAG,YAAY,CAAC,OAAO,CAAC,kCAAkC,CAAC,CAAC;QAC3E,MAAM,OAAO,GAAG,YAAY,CAAC,OAAO,CAAC,UAAU,EAAE,SAAS,GAAG,CAAC,CAAC,CAAC;QAChE,MAAM,CAAC,EAAE,CAAC,SAAS,IAAI,CAAC,IAAI,OAAO,GAAG,SAAS,CAAC,CAAC;QACjD,MAAM,QAAQ,GAAG,YAAY,CAAC,KAAK,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QACxD,MAAM,cAAc,GAAG,uDAAuD,CAAC;QAC/E,MAAM,aAAa,GACf,8FAA8F,CAAC;QACnG,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,cAAc,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC;QACjF,IAAI,WAAW,GAAG,QAAQ,CAAC;QAC3B,IAAI,QAAQ,KAAK,QAAQ,EAAE,CAAC;YACxB,WAAW,GAAG,QAAQ,CAAC,OAAO,CAAC,cAAc,EAAE,cAAc,CAAC,OAAO,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC;QAC9F,CAAC;aAAM,IAAI,QAAQ,KAAK,eAAe,EAAE,CAAC;YACtC,WAAW,GAAG,QAAQ,CAAC,OAAO,CAC1B,cAAc,EACd,oEAAoE,cAAc,EAAE,CACvF,CAAC;QACN,CAAC;aAAM,IAAI,QAAQ,KAAK,cAAc,EAAE,CAAC;YACrC,WAAW,GAAG,QAAQ,CAAC,OAAO,CAAC,cAAc,EAAE,cAAc,CAAC,OAAO,CAAC,OAAO,EAAE,kBAAkB,CAAC,CAAC,CAAC;QACxG,CAAC;aAAM,IAAI,QAAQ,KAAK,eAAe,EAAE,CAAC;YACtC,WAAW,GAAG,QAAQ,CAAC,OAAO,CAAC,cAAc,EAAE,cAAc,CAAC,OAAO,CAAC,OAAO,EAAE,kBAAkB,CAAC,CAAC,CAAC;QACxG,CAAC;aAAM,IAAI,QAAQ,KAAK,eAAe,EAAE,CAAC;YACtC,WAAW,GAAG,QAAQ;iBACjB,OAAO,CAAC,aAAa,EAAE,EAAE,CAAC;iBAC1B,OAAO,CAAC,sBAAsB,cAAc,EAAE,EAAE,OAAO,cAAc,EAAE,CAAC,CAAC;QAClF,CAAC;QACD,MAAM,KAAK,GAAG,IAAA,gCAAoB,EAAC;;EAE7C,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,GAAG,WAAW,GAAG,YAAY,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;aAC3E,KAAK,CAAC,IAAI,CAAC;aACX,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,IAAI,EAAE,CAAC;aAC7B,IAAI,CAAC,IAAI,CAAC;;;;;;;;;;;iFAYC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SACvB;;;;aAIC,CAAC,CAAC,KAAK,CAAC;QACT,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,SAAU,CAAC;QAC3C,MAAM,UAAU,GAAG,IAAA,2BAAe,EAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QACpD,MAAM,eAAe,GAAG,IAAA,2BAAe,EAAC,KAAK,EAAE,aAAa,CAAC,CAAC;QAC9D,MAAM,YAAY,GAAG,IAAA,2BAAe,EAAC,KAAK,EAAE,UAAU,CAAC,CAAC;QACxD,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,QAAQ,8BAAqB,CAAC;QAC5D,MAAM,CAAC,WAAW,CAAC,eAAe,CAAC,QAAQ,8BAAqB,CAAC;QACjE,MAAM,CAAC,WAAW,CAAC,YAAY,CAAC,QAAQ,8BAAqB,CAAC;QAC9D,MAAM,MAAM,GAAG,SAAS,CAAC,mBAAmB,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC;QAC9D,MAAM,WAAW,GAAG,SAAS,CAAC,mBAAmB,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC;QACxE,MAAM,QAAQ,GAAG,SAAS,CAAC,mBAAmB,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC;QAClE,MAAM,CAAC,EAAE,CAAC,IAAA,uBAAe,EAAC,MAAM,CAAC,IAAI,IAAA,uBAAe,EAAC,WAAW,CAAC,IAAI,IAAA,iBAAS,EAAC,QAAQ,CAAC,CAAC,CAAC;QAC1F,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,OAAO,CAAC;QACxD,MAAM,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC;QACnB,MAAM,MAAM,GAAG,IAAA,4BAAgB,EAAC,iBAAS,CAAC,mBAAmB,CAAC,WAAW,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;QACvF,MAAM,WAAW,GAAG,IAAI,qCAAiB,EAAE,CAAC;QAC5C,WAAW,CAAC,oBAAoB,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;QACxD,MAAM,CAAC,WAAW,CACd,IAAA,yCAA6B,EAAC,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,mCAA2B,CAAC,CAAC,EACjG,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS,CACnD,CAAC;QACF,MAAM,CACF,WAAW;aACN,iBAAiB,EAAE;aACnB,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,GAAG,GAAG,CAAC,WAAW,EAAE,CAAC,EAAE,QAAQ,EAAE,GAAG,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,CACvF,CAAC,OAAO,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,QAAQ,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;AACP,CAAC,CACJ,CAAC"}

package/dist/tests/protocolRequirementPopulated.test.d.ts

@@ -0,0 +1 @@
+export {};

package/dist/tests/protocolRequirementPopulated.test.js

@@ -0,0 +1,172 @@
+"use strict";
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || (function () {
+    var ownKeys = function(o) {
+        ownKeys = Object.getOwnPropertyNames || function (o) {
+            var ar = [];
+            for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
+            return ar;
+        };
+        return ownKeys(o);
+    };
+    return function (mod) {
+        if (mod && mod.__esModule) return mod;
+        var result = {};
+        if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
+        __setModuleDefault(result, mod);
+        return result;
+    };
+})();
+Object.defineProperty(exports, "__esModule", { value: true });
+const assert = __importStar(require("assert"));
+const constraintTracker_1 = require("../analyzer/constraintTracker");
+const protocols_1 = require("../analyzer/protocols");
+const types_1 = require("../analyzer/types");
+const typeUtils_1 = require("../analyzer/typeUtils");
+const diagnostic_1 = require("../common/diagnostic");
+const testState_1 = require("./harness/fourslash/testState");
+test.each(['generic', 'concrete', 'callable'].flatMap((targetKind) => ['literal', 'integer', 'none', 'empty'].flatMap((upper) => [false, true].map((multipleSets) => ({ targetKind, upper, multipleSets })))))('ProtocolRequirementPopulated target=$targetKind upper=$upper multipleSets=$multipleSets', ({ targetKind, upper, multipleSets }) => {
+    const rejectedAnnotation = targetKind === 'generic' ? 'Leaf[T]' : targetKind === 'concrete' ? 'Leaf[int]' : 'Callable[[], str]';
+    const run = (diagnostics, speculative = false) => {
+        const state = (0, testState_1.parseAndGetTestState)(`
+// @filename: test.py
+//// from collections.abc import Callable, Iterator
+//// from typing import Literal, Protocol, TypeVar
+//// T_co = TypeVar("T_co", covariant=True)
+//// class Leaf(Protocol[T_co]):
+////     def serialize(self) -> T_co: ...
+//// class NestedSequence(Protocol[T_co]):
+////     def __len__(self, /) -> int: ...
+////     def __getitem__(self, index: int, /) -> T_co | "NestedSequence[T_co]": ...
+////     def __iter__(self, /) -> Iterator[T_co | "NestedSequence[T_co]"]: ...
+//// def check[T](source: list[Callable[[], int]], rejected: NestedSequence[${rejectedAnnotation}], accepted: NestedSequence[Callable[[], int]], variable: T, literal: Literal[7], other: Literal[8], integer: int, text: str, container: list[T]):
+////     /*source*/source
+////     /*rejected*/rejected
+////     /*accepted*/accepted
+////     /*variable*/variable
+////     /*literal*/literal
+////     /*other*/other
+////     /*integer*/integer
+////     /*text*/text
+////     /*container*/container
+        `).state;
+        const evaluator = state.program.evaluator;
+        const typeAt = (marker) => {
+            const node = (0, testState_1.getNodeAtMarker)(state, marker);
+            assert.strictEqual(node.nodeType, 38 /* ParseNodeType.Name */);
+            return evaluator.getTypeOfExpression(node).type;
+        };
+        const source = typeAt('source');
+        const rejected = typeAt('rejected');
+        const accepted = typeAt('accepted');
+        const variable = typeAt('variable');
+        assert.ok((0, types_1.isClassInstance)(source) && (0, types_1.isClassInstance)(rejected) && (0, types_1.isClassInstance)(accepted));
+        assert.ok((0, types_1.isTypeVar)(variable));
+        const freeVariable = variable.priv.freeTypeVar;
+        assert.ok(freeVariable?.priv.scopeId);
+        const scopes = [freeVariable.priv.scopeId];
+        const target = (0, typeUtils_1.makeTypeVarsFree)(types_1.ClassType.cloneAsInstantiable(rejected), scopes);
+        const container = (0, typeUtils_1.makeTypeVarsFree)(typeAt('container'), scopes);
+        const initial = new constraintTracker_1.ConstraintTracker();
+        if (upper !== 'empty') {
+            initial.setBounds(freeVariable, typeAt('literal'), upper === 'none' ? undefined : typeAt(upper), false);
+        }
+        initial.getMainConstraintSet().addScopeId('caller');
+        if (multipleSets) {
+            const alternative = initial.getMainConstraintSet().clone();
+            alternative.addScopeId('alternative');
+            if (upper !== 'empty') {
+                alternative.setBounds(freeVariable, typeAt('other'), typeAt('integer'), true);
+            }
+            initial.addConstraintSets([initial.getMainConstraintSet(), alternative]);
+        }
+        const observe = (tracker) => ({
+            solved: evaluator.printType(evaluator.solveAndApplyConstraints(freeVariable, tracker)),
+            nested: evaluator.printType(evaluator.solveAndApplyConstraints(container, tracker)),
+            score: tracker.getScore(),
+            sets: tracker.getConstraintSets().map((set) => ({
+                scopes: [...set.getScopeIds()],
+                bounds: set.getTypeVars().map((entry) => ({
+                    lower: entry.lowerBound && evaluator.printType(entry.lowerBound),
+                    upper: entry.upperBound && evaluator.printType(entry.upperBound),
+                    retain: entry.retainLiterals,
+                })),
+            })),
+        });
+        const before = observe(initial);
+        assert.strictEqual((0, protocols_1.tryFastRejectSequenceProtocol)(evaluator, target, source, initial, 0 /* AssignTypeFlags.Default */, 0), targetKind === 'generic' && upper !== 'empty' ? undefined : '__getitem__');
+        assert.deepStrictEqual(observe(initial), before);
+        const results = [];
+        for (const warm of [false, true]) {
+            const constraints = initial.clone();
+            if (warm) {
+                constraints.getMainConstraintSet().addScopeId('second');
+            }
+            const diagnostic = diagnostics ? new diagnostic_1.DiagnosticAddendum() : undefined;
+            for (let repetition = 0; repetition < 2; repetition++) {
+                const assign = () => (0, protocols_1.assignClassToProtocol)(evaluator, target, source, diagnostic, constraints, 0 /* AssignTypeFlags.Default */, 0);
+                assert.strictEqual(speculative ? evaluator.useSpeculativeMode((0, testState_1.getNodeAtMarker)(state, 'source'), assign) : assign(), false);
+                const observation = observe(constraints);
+                if (upper !== 'empty') {
+                    assert.strictEqual(observation.solved, upper === 'literal' ? 'Literal[7]' : 'int');
+                }
+                if (targetKind !== 'generic' || upper === 'empty') {
+                    assert.deepStrictEqual(observation, {
+                        ...before,
+                        sets: before.sets.map((set, index) => ({
+                            ...set,
+                            scopes: warm && index === 0 ? [...set.scopes, 'second'] : set.scopes,
+                        })),
+                    });
+                }
+                results.push(observation);
+            }
+            for (const flags of [
+                0 /* AssignTypeFlags.Default */,
+                1 /* AssignTypeFlags.Invariant */,
+                2 /* AssignTypeFlags.Contravariant */,
+            ]) {
+                for (const transfer of ['clone', 'signature', 'copy', 'bounds']) {
+                    let continued = constraints.clone();
+                    if (transfer === 'signature') {
+                        continued = constraints.cloneWithSignature('caller');
+                    }
+                    else if (transfer === 'copy') {
+                        continued.copyFromClone(constraints);
+                    }
+                    else if (transfer === 'bounds') {
+                        continued = new constraintTracker_1.ConstraintTracker();
+                        continued.copyBounds(constraints.getMainConstraintSet().getTypeVar(freeVariable));
+                    }
+                    for (const marker of ['literal', 'other', 'integer', 'text']) {
+                        results.push({
+                            assigned: evaluator.assignType(freeVariable, typeAt(marker), undefined, continued, flags),
+                            observation: observe(continued),
+                        });
+                    }
+                }
+            }
+            assert.strictEqual((0, protocols_1.assignClassToProtocol)(evaluator, types_1.ClassType.cloneAsInstantiable(accepted), source, undefined, constraints, 0 /* AssignTypeFlags.Default */, 0), true);
+            results.push(observe(constraints));
+        }
+        return results;
+    };
+    assert.deepStrictEqual(run(false), run(true));
+    assert.deepStrictEqual(run(true, true), run(true));
+});
+//# sourceMappingURL=protocolRequirementPopulated.test.js.map

package/dist/tests/protocolRequirementPopulated.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"protocolRequirementPopulated.test.js","sourceRoot":"","sources":["../../../../../src/tests/protocolRequirementPopulated.test.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA,+CAAiC;AAEjC,qEAAkE;AAClE,qDAA6F;AAE7F,6CAA0E;AAC1E,qDAAyD;AACzD,qDAA0D;AAE1D,6DAAsF;AAEtF,IAAI,CAAC,IAAI,CACL,CAAC,SAAS,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC,OAAO,CAAC,CAAC,UAAU,EAAE,EAAE,CACvD,CAAC,SAAS,EAAE,SAAS,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CACtD,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE,YAAY,EAAE,CAAC,CAAC,CAC7E,CACJ,CACJ,CACG,yFAAyF,EACzF,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE,YAAY,EAAE,EAAE,EAAE;IACpC,MAAM,kBAAkB,GACpB,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,KAAK,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,mBAAmB,CAAC;IACzG,MAAM,GAAG,GAAG,CAAC,WAAoB,EAAE,WAAW,GAAG,KAAK,EAAE,EAAE;QACtD,MAAM,KAAK,GAAG,IAAA,gCAAoB,EAAC;;;;;;;;;;;8EAW+B,kBAAkB;;;;;;;;;;SAUvF,CAAC,CAAC,KAAK,CAAC;QACL,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,SAAU,CAAC;QAC3C,MAAM,MAAM,GAAG,CAAC,MAAc,EAAE,EAAE;YAC9B,MAAM,IAAI,GAAG,IAAA,2BAAe,EAAC,KAAK,EAAE,MAAM,CAAC,CAAC;YAC5C,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,QAAQ,8BAAqB,CAAC;YACtD,OAAO,SAAS,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC;QACpD,CAAC,CAAC;QACF,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC;QAChC,MAAM,QAAQ,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC;QACpC,MAAM,QAAQ,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC;QACpC,MAAM,QAAQ,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC;QACpC,MAAM,CAAC,EAAE,CAAC,IAAA,uBAAe,EAAC,MAAM,CAAC,IAAI,IAAA,uBAAe,EAAC,QAAQ,CAAC,IAAI,IAAA,uBAAe,EAAC,QAAQ,CAAC,CAAC,CAAC;QAC7F,MAAM,CAAC,EAAE,CAAC,IAAA,iBAAS,EAAC,QAAQ,CAAC,CAAC,CAAC;QAC/B,MAAM,YAAY,GAAG,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC;QAC/C,MAAM,CAAC,EAAE,CAAC,YAAY,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;QACtC,MAAM,MAAM,GAAG,CAAC,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC3C,MAAM,MAAM,GAAG,IAAA,4BAAgB,EAAC,iBAAS,CAAC,mBAAmB,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC,CAAC;QACjF,MAAM,SAAS,GAAG,IAAA,4BAAgB,EAAC,MAAM,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC,CAAC;QAChE,MAAM,OAAO,GAAG,IAAI,qCAAiB,EAAE,CAAC;QACxC,IAAI,KAAK,KAAK,OAAO,EAAE,CAAC;YACpB,OAAO,CAAC,SAAS,CAAC,YAAY,EAAE,MAAM,CAAC,SAAS,CAAC,EAAE,KAAK,KAAK,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC;QAC5G,CAAC;QACD,OAAO,CAAC,oBAAoB,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;QACpD,IAAI,YAAY,EAAE,CAAC;YACf,MAAM,WAAW,GAAG,OAAO,CAAC,oBAAoB,EAAE,CAAC,KAAK,EAAE,CAAC;YAC3D,WAAW,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC;YACtC,IAAI,KAAK,KAAK,OAAO,EAAE,CAAC;gBACpB,WAAW,CAAC,SAAS,CAAC,YAAY,EAAE,MAAM,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,SAAS,CAAC,EAAE,IAAI,CAAC,CAAC;YAClF,CAAC;YACD,OAAO,CAAC,iBAAiB,CAAC,CAAC,OAAO,CAAC,oBAAoB,EAAE,EAAE,WAAW,CAAC,CAAC,CAAC;QAC7E,CAAC;QACD,MAAM,OAAO,GAAG,CAAC,OAA0B,EAAE,EAAE,CAAC,CAAC;YAC7C,MAAM,EAAE,SAAS,CAAC,SAAS,CAAC,SAAS,CAAC,wBAAwB,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;YACtF,MAAM,EAAE,SAAS,CAAC,SAAS,CAAC,SAAS,CAAC,wBAAwB,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;YACnF,KAAK,EAAE,OAAO,CAAC,QAAQ,EAAE;YACzB,IAAI,EAAE,OAAO,CAAC,iBAAiB,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;gBAC5C,MAAM,EAAE,CAAC,GAAG,GAAG,CAAC,WAAW,EAAE,CAAC;gBAC9B,MAAM,EAAE,GAAG,CAAC,WAAW,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;oBACtC,KAAK,EAAE,KAAK,CAAC,UAAU,IAAI,SAAS,CAAC,SAAS,CAAC,KAAK,CAAC,UAAU,CAAC;oBAChE,KAAK,EAAE,KAAK,CAAC,UAAU,IAAI,SAAS,CAAC,SAAS,CAAC,KAAK,CAAC,UAAU,CAAC;oBAChE,MAAM,EAAE,KAAK,CAAC,cAAc;iBAC/B,CAAC,CAAC;aACN,CAAC,CAAC;SACN,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;QAChC,MAAM,CAAC,WAAW,CACd,IAAA,yCAA6B,EAAC,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,mCAA2B,CAAC,CAAC,EAC7F,UAAU,KAAK,SAAS,IAAI,KAAK,KAAK,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,aAAa,CAC5E,CAAC;QACF,MAAM,CAAC,eAAe,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,CAAC;QACjD,MAAM,OAAO,GAAG,EAAE,CAAC;QACnB,KAAK,MAAM,IAAI,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC;YAC/B,MAAM,WAAW,GAAG,OAAO,CAAC,KAAK,EAAE,CAAC;YACpC,IAAI,IAAI,EAAE,CAAC;gBACP,WAAW,CAAC,oBAAoB,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;YAC5D,CAAC;YACD,MAAM,UAAU,GAAG,WAAW,CAAC,CAAC,CAAC,IAAI,+BAAkB,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;YACtE,KAAK,IAAI,UAAU,GAAG,CAAC,EAAE,UAAU,GAAG,CAAC,EAAE,UAAU,EAAE,EAAE,CAAC;gBACpD,MAAM,MAAM,GAAG,GAAY,EAAE,CACzB,IAAA,iCAAqB,EACjB,SAAS,EACT,MAAM,EACN,MAAM,EACN,UAAU,EACV,WAAW,mCAEX,CAAC,CACJ,CAAC;gBACN,MAAM,CAAC,WAAW,CACd,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC,kBAAkB,CAAC,IAAA,2BAAe,EAAC,KAAK,EAAE,QAAQ,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,EAC/F,KAAK,CACR,CAAC;gBACF,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC;gBACzC,IAAI,KAAK,KAAK,OAAO,EAAE,CAAC;oBACpB,MAAM,CAAC,WAAW,CAAC,WAAW,CAAC,MAAM,EAAE,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;gBACvF,CAAC;gBACD,IAAI,UAAU,KAAK,SAAS,IAAI,KAAK,KAAK,OAAO,EAAE,CAAC;oBAChD,MAAM,CAAC,eAAe,CAAC,WAAW,EAAE;wBAChC,GAAG,MAAM;wBACT,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;4BACnC,GAAG,GAAG;4BACN,MAAM,EAAE,IAAI,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM;yBACvE,CAAC,CAAC;qBACN,CAAC,CAAC;gBACP,CAAC;gBACD,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YAC9B,CAAC;YACD,KAAK,MAAM,KAAK,IAAI;;;;aAInB,EAAE,CAAC;gBACA,KAAK,MAAM,QAAQ,IAAI,CAAC,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,CAAC;oBAC9D,IAAI,SAAS,GAAG,WAAW,CAAC,KAAK,EAAE,CAAC;oBACpC,IAAI,QAAQ,KAAK,WAAW,EAAE,CAAC;wBAC3B,SAAS,GAAG,WAAW,CAAC,kBAAkB,CAAC,QAAQ,CAAC,CAAC;oBACzD,CAAC;yBAAM,IAAI,QAAQ,KAAK,MAAM,EAAE,CAAC;wBAC7B,SAAS,CAAC,aAAa,CAAC,WAAW,CAAC,CAAC;oBACzC,CAAC;yBAAM,IAAI,QAAQ,KAAK,QAAQ,EAAE,CAAC;wBAC/B,SAAS,GAAG,IAAI,qCAAiB,EAAE,CAAC;wBACpC,SAAS,CAAC,UAAU,CAAC,WAAW,CAAC,oBAAoB,EAAE,CAAC,UAAU,CAAC,YAAY,CAAE,CAAC,CAAC;oBACvF,CAAC;oBACD,KAAK,MAAM,MAAM,IAAI,CAAC,SAAS,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,CAAC,EAAE,CAAC;wBAC3D,OAAO,CAAC,IAAI,CAAC;4BACT,QAAQ,EAAE,SAAS,CAAC,UAAU,CAC1B,YAAY,EACZ,MAAM,CAAC,MAAM,CAAC,EACd,SAAS,EACT,SAAS,EACT,KAAK,CACR;4BACD,WAAW,EAAE,OAAO,CAAC,SAAS,CAAC;yBAClC,CAAC,CAAC;oBACP,CAAC;gBACL,CAAC;YACL,CAAC;YACD,MAAM,CAAC,WAAW,CACd,IAAA,iCAAqB,EACjB,SAAS,EACT,iBAAS,CAAC,mBAAmB,CAAC,QAAQ,CAAC,EACvC,MAAM,EACN,SAAS,EACT,WAAW,mCAEX,CAAC,CACJ,EACD,IAAI,CACP,CAAC;YACF,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC;QACvC,CAAC;QACD,OAAO,OAAO,CAAC;IACnB,CAAC,CAAC;IACF,MAAM,CAAC,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IAC9C,MAAM,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;AACvD,CAAC,CACJ,CAAC"}

package/dist/tests/protocolRequirementRecursive.test.d.ts

@@ -0,0 +1 @@
+export {};