MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

PY-20057 Add test cases on Type[Something] wrapped in typing.Optional

Browse Source
This commit is contained in:
Mikhail Golubev
2017-03-06 15:20:44 +03:00
parent 05951d275f
commit 0ba869fd2d
1 changed files with 12 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
python/testData/inspections/PyTypeCheckerInspection/ClassObjectType.py
+12 -4
View File
@@ -1,4 +1,4 @@
from typing import Type, TypeVar
from typing import Type, TypeVar, Optional
class MyClass:
pass
@@ -13,9 +13,9 @@ T1 = TypeVar('T1')
def expects_any_class(x: Type[T1]):
pass
# expects_any_class(MyClass)
expects_any_class(MyClass)
expects_any_class(<warning descr="Expected type 'Type[TypeVar('T1')]', got 'MyClass' instead">MyClass()</warning>)
# expects_any_class(object)
expects_any_class(object)
expects_any_class(<warning descr="Expected type 'Type[TypeVar('T1')]', got 'object' instead">object()</warning>)
T2 = TypeVar('T2', MyClass)
@@ -25,4 +25,12 @@ def expects_myclass_descendant(x: Type[T2]):
expects_myclass_descendant(MyClass)
expects_myclass_descendant(<warning descr="Expected type 'Type[TypeVar('T2', MyClass)]', got 'MyClass' instead">MyClass()</warning>)
expects_myclass_descendant(<warning descr="Expected type 'Type[TypeVar('T2', MyClass)]', got 'Type[object]' instead">object</warning>)
expects_myclass_descendant(<warning descr="Expected type 'Type[TypeVar('T2', MyClass)]', got 'object' instead">object()</warning>)
expects_myclass_descendant(<warning descr="Expected type 'Type[TypeVar('T2', MyClass)]', got 'object' instead">object()</warning>)
def expects_myclass_descendant_or_none(x: Optional[Type[T2]]):
pass
expects_myclass_descendant_or_none(MyClass)
expects_myclass_descendant_or_none(<weak_warning descr="Expected type 'Union[None, Any]' (matched generic type 'Optional[Type[TypeVar('T2', MyClass)]]'), got 'MyClass' instead">MyClass()</weak_warning>)
expects_myclass_descendant_or_none(<weak_warning descr="Expected type 'Union[None, Any]' (matched generic type 'Optional[Type[TypeVar('T2', MyClass)]]'), got 'Type[object]' instead">object</weak_warning>)
expects_myclass_descendant_or_none(<weak_warning descr="Expected type 'Union[None, Any]' (matched generic type 'Optional[Type[TypeVar('T2', MyClass)]]'), got 'object' instead">object()</weak_warning>)