Improved type narrowing in the fall-through case for sequence pattern…

[erictraut]

…s when the pattern includes a star pattern and the subject type is a tuple with an indeterminate entry.

[github-actions[bot]]

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