From 8f2c0c4057f214cdd0938a0a2928b3ade02bb0cb Mon Sep 17 00:00:00 2001 From: Jelle Zijlstra Date: Thu, 2 Apr 2026 11:49:05 -0700 Subject: [PATCH 1/3] conformance: make TypeVarTuple test not depend on TypeVar inference behavior --- conformance/tests/generics_typevartuple_concat.py | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/conformance/tests/generics_typevartuple_concat.py b/conformance/tests/generics_typevartuple_concat.py index 3d2284a8..7eca72bb 100644 --- a/conformance/tests/generics_typevartuple_concat.py +++ b/conformance/tests/generics_typevartuple_concat.py @@ -48,8 +48,9 @@ def prefix_tuple(x: T, y: tuple[*Ts]) -> tuple[T, *Ts]: raise NotImplementedError -z = prefix_tuple(x=0, y=(True, "a")) -assert_type(z, tuple[int, bool, str]) +def call_prefix_tuple(x: int): + z = prefix_tuple(x=x, y=(True, "a")) + assert_type(z, tuple[int, bool, str]) def move_first_element_to_last(tup: tuple[T, *Ts]) -> tuple[*Ts, T]: From 78812833146c14e8c2c6f073c8922e5bef862ab6 Mon Sep 17 00:00:00 2001 From: Jelle Zijlstra Date: Thu, 2 Apr 2026 11:51:35 -0700 Subject: [PATCH 2/3] update the others too --- conformance/tests/generics_typevartuple_concat.py | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/conformance/tests/generics_typevartuple_concat.py b/conformance/tests/generics_typevartuple_concat.py index 7eca72bb..1fb23f6d 100644 --- a/conformance/tests/generics_typevartuple_concat.py +++ b/conformance/tests/generics_typevartuple_concat.py @@ -48,9 +48,9 @@ def prefix_tuple(x: T, y: tuple[*Ts]) -> tuple[T, *Ts]: raise NotImplementedError -def call_prefix_tuple(x: int): - z = prefix_tuple(x=x, y=(True, "a")) - assert_type(z, tuple[int, bool, str]) +def call_prefix_tuple(x: int, y: bool, z: str): + result = prefix_tuple(x=x, y=(y, z)) + assert_type(result, tuple[int, bool, str]) def move_first_element_to_last(tup: tuple[T, *Ts]) -> tuple[*Ts, T]: From b8199894ff10bdb9cdefbed3fab36bab9873a28c Mon Sep 17 00:00:00 2001 From: Jelle Zijlstra Date: Thu, 2 Apr 2026 11:52:03 -0700 Subject: [PATCH 3/3] update --- conformance/results/ty/generics_typevartuple_concat.toml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/conformance/results/ty/generics_typevartuple_concat.toml b/conformance/results/ty/generics_typevartuple_concat.toml index 6d04be1f..e0244328 100644 --- a/conformance/results/ty/generics_typevartuple_concat.toml +++ b/conformance/results/ty/generics_typevartuple_concat.toml @@ -1,8 +1,8 @@ conformance_automated = "Fail" conformant = "Unsupported" errors_diff = """ -Line 52: Unexpected errors ['generics_typevartuple_concat.py:52:1: error[type-assertion-failure] Type `tuple[@Todo(TypeVarTuple), ...]` does not match asserted type `tuple[int, bool, str]`'] +Line 53: Unexpected errors ['generics_typevartuple_concat.py:53:5: error[type-assertion-failure] Type `tuple[@Todo(TypeVarTuple), ...]` does not match asserted type `tuple[int, bool, str]`'] """ output = """ -generics_typevartuple_concat.py:52:1: error[type-assertion-failure] Type `tuple[@Todo(TypeVarTuple), ...]` does not match asserted type `tuple[int, bool, str]` +generics_typevartuple_concat.py:53:5: error[type-assertion-failure] Type `tuple[@Todo(TypeVarTuple), ...]` does not match asserted type `tuple[int, bool, str]` """