pytypes icon indicating copy to clipboard operation
pytypes copied to clipboard

Type[] annotation is not handled correctly

Open jolaf opened this issue 6 years ago • 1 comments

The following code:

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

jolaf avatar Aug 27 '19 15:08 jolaf

Looks like deep_type doesn't support type. This might be reasonably easy to add...

Stewori avatar Aug 27 '19 19:08 Stewori