diff --git a/conformance/tests/narrowing_typeis.py b/conformance/tests/narrowing_typeis.py index d3bbb604..9a2e62cd 100644 --- a/conformance/tests/narrowing_typeis.py +++ b/conformance/tests/narrowing_typeis.py @@ -14,11 +14,11 @@ def is_two_element_tuple(val: tuple[T, ...]) -> TypeIs[tuple[T, T]]: return len(val) == 2 -def func1(names: tuple[str, ...]): +def func1(names: tuple[str, str] | tuple[str, str, str]): if is_two_element_tuple(names): assert_type(names, tuple[str, str]) else: - assert_type(names, tuple[str, ...]) + assert_type(names, tuple[str, str, str]) # > The final narrowed type may be narrower than **R**, due to the constraints of the