Skip to content

Update ty results for v0.0.48 #2303

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
carljm merged 1 commit into from
Jun 10, 2026
Merged

Update ty results for v0.0.48 #2303

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 3 additions & 3 deletions conformance/results/results.html
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -182,7 +182,7 @@ <h3>Python Type System Conformance Test Results</h3>
</th>
<th class='tc-header'><div class='tc-name'>pycroscope 0.4.0</div>
</th>
<th class='tc-header'><div class='tc-name'>ty 0.0.40</div>
<th class='tc-header'><div class='tc-name'>ty 0.0.48</div>
</th>
</tr>
<tr><th class="column" colspan="7">
Expand Down Expand Up @@ -832,7 +832,7 @@ <h3>Python Type System Conformance Test Results</h3>
<th class="column col2 conformant">Pass</th>
<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></span></div></th>
<th class="column col2 conformant">Pass</th>
<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>
<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 ignore `__init__` when `__new__` returns `Any`.</p><p>Unions overload return types.</p></span></div></th>
</tr>
<tr><th class="column col1">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;constructors_consistency</th>
<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>
Expand Down Expand Up @@ -1052,7 +1052,7 @@ <h3>Python Type System Conformance Test Results</h3>
<th class="column col2 conformant">Pass</th>
<th class="column col2 conformant">Pass</th>
<th class="column col2 conformant">Pass</th>
<th class="column col2 not-conformant">Unsupported</th>
<th class="column col2 conformant">Pass</th>
</tr>
<tr><th class="column col1">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;typeddicts_final</th>
<th class="column col2 conformant">Pass</th>
Expand Down
4 changes: 2 additions & 2 deletions conformance/results/ty/callables_annotation.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -14,11 +14,11 @@ callables_annotation.py:29:5: error[missing-argument] No arguments provided for
callables_annotation.py:29:8: error[unknown-argument] Argument `a` does not match any known parameter
callables_annotation.py:29:13: error[unknown-argument] Argument `b` does not match any known parameter
callables_annotation.py:35:8: error[too-many-positional-arguments] Too many positional arguments: expected 0, got 1
callables_annotation.py:55:5: error[invalid-type-form] Special form `typing.Callable` expected exactly two arguments (parameter types and return type)
callables_annotation.py:55:5: error[invalid-type-form] Special form `Callable` expected exactly two arguments (parameter types and return type)
callables_annotation.py:55:14: error[invalid-type-form] The first argument to `Callable` must be either a list of types, ParamSpec, Concatenate, or `...`
callables_annotation.py:56:14: error[invalid-type-form] The first argument to `Callable` must be either a list of types, ParamSpec, Concatenate, or `...`
callables_annotation.py:57:18: error[invalid-type-form] List literals are not allowed in this context in a type expression: Did you mean `list[int]`?
callables_annotation.py:58:5: error[invalid-type-form] Special form `typing.Callable` expected exactly two arguments (parameter types and return type)
callables_annotation.py:58:5: error[invalid-type-form] Special form `Callable` expected exactly two arguments (parameter types and return type)
callables_annotation.py:58:14: error[invalid-type-form] The first argument to `Callable` must be either a list of types, ParamSpec, Concatenate, or `...`
callables_annotation.py:59:14: error[invalid-type-form] `[...]` is not a valid parameter list for `Callable`: Did you mean `Callable[..., int]`?
callables_annotation.py:91:7: error[invalid-assignment] Object of type `def test_cb2() -> str` is not assignable to `(int, /, *args: Any, **kwargs: Any) -> str`
Expand Down
7 changes: 1 addition & 6 deletions conformance/results/ty/constructors_callable.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,16 +2,13 @@ conformance_automated = "Fail"
conformant = "Partial"
notes = """
Does not include `__init__` when `__new__` returns `Self`.
Does not respect `NoReturn` return type on metaclass `__call__`.
Does not ignore `__init__` when `__new__` returns `Any`.
Unions overload return types.
"""
errors_diff = """
Line 66: Expected 1 errors
Line 67: Expected 1 errors
Line 68: Expected 1 errors
Line 102: Unexpected errors ['constructors_callable.py:102:5: error[type-assertion-failure] Type `Unknown` does not match asserted type `Never`']
Line 107: Unexpected errors ['constructors_callable.py:107:5: error[type-assertion-failure] Type `Unknown` does not match asserted type `Never`']
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'>`"]
Line 145: Unexpected errors ['constructors_callable.py:145:1: error[type-assertion-failure] Type `Any | Class6Any` does not match asserted type `Any`']
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]`']
Expand All @@ -29,9 +26,7 @@ constructors_callable.py:79:13: info[revealed-type] Revealed type: `(x: int) ->
constructors_callable.py:81:1: error[missing-argument] No argument provided for required parameter `x`
constructors_callable.py:82:1: error[missing-argument] No argument provided for required parameter `x`
constructors_callable.py:82:4: error[unknown-argument] Argument `y` does not match any known parameter
constructors_callable.py:99:13: info[revealed-type] Revealed type: `(...) -> Unknown`
constructors_callable.py:102:5: error[type-assertion-failure] Type `Unknown` does not match asserted type `Never`
constructors_callable.py:107:5: error[type-assertion-failure] Type `Unknown` does not match asserted type `Never`
constructors_callable.py:99:13: info[revealed-type] Revealed type: `(...) -> Never`
constructors_callable.py:127:13: info[revealed-type] Revealed type: `() -> Class6Proxy`
constructors_callable.py:129:4: error[too-many-positional-arguments] Too many positional arguments: expected 0, got 1
constructors_callable.py:143:27: error[invalid-argument-type] Argument to function `accepts_callable` is incorrect: Expected `() -> Any | Class6Any`, found `<class 'Class6Any'>`
Expand Down
2 changes: 1 addition & 1 deletion conformance/results/ty/generics_self_usage.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,7 @@ generics_self_usage.py:76:6: error[invalid-type-form] Variable of type `<special
generics_self_usage.py:87:16: error[invalid-return-type] Return type does not match returned value: expected `Self@return_concrete_type`, found `Foo3`
generics_self_usage.py:103:15: error[invalid-type-form] Variable of type `<special-form 'typing.Self'>` is not allowed in a type expression
generics_self_usage.py:105:12: error[invalid-base] Invalid class base with type `<special-form 'typing.Self'>`
generics_self_usage.py:108:30: error[invalid-type-form] Variable of type `<special-form 'typing.Self'>` is not allowed in a type alias value
generics_self_usage.py:108:30: error[invalid-type-form] `Self` cannot be used in a type alias
generics_self_usage.py:113:19: error[invalid-type-form] `Self` cannot be used in a static method
generics_self_usage.py:118:31: error[invalid-type-form] `Self` cannot be used in a static method
generics_self_usage.py:118:40: error[invalid-type-form] `Self` cannot be used in a static method
Expand Down
16 changes: 8 additions & 8 deletions conformance/results/ty/tuples_type_compat.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -8,14 +8,14 @@ tuples_type_compat.py:32:10: error[invalid-assignment] Object of type `tuple[int
tuples_type_compat.py:33:10: error[invalid-assignment] Object of type `tuple[int, ...]` is not assignable to `tuple[int]`
tuples_type_compat.py:43:22: error[invalid-assignment] Object of type `tuple[int, ...]` is not assignable to `tuple[int]`
tuples_type_compat.py:62:26: error[invalid-assignment] Object of type `tuple[int, ...]` is not assignable to `tuple[int, int]`
tuples_type_compat.py:75:9: error[type-assertion-failure] Type `tuple[int] | tuple[str, str] | tuple[int, *tuple[str, ...], int]` does not match asserted type `tuple[int]`
tuples_type_compat.py:80:9: error[type-assertion-failure] Type `tuple[int] | tuple[str, str] | tuple[int, *tuple[str, ...], int]` does not match asserted type `tuple[str, str] | tuple[int, int]`
tuples_type_compat.py:85:9: error[type-assertion-failure] Type `tuple[int] | tuple[str, str] | tuple[int, *tuple[str, ...], int]` does not match asserted type `tuple[int, str, int]`
tuples_type_compat.py:101:13: error[type-assertion-failure] Type `tuple[int] | tuple[str, str] | tuple[int, *tuple[str, ...], int]` does not match asserted type `tuple[int]`
tuples_type_compat.py:106:13: error[type-assertion-failure] Type `tuple[int] | tuple[str, str] | tuple[int, *tuple[str, ...], int]` does not match asserted type `tuple[str, str] | tuple[int, int]`
tuples_type_compat.py:111:13: error[type-assertion-failure] Type `tuple[int] | tuple[str, str] | tuple[int, *tuple[str, ...], int]` does not match asserted type `tuple[int, str, int]`
tuples_type_compat.py:126:13: error[type-assertion-failure] Type `tuple[int | str, int | str]` does not match asserted type `tuple[int | str, str]`
tuples_type_compat.py:129:13: error[type-assertion-failure] Type `tuple[int | str, int | str]` does not match asserted type `tuple[int | str, int]`
tuples_type_compat.py:75:9: error[type-assertion-failure] Type `tuple[int] | (tuple[int, *tuple[str, ...], int] & ExactlySized[Literal[1, True]])` does not match asserted type `tuple[int]`
tuples_type_compat.py:80:9: error[type-assertion-failure] Type `tuple[str, str] | (tuple[int, *tuple[str, ...], int] & ExactlySized[Literal[2]])` does not match asserted type `tuple[str, str] | tuple[int, int]`
tuples_type_compat.py:85:9: error[type-assertion-failure] Type `tuple[int, *tuple[str, ...], int] & ExactlySized[Literal[3]]` does not match asserted type `tuple[int, str, int]`
tuples_type_compat.py:101:13: error[type-assertion-failure] Type `tuple[int] | (tuple[int, *tuple[str, ...], int] & <Protocol with members '__getitem__', '__len__'>)` does not match asserted type `tuple[int]`
tuples_type_compat.py:106:13: error[type-assertion-failure] Type `tuple[str, str] | (tuple[int, *tuple[str, ...], int] & <Protocol with members '__getitem__', '__len__'> & ~<Protocol with members '__getitem__', '__len__'>)` does not match asserted type `tuple[str, str] | tuple[int, int]`
tuples_type_compat.py:111:13: error[type-assertion-failure] Type `tuple[int, *tuple[str, ...], int] & <Protocol with members '__getitem__', '__len__'> & ~<Protocol with members '__getitem__', '__len__'> & ~<Protocol with members '__getitem__', '__len__'>` does not match asserted type `tuple[int, str, int]`
tuples_type_compat.py:126:13: error[type-assertion-failure] Type `tuple[int | str, int | str] & <Protocol with members '__getitem__', '__len__'>` does not match asserted type `tuple[int | str, str]`
tuples_type_compat.py:129:13: error[type-assertion-failure] Type `tuple[int | str, int | str] & ~<Protocol with members '__getitem__', '__len__'>` does not match asserted type `tuple[int | str, int]`
tuples_type_compat.py:157:6: error[invalid-assignment] Object of type `tuple[Literal[1], Literal[""], Literal[""]]` is not assignable to `tuple[int, str]`
tuples_type_compat.py:162:6: error[invalid-assignment] Object of type `tuple[Literal[1], Literal[1], Literal[""]]` is not assignable to `tuple[int, *tuple[str, ...]]`
tuples_type_compat.py:163:6: error[invalid-assignment] Object of type `tuple[Literal[1], Literal[""], Literal[1]]` is not assignable to `tuple[int, *tuple[str, ...]]`
Expand Down
Loading