microsoft/pyright
1
1
Fork 0
mirror of https://github.com/microsoft/pyright.git synced 2024-09-11 07:55:56 +03:00
Code Issues Projects Releases Wiki Activity

Added test case for previous commit.

Browse Source
This commit is contained in:
Eric Traut 2024-05-20 23:58:55 -07:00
parent 9f76ed501e
commit 39962012cb
2 changed files with 15 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
packages/pyright-internal/src/tests/samples/solverHigherOrder5.py
View File

@ -189,3 +189,17 @@ def func2() -> None: ...
test_10(test_10, func2)
def test_11(func: Callable[[*Ts], T], *args: *Ts) -> T:
return func(*args)
def func3(num: int, /) -> int:
return num
test_11(test_11, func3, 123)
# This will generate an error, but it should not crash or cause an infinite loop.
test_11(test_11, test_11, func3, 123)

2
packages/pyright-internal/src/tests/typeEvaluator2.test.ts
View File

@ -816,7 +816,7 @@ test('SolverHigherOrder4', () => {
test('SolverHigherOrder5', () => {
const analysisResults = TestUtils.typeAnalyzeSampleFiles(['solverHigherOrder5.py']);
TestUtils.validateResults(analysisResults, 0);
TestUtils.validateResults(analysisResults, 1);
});
test('SolverHigherOrder6', () => {