TYP upgrade and pin mypy to 0.800 #39399
Description
mypy 0.800 came out 3 days ago https://mypy-lang.blogspot.com/2021/01/mypy-0800-released.html , so it would be good to try upgrading
{{ message }}
mypy 0.800 came out 3 days ago https://mypy-lang.blogspot.com/2021/01/mypy-0800-released.html , so it would be good to try upgrading