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

Inizia inserendo l’esempio segnalato in un file piccolo come mypy_tuple.py ed esegui mypy su di esso per confermare i due errori di tipo incompatibile. Traccia come mypy gestisce il narrowing dopo all(t) per una tupla tipizzata esplicitamente; il lavoro è completato quando l’esempio passa senza errori e il comportamento di narrowing esistente rimane coperto dai test.