error in set unions

In the following file, mypy (version 0.950) reports (correctly) ok function as ok, but raises an error (error: Argument 1 to "union" of "set" has incompatible type "Set[str]"; expected "Set[Optional[str]]") in error function.

from typing import Set
from zoneinfo import available_timezones

x = {"UTC"}


def error() -> Set[str]:
    return available_timezones() - set.union(x)


def ok() -> Set[str]:
    a, b = available_timezones(), set.union(x)
    return a - b

Reproduziere das Problem mit mypy 0.950 unter Verwendung der beiden im Bericht gezeigten Funktionen und vergleiche den direkten Ausdruck mit den Zwischenvariablen. Verfolge den Type-Checking-Pfad für die Mengenvereinigung und füge einen Regressionstest hinzu, der beide Formen abdeckt; die Änderung ist abgeschlossen, wenn die gültige Funktion error nicht mehr die Diagnose für inkompatible Argumente erzeugt.