Commit eebe422
authored
⬆️🐍 Update dependency ty to v0.0.31 (#896)
This PR contains the following updates:
| Package | Change |
[Age](https://docs.renovatebot.com/merge-confidence/) |
[Confidence](https://docs.renovatebot.com/merge-confidence/) |
|---|---|---|---|
| [ty](https://redirect.github.com/astral-sh/ty)
([changelog](https://redirect.github.com/astral-sh/ty/blob/main/CHANGELOG.md))
| `==0.0.29` → `==0.0.31` |

|

|
---
### Release Notes
<details>
<summary>astral-sh/ty (ty)</summary>
###
[`v0.0.31`](https://redirect.github.com/astral-sh/ty/blob/HEAD/CHANGELOG.md#0031)
[Compare
Source](https://redirect.github.com/astral-sh/ty/compare/0.0.30...0.0.31)
Released on 2026-04-15.
##### Bug fixes
- Avoid panic from double inference for `namedtuple(typename=T,
field_names=x, **{})`
([#​24641](https://redirect.github.com/astral-sh/ruff/pull/24641))
- Avoid panic from double inference with missing functional `Enum(...)`
names
([#​24638](https://redirect.github.com/astral-sh/ruff/pull/24638))
- Avoid panic from double inference with functional `Enum(value=...)`
([#​24639](https://redirect.github.com/astral-sh/ruff/pull/24639))
- Fix cases where `invalid-key` fix doesn't converge, and
`override-of-final-method` produces invalid syntax
([#​24649](https://redirect.github.com/astral-sh/ruff/pull/24649))
- Fix unnecessary `ty:ignore` comments inserted by `--add-ignore` for
diagnostics starting on the same line
([#​24651](https://redirect.github.com/astral-sh/ruff/pull/24651))
##### CLI
- Add `--fix` mode to enable auto-fix for diagnostics
([#​24097](https://redirect.github.com/astral-sh/ruff/pull/24097))
##### Performance
- Avoid excessive memory usage for dataclasses with many fields
([#​24620](https://redirect.github.com/astral-sh/ruff/pull/24620))
##### Core type checking
- Check inherited `NamedTuple` field conflicts
([#​24542](https://redirect.github.com/astral-sh/ruff/pull/24542))
- Error when duplicate keywords are provided to TypedDict constructors
([#​24449](https://redirect.github.com/astral-sh/ruff/pull/24449))
- Respect mixed positional and keyword arguments in TypedDict
constructor
([#​24448](https://redirect.github.com/astral-sh/ruff/pull/24448))
- Respect subclass shadowing for inherited NamedTuple fields
([#​24640](https://redirect.github.com/astral-sh/ruff/pull/24640))
- Skip `EnumMeta.__call__` for enum constructor signatures
([#​24513](https://redirect.github.com/astral-sh/ruff/pull/24513))
##### Contributors
- [@​sharkdp](https://redirect.github.com/sharkdp)
- [@​Glyphack](https://redirect.github.com/Glyphack)
- [@​MichaReiser](https://redirect.github.com/MichaReiser)
- [@​charliermarsh](https://redirect.github.com/charliermarsh)
###
[`v0.0.30`](https://redirect.github.com/astral-sh/ty/blob/HEAD/CHANGELOG.md#0030)
[Compare
Source](https://redirect.github.com/astral-sh/ty/compare/0.0.29...0.0.30)
Released on 2026-04-13.
As of v0.0.30, ty no longer unions `Unknown` into most inferred types of
unannotated attributes. For example:
```python
class Foo:
def __init__(self) -> None:
self.value = 1
reveal_type(Foo().value) # revealed: int
Foo().value = "x" # error: [invalid-assignment]
```
In previous versions, `reveal_type(Foo().value)` would have included
`Unknown`, so the assignment to `"x"` would not have been flagged. Since
this can affect inferred attribute types throughout a codebase,
upgrading may lead to both new and resolved diagnostics. Initializers of
`None` and other non-literal singleton types remain exceptions. See
[#​24531](https://redirect.github.com/astral-sh/ruff/pull/24531)
for details.
##### Bug fixes
- Disallow bare `ParamSpec` in `Concatenate` prefixes
([#​24474](https://redirect.github.com/astral-sh/ruff/pull/24474))
- Ensure '/' parameter appears before '\*' when rendering `Callable`
types
([#​24497](https://redirect.github.com/astral-sh/ruff/pull/24497))
- Ensure nested conditional blocks inherit `TYPE_CHECKING` state from
outer blocks
([#​24470](https://redirect.github.com/astral-sh/ruff/pull/24470))
- Fix bad diagnostic range for incorrect implicit `__init_subclass__`
calls
([#​24541](https://redirect.github.com/astral-sh/ruff/pull/24541))
- Fix incorrect assignability of `type[T]` to a metaclass
([#​24515](https://redirect.github.com/astral-sh/ruff/pull/24515))
- Fix stack overflows from recursive types
([#​24413](https://redirect.github.com/astral-sh/ruff/pull/24413))
- Server: fix signature help for `ParamSpec`-specialized class calls
([#​24399](https://redirect.github.com/astral-sh/ruff/pull/24399))
- Use `TypedDict` field types as type context to inform the inference of
arguments passed to `TypedDict` constructors
([#​24422](https://redirect.github.com/astral-sh/ruff/pull/24422))
##### LSP server
- Adjust semantic tokens implementation to ensure that type alias values
have "type form" syntax highlighting in IDEs
([#​24478](https://redirect.github.com/astral-sh/ruff/pull/24478))
- Completions: rank symbols from `typing` and `collections` higher than
third party re-exports
([#​23643](https://redirect.github.com/astral-sh/ruff/pull/23643))
- Ignore unsupported editor-selected Python versions
([#​24498](https://redirect.github.com/astral-sh/ruff/pull/24498))
- Improve `TypedDict` constructor support in the LSP by synthesizing
`__init__`
([#​24476](https://redirect.github.com/astral-sh/ruff/pull/24476),
[#​24522](https://redirect.github.com/astral-sh/ruff/pull/24522),
[#​24535](https://redirect.github.com/astral-sh/ruff/pull/24535))
- Return all attribute definitions for goto definition, rather than just
the last definition in the given scope
([#​24332](https://redirect.github.com/astral-sh/ruff/pull/24332))
- Show `info` subdiagnostics in LSP diagnostic messages
([#​24328](https://redirect.github.com/astral-sh/ruff/pull/24328))
- Use the context of the kind of object a parameter is expected to
receive to inform syntax highlighting of arguments passed to call
expressions
([#​23949](https://redirect.github.com/astral-sh/ruff/pull/23949))
##### Diagnostics
- Hide "Rule xyz is enabled"-style hints unless verbose mode was
specified
([#​24469](https://redirect.github.com/astral-sh/ruff/pull/24469))
- Improve consistency of pedantic lints complaining about badly named
types
([#​24575](https://redirect.github.com/astral-sh/ruff/pull/24575))
- Point to the first *reachable* declaration, rather than the first
declaration, in declaration-based diagnostics
([#​24564](https://redirect.github.com/astral-sh/ruff/pull/24564))
##### Core type checking
- Add support for functional `Enum(...)` syntax
([#​23602](https://redirect.github.com/astral-sh/ruff/pull/23602),
[#​24570](https://redirect.github.com/astral-sh/ruff/pull/24570),
[#​24571](https://redirect.github.com/astral-sh/ruff/pull/24571))
- Allow `Final` variable assignments in `__post_init__`
([#​24529](https://redirect.github.com/astral-sh/ruff/pull/24529))
- Allow partially stringified `type[...]` annotations, e.g.
`type["MyClass"]`
([#​24518](https://redirect.github.com/astral-sh/ruff/pull/24518))
- Emit a diagnostic when attempting to inherit from a class with
`__init_subclass__ = None`
([#​24543](https://redirect.github.com/astral-sh/ruff/pull/24543))
- Fix `TypeGuard` and `TypeIs` narrowing for unbound method calls
([#​24612](https://redirect.github.com/astral-sh/ruff/pull/24612))
- Fix assignability of intersections with bounded TypeVars
([#​24502](https://redirect.github.com/astral-sh/ruff/pull/24502))
- Fix excess subscript argument inference for non-generic types so that
`list[int][0]` leads to 1 diagnostic, rather than 2
([#​24354](https://redirect.github.com/astral-sh/ruff/pull/24354))
- Inherit `dataclass_transform` metadata from metaclass bases
([#​24615](https://redirect.github.com/astral-sh/ruff/pull/24615))
- Lazily evaluate declaration reachability in field and enum filters
([#​24451](https://redirect.github.com/astral-sh/ruff/pull/24451))
- Normalize explicit `None` accessors in manual property construction
([#​24492](https://redirect.github.com/astral-sh/ruff/pull/24492))
- Reject deleting `Final` attributes
([#​24508](https://redirect.github.com/astral-sh/ruff/pull/24508))
- Respect non-required keys in `TypedDict` unpacking
([#​24446](https://redirect.github.com/astral-sh/ruff/pull/24446))
- Respect property deleters in attribute deletion checks
([#​24500](https://redirect.github.com/astral-sh/ruff/pull/24500))
- Stop special-casing `str` constructor
([#​24514](https://redirect.github.com/astral-sh/ruff/pull/24514))
- Stop unioning `Unknown` into types of un-annotated attributes
([#​24531](https://redirect.github.com/astral-sh/ruff/pull/24531))
- Support `super()` in metaclass methods
([#​24483](https://redirect.github.com/astral-sh/ruff/pull/24483))
- Tighten up a few edge cases in `Concatenate` type-expression parsing
([#​24172](https://redirect.github.com/astral-sh/ruff/pull/24172))
- Use basic blocks for determining if a node is in an `if TYPE_CHECKING`
block
([#​24394](https://redirect.github.com/astral-sh/ruff/pull/24394))
##### Contributors
- [@​charliermarsh](https://redirect.github.com/charliermarsh)
- [@​Glyphack](https://redirect.github.com/Glyphack)
- [@​MichaReiser](https://redirect.github.com/MichaReiser)
- [@​sharkdp](https://redirect.github.com/sharkdp)
- [@​carljm](https://redirect.github.com/carljm)
- [@​YilunAllenChen](https://redirect.github.com/YilunAllenChen)
- [@​zanieb](https://redirect.github.com/zanieb)
- [@​AlexWaygood](https://redirect.github.com/AlexWaygood)
- [@​thejchap](https://redirect.github.com/thejchap)
</details>
---
### Configuration
📅 **Schedule**: (UTC)
- Branch creation
- "every weekend"
- Automerge
- At any time (no schedule defined)
🚦 **Automerge**: Disabled by config. Please merge this manually once you
are satisfied.
♻ **Rebasing**: Whenever PR becomes conflicted, or you tick the
rebase/retry checkbox.
🔕 **Ignore**: Close this PR and you won't be reminded about this update
again.
---
- [ ] <!-- rebase-check -->If you want to rebase/retry this PR, check
this box
---
This PR was generated by [Mend Renovate](https://mend.io/renovate/).
View the [repository job
log](https://developer.mend.io/github/munich-quantum-toolkit/bench).
<!--renovate-debug:eyJjcmVhdGVkSW5WZXIiOiI0My4xMjMuOCIsInVwZGF0ZWRJblZlciI6IjQzLjEyMy44IiwidGFyZ2V0QnJhbmNoIjoibWFpbiIsImxhYmVscyI6WyJkZXBlbmRlbmNpZXMiLCJweXRob24iXX0=-->
Signed-off-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>
Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>1 parent 242e393 commit eebe422
2 files changed
Lines changed: 23 additions & 23 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
79 | 79 | | |
80 | 80 | | |
81 | 81 | | |
82 | | - | |
| 82 | + | |
83 | 83 | | |
84 | 84 | | |
85 | 85 | | |
| |||
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.
0 commit comments