Type narrowing on all() call

Bug Report

Mypy ignores types in a explicitly checked tuple.

To Reproduce

1. Create a file containing:

def func(a: str, b: int) -> None:
    pass


t: tuple[str | None, int | None] = ('a', None)
if not all(t):
    raise ValueError
func(*t)

2. Run mypy.

Expected Behavior

No errors.

Actual Behavior

mypy_tuple.py:8: error: Argument 1 to "func" has incompatible type "*Tuple[Optional[str], Optional[int]]"; expected "str"
mypy_tuple.py:8: error: Argument 1 to "func" has incompatible type "*Tuple[Optional[str], Optional[int]]"; expected "int"
Found 2 errors in 1 file (checked 1 source file)

Your Environment

• Mypy version used: 0.961
• Mypy command-line flags:
• Mypy configuration options from mypy.ini (and other config files):
• Python version used: 3.10
• Operating system and version: Arch Linux

Beginne damit, das gemeldete Beispiel in eine kleine Datei wie mypy_tuple.py zu schreiben und mypy dagegen auszuführen, um die beiden Fehler wegen inkompatibler Typen zu bestätigen. Verfolge, wie mypy die Eingrenzung nach all(t) für ein explizit typisiertes Tupel behandelt; fertig ist die Arbeit, wenn das Beispiel ohne Fehler durchläuft und das bestehende Verhalten bei der Eingrenzung weiterhin durch Tests abgedeckt ist.