@zzzen/pyright-internal 1.1.255 → 1.2.0-dev.20220703

package/src/tests/samples/paramSpec4.py

@@ -1,109 +0,0 @@
-# This sample tests the type checker's handling of ParamSpec
-# and Concatenate as described in PEP 612.
-
-from typing import Callable, Concatenate, ParamSpec, TypeVar
-
-P = ParamSpec("P")
-R = TypeVar("R")
-
-
-class Request:
-    ...
-
-
-def with_request(f: Callable[Concatenate[Request, P], R]) -> Callable[P, R]:
-    def inner(*args: P.args, **kwargs: P.kwargs) -> R:
-        return f(Request(), *args, **kwargs)
-
-    return inner
-
-
-@with_request
-def takes_int_str(request: Request, x: int, y: str) -> int:
-    # use request
-    return x + 7
-
-
-takes_int_str(1, "A")
-
-# This should generate an error because the first arg
-# is the incorrect type.
-takes_int_str("B", "A")
-
-# This should generate an error because there are too
-# many parameters.
-takes_int_str(1, "A", 2)
-
-# This should generate an error because a ParamSpec can appear
-# only within the last type arg for Concatenate
-def decorator1(f: Callable[Concatenate[P, P], int]) -> Callable[P, int]:
-    ...
-
-
-# This should generate an error because the last type arg
-# for Concatenate should be a ParamSpec.
-def decorator2(f: Callable[Concatenate[int, int], int]) -> Callable[P, int]:
-    ...
-
-
-# This should generate an error because Concatenate is missing
-# its type arguments.
-def decorator3(f: Callable[Concatenate, int]) -> Callable[P, int]:
-    ...
-
-
-def decorator4(func: Callable[P, None]) -> Callable[Concatenate[int, P], None]:
-    def wrapper(x: int, /, *args: P.args, **kwargs: P.kwargs) -> None:
-        ...
-
-    return wrapper
-
-
-def func1(func: Callable[Concatenate[int, P], None]) -> Callable[P, None]:
-    ...
-
-
-def func2(a: int, b: str, c: str) -> None:
-    ...
-
-
-def func3(a: int, /, b: str, c: str) -> None:
-    ...
-
-
-def func4(a: int, b: str, /, c: str) -> None:
-    ...
-
-
-v1 = func1(func2)
-reveal_type(v1, expected_text="(b: str, c: str) -> None")
-
-v2 = func1(func3)
-reveal_type(v2, expected_text="(b: str, c: str) -> None")
-
-v3 = func1(func4)
-reveal_type(v3, expected_text="(b: str, /, c: str) -> None")
-
-
-def func5(__fn: Callable[P, R], *args: P.args, **kwargs: P.kwargs) -> R:
-    ...
-
-
-def func6(name: str, *args: str):
-    ...
-
-
-v5 = func5(func6, "a", "b", "c")
-
-# This should generate an error because 1 isn't assignable to str.
-v6 = func5(func6, "a", "b", "c", 1)
-
-
-def func7(name: str, **kwargs: str):
-    ...
-
-
-v7 = func5(func7, "a", b="b", c="c")
-
-# This should generate an error because 1 isn't assignable to str.
-v8 = func5(func7, "a", b="b", c=1)

package/src/tests/samples/paramSpec5.py

@@ -1,29 +0,0 @@
-# This sample tests ParamSpec processing when the source
-# callable type has keyword-only or positional-only
-# parameter separators.
-
-from typing import Callable, ParamSpec, TypeVar
-
-
-P = ParamSpec("P")
-R = TypeVar("R")
-
-
-def decorator(fn: Callable[P, R]) -> Callable[P, R]:
-    return fn
-
-
-def foo(*, value: str) -> None:
-    ...
-
-
-bar = decorator(foo)
-reveal_type(bar, expected_text="(*, value: str) -> None")
-
-
-def baz(value: str, /) -> None:
-    ...
-
-
-qux = decorator(baz)
-reveal_type(qux, expected_text="(value: str, /) -> None")

package/src/tests/samples/paramSpec6.py

@@ -1,17 +0,0 @@
-# This sample tests that ParamSpecs support parameters with default values.
-
-from typing import Callable, ParamSpec, TypeVar
-
-V = TypeVar("V")
-P = ParamSpec("P")
-
-
-def foo(fn: Callable[P, V]) -> Callable[P, V]:
-    ...
-
-
-def bar(baz: str, qux: str = "") -> str:
-    ...
-
-
-foo(bar)("")

package/src/tests/samples/paramSpec7.py

@@ -1,22 +0,0 @@
-# This sample tests the handling of a specialized function
-# used as an argument to a ParamSpec.
-
-from typing import Callable, Generic, ParamSpec, TypeVar
-
-T = TypeVar("T")
-P = ParamSpec("P")
-
-
-def foo(f: Callable[P, T]) -> Callable[P, T]:
-    ...
-
-
-class Baz(Generic[T]):
-    def qux(self, v: T) -> None:
-        ...
-
-
-baz: Baz[int] = Baz()
-
-reveal_type(baz.qux, expected_text="(v: int) -> None")
-reveal_type(foo(baz.qux), expected_text="(v: int) -> None")

package/src/tests/samples/paramSpec8.py

@@ -1,45 +0,0 @@
-# This sample tests error conditions for ParamSpec (PEP 612).
-
-from typing import Callable, Concatenate, ParamSpec
-
-P = ParamSpec("P")
-
-
-def add(f: Callable[P, int]) -> Callable[Concatenate[str, P], None]:
-    def func1(s: str, *args: P.args, **kwargs: P.kwargs) -> None:  # Accepted
-        pass
-
-    # Parameter 's' and 't' should generate an error according to PEP 612
-    def func2(*args: P.args, s: str, t: int, **kwargs: P.kwargs) -> None:  # Rejected
-        pass
-
-    return func1  # Accepted
-
-
-def remove(f: Callable[Concatenate[int, P], int]) -> Callable[P, None]:
-    def foo(*args: P.args, **kwargs: P.kwargs) -> None:
-        f(1, *args, **kwargs)  # Accepted
-
-        # Should generate an error because positional parameter
-        # after *args is not allowed.
-        f(*args, 1, **kwargs)  # Rejected
-
-        # Should generate an error because positional parameter
-        # is missing.
-        f(*args, **kwargs)  # Rejected
-
-    return foo
-
-
-def outer(f: Callable[P, None]) -> Callable[P, None]:
-    def foo(x: int, *args: P.args, **kwargs: P.kwargs) -> None:
-        f(*args, **kwargs)
-
-    def bar(*args: P.args, **kwargs: P.kwargs) -> None:
-        foo(1, *args, **kwargs)  # Accepted
-
-        # This should generate an error because keyword parameters
-        # are not allowed in this situation.
-        foo(x=1, *args, **kwargs)  # Rejected
-
-    return bar

package/src/tests/samples/paramSpec9.py

@@ -1,57 +0,0 @@
-# This sample tests the handling of a ParamSpec used with
-# *args: P.args, **kwargs: P.kwargs.
-
-from typing import Any, Callable, ParamSpec
-
-
-P = ParamSpec("P")
-
-
-def twice(f: Callable[P, int], *args: P.args, **kwargs: P.kwargs) -> int:
-    return f(*args, **kwargs) + f(*args, **kwargs)
-
-
-def a_int_b_str(a: int, b: str) -> int:
-    return 1
-
-
-twice(a_int_b_str, 1, "A")  # Accepted
-
-twice(a_int_b_str, b="A", a=1)  # Accepted
-
-twice(a_int_b_str, 1, b="hi")  # Accepted
-
-# This should generate an error because b is a incorrect type.
-twice(a_int_b_str, 1, b=2)  # Rejected
-
-# This should generate an error because a is a incorrect type.
-twice(a_int_b_str, "1", b="2")  # Rejected
-
-# This should generate an error because c is unknown.
-twice(a_int_b_str, 1, c=2)  # Rejected
-
-# This should generate an error because c is unknown.
-twice(a_int_b_str, 1, b="hi", c=2)  # Rejected
-
-# This should generate an error because type of a is wrong.
-twice(a_int_b_str, "A", "1")  # Rejected
-
-# This should generate an error because type of b is wrong.
-twice(a_int_b_str, 1, 1)  # Rejected
-
-# This should generate an error because of too many arguments.
-twice(a_int_b_str, 1, "1", 2)  # Rejected
-
-# This should generate an error because of too few arguments.
-twice(a_int_b_str, 1)  # Rejected
-
-# This should generate an error because of too few arguments.
-twice(a_int_b_str)  # Rejected
-
-
-def func1(func: Callable[P, Any], *args: P.args, **kwargs: P.kwargs):
-    pass
-
-
-def func2(func: Callable[P, Any], *args: P.args, **kwargs: P.kwargs):
-    func1(func, *args, **kwargs)

package/src/tests/samples/paramType1.py

@@ -1,71 +0,0 @@
-# This sample validates that parameter types specified for "self"
-# and "cls" parameters are compatible with the containing class.
-
-from typing import Iterator, Type, TypeVar
-
-
-class Parent:
-    pass
-
-
-_T = TypeVar("_T")
-_TChild1 = TypeVar("_TChild1", bound="Child1")
-
-
-class Child1:
-    def m1(self: "Child1"):
-        ...
-
-    # This should generate an error.
-    def m2(self: Parent):
-        ...
-
-    # This should generate an error.
-    def m3(self: Type["Child1"]):
-        ...
-
-    def m4(self: _TChild1) -> _TChild1:
-        ...
-
-    # This should generate an error.
-    def m5(self: Type[_TChild1]) -> _TChild1:
-        ...
-
-    def m6(self: _T) -> _T:
-        ...
-
-    # This should generate an error.
-    def __new__(cls: "Child1"):
-        ...
-
-    @classmethod
-    def cm1(cls: Type["Child1"]):
-        ...
-
-    @classmethod
-    # This should generate an error.
-    def cm2(cls: "Child1"):
-        ...
-
-    @classmethod
-    # This should generate an error.
-    def cm3(cls: Type[Parent]):
-        ...
-
-    @classmethod
-    def cm4(cls: Type[_TChild1]) -> _TChild1:
-        ...
-
-    @classmethod
-    # This should generate an error.
-    def cm5(cls: _TChild1) -> _TChild1:
-        ...
-
-    @classmethod
-    def cm6(cls: Type[_T]) -> _T:
-        ...
-
-
-class MyMeta(type):
-    def m1(self: Type[_T]) -> Iterator[_T]:
-        ...

package/src/tests/samples/parameters1.py

@@ -1,16 +0,0 @@
-# This sample tests the reportMissingParameterType check.
-
-
-class A:
-    # This should generate an error if reportMissingParameterType is enabled
-    # because 'y' is missing a type annotation.
-    def method1(self, x: int, _, y) -> int:
-        ...
-
-    def method2(self, x, y):
-        # type: (int, int) -> int
-        ...
-
-
-def g(__p: int, x: int, y: str):
-    ...

package/src/tests/samples/partial1.py

@@ -1,163 +0,0 @@
-# This sample tests the functools.partial support.
-
-from functools import partial
-from typing import TypeVar
-
-_T1 = TypeVar("_T1")
-
-
-def func1():
-    """func1"""
-    return 0
-
-
-p1_0 = partial(func1)
-
-reveal_type(p1_0(), expected_text="Literal[0]")
-
-# This should generate an error.
-p1_0("")
-
-# This should generate an error.
-p1_1 = partial(func1, "", "")
-
-
-def func2(name: str, number: int) -> None:
-    """func2"""
-    pass
-
-
-p2_0 = partial(func2)
-
-reveal_type(p2_0("", 3), expected_text="None")
-
-# This should generate an error.
-p2_0()
-
-# This should generate an error.
-p2_0("")
-
-# This should generate an error.
-p2_0("", 3, 3)
-
-# This should generate an error.
-p2_0("", 3, 3)
-
-p2_0("", number=3)
-
-# This should generate an error.
-p2_0("", 3, number=3)
-
-p2_1 = partial(func2, "")
-
-# This should generate an error.
-p2_1()
-
-p2_1(3)
-p2_1(number=3)
-
-# This should generate an error.
-p2_1(3, number=3)
-
-p2_2 = partial(func2, number=3)
-p2_2("")
-
-p2_3 = partial(func2, number=3, name="")
-p2_3()
-
-
-def func3(name: str, /, number: int):
-    return 0
-
-
-p3_0 = partial(func3)
-
-reveal_type(p3_0("", 3), expected_text="Literal[0]")
-
-# This should generate an error.
-p3_0(name="", number=3)
-
-p3_1 = partial(func3, "")
-
-p3_1(3)
-p3_1(number=3)
-
-
-def func4(name: str, *, number: int):
-    return 0
-
-
-p4_0 = partial(func4)
-
-# This should generate an error.
-p4_0("", 3)
-
-p4_0("", number=3)
-
-
-def func5(name: _T1, number: _T1) -> _T1:
-    return name
-
-
-p5_0 = partial(func5)
-reveal_type(p5_0(3, 3), expected_text="int")
-reveal_type(p5_0("3", "3"), expected_text="str")
-
-
-p5_1 = partial(func5, 2)
-
-p5_1(3)
-
-# This should generate an error.
-p5_1("3")
-
-
-def func6(a: int, name: _T1, number: _T1) -> _T1:
-    return name
-
-
-p6_0 = partial(func6, 3, 4)
-
-reveal_type(p6_0(3), expected_text="int")
-
-
-def func7(a: int, name: float, *args: str):
-    return 0
-
-
-p7_0 = partial(func7, 3, 3, "", "", "")
-p7_0("", "")
-
-# This should generate an error.
-p7_0(3)
-
-p7_1 = partial(func7)
-p7_1(3, 0)
-p7_1(3, 0, "", "")
-
-# This should generate an error.
-p7_1(3, 0, foo=3)
-
-
-def func8(a: int, name: str, **kwargs: int):
-    return 0
-
-
-p8_0 = partial(func8, 3, "")
-p8_0()
-p8_0(foo=3)
-
-# This should generate an error.
-p8_0(foo="")
-
-p8_1 = partial(func8)
-p8_1(3, "")
-
-# This should generate an error.
-p8_1(3)
-
-
-# This should generate an error.
-p8_1(3, "", 5)
-
-p8_1(3, "", foo=4, bar=5)

package/src/tests/samples/partial2.py

@@ -1,31 +0,0 @@
-# This sample tests the functools.partial support for keyword parameters.
-
-from functools import partial
-from typing import Protocol
-
-
-def func1(a: int, b: int, x: str) -> str:
-    return x
-
-
-class Proto1(Protocol):
-    def __call__(self, x: str) -> str:
-        ...
-
-
-func2: Proto1 = partial(func1, 3, 4, x="a")
-func2()
-func2(x="b")
-
-
-class Proto2(Protocol):
-    def __call__(self, b: int) -> str:
-        ...
-
-
-func3: Proto2 = partial(func1, 3, b=3, x="a")
-func3()
-func3(x="b")
-func3(b=3)
-func3(x="b", b=3)
-func3(b=3, x="b")

package/src/tests/samples/private1.py

@@ -1,55 +0,0 @@
-# This sample tests the "reportPrivateUsage" feature.
-
-from typing import NamedTuple
-from .private2 import TestClass, _TestClass, TestClass as _Foo
-
-_Test = 1
-
-
-class Foo(object):
-    _my_var1 = 1
-
-    _my_var2 = _my_var1
-
-    def foo(self):
-        a = _Test
-        return self._my_var1
-
-
-# This should generate an error
-a = _TestClass()
-
-b = TestClass()
-
-a = _Foo()
-
-# This should generate an error
-c = b.__priv1
-
-
-d = Foo()
-
-# This should generate an error
-e = d._my_var1
-
-f = _Test
-
-
-class TestSubclass(TestClass):
-    def blah(self):
-        return self._prot1
-
-    def blah2(self):
-        # This should generate an error
-        return self.__priv1
-
-
-class MyTuple(NamedTuple):
-    field1: int
-    field2: str
-
-
-# This should not generate an error because _replace is declared
-# within a stub file and is presumably part of the public interface
-# contract.
-MyTuple(1, "2")._replace(field1=3)

package/src/tests/samples/private2.py

@@ -1,11 +0,0 @@
-# This sample tests the "reportPrivateUsage" feature.
-
-
-class _TestClass(object):
-    pass
-
-
-class TestClass(object):
-    def __init__(self):
-        self.__priv1 = 1
-        self._prot1 = 1

package/src/tests/samples/project1/pyrightconfig.json

@@ -1,5 +0,0 @@
-{
-    "include": [
-        "subfolder1"
-    ]
-}

package/src/tests/samples/project2/pyrightconfig.json

@@ -1,3 +0,0 @@
-{
-    "files": "NotAnArray.py"
-}

package/src/tests/samples/project3/pyrightconfig.json

@@ -1,7 +0,0 @@
-{
-    "files": [
-        {
-            "NotAString": "Bad"
-        }
-    ]
-}

package/src/tests/samples/project4/pyrightconfig.json

@@ -1,11 +0,0 @@
-{
-    "include": [
-        "missingfile.py",
-        "presentfile.py",
-        "missingdirectory",
-        "subfolder"
-    ],
-    "exclude": [
-        "subfolder/presentfile2.py"
-    ]
-}

package/src/tests/samples/project5/pyrightconfig.json

@@ -1,4 +0,0 @@
-{
-    "files": [
-        // Bad json
-}