Missing (~esoteric) proxy type emulations

pschanely / CrossHair

An analysis tool for Python that blurs the line between testing and type systems.

Other

996 stars 47 forks source link

Missing (~esoteric) proxy type emulations #288

Open pschanely opened 1 month ago

pschanely commented 1 month ago

Some hypothesis tests at hypothesis-python/tests/cover/test_lookup.py fail under crosshair, revealing that some crosshair proxies aren't emulating the appropriate runtime types, investigate these:

DictKeys
DictValues
ItemsView
re.Match / typing.Match