Open jolaf opened 5 years ago
The following code:
from pytypes import TypeChecker def f() -> str: raise Exception() with TypeChecker(): f()
fails as follows:
$ python3 Test.py Traceback (most recent call last): File "Test.py", line 7, in <module> f() File "Test.py", line 4, in f raise Exception() pytypes.exceptions.ReturnTypeError: __main__.f returned incompatible type: Expected: str Received: NoneType
The following code:
fails as follows: