Added support for negative type narrowing (in the fall-through case) …

microsoft / pyright

Static Type Checker for Python

Other

13.04k stars 1.39k forks source link

Added support for negative type narrowing (in the fall-through case) … #8363

Closed erictraut closed 1 month ago

erictraut commented 1 month ago

…for a mapping pattern consisting of a single dictionary expand entry. This should match all mapping types, eliminating them in the fall-through case. This addresses #8356.

github-actions[bot] commented 1 month ago

According to mypy_primer, this change doesn't affect type check results on a corpus of open source code. ✅