Upgrade mypy to 0.800 #1575
Labels
build & infra
Issues related to build & infrastructure.
good first issue
Good first issue
help wanted
MyPy 0.800 is out. It finally supports namespace packages properly and we can remove the placeholder
__init__.pyi
files in a few spots.The text was updated successfully, but these errors were encountered: