chkdict prints as "dict"
bennn opened this issue · comments
Ben Greenman commented
What version of Static Python are you using?
9965302
2021-06-24
What program did you run?
from __static__ import CheckedDict
def chk_ref(d: CheckedDict[int, int]) -> int:
return d[0]
pydict: dict[int, int] = {1: 1}
chk_ref(pydict)
What happened?
TypeError: expected 'dict[int, int]', got 'dict'
What should have happened?
Error: expected Checked Dict got Python dict
Ben Greenman commented
fixed by 7cedc43