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

Riproduci il problema con mypy 0.950 usando le due funzioni mostrate nel report, confrontando l’espressione diretta con le variabili intermedie. Traccia il percorso di type-checking dell’unione di insiemi e aggiungi un test di regressione che copra entrambe le forme; il lavoro è completato quando la funzione valida error non produce più la diagnostica relativa agli argomenti incompatibili.