mypy-play

# Sentinel to denote unset values
UNSET = object()

def foo(timezone: str | object | None = UNSET) -> None:
    pass

if __name__ == "__main__":
    foo()

mypy-play

from typing import TypeVar
from typing_extensions import TypeIs


_T = TypeVar('_T', str, int)


def is_str(val: str | int) -> TypeIs[str]:
    return isinstance(val, str)

mypy-play

from typing import TypeVar, TypedDict, Generic

VarT = TypeVar("VarT", bound=dict)

class MyCls(Generic[VarT]):
    def sneed(self, t: VarT):
        print(t)

class MyDict(TypedDict):
    a: int

mypy-play

import typing


SingleItem = typing.Tuple[int]
MultipleItems = typing.Tuple[int, ...]

def test(a: SingleItem, b: MultipleItems) -> None:
    return

mypy-play

from typing import TypeVar, Generic, Any, cast, overload
from abc import abstractmethod, ABC


_TP = TypeVar("_TP", bound=tuple[Any, ...])

class Select(Generic[_TP]):
    pass

mypy-play

from typing import TypeVar, Generic, Any, cast
from abc import abstractmethod, ABC


_TP = TypeVar("_TP", bound=tuple[Any, ...])
_TM = TypeVar("_TM")

class Select(Generic[_TP]):
    pass

mypy-play

from typing import TypeVar, Generic, Any, cast
from abc import abstractmethod, ABC


_TP = TypeVar("_TP", bound=tuple[Any, ...])
_TM = TypeVar("_TM")

class Select(Generic[_TP]):
    pass

mypy-play

import typing


def f() -> typing.Annotated[int, "this is da' sh..."]:
    return 0


x: int = f()
reveal_type(f())

mypy-play

import typing


def f() -> typing.Annotated[int, "this is da' sh..."]:
    return 0


x: int = f()

mypy-play

from typing import TypeVar
from typing_extensions import TypeIs


_T = TypeVar('_T', str, int)


def is_str(val: str | int) -> TypeIs[str]:
    return isinstance(val, str)