Union(Type) and TypeForm

My function should analyze types.
Both when --warn-unreachable is enabled, and when checking typing.Union, and when checking types.UnionType, an error occurs.

code:

from types import UnionType
from typing import Any, Union

from typing_extensions import TypeForm


def f(t: TypeForm[Any]) -> Any:
    if isinstance(t, Union):
        pass


def g(t: TypeForm[Any]) -> Any:
    if isinstance(t, UnionType):
        pass

errors:

main.py:8: error: Argument 2 to "isinstance" has incompatible type "<typing special form>"; expected "_ClassInfo"  [arg-type]
main.py:14: error: Statement is unreachable  [unreachable]
Found 2 errors in 1 file (checked 1 source file)

in runtime, the behavior of both isinstance is equivalent.

Inizia riproducendo l'esempio in main.py con mypy, con e senza --warn-unreachable, e verifica come vengono gestiti typing.Union e types.UnionType quando il valore è annotato con typing_extensions.TypeForm. Il lavoro è completato quando i controlli isinstance equivalenti non producono più gli errori segnalati di tipo incompatibile o di istruzione irraggiungibile.