from typing import Type
from pytypes import TypeChecker
def f() -> Type[str]:
return str
with TypeChecker():
f()
print("OK")
fails as follows:
$ python3 Test.py
Traceback (most recent call last):
File "Test.py", line 9, in <module>
f()
File "Test.py", line 6, in f
return str
pytypes.exceptions.ReturnTypeError:
__main__.f
returned incompatible type:
Expected: Type[str]
Received: type
The following code:
fails as follows: