from typing_extensions import TypeAliasType

T1 = TypeAliasType("T1", int, str)  # Silently passes and uses `int` as the target type, should be an error
T2 = TypeAliasType("T2")  # Crashes

T1 = TypeAliasType("T1", int, str)  # E: Too many positional arguments for "TypeAliasType"
T2 = TypeAliasType("T2")  # E: Missing positional argument "value" in call to "TypeAliasType"

    class TypeAliasType:
        def __init__(
            self, name: str, value: Any, *, type_params: tuple[TypeVar | ParamSpec | TypeVarTuple, ...] = ()
        ) -> None: ...