@zzzen/pyright-internal 1.1.255 → 1.2.0-beta

package/src/tests/samples/variadicTypeVar9.py

@@ -1,38 +0,0 @@
-# This sample tests the handling of variadic type variables used
-# in generic type aliases and with suffixes.
-
-from typing import Callable, Generic, TypeVar
-from typing_extensions import TypeVarTuple, Unpack
-
-
-P = TypeVarTuple("P")
-T = TypeVar("T", covariant=True)
-
-
-class Call(Generic[Unpack[P]]):
-    def __init__(self, *args: Unpack[P]) -> None:
-        self.args = args
-
-
-class Return(Generic[T]):
-    def __init__(self, /, result: T) -> None:
-        self.result = result
-
-
-TailRec = Call[Unpack[P]] | Return[T]
-
-
-def tail_rec(
-    fn: Callable[[Unpack[P]], TailRec[Unpack[P], T]]
-) -> Callable[[Unpack[P]], T]:
-    ...
-
-
-@tail_rec
-def factorial(n: int, acc: int) -> TailRec[int, int, int]:
-    if n <= 0:
-        return Return(acc)
-    return Call(n - 1, acc * n)
-
-
-reveal_type(factorial, expected_text="(int, int) -> int")

package/src/tests/samples/with1.py

@@ -1,117 +0,0 @@
-# This sample tests various forms of the 'with' statement.
-
-from typing import Any, Generic, Optional, TypeVar
-from typing_extensions import Self
-
-_T1 = TypeVar("_T1")
-
-
-class Class1(object):
-    def __exit__(
-        self,
-        t: Optional[type] = None,
-        exc: Optional[BaseException] = None,
-        tb: Optional[Any] = None,
-    ) -> bool:
-        return True
-
-
-class Class2(object):
-    def __enter__(self):
-        return 1
-
-    def __exit__(
-        self,
-        t: Optional[type] = None,
-        exc: Optional[BaseException] = None,
-        tb: Optional[Any] = None,
-    ) -> bool:
-        return True
-
-
-class Class3(object):
-    def __enter__(self: _T1) -> _T1:
-        return self
-
-    def __exit__(
-        self,
-        t: Optional[type] = None,
-        exc: Optional[BaseException] = None,
-        tb: Optional[Any] = None,
-    ) -> bool:
-        return True
-
-
-def requires_int(val: int):
-    pass
-
-
-def requires_class3(val: Class3):
-    pass
-
-
-def test1():
-    a1 = Class1()
-
-    # This should generate an error because Class1
-    # does not implement an __enter__
-    with a1 as foo:
-        pass
-
-    a2 = Class2()
-    with a2 as foo:
-        requires_int(foo)
-
-    a3 = Class3()
-    with a3 as foo:
-        # This should generate an error because foo
-        # should be of type Class3.
-        requires_int(foo)
-
-        requires_class3(foo)
-
-    with a2 as foo2, a3 as foo3:
-        requires_int(foo2)
-        requires_class3(foo3)
-
-
-class Class4:
-    async def __aenter__(self: _T1) -> _T1:
-        return self
-
-    def __aexit__(
-        self,
-        t: Optional[type] = None,
-        exc: Optional[BaseException] = None,
-        tb: Optional[Any] = None,
-    ) -> bool:
-        return True
-
-
-async def test2():
-    a1 = Class4()
-
-    # This should generate two errors because Class4 does not
-    # implement __enter__ or __exit__.
-    with a1 as foo:
-        pass
-
-    async with a1 as foo:
-        pass
-
-
-class Class5(Generic[_T1]):
-    async def __aenter__(self) -> Self:
-        return self
-
-    async def __aexit__(self, *args: Any) -> None:
-        return None
-
-
-class Class6(Class5[int]):
-    ...
-
-
-async def do():
-    async with Class6() as f:
-        reveal_type(f, expected_text="Class6")

package/src/tests/samples/with2.py

@@ -1,63 +0,0 @@
-# This sample tests for the presence of an __exit__
-# or __aexit__ method.
-
-
-from typing import Any, Optional, TypeVar
-
-_T1 = TypeVar("_T1")
-
-
-class Class2(object):
-    def __enter__(self):
-        return 1
-
-
-class Class3(object):
-    def __enter__(self: _T1) -> _T1:
-        return self
-
-    def __exit__(
-        self,
-        t: Optional[type] = None,
-        exc: Optional[BaseException] = None,
-        tb: Optional[Any] = None,
-    ) -> bool:
-        return True
-
-
-def requires_int(val: int):
-    pass
-
-
-def requires_class3(val: Class3):
-    pass
-
-
-def test1():
-    a2 = Class2()
-    a3 = Class3()
-
-    # This should generate an error because
-    # the __exit__ method is missing.
-    with a2 as foo:
-        requires_int(foo)
-
-    # This should generate an error because
-    # the __exit__ method is missing.
-    with a2 as foo2, a3 as foo3:
-        requires_int(foo2)
-        requires_class3(foo3)
-
-
-class Class4:
-    async def __aenter__(self: _T1) -> _T1:
-        return self
-
-
-async def test2():
-    a1 = Class4()
-
-    # This should generate an error because __aexit__
-    # needs to be used with async with.
-    async with a1 as foo:
-        pass

package/src/tests/samples/with3.py

@@ -1,66 +0,0 @@
-# This sample verifies the proper type analysis of context managers
-# that suppress exceptions, as indicated by a return type of "bool"
-# for the __exit__ or __aexit__ method.
-
-from contextlib import suppress
-
-
-def test1() -> None:
-    class A:
-        b: str
-
-    x = b""
-    a = A()
-    with memoryview(x), suppress(AttributeError):
-        if a.b:
-            raise RuntimeError()
-        return
-
-    # This should generate an error because
-    # the code is not unreachable.
-    c = "hi" + 3
-
-    with memoryview(x):
-        raise RuntimeError()
-
-    # This should not generate an error because
-    # the code is unreachable.
-    return 3
-
-
-def test2() -> None:
-    some_dict = dict()
-
-    with suppress(KeyError):
-        print(some_dict["missing_key"])
-
-    # This should generate an error because the
-    # code is reachable.
-    return 1
-
-
-def test3(cm: suppress) -> None:
-    some_dict = dict()
-
-    with cm:
-        print(some_dict["missing_key"])
-
-    # This should generate an error because the
-    # code is reachable.
-    return 1
-
-
-class CMFactory:
-    def get_cm(self) -> suppress:
-        return suppress()
-
-
-def test4() -> None:
-    some_dict = dict()
-
-    with CMFactory().get_cm():
-        print(some_dict["missing_key"])
-
-    # This should generate an error because the
-    # code is reachable.
-    return 1

package/src/tests/samples/with4.py

@@ -1,24 +0,0 @@
-# This sample tests that parentheses are allowed in with statements
-# if using Python 3.9 and later.
-
-from tempfile import TemporaryFile
-
-# This should generate an error
-with (TemporaryFile() as a, TemporaryFile() as b):
-    pass
-
-# This should generate an error
-with (TemporaryFile() as c, ):
-    pass
-
-# This should generate an error
-with (TemporaryFile() as d):
-    pass
-
-with (TemporaryFile()):
-    pass
-
-# This should generate an error
-with (TemporaryFile(), TemporaryFile()):
-    pass
-

package/src/tests/samples/with5.py

@@ -1,33 +0,0 @@
-# This sample tests the case of a context manager within a try/except block.
-
-from typing import Optional, ContextManager
-
-
-def create_context() -> ContextManager[str]:
-    ...
-
-
-def possible_exception() -> None:
-    ...
-
-
-def func1():
-    x: Optional[str] = None
-    ctx: Optional[str] = None
-    try:
-        with create_context() as ctx:
-            x = "0"
-            possible_exception()
-    except Exception:
-        reveal_type(x, expected_text="Literal['0'] | None")
-        reveal_type(ctx, expected_text="str | None")
-
-
-def func2():
-    ctx: Optional[str] = None
-    try:
-        with create_context() as ctx:
-            possible_exception()
-            return
-    except Exception:
-        reveal_type(ctx, expected_text="str | None")

package/src/tests/samples/zipfs/bad.egg

@@ -1 +0,0 @@
-This file isn't a zip.

package/src/tests/samples/zipfs/bad.zip

@@ -1 +0,0 @@
-This file isn't a zip.

package/src/tests/sourceFile.test.ts

@@ -1,25 +0,0 @@
-/*
- * sourceFile.test.ts
- * Copyright (c) Microsoft Corporation.
- * Licensed under the MIT license.
- * Author: Eric Traut
- *
- * Unit tests for pyright sourceFile module.
- */
-
-import { ImportResolver } from '../analyzer/importResolver';
-import { SourceFile } from '../analyzer/sourceFile';
-import { ConfigOptions } from '../common/configOptions';
-import { FullAccessHost } from '../common/fullAccessHost';
-import { combinePaths } from '../common/pathUtils';
-import { createFromRealFileSystem } from '../common/realFileSystem';
-
-test('Empty', () => {
-    const filePath = combinePaths(process.cwd(), 'tests/samples/test_file1.py');
-    const fs = createFromRealFileSystem();
-    const sourceFile = new SourceFile(fs, filePath, '', false, false);
-    const configOptions = new ConfigOptions(process.cwd());
-    const importResolver = new ImportResolver(fs, configOptions, new FullAccessHost(fs));
-
-    sourceFile.parse(configOptions, importResolver);
-});

package/src/tests/stringUtils.test.ts

@@ -1,63 +0,0 @@
-/*
- * stringUtils.test.ts
- * Copyright (c) Microsoft Corporation.
- * Licensed under the MIT license.
- */
-
-import * as assert from 'assert';
-
-import * as core from '../common/core';
-import * as utils from '../common/stringUtils';
-
-test('stringUtils computeCompletionSimilarity', () => {
-    assert.equal(utils.computeCompletionSimilarity('', 'abcd'), 1);
-
-    assert.equal(utils.computeCompletionSimilarity('abcd', 'abcd'), 1);
-    assert.equal(utils.computeCompletionSimilarity('abc', 'abcd'), 1);
-
-    assert.equal(utils.computeCompletionSimilarity('ABCD', 'abcd'), 0.75);
-    assert.equal(utils.computeCompletionSimilarity('ABC', 'abcd'), 0.75);
-
-    assert.equal(utils.computeCompletionSimilarity('abce', 'abcd'), 0.375);
-    assert.equal(utils.computeCompletionSimilarity('abcde', 'abcd'), 0.4);
-    assert.equal(utils.computeCompletionSimilarity('azcde', 'abcd'), 0.3);
-    assert.equal(utils.computeCompletionSimilarity('acde', 'abcd'), 0.25);
-    assert.equal(utils.computeCompletionSimilarity('zbcd', 'abcd'), 0.375);
-});
-
-test('stringUtils isPatternInSymbol', () => {
-    assert.equal(utils.isPatternInSymbol('', 'abcd'), true);
-
-    assert.equal(utils.isPatternInSymbol('abcd', 'abcd'), true);
-    assert.equal(utils.isPatternInSymbol('abc', 'abcd'), true);
-
-    assert.equal(utils.isPatternInSymbol('ABCD', 'abcd'), true);
-    assert.equal(utils.isPatternInSymbol('ABC', 'abcd'), true);
-
-    assert.equal(utils.isPatternInSymbol('acbd', 'abcd'), false);
-    assert.equal(utils.isPatternInSymbol('abce', 'abcd'), false);
-    assert.equal(utils.isPatternInSymbol('abcde', 'abcd'), false);
-    assert.equal(utils.isPatternInSymbol('azcde', 'abcd'), false);
-    assert.equal(utils.isPatternInSymbol('acde', 'abcd'), false);
-    assert.equal(utils.isPatternInSymbol('zbcd', 'abcd'), false);
-});
-
-test('CoreCompareStringsCaseInsensitive1', () => {
-    assert.equal(utils.compareStringsCaseInsensitive('Hello', 'hello'), core.Comparison.EqualTo);
-});
-
-test('CoreCompareStringsCaseInsensitive2', () => {
-    assert.equal(utils.compareStringsCaseInsensitive('Hello', undefined), core.Comparison.GreaterThan);
-});
-
-test('CoreCompareStringsCaseInsensitive3', () => {
-    assert.equal(utils.compareStringsCaseInsensitive(undefined, 'hello'), core.Comparison.LessThan);
-});
-
-test('CoreCompareStringsCaseInsensitive4', () => {
-    assert.equal(utils.compareStringsCaseInsensitive(undefined, undefined), core.Comparison.EqualTo);
-});
-
-test('CoreCompareStringsCaseSensitive', () => {
-    assert.equal(utils.compareStringsCaseSensitive('Hello', 'hello'), core.Comparison.LessThan);
-});

package/src/tests/symbolNameUtils.test.ts

@@ -1,77 +0,0 @@
-/*
- * symbolNameUtils.test.ts
- * Copyright (c) Microsoft Corporation.
- * Licensed under the MIT license.
- */
-
-import * as assert from 'assert';
-
-import * as snu from '../analyzer/symbolNameUtils';
-
-test('symbolNameUtils isPrivateName', () => {
-    assert.strictEqual(snu.isPrivateName('__var'), true);
-    assert.strictEqual(snu.isPrivateName('__Var_1-2'), true);
-
-    assert.strictEqual(snu.isPrivateName('var'), false);
-    assert.strictEqual(snu.isPrivateName('_var'), false);
-    assert.strictEqual(snu.isPrivateName('__var__'), false);
-});
-
-test('symbolNameUtils isProtectedName', () => {
-    assert.strictEqual(snu.isProtectedName('_var'), true);
-    assert.strictEqual(snu.isProtectedName('_Var_1-2'), true);
-
-    assert.strictEqual(snu.isProtectedName('__var'), false);
-    assert.strictEqual(snu.isProtectedName('var'), false);
-});
-
-test('symbolNameUtils isPrivateOrProtectedName', () => {
-    assert.strictEqual(snu.isPrivateOrProtectedName('_var'), true);
-    assert.strictEqual(snu.isPrivateOrProtectedName('__VAR_1-2'), true);
-
-    assert.strictEqual(snu.isPrivateOrProtectedName('var'), false);
-    assert.strictEqual(snu.isPrivateOrProtectedName('__init__'), false);
-});
-
-test('symbolNameUtils isDunderName', () => {
-    assert.strictEqual(snu.isDunderName('__init__'), true);
-    assert.strictEqual(snu.isDunderName('__CONSTANT__'), true);
-
-    assert.strictEqual(snu.isDunderName('____'), false);
-    assert.strictEqual(snu.isDunderName('_init_'), false);
-    assert.strictEqual(snu.isDunderName('init'), false);
-});
-
-test('symbolNameUtils isConstantName', () => {
-    assert.strictEqual(snu.isConstantName('CONSTANT'), true);
-    assert.strictEqual(snu.isConstantName('CONSTANT_NAME'), true);
-    assert.strictEqual(snu.isConstantName('CONSTANT_42'), true);
-    assert.strictEqual(snu.isConstantName('_CONSTANT_42'), true);
-    assert.strictEqual(snu.isConstantName('__CONSTANT_42'), true);
-
-    assert.strictEqual(snu.isConstantName('Constant'), false);
-    assert.strictEqual(snu.isConstantName('constant'), false);
-    assert.strictEqual(snu.isConstantName('____'), false);
-});
-
-test('symbolNameUtils isTypeAliasName', () => {
-    assert.strictEqual(snu.isTypeAliasName('TypeAlias'), true);
-    assert.strictEqual(snu.isTypeAliasName('Type_alias'), true);
-    assert.strictEqual(snu.isTypeAliasName('TypeAlias1'), true);
-    assert.strictEqual(snu.isTypeAliasName('_TypeAlias'), true);
-    assert.strictEqual(snu.isTypeAliasName('__TypeAlias'), true);
-
-    assert.strictEqual(snu.isTypeAliasName('invalidTypeAlias'), false);
-    assert.strictEqual(snu.isTypeAliasName('1TypeAlias'), false);
-    assert.strictEqual(snu.isTypeAliasName('___TypeAlias'), false);
-});
-
-test('symbolNameUtils isPublicConstantOrTypeAliasName', () => {
-    assert.strictEqual(snu.isPublicConstantOrTypeAlias('CONSTANT'), true);
-    assert.strictEqual(snu.isPublicConstantOrTypeAlias('TypeAlias'), true);
-
-    assert.strictEqual(snu.isPublicConstantOrTypeAlias('var'), false);
-    assert.strictEqual(snu.isPublicConstantOrTypeAlias('_CONSTANT'), false);
-    assert.strictEqual(snu.isPublicConstantOrTypeAlias('_TypeAlias'), false);
-    assert.strictEqual(snu.isPublicConstantOrTypeAlias('__TypeAlias'), false);
-});