ReturnTypeError occurs on exception

[jolaf]

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