def f(x1: T | None,
      x2: T | tuple[Any, Any]) -> None