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

package/dist/tests/constraintSolver.test.js

@@ -0,0 +1,39 @@
+"use strict";
+/*
+ * constraintSolver.test.ts
+ * Copyright (c) Microsoft Corporation.
+ * Licensed under the MIT license.
+ *
+ * Unit tests for the constraint solver.
+ */
+var __importDefault = (this && this.__importDefault) || function (mod) {
+    return (mod && mod.__esModule) ? mod : { "default": mod };
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+const assert_1 = __importDefault(require("assert"));
+const parseTreeUtils_1 = require("../analyzer/parseTreeUtils");
+const types_1 = require("../analyzer/types");
+const testState_1 = require("./harness/fourslash/testState");
+test('Recursive source must satisfy the TypeVar bound without a constraint tracker', () => {
+    const code = `
+// @filename: test.py
+//// class Foo: ...
+//// class Box[T]: ...
+//// class FooBox[T](Foo): ...
+////
+//// def /*marker*/func[T: Foo](dest: T, unrelated: Box[T], bounded: FooBox[T]) -> None: ...
+    `;
+    const state = (0, testState_1.parseAndGetTestState)(code).state;
+    const evaluator = state.program.evaluator;
+    const node = (0, testState_1.getNodeAtMarker)(state, 'marker');
+    (0, assert_1.default)(node.nodeType === 38 /* ParseNodeType.Name */);
+    const functionNode = (0, parseTreeUtils_1.getEnclosingFunction)(node);
+    (0, assert_1.default)(functionNode?.nodeType === 31 /* ParseNodeType.Function */);
+    const functionType = evaluator.getTypeOfFunction(functionNode)?.functionType;
+    (0, assert_1.default)(functionType);
+    const [destType, unrelatedType, boundedType] = [0, 1, 2].map((index) => types_1.FunctionType.getParamType(functionType, index));
+    (0, assert_1.default)((0, types_1.isTypeVar)(destType) && !types_1.TypeVarType.isBound(destType));
+    assert_1.default.strictEqual(evaluator.assignType(destType, unrelatedType), false);
+    assert_1.default.strictEqual(evaluator.assignType(destType, boundedType), true);
+});
+//# sourceMappingURL=constraintSolver.test.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"constraintSolver.test.js","sourceRoot":"","sources":["../../../../../src/tests/constraintSolver.test.ts"],"names":[],"mappings":";AAAA;;;;;;GAMG;;;;;AAEH,oDAA4B;AAE5B,+DAAkE;AAClE,6CAAyE;AAEzE,6DAAsF;AAEtF,IAAI,CAAC,8EAA8E,EAAE,GAAG,EAAE;IACtF,MAAM,IAAI,GAAG;;;;;;;KAOZ,CAAC;IAEF,MAAM,KAAK,GAAG,IAAA,gCAAoB,EAAC,IAAI,CAAC,CAAC,KAAK,CAAC;IAC/C,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,SAAU,CAAC;IAE3C,MAAM,IAAI,GAAG,IAAA,2BAAe,EAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAC9C,IAAA,gBAAM,EAAC,IAAI,CAAC,QAAQ,gCAAuB,CAAC,CAAC;IAE7C,MAAM,YAAY,GAAG,IAAA,qCAAoB,EAAC,IAAI,CAAC,CAAC;IAChD,IAAA,gBAAM,EAAC,YAAY,EAAE,QAAQ,oCAA2B,CAAC,CAAC;IAE1D,MAAM,YAAY,GAAG,SAAS,CAAC,iBAAiB,CAAC,YAAY,CAAC,EAAE,YAAY,CAAC;IAC7E,IAAA,gBAAM,EAAC,YAAY,CAAC,CAAC;IAErB,MAAM,CAAC,QAAQ,EAAE,aAAa,EAAE,WAAW,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CACnE,oBAAY,CAAC,YAAY,CAAC,YAAY,EAAE,KAAK,CAAC,CACjD,CAAC;IACF,IAAA,gBAAM,EAAC,IAAA,iBAAS,EAAC,QAAQ,CAAC,IAAI,CAAC,mBAAW,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;IAE9D,gBAAM,CAAC,WAAW,CAAC,SAAS,CAAC,UAAU,CAAC,QAAQ,EAAE,aAAa,CAAC,EAAE,KAAK,CAAC,CAAC;IACzE,gBAAM,CAAC,WAAW,CAAC,SAAS,CAAC,UAAU,CAAC,QAAQ,EAAE,WAAW,CAAC,EAAE,IAAI,CAAC,CAAC;AAC1E,CAAC,CAAC,CAAC"}

package/dist/tests/fourslash/findDefinitions.metaclass.fourslash.d.ts

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

package/dist/tests/fourslash/findDefinitions.metaclass.fourslash.js

@@ -0,0 +1,44 @@
+"use strict";
+/// <reference path="typings/fourslash.d.ts" />
+Object.defineProperty(exports, "__esModule", { value: true });
+// @filename: test.py
+//// class Fields:
+////     def install(self):
+////         self.[|mixin_tag|]: str = "installed"
+////
+//// class Meta(type, Fields):
+////     def __init__(cls, name, bases, namespace):
+////         cls.[|tag|]: str = "created"
+////         cls.install()
+////
+//// class Custom(metaclass=Meta):
+////     pass
+////
+//// class Derived(Custom):
+////     pass
+////
+//// def check(value: Custom, derived: Derived):
+////     value.[|/*instance*/tag|]
+////     derived.[|/*derived*/tag|]
+////     Custom.[|/*classObject*/tag|]
+////     value.[|/*mixinInstance*/mixin_tag|]
+////     derived.[|/*mixinDerived*/mixin_tag|]
+////     Custom.[|/*mixinClassObject*/mixin_tag|]
+{
+    const definitions = (name) => helper
+        .getRangesByText()
+        .get(name)
+        .filter((r) => !r.marker)
+        .map((r) => {
+        return { path: r.fileName, range: helper.convertPositionRange(r) };
+    });
+    helper.verifyFindDefinitions({
+        instance: { definitions: definitions('tag') },
+        derived: { definitions: definitions('tag') },
+        classObject: { definitions: definitions('tag') },
+        mixinInstance: { definitions: definitions('mixin_tag') },
+        mixinDerived: { definitions: definitions('mixin_tag') },
+        mixinClassObject: { definitions: definitions('mixin_tag') },
+    });
+}
+//# sourceMappingURL=findDefinitions.metaclass.fourslash.js.map

package/dist/tests/fourslash/findDefinitions.metaclass.fourslash.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"findDefinitions.metaclass.fourslash.js","sourceRoot":"","sources":["../../../../../../src/tests/fourslash/findDefinitions.metaclass.fourslash.ts"],"names":[],"mappings":";AAAA,+CAA+C;;AAE/C,qBAAqB;AACrB,kBAAkB;AAClB,2BAA2B;AAC3B,kDAAkD;AAClD,IAAI;AACJ,8BAA8B;AAC9B,mDAAmD;AACnD,yCAAyC;AACzC,0BAA0B;AAC1B,IAAI;AACJ,kCAAkC;AAClC,aAAa;AACb,IAAI;AACJ,2BAA2B;AAC3B,aAAa;AACb,IAAI;AACJ,gDAAgD;AAChD,kCAAkC;AAClC,mCAAmC;AACnC,sCAAsC;AACtC,6CAA6C;AAC7C,8CAA8C;AAC9C,iDAAiD;AAEjD,CAAC;IACG,MAAM,WAAW,GAAG,CAAC,IAAY,EAAE,EAAE,CACjC,MAAM;SACD,eAAe,EAAE;SACjB,GAAG,CAAC,IAAI,CAAE;SACV,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;SACxB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACP,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,oBAAoB,CAAC,CAAC,CAAC,EAAE,CAAC;IACvE,CAAC,CAAC,CAAC;IAEX,MAAM,CAAC,qBAAqB,CAAC;QACzB,QAAQ,EAAE,EAAE,WAAW,EAAE,WAAW,CAAC,KAAK,CAAC,EAAE;QAC7C,OAAO,EAAE,EAAE,WAAW,EAAE,WAAW,CAAC,KAAK,CAAC,EAAE;QAC5C,WAAW,EAAE,EAAE,WAAW,EAAE,WAAW,CAAC,KAAK,CAAC,EAAE;QAChD,aAAa,EAAE,EAAE,WAAW,EAAE,WAAW,CAAC,WAAW,CAAC,EAAE;QACxD,YAAY,EAAE,EAAE,WAAW,EAAE,WAAW,CAAC,WAAW,CAAC,EAAE;QACvD,gBAAgB,EAAE,EAAE,WAAW,EAAE,WAAW,CAAC,WAAW,CAAC,EAAE;KAC9D,CAAC,CAAC;AACP,CAAC"}

package/dist/tests/fourslash/findDefinitions.metaclassDict.fourslash.d.ts

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

package/dist/tests/fourslash/findDefinitions.metaclassDict.fourslash.js

@@ -0,0 +1,42 @@
+"use strict";
+/// <reference path="typings/fourslash.d.ts" />
+Object.defineProperty(exports, "__esModule", { value: true });
+// @filename: test.py
+//// class Meta(type):
+////     pass
+////
+//// class Custom(metaclass=Meta):
+////     pass
+////
+//// class Derived(Custom):
+////     pass
+////
+//// def check(value: Custom, derived: Derived, meta: Meta):
+////     value.[|/*instance*/__dict__|]
+////     derived.[|/*derived*/__dict__|]
+////     Custom.[|/*classObject*/__dict__|]
+////     Derived.[|/*derivedClassObject*/__dict__|]
+////     meta.[|/*metaclassInstance*/__dict__|]
+// @filename: typeshed-fallback/stdlib/builtins.pyi
+//// class object:
+////     [|__dict__|]: object
+////
+//// class type:
+////     [|__dict__|]: object
+{
+    const [instanceDefinition, classDefinition] = helper
+        .getRangesByText()
+        .get('__dict__')
+        .filter((r) => !r.marker)
+        .map((r) => {
+        return { path: r.fileName, range: helper.convertPositionRange(r) };
+    });
+    helper.verifyFindDefinitions({
+        instance: { definitions: [instanceDefinition] },
+        derived: { definitions: [instanceDefinition] },
+        classObject: { definitions: [classDefinition] },
+        derivedClassObject: { definitions: [classDefinition] },
+        metaclassInstance: { definitions: [classDefinition] },
+    });
+}
+//# sourceMappingURL=findDefinitions.metaclassDict.fourslash.js.map

package/dist/tests/fourslash/findDefinitions.metaclassDict.fourslash.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"findDefinitions.metaclassDict.fourslash.js","sourceRoot":"","sources":["../../../../../../src/tests/fourslash/findDefinitions.metaclassDict.fourslash.ts"],"names":[],"mappings":";AAAA,+CAA+C;;AAE/C,qBAAqB;AACrB,sBAAsB;AACtB,aAAa;AACb,IAAI;AACJ,kCAAkC;AAClC,aAAa;AACb,IAAI;AACJ,2BAA2B;AAC3B,aAAa;AACb,IAAI;AACJ,4DAA4D;AAC5D,uCAAuC;AACvC,wCAAwC;AACxC,2CAA2C;AAC3C,mDAAmD;AACnD,+CAA+C;AAE/C,mDAAmD;AACnD,kBAAkB;AAClB,6BAA6B;AAC7B,IAAI;AACJ,gBAAgB;AAChB,6BAA6B;AAE7B,CAAC;IACG,MAAM,CAAC,kBAAkB,EAAE,eAAe,CAAC,GAAG,MAAM;SAC/C,eAAe,EAAE;SACjB,GAAG,CAAC,UAAU,CAAE;SAChB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;SACxB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACP,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,oBAAoB,CAAC,CAAC,CAAC,EAAE,CAAC;IACvE,CAAC,CAAC,CAAC;IAEP,MAAM,CAAC,qBAAqB,CAAC;QACzB,QAAQ,EAAE,EAAE,WAAW,EAAE,CAAC,kBAAkB,CAAC,EAAE;QAC/C,OAAO,EAAE,EAAE,WAAW,EAAE,CAAC,kBAAkB,CAAC,EAAE;QAC9C,WAAW,EAAE,EAAE,WAAW,EAAE,CAAC,eAAe,CAAC,EAAE;QAC/C,kBAAkB,EAAE,EAAE,WAAW,EAAE,CAAC,eAAe,CAAC,EAAE;QACtD,iBAAiB,EAAE,EAAE,WAAW,EAAE,CAAC,eAAe,CAAC,EAAE;KACxD,CAAC,CAAC;AACP,CAAC"}

package/dist/tests/fourslash/hover.typedDictUnpacking.dictDisplay.fourslash.d.ts

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

package/dist/tests/fourslash/hover.typedDictUnpacking.dictDisplay.fourslash.js

@@ -0,0 +1,16 @@
+"use strict";
+/// <reference path="typings/fourslash.d.ts" />
+Object.defineProperty(exports, "__esModule", { value: true });
+// @filename: test.py
+//// from typing import TypedDict
+////
+//// class User(TypedDict):
+////     name: str
+////     age: int
+////
+//// user: User = {"name": "Alice", "age": 30}
+//// [|/*marker1*/res|] = {**user}
+helper.verifyHover('markdown', {
+    marker1: '```python\n(variable) res: dict[str, Unknown]\n```',
+});
+//# sourceMappingURL=hover.typedDictUnpacking.dictDisplay.fourslash.js.map

package/dist/tests/fourslash/hover.typedDictUnpacking.dictDisplay.fourslash.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"hover.typedDictUnpacking.dictDisplay.fourslash.js","sourceRoot":"","sources":["../../../../../../src/tests/fourslash/hover.typedDictUnpacking.dictDisplay.fourslash.ts"],"names":[],"mappings":";AAAA,+CAA+C;;AAE/C,qBAAqB;AACrB,iCAAiC;AACjC,IAAI;AACJ,2BAA2B;AAC3B,kBAAkB;AAClB,iBAAiB;AACjB,IAAI;AACJ,8CAA8C;AAC9C,kCAAkC;AAElC,MAAM,CAAC,WAAW,CAAC,UAAU,EAAE;IAC3B,OAAO,EAAE,oDAAoD;CAChE,CAAC,CAAC"}

package/dist/tests/mypyPrimerAnalysis.test.js

@@ -216,7 +216,9 @@ function fixture(contents = sample, headRepository = repository) {
         head_branch: 'feature',
         pull_requests: source.pullRequests.map((number) => ({ number })),
         run_started_at: '2026-09-10T00:00:00Z',
+        display_title: '',
     };
+    const validation = { ...run, id: 41, path: '.github/workflows/validation.yml' };
     const artifacts = [
         'mypy_primer_diffs_pr_number',
         ...Array.from({ length: 8 }, (_, shard) => `mypy_primer_diffs_${shard}`),
@@ -225,7 +227,7 @@ function fixture(contents = sample, headRepository = repository) {
     const associated = [pr];
     const request = jest.fn(async (route, parameters) => {
         if (route === 'GET /repos/{owner}/{repo}/actions/runs/{run_id}') {
-            return { data: run };
+            return { data: parameters.run_id === 41 ? validation : run };
         }
         if (route.endsWith('/artifacts')) {
             return { data: { artifacts } };
@@ -270,7 +272,7 @@ function fixture(contents = sample, headRepository = repository) {
             report: JSON.stringify(report),
         })),
     });
-    return { source, manifest, pr, run, artifacts, comments, associated, request, report, output };
+    return { source, manifest, pr, run, validation, artifacts, comments, associated, request, report, output };
 }
 describe('mypy_primer analysis', () => {
     let directory;
@@ -412,6 +414,34 @@ describe('mypy_primer analysis', () => {
         f.run.run_attempt = 2;
         await expect((0, mypyPrimerAnalysis_1.loadSource)(f.request, repository, f.source)).rejects.toThrow('matching');
     });
+    test('uses the validated PR head for follow-up runs rather than the default branch', async () => {
+        const f = fixture(sample, 'contributor/pyright');
+        f.run.event = 'workflow_run';
+        f.run.display_title = 'Run mypy_primer after Validation #41';
+        f.run.head_sha = 'b'.repeat(40);
+        f.run.head_repository = { full_name: repository };
+        f.run.head_branch = 'main';
+        await expect((0, mypyPrimerAnalysis_1.loadSource)(f.request, repository, f.source)).resolves.toEqual(f.source);
+    });
+    test.each(['failure', 'cancelled'])('rejects unsuccessful %s source Validation', async (conclusion) => {
+        const f = fixture();
+        f.run.event = 'workflow_run';
+        f.run.display_title = 'Run mypy_primer after Validation #41';
+        f.validation.conclusion = conclusion;
+        await expect((0, mypyPrimerAnalysis_1.loadSource)(f.request, repository, f.source)).rejects.toThrow('successful pull request Validation');
+    });
+    test('rejects incorrect follow-up provenance', async () => {
+        const f = fixture();
+        f.run.event = 'workflow_run';
+        f.run.display_title = 'Unrelated run';
+        await expect((0, mypyPrimerAnalysis_1.loadSource)(f.request, repository, f.source)).rejects.toThrow('source Validation run');
+        f.run.display_title = 'Run mypy_primer after Validation #41';
+        f.validation.event = 'push';
+        await expect((0, mypyPrimerAnalysis_1.loadSource)(f.request, repository, f.source)).rejects.toThrow('successful pull request Validation');
+        f.validation.event = 'pull_request';
+        f.validation.path = '.github/workflows/other.yml';
+        await expect((0, mypyPrimerAnalysis_1.loadSource)(f.request, repository, f.source)).rejects.toThrow('successful pull request Validation');
+    });
     test('rejects expired, duplicate, old-attempt, and oversized artifacts', async () => {
         for (const mutation of [
             (f) => (f.artifacts[0].expired = true),
@@ -902,26 +932,52 @@ describe('mypy_primer analysis', () => {
         f.report.projects[0].attribution = 'definitely-caused-by-pr';
         expect(() => (0, mypyPrimerAnalysis_1.renderReport)(f.manifest, f.report, 100)).toThrow(new Error('Invalid PR attribution for example'));
     });
-    test('uses a short non-blocking notice only for canonical SymPy-only changes', () => {
+    test('keeps normal analysis for canonical SymPy-only changes', () => {
         const f = fixture(sample
             .replace(/example/g, 'sympy')
             .replace('https://github.com/sympy/project', 'https://github.com/sympy/sympy'));
         f.report.projects[0].name = 'sympy';
         expect((0, mypyPrimerAnalysis_1.renderReport)(f.manifest, f.report, 100)).toStrictEqual({
-            body: [
-                ...expectedReportProvenance,
-                '**Only SymPy changed.** These differences are treated as non-blocking primer noise; no other project changed.',
-                '',
-                'Recorded changes: 1 added / 1 removed diagnostic headers; 1 added / 1 removed detail lines.',
-                '',
-                ...expectedReportFooter,
-            ].join('\n'),
+            body: expectedReport.body.replace(/example/g, 'sympy'),
             fullReport: expectedReport.fullReport.replace(/example/g, 'sympy'),
         });
         expect(() => (0, mypyPrimerAnalysis_1.renderReport)(f.manifest, { projects: [] }, 100)).toThrow('The analysis must cover every changed project exactly once');
         f.report.projects[0].explanation = '';
         expect(() => (0, mypyPrimerAnalysis_1.renderReport)(f.manifest, f.report, 100)).toThrow('Expected nonempty text');
     });
+    test.each(['possible-regression', 'expected-improvement'])('keeps SymPy-only type-erasure warnings visible with a %s assessment', (assessment) => {
+        const f = fixture([
+            'sympy (https://github.com/sympy/sympy)',
+            '+   .../projects/sympy/test.py:1:1 - error: "assert_type" mismatch: expected "int" but received "Any" (reportAssertTypeFailure)',
+            '- 0 errors, 0 warnings, 0 informations',
+            '+ 1 error, 0 warnings, 0 informations',
+        ].join('\n'));
+        const report = {
+            projects: [
+                {
+                    ...f.report.projects[0],
+                    name: 'sympy',
+                    assessment,
+                    evidence: [
+                        {
+                            url: 'https://typing.python.org/en/latest/spec/assert.html',
+                            detail: 'Type assertion specification.',
+                        },
+                    ],
+                },
+            ],
+        };
+        const result = (0, mypyPrimerAnalysis_1.renderReport)(f.manifest, report, 100);
+        expect(result.body).toContain(riskOverview);
+        expect(result.body).toContain('## Potential regressions');
+        expect(result.body).toContain('### sympy:');
+        expect(result.body).toContain('**Regression warning signals require review, regardless of the AI assessment:**');
+        expect(result.body).toContain('New assertions receive bare Any/Unknown instead of their expected type.');
+        expect(result.body).toContain('**Causal analysis:**');
+        expect(result.body).toContain('**Uncertainty / next check:**');
+        expect(result.body).toContain('<https://typing.python.org/en/latest/spec/assert.html>');
+        expect(result.body).not.toContain('non-blocking primer noise');
+    });
     test('keeps normal analysis for noncanonical SymPy and mixed-project changes', () => {
         const f = fixture();
         const sympy = { ...f.report.projects[0], name: 'sympy' };