New errors in typeshed with mypy 0.820

hauntsaninja / mypy_primer

Run mypy and pyright over millions of lines of code

MIT License

55 stars 29 forks source link

New errors in typeshed with mypy 0.820 #24

Closed Akuli closed 2 years ago

Akuli commented 2 years ago

See https://github.com/python/typeshed/pull/6599 for example. Getting two unrelated tracebacks on every pull request is a bit annoying.

hauntsaninja commented 2 years ago

This should actually be caused by https://github.com/python/typeshed/pull/6593

Relevant primer code is here: https://github.com/hauntsaninja/mypy_primer/blob/5d50d01ac59601f8e25f9c3f2c9382c555994928/mypy_primer.py#L1358

mypy 0.920 (unlike 0.910) does not crash on match statements. All the typeshed runs I've seen with tracebacks ran with mypy 0.910. I agree that tracebacks are annoying, but I think we shouldn't really have them going forward.

hauntsaninja commented 2 years ago

Looks like there was a third project that does crash with 0.920 (and fixed on master), I pushed b4e85595 to help with this