tree 5dae81479fcac4397a4b0db37cb8355ab5c1e202
parent 8e7c094a409f766395f2c4c31e0edbf99614df31
author Ivan Levkivskyi <levkivskyi@gmail.com> 1746027327 +0100
committer Jared Hance <jhance@dropbox.com> 1746713472 -0700

Do not narrow types to Never with binder (#18972)

Fixes https://github.com/python/mypy/issues/18967
Fixes https://github.com/python/mypy/issues/16494
Fixes https://github.com/python/mypy/issues/15793
Fixes https://github.com/python/mypy/issues/12949

As you can see from updated test cases, it is kind of gray area, so
whether we go this way will depend on the `mypy_primer` results (and
also potentially on Dropbox internal code bases, where the above issue
may cause problems).