
June 2, 2021
4:01 p.m.
I just don't think leaving something untyped and then letting the type checker guess at what you meant is a good idea especially as there are differences in the ways mypy and pyright will handle the snippet Eric has shown.