from typing import TypeGuard
from typing_extensions import TypeIs
def is_str_seq(*args: str | int) -> TypeGuard[tuple[str, ...]]:
    return all(isinstance(arg, str) for arg in args)
def foo(x: str | int):
    if is_str_seq(x, x):
        reveal_type(x) # tuple[str, ...]
    else:
        reveal_type(x)

return tuple(variable_args)

    def _validate_args(
        self, *args: TensorLike | NestedNumbericSequence
    ) -> TypeGuard[tuple[Tensor, ...]]:

    def _validate_args(
        self, *args: TensorLike | NestedNumbericSequence
    ) -> TypeGuard[tuple[Tensor, ...]]:
        """
        Argument validation for distribution args
        Args:
            value (float, list, numpy.ndarray, Tensor)
        Raises
            ValueError: if one argument is Tensor, all arguments should be Tensor
        """
        is_variable = False
        is_number = False
        for arg in args:
            if isinstance(arg, (Variable, paddle.pir.Value)):
                is_variable = True
            else:
                is_number = True
        if is_variable and is_number:
            raise ValueError(
                'if one argument is Tensor, all arguments should be Tensor'
            )
        return is_variable

from typing import TypeGuard
from typing_extensions import TypeIs
def is_str_seq(*args: str | int) -> TypeGuard[str]:
    return all(isinstance(arg, str) for arg in args)
def foo(x: str | int, y: str | int):
    if is_str_seq(x, y):
        reveal_type(x)  # str
        reveal_type(y)  # str | int
    else:
        reveal_type(x)
        reveal_type(y)