Skip to content

Commit 9dcab0e

Browse files
JelleZijlstraJelleZijlstra
committed
update results
1 parent b08e02f commit 9dcab0e

9 files changed

+35
-24
lines changed

‎conformance/results/mypy/generics_typevartuple_basic.toml‎

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,6 @@ generics_typevartuple_basic.py:45: error: Argument 1 to "Array" has incompatible
99
generics_typevartuple_basic.py:52: error: Free type variable expected in Generic[...] [misc]
1010
generics_typevartuple_basic.py:53: error: TypeVarTuple "Shape" is only valid with an unpack [valid-type]
1111
generics_typevartuple_basic.py:56: error: TypeVarTuple "Shape" is only valid with an unpack [valid-type]
12-
generics_typevartuple_basic.py:57: error: Incompatible return value type (got "tuple[*Shape]", expected "tuple[Any]") [return-value]
1312
generics_typevartuple_basic.py:59: error: TypeVarTuple "Shape" is only valid with an unpack [valid-type]
1413
generics_typevartuple_basic.py:65: error: Unexpected keyword argument "covariant" for "TypeVarTuple" [misc]
1514
generics_typevartuple_basic.py:66: error: Too many positional arguments for "TypeVarTuple" [misc]
@@ -20,7 +19,5 @@ generics_typevartuple_basic.py:106: error: Can only use one type var tuple in a
2019
"""
2120
conformance_automated = "Fail"
2221
errors_diff = """
23-
Line 89: Expected 1 errors
2422
Line 90: Expected 1 errors
25-
Line 57: Unexpected errors ['generics_typevartuple_basic.py:57: error: Incompatible return value type (got "tuple[*Shape]", expected "tuple[Any]") [return-value]']
2623
"""

‎conformance/results/pyrefly/generics_typevartuple_args.toml‎

Lines changed: 6 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,10 @@
11
conformant = "Pass"
2-
conformance_automated = "Pass"
2+
conformance_automated = "Fail"
3+
notes = """
4+
Does not correctly solve TypeVarTuple with heterogeneous bounds.
5+
"""
36
errors_diff = """
7+
Line 76: Unexpected errors ["Argument `tuple[Literal['1']]` is not assignable to parameter `*args` with type `tuple[int]` in function `func4` [bad-argument-type]"]
48
"""
59
output = """
610
ERROR generics_typevartuple_args.py:33:12-23: Unpacked argument `tuple[Literal[0], Literal['']]` is not assignable to parameter `*args` with type `tuple[*@_, Env]` in function `exec_le` [bad-argument-type]
@@ -11,4 +15,5 @@ ERROR generics_typevartuple_args.py:58:6-9: Unpacked argument `tuple[Literal[1]]
1115
ERROR generics_typevartuple_args.py:59:6-10: Unpacked argument `tuple[Literal['']]` is not assignable to parameter `*args` with type `tuple[int, *tuple[str, ...], str]` in function `func2` [bad-argument-type]
1216
ERROR generics_typevartuple_args.py:67:6-9: Unpacked argument `tuple[Literal[1]]` is not assignable to parameter `*args` with type `tuple[int, str]` in function `func3` [bad-argument-type]
1317
ERROR generics_typevartuple_args.py:75:13-19: Argument `tuple[Literal[1], Literal[2]]` is not assignable to parameter `*args` with type `tuple[int]` in function `func4` [bad-argument-type]
18+
ERROR generics_typevartuple_args.py:76:13-19: Argument `tuple[Literal['1']]` is not assignable to parameter `*args` with type `tuple[int]` in function `func4` [bad-argument-type]
1419
"""

‎conformance/results/pyrefly/generics_typevartuple_basic.toml‎

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,10 +1,11 @@
11
conformant = "Partial"
22
notes = """
3-
TypeVarTuple is pinned too early when calling generic function
3+
TypeVarTuple is pinned too early when calling generic function.
44
"""
55
conformance_automated = "Fail"
66
errors_diff = """
77
Line 85: Unexpected errors ['Argument `tuple[float]` is not assignable to parameter `arg2` with type `tuple[int]` in function `func2` [bad-argument-type]']
8+
Line 89: Unexpected errors ["Argument `tuple[Literal['0']]` is not assignable to parameter `arg2` with type `tuple[int]` in function `func2` [bad-argument-type]"]
89
"""
910
output = """
1011
ERROR generics_typevartuple_basic.py:42:34-43: Argument `Height` is not assignable to parameter `shape` with type `tuple[Height, Width]` in function `Array.__init__` [bad-argument-type]

‎conformance/results/pyright/generics_typevartuple_args.toml‎

Lines changed: 6 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,7 @@
1-
conformant = "Pass"
1+
conformance_automated = "Fail"
2+
errors_diff = """
3+
Line 76: Unexpected errors ['generics_typevartuple_args.py:76:14 - error: Argument of type "tuple[Literal[\\'1\\']]" cannot be assigned to parameter "args" of type "tuple[*Ts@func4]" in function "func4"']
4+
"""
25
output = """
36
generics_typevartuple_args.py:33:20 - error: Argument of type "Literal['']" cannot be assigned to parameter of type "Env" in function "exec_le"
47
  "Literal['']" is not assignable to "Env" (reportArgumentType)
@@ -14,7 +17,6 @@ generics_typevartuple_args.py:67:1 - error: Argument missing for parameter "args
1417
generics_typevartuple_args.py:75:13 - error: Argument of type "tuple[Literal[1], Literal[2]]" cannot be assigned to parameter "args" of type "tuple[*Ts@func4]" in function "func4"
1518
  "tuple[Literal[1], Literal[2]]" is not assignable to "tuple[int]"
1619
    Tuple size mismatch; expected 1 but received 2 (reportArgumentType)
17-
"""
18-
conformance_automated = "Pass"
19-
errors_diff = """
20+
generics_typevartuple_args.py:76:14 - error: Argument of type "tuple[Literal['1']]" cannot be assigned to parameter "args" of type "tuple[*Ts@func4]" in function "func4"
21+
  "Literal['1']" is not assignable to "int" (reportArgumentType)
2022
"""

‎conformance/results/pyright/generics_typevartuple_basic.toml‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,7 @@
1-
conformant = "Pass"
1+
conformance_automated = "Fail"
2+
errors_diff = """
3+
Line 89: Unexpected errors ['generics_typevartuple_basic.py:89:14 - error: Argument of type "tuple[Literal[\\'0\\']]" cannot be assigned to parameter "arg2" of type "tuple[*Ts@func2]" in function "func2"']
4+
"""
25
output = """
36
generics_typevartuple_basic.py:42:34 - error: Argument of type "Height" cannot be assigned to parameter "shape" of type "tuple[*Shape@Array]" in function "__init__"
47
  "Height" is not assignable to "tuple[*Shape@Array]" (reportArgumentType)
@@ -30,6 +33,3 @@ generics_typevartuple_basic.py:100:17 - error: Argument of type "Array[Height, W
3033
generics_typevartuple_basic.py:106:14 - error: Generic class can have at most one TypeVarTuple type parameter but received multiple ("Ts1", "Ts2") (reportGeneralTypeIssues)
3134
generics_typevartuple_basic.py:106:29 - error: Type argument list can have at most one unpacked TypeVarTuple or tuple (reportInvalidTypeForm)
3235
"""
33-
conformance_automated = "Pass"
34-
errors_diff = """
35-
"""

‎conformance/results/results.html‎

Lines changed: 8 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -371,16 +371,16 @@ <h3>Python Type System Conformance Test Results</h3>
371371
<th class="column col2 conformant">Pass</th>
372372
</tr>
373373
<tr><th class="column col1">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;generics_typevartuple_args</th>
374-
<th class="column col2 partially-conformant"><div class="hover-text">Partial<span class="tooltip-text" id="bottom"><p>Does not enforce that tuples captured by TypeVarTuple are same type.</p></span></div></th>
375-
<th class="column col2 conformant">Pass</th>
376-
<th class="column col2 conformant">Pass</th>
377-
<th class="column col2 conformant">Pass</th>
374+
<th class="column col2 partially-conformant"><div class="hover-text">Partial<span class="tooltip-text" id="bottom"><p>Does not enforce that tuples captured by TypeVarTuple are of the same length.</p></span></div></th>
375+
<th class="column col2 not-conformant">Unknown</th>
376+
<th class="column col2 not-conformant">Unknown</th>
377+
<th class="column col2 conformant"><div class="hover-text">Pass*<span class="tooltip-text" id="bottom"><p>Does not correctly solve TypeVarTuple with heterogeneous bounds.</p></span></div></th>
378378
</tr>
379379
<tr><th class="column col1">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;generics_typevartuple_basic</th>
380-
<th class="column col2 partially-conformant"><div class="hover-text">Partial<span class="tooltip-text" id="bottom"><p>Does not enforce that tuples captured by TypeVarTuple are same length.</p><p>Does not enforce that tuples captured by TypeVarTuple are same type.</p></span></div></th>
381-
<th class="column col2 conformant">Pass</th>
382-
<th class="column col2 conformant">Pass</th>
383-
<th class="column col2 partially-conformant"><div class="hover-text">Partial<span class="tooltip-text" id="bottom"><p>TypeVarTuple is pinned too early when calling generic function</p></span></div></th>
380+
<th class="column col2 partially-conformant"><div class="hover-text">Partial<span class="tooltip-text" id="bottom"><p>Does not enforce that tuples captured by TypeVarTuple are same length.</p></span></div></th>
381+
<th class="column col2 not-conformant">Unknown</th>
382+
<th class="column col2 not-conformant"><div class="hover-text">Unknown<span class="tooltip-text" id="bottom"><p>Does not correctly solve TypeVarTuple with heterogeneous bounds.</p></span></div></th>
383+
<th class="column col2 partially-conformant"><div class="hover-text">Partial<span class="tooltip-text" id="bottom"><p>TypeVarTuple is pinned too early when calling generic function.</p></span></div></th>
384384
</tr>
385385
<tr><th class="column col1">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;generics_typevartuple_callable</th>
386386
<th class="column col2 conformant">Pass</th>

‎conformance/results/zuban/generics_typevartuple_args.toml‎

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,6 @@
1-
conformance_automated = "Pass"
1+
conformance_automated = "Fail"
22
errors_diff = """
3+
Line 76: Unexpected errors ['generics_typevartuple_args.py:76: error: Argument 2 to "func4" has incompatible type "tuple[Literal[\\'1\\']]"; expected "tuple[int]" [arg-type]']
34
"""
45
output = """
56
generics_typevartuple_args.py:33: error: Argument 3 to "exec_le" has incompatible type "str"; expected "Env" [arg-type]
@@ -11,4 +12,5 @@ generics_typevartuple_args.py:59: error: Too few arguments for "func2" [call-ar
1112
generics_typevartuple_args.py:59: error: Argument 1 to "func2" has incompatible type "str"; expected "int" [arg-type]
1213
generics_typevartuple_args.py:67: error: Too few arguments for "func3" [call-arg]
1314
generics_typevartuple_args.py:75: error: Argument 2 to "func4" has incompatible type "tuple[Literal[1], int]"; expected "tuple[int]" [arg-type]
15+
generics_typevartuple_args.py:76: error: Argument 2 to "func4" has incompatible type "tuple[Literal['1']]"; expected "tuple[int]" [arg-type]
1416
"""

‎conformance/results/zuban/generics_typevartuple_basic.toml‎

Lines changed: 5 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,9 @@
1-
conformance_automated = "Pass"
1+
conformance_automated = "Fail"
2+
notes = """
3+
Does not correctly solve TypeVarTuple with heterogeneous bounds.
4+
"""
25
errors_diff = """
6+
Line 89: Unexpected errors ['generics_typevartuple_basic.py:89: error: Argument 2 to "func2" has incompatible type "tuple[Literal[\\'0\\']]"; expected "tuple[int]" [arg-type]']
37
"""
48
output = """
59
generics_typevartuple_basic.py:42: error: Argument 1 to "Array" has incompatible type "Height"; expected "tuple[Height, Width]" [arg-type]

‎conformance/tests/generics_typevartuple_basic.py‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -54,7 +54,7 @@ def __init__(self, shape: tuple[Shape]): # E: not unpacked
5454
self._shape: tuple[*Shape] = shape
5555

5656
def get_shape(self) -> tuple[Shape]: # E: not unpacked
57-
...
57+
raise NotImplementedError
5858

5959
def method1(*args: Shape) -> None: # E: not unpacked
6060
...

0 commit comments

Comments
 (0)