Skip to content

Commit c427147

Browse files
carljmcarljm
committed
update results
1 parent ca473d6 commit c427147

15 files changed

Lines changed: 31 additions & 33 deletions

‎conformance/results/results.html‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -180,7 +180,7 @@ <h3>Python Type System Conformance Test Results</h3>
180180
</th>
181181
<th class='tc-header'><div class='tc-name'>pyrefly 0.54.0</div>
182182
</th>
183-
<th class='tc-header'><div class='tc-name'>ty 0.0.21</div>
183+
<th class='tc-header'><div class='tc-name'>ty 0.0.20</div>
184184
</th>
185185
</tr>
186186
<tr><th class="column" colspan="6">
@@ -743,7 +743,7 @@ <h3>Python Type System Conformance Test Results</h3>
743743
<th class="column col2 conformant">Pass</th>
744744
<th class="column col2 conformant">Pass</th>
745745
<th class="column col2 partially-conformant"><div class="hover-text">Partial<span class="tooltip-text" id="bottom"><p>Converting constructor to callable does not preserve class-scoped type params.</p><p>Converting constructor to callable does not substitute Self in __new__</p><p>Converting constructor to callable uses __new__ signature instead of __init__</p></span></div></th>
746-
<th class="column col2 not-conformant">Unsupported</th>
746+
<th class="column col2 partially-conformant"><div class="hover-text">Partial<span class="tooltip-text" id="bottom"><p>Does not include `__init__` when `__new__` returns `Self`.</p><p>Does not respect `NoReturn` return type on metaclass `__call__`.</p><p>Does not ignore `__init__` when `__new__` returns `Any`.</p><p>Unions overload return types.</p></span></div></th>
747747
</tr>
748748
<tr><th class="column col1">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;constructors_consistency</th>
749749
<th class="column col2 conformant"><div class="hover-text">Pass*<span class="tooltip-text" id="bottom"><p>Does not report inconsistency between __new__ and __init__ (optional).</p></span></div></th>
@@ -1114,7 +1114,7 @@ <h3>Python Type System Conformance Test Results</h3>
11141114
<th class="column col2 conformant"><div class="hover-text">Pass*<span class="tooltip-text" id="bottom"><p>Does not support `_ignore_` mechanism (optional).</p></span></div></th>
11151115
<th class="column col2 conformant">Pass</th>
11161116
<th class="column col2 conformant">Pass</th>
1117-
<th class="column col2 conformant">Pass</th>
1117+
<th class="column col2 not-conformant">Unknown</th>
11181118
</tr>
11191119
<tr><th class="column" colspan="6">
11201120
<a class="test_group" href="https://typing.readthedocs.io/en/latest/spec/narrowing.html">Type narrowing</a>

‎conformance/results/ty/aliases_implicit.toml‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -20,10 +20,10 @@ aliases_implicit.py:78:29: error[invalid-type-arguments] Too many type arguments
2020
aliases_implicit.py:79:29: error[invalid-type-arguments] Too many type arguments: expected 1, got 2
2121
aliases_implicit.py:80:24: error[invalid-type-arguments] Type argument for `ParamSpec` must be either a list of types, `ParamSpec`, `Concatenate`, or `...`
2222
aliases_implicit.py:81:25: error[invalid-type-arguments] Type `str` is not assignable to upper bound `int | float` of type variable `TFloat@GoodTypeAlias12`
23-
aliases_implicit.py:107:9: error[invalid-type-form] Variable of type `list[<class 'int'> | <class 'str'>]` is not allowed in a type expression
23+
aliases_implicit.py:107:9: error[invalid-type-form] Variable of type `list[Unknown | <class 'int'> | <class 'str'>]` is not allowed in a type expression
2424
aliases_implicit.py:108:9: error[invalid-type-form] Variable of type `tuple[tuple[<class 'int'>, <class 'str'>]]` is not allowed in a type expression
25-
aliases_implicit.py:109:9: error[invalid-type-form] Variable of type `list[<class 'int'>]` is not allowed in a type expression
26-
aliases_implicit.py:110:9: error[invalid-type-form] Variable of type `dict[str, str]` is not allowed in a type expression
25+
aliases_implicit.py:109:9: error[invalid-type-form] Variable of type `list[Unknown | <class 'int'>]` is not allowed in a type expression
26+
aliases_implicit.py:110:9: error[invalid-type-form] Variable of type `dict[Unknown | str, Unknown | str]` is not allowed in a type expression
2727
aliases_implicit.py:114:9: error[invalid-type-form] Variable of type `Literal[3]` is not allowed in a type expression
2828
aliases_implicit.py:115:10: error[invalid-type-form] Variable of type `Literal[True]` is not allowed in a type expression
2929
aliases_implicit.py:116:10: error[invalid-type-form] Variable of type `Literal[1]` is not allowed in a type expression

‎conformance/results/ty/aliases_type_statement.toml‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -8,6 +8,8 @@ Does not support `type` statements generic over `TypeVarTuple`s.
88
"""
99
errors_diff = """
1010
Line 56: Expected 1 errors
11+
Line 62: Expected 1 errors
12+
Line 67: Expected 1 errors
1113
Line 84: Expected 1 errors
1214
Lines 51, 52: Expected error (tag 'TA14')
1315
Line 10: Unexpected errors ['aliases_type_statement.py:10:52: error[invalid-type-arguments] Too many type arguments: expected 2, got 3', 'aliases_type_statement.py:10:52: error[invalid-type-form] `...` is not allowed in this context in a type expression']
@@ -27,16 +29,14 @@ aliases_type_statement.py:39:23: error[invalid-type-form] Tuple literals are not
2729
aliases_type_statement.py:40:22: error[invalid-type-form] List comprehensions are not allowed in type expressions
2830
aliases_type_statement.py:41:22: error[invalid-type-form] Dict literals are not allowed in type expressions
2931
aliases_type_statement.py:42:22: error[invalid-type-form] Function calls are not allowed in type expressions
30-
aliases_type_statement.py:43:22: error[invalid-type-form] Invalid subscript of object of type `list[<class 'int'>]` in type expression
32+
aliases_type_statement.py:43:22: error[invalid-type-form] Invalid subscript of object of type `list[Unknown | <class 'int'>]` in type expression
3133
aliases_type_statement.py:43:28: error[invalid-type-form] Int literals are not allowed in this context in a type expression
3234
aliases_type_statement.py:44:22: error[invalid-type-form] `if` expressions are not allowed in type expressions
3335
aliases_type_statement.py:45:22: error[invalid-type-form] Variable of type `Literal[1]` is not allowed in a type expression
3436
aliases_type_statement.py:46:23: error[invalid-type-form] Boolean literals are not allowed in this context in a type expression
3537
aliases_type_statement.py:47:23: error[invalid-type-form] Int literals are not allowed in this context in a type expression
3638
aliases_type_statement.py:48:23: error[invalid-type-form] Boolean operations are not allowed in type expressions
3739
aliases_type_statement.py:49:23: error[fstring-type-annotation] Type expressions cannot use f-strings
38-
aliases_type_statement.py:62:23: error[unbound-type-variable] Type variable `V` is not bound to any outer generic context
39-
aliases_type_statement.py:67:17: error[unbound-type-variable] Type variable `T1` is not bound to any outer generic context
4040
aliases_type_statement.py:77:27: error[invalid-type-arguments] Type `str` is not assignable to upper bound `int` of type variable `S@RecursiveTypeAlias2`
4141
aliases_type_statement.py:79:32: error[invalid-type-arguments] Type `int` is not assignable to upper bound `str` of type variable `T@RecursiveTypeAlias2`
4242
aliases_type_statement.py:82:1: error[cyclic-type-alias-definition] Cyclic definition of `RecursiveTypeAlias3`

‎conformance/results/ty/aliases_typealiastype.toml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -24,7 +24,7 @@ aliases_typealiastype.py:54:43: error[invalid-type-form] Tuple literals are not
2424
aliases_typealiastype.py:55:42: error[invalid-type-form] List comprehensions are not allowed in type expressions
2525
aliases_typealiastype.py:56:42: error[invalid-type-form] Dict literals are not allowed in type expressions
2626
aliases_typealiastype.py:57:42: error[invalid-type-form] Function calls are not allowed in type expressions
27-
aliases_typealiastype.py:58:42: error[invalid-type-form] Invalid subscript of object of type `list[<class 'int'>]` in type expression
27+
aliases_typealiastype.py:58:42: error[invalid-type-form] Invalid subscript of object of type `list[Unknown | <class 'int'>]` in type expression
2828
aliases_typealiastype.py:58:48: error[invalid-type-form] Int literals are not allowed in this context in a type expression
2929
aliases_typealiastype.py:59:42: error[invalid-type-form] `if` expressions are not allowed in type expressions
3030
aliases_typealiastype.py:60:42: error[invalid-type-form] Variable of type `Literal[3]` is not allowed in a type expression

‎conformance/results/ty/annotations_forward_refs.toml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -21,7 +21,7 @@ annotations_forward_refs.py:43:10: error[invalid-type-form] Tuple literals are n
2121
annotations_forward_refs.py:44:10: error[invalid-type-form] List comprehensions are not allowed in type expressions
2222
annotations_forward_refs.py:45:10: error[invalid-type-form] Dict literals are not allowed in type expressions
2323
annotations_forward_refs.py:46:10: error[invalid-type-form] Function calls are not allowed in type expressions
24-
annotations_forward_refs.py:47:10: error[invalid-type-form] Invalid subscript of object of type `list[<class 'int'>]` in type expression
24+
annotations_forward_refs.py:47:10: error[invalid-type-form] Invalid subscript of object of type `list[Unknown | <class 'int'>]` in type expression
2525
annotations_forward_refs.py:47:16: error[invalid-type-form] Int literals are not allowed in this context in a type expression
2626
annotations_forward_refs.py:48:10: error[invalid-type-form] `if` expressions are not allowed in type expressions
2727
annotations_forward_refs.py:49:10: error[invalid-type-form] Variable of type `Literal[1]` is not allowed in a type expression

‎conformance/results/ty/annotations_typeexpr.toml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,7 @@ annotations_typeexpr.py:90:9: error[invalid-type-form] Tuple literals are not al
88
annotations_typeexpr.py:91:9: error[invalid-type-form] List comprehensions are not allowed in type expressions
99
annotations_typeexpr.py:92:9: error[invalid-type-form] Dict literals are not allowed in type expressions
1010
annotations_typeexpr.py:93:9: error[invalid-type-form] Function calls are not allowed in type expressions
11-
annotations_typeexpr.py:94:9: error[invalid-type-form] Invalid subscript of object of type `list[<class 'int'>]` in type expression
11+
annotations_typeexpr.py:94:9: error[invalid-type-form] Invalid subscript of object of type `list[Unknown | <class 'int'>]` in type expression
1212
annotations_typeexpr.py:94:15: error[invalid-type-form] Int literals are not allowed in this context in a type expression
1313
annotations_typeexpr.py:95:9: error[invalid-type-form] `if` expressions are not allowed in type expressions
1414
annotations_typeexpr.py:96:9: error[invalid-type-form] Variable of type `Literal[3]` is not allowed in a type expression

‎conformance/results/ty/constructors_callable.toml‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -10,12 +10,15 @@ errors_diff = """
1010
Line 66: Expected 1 errors
1111
Line 67: Expected 1 errors
1212
Line 68: Expected 1 errors
13+
Line 186: Expected 1 errors
14+
Line 197: Expected 1 errors
1315
Line 102: Unexpected errors ['constructors_callable.py:102:5: error[type-assertion-failure] Type `Unknown` does not match asserted type `Never`']
1416
Line 107: Unexpected errors ['constructors_callable.py:107:5: error[type-assertion-failure] Type `Unknown` does not match asserted type `Never`']
1517
Line 143: Unexpected errors ["constructors_callable.py:143:27: error[invalid-argument-type] Argument to function `accepts_callable` is incorrect: Expected `() -> Any | Class6Any`, found `<class 'Class6Any'>`"]
1618
Line 145: Unexpected errors ['constructors_callable.py:145:1: error[type-assertion-failure] Type `Any | Class6Any` does not match asserted type `Any`']
1719
Line 166: Unexpected errors ['constructors_callable.py:166:1: error[type-assertion-failure] Type `Class7[int] | Class7[str]` does not match asserted type `Class7[int]`']
1820
Line 167: Unexpected errors ['constructors_callable.py:167:1: error[type-assertion-failure] Type `Class7[int] | Class7[str]` does not match asserted type `Class7[str]`']
21+
Line 185: Unexpected errors ['constructors_callable.py:185:1: error[type-assertion-failure] Type `Class8[Unknown | str]` does not match asserted type `Class8[str]`']
1922
"""
2023
output = """
2124
constructors_callable.py:36:13: info[revealed-type] Revealed type: `(x: int) -> Class1`
@@ -42,9 +45,6 @@ constructors_callable.py:164:5: info[revealed-type] Revealed type: `Overload[[T]
4245
constructors_callable.py:166:1: error[type-assertion-failure] Type `Class7[int] | Class7[str]` does not match asserted type `Class7[int]`
4346
constructors_callable.py:167:1: error[type-assertion-failure] Type `Class7[int] | Class7[str]` does not match asserted type `Class7[str]`
4447
constructors_callable.py:184:13: info[revealed-type] Revealed type: `[T](x: list[T], y: list[T]) -> Class8[T]`
45-
constructors_callable.py:186:4: error[invalid-argument-type] Argument is incorrect: Expected `list[int | str]`, found `list[int]`
46-
constructors_callable.py:186:9: error[invalid-argument-type] Argument is incorrect: Expected `list[int | str]`, found `list[str]`
48+
constructors_callable.py:185:1: error[type-assertion-failure] Type `Class8[Unknown | str]` does not match asserted type `Class8[str]`
4749
constructors_callable.py:195:13: info[revealed-type] Revealed type: `[T](x: list[T], y: list[T]) -> Class9`
48-
constructors_callable.py:197:4: error[invalid-argument-type] Argument is incorrect: Expected `list[int | str]`, found `list[int]`
49-
constructors_callable.py:197:9: error[invalid-argument-type] Argument is incorrect: Expected `list[int | str]`, found `list[str]`
5050
"""

‎conformance/results/ty/enums_member_names.toml‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,4 +2,5 @@ conformance_automated = "Pass"
22
errors_diff = """
33
"""
44
output = """
5+
enums_member_names.py:30:5: error[type-assertion-failure] Type `Any` does not match asserted type `Literal["RED", "BLUE", "GREEN"]`
56
"""

‎conformance/results/ty/enums_member_values.toml‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,7 @@ conformance_automated = "Pass"
22
errors_diff = """
33
"""
44
output = """
5+
enums_member_values.py:30:5: error[type-assertion-failure] Type `Any` does not match asserted type `Literal[1, 2, 3]`
56
enums_member_values.py:50:5: error[invalid-assignment] Enum member `MARS` is incompatible with `__init__`
67
enums_member_values.py:51:5: error[invalid-assignment] Enum member `JUPITER` is incompatible with `__init__`
78
enums_member_values.py:54:1: error[type-assertion-failure] Type `Any` does not match asserted type `Literal[1]`

‎conformance/results/ty/enums_members.toml‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
1-
conformance_automated = "Pass"
1+
conformance_automated = "Fail"
22
errors_diff = """
3+
Line 50: Expected 1 errors
34
"""
45
output = """
5-
enums_members.py:50:10: error[invalid-enum-member-annotation] Type annotation on enum member `DOG` is not allowed
66
enums_members.py:82:20: error[invalid-type-form] Type arguments for `Literal` must be `None`, a literal value (int, bool, str, or bytes), or an enum member
77
enums_members.py:83:20: error[invalid-type-form] Type arguments for `Literal` must be `None`, a literal value (int, bool, str, or bytes), or an enum member
88
enums_members.py:84:18: error[invalid-type-form] Type arguments for `Literal` must be `None`, a literal value (int, bool, str, or bytes), or an enum member

0 commit comments

Comments
 (0)