| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: python313-ty | Distribution: openSUSE Tumbleweed |
| Version: 0.0.56 | Vendor: openSUSE |
| Release: 1.1 | Build date: Sun Jul 5 16:45:50 2026 |
| Group: Unspecified | Build host: reproducible |
| Size: 24446538 | Source RPM: python-ty-0.0.56-1.1.src.rpm |
| Packager: https://bugs.opensuse.org | |
| Url: https://github.com/astral-sh/ty | |
| Summary: An extremely fast Python type checker and language server, written in Rust | |
An extremely fast Python type checker and language server, written in Rust.
MIT
* Sun Jul 05 2026 Dirk Müller <dmueller@suse.com>
- update to 0.0.56:
* Avoid MRO cycle when collecting NamedTuple fields
* Model `int` and `str` enum value normalization
* Prefer reflected operators by runtime class
* Exit with status 130 when interrupted
* Avoid exponential OR-pattern reachability
* Reduce bound typevar identity overhead
* Infer generic class pattern capture types
* Narrow exact tuples through sequence patterns
* Recognize inherited enum member constructors
* Respect return-context inference when filtering overloads
* Sync vendored typeshed stubs (#26501). Typeshed diff
- update to 0.0.54:
* Avoid duplicate configuration error output
* Avoid stack overflows in reachability analysis
* Fix divergent recursive tuple cycle handling in ty
* Fix panic from relation queries during cycle recovery
* Fix panics by reverting recursive `TypeOf` cycle recovery
* Support basic usages of `__class__` closure cells in methods
* Fix typealias token classification inconsistency
* Implement rust-analyzer's "Click for full compiler
diagnostic" feature
* Co-locate retained definition usage state
* Use never-change durability for immutable file inputs
* Reject undeclared protocol instance attributes
* Allow replacing ordinary methods with compatible functions
* Distinguish `typing.TypedDict` from
`typing_extensions.TypedDict`
* Don't treat non-empty ranges as single-valued
* Handle TypeVar bounds over `type[...]` in attribute lookup
* Infer definite equality comparison results
* Infer mismatched literal comparisons
* `match` statements: make class-pattern fallthrough member-
aware
* `match` statements: prove TypedDict structural patterns
exhaustive
* `match` statements: resolve positional class-pattern
exhaustiveness
* Model non-exhaustive enum member sets (`enum.Flag`s)
* Reduce retained definition map storage
* Reuse equality semantics for membership compatibility
* Sync vendored typeshed stubs to support `builtins.sentinel`
* Treat non-empty `range` calls as non-empty for reachability
* Use assignability for divergent constraints
* Widen inferred class-valued instance attributes
- update to 0.0.53:
* Avoid bypassing lazy constraints for `Divergent`
* Avoid recursion when projecting narrowing constraints
* Fix ParamSpec callable signature extraction for callable
instances
* Make multi-arm `TypeOf` cycle recovery monotonic
* Document all special forms in `ty_extensions`
* Avoid cloning fallback condition flow snapshots
* Avoid constructing discarded speculative diagnostics
* Avoid path lookups when sorting same-file diagnostics
* Cache `is_never_satisfied` results
* Defer applying type context to simple standalone expressions
* Infer types for names bound in match patterns
* Preserve regular kind for callable instances
* Simplify intersections of invariant generic types with `Any`
specializations
- update to 0.0.52:
* Avoid shadowing hints for attribute assignments
* Fix dict.pop overloads to accept arbitrary keys with defaults
* Normalize recursive `TypeOf` across multiple union arms
* Normalize recursive `TypeOf` growth during cycle recovery
* Normalize recursive protocol growth during cycle recovery
* Preserve generic alias identity during cycle recovery
* Recover from dynamic class code generator cycles
* Add a go-to destination for `Divergent`
* Publish diagnostics for all open files after a single file is
saved
* Render Markdown for reStructuredText fields in docstrings on
hover
* Make `error-on-warning` the default
* Make rendering of fix diffs more concise
* Avoid allocating disabled error context trees
* Avoid lookup maps for small place tables
* Avoid moving boxed use-def map builders
* Avoid transient AST ID merge map
* Batch signature typevar freshness scans
* Box large semantic index builders
* Build frozen definition maps directly
* Compact use-def binding interner keys
* Consume condition flow snapshots
* Lazily allocate reachability caches
* Remove redundant use-def state shrinking
* Reuse the first union bindings buffer
* Short-circuit terminal narrowing constraints
* Solve simple constraint conjunctions directly
* Store cycle-detector cache entries inline
* Stream indexed AST construction
* Suppress discarded TypedDict diagnostics
* Use SmallVec for `CycleDetector::seen`
* Use a SmallVec for seen type aliases
* ### Core type checking
* Raise limit for number of non-recursive union literals
* Preserve gradual behavior for explicit Any subclasses
* Preserve metaclasses when inheriting from intersection-typed
bases
* Recognize exhaustive matches over finite tuples
- update to 0.0.51:
* Fix bound TypeVar default cycle recovery
* Support `Annotated[Any, ...]` as a class base
* Suggest keyword-only arguments between variadic parameters
* Avoid assuming classes with `Any` or `Unknown` bases are
descriptors
* Infer simpler types in complex lambda cycles
* Preserve exact class objects during identity narrowing
* Preserve unpacking diagnostics for nested assignment targets
* Compact indexed AST node storage
* Discard dead DNF branches in intersection building
* Remove broken gradual guarantee link
- update to 0.0.50:
* Avoid cross-TypeVar leakage in generic inference
* Fix panic from oscillating collection-use constraints
* Preserve type variables in fixed tuple aliases
* Respect ParamSpec binding contexts
* Show bare `Final` as a special form on hover
* Support options in functional dataclass calls
* Add context-sensitive keyword completions
* Fix wildcard import symbol range
* Highlight decorated methods consistently
* Preserve narrowing after qualified `TYPE_CHECKING`
* Respect client's content format preference
* Retain all diagnostic annotations in the server
* Track unused-binding captures across nested scopes
* Fix override diagnostics for decorated methods
* Improve `duplicate-base` diagnostics
* Reject invalid dataclass flag combinations
* Reject legacy TypeVars in PEP 695 class bases
* Reject legacy TypeVars in PEP 695 functions
* Respect `@no_type_check` in function validation
* Avoid rebuilding unchanged specializations
* Avoid redundant equality intersections
* Avoid retaining empty use-def tables
* Compact retained definition inference extras
* Deduplicate retained scope inference types
* Disable LRU tracking for one-shot checks
* Fast path collection literals with exact type contexts
* Flatten retained declaration states
* Improve flow snapshot performance
* Skip stub package checks in stub-free search paths
* Speed up large-union narrowing
* Speed up module resolution for projects with many search
paths
* Store cumulative binding end offsets
* Use compact frozen representation for narrowing constraints
* Annotate intersection and negation types using `&` and `~`
* Diagnose zero-step slices on lists
* Full-scope bidirectional inference for non-empty collection
literals
* Improve equality-based narrowing for `==`, `!=`, and `match`
* Infer precise values for standard-library enums
* Make equality evaluation cycle-aware
* Narrow equality across IntEnum classes
* Narrow tuple expression match subjects
* Preserve literal types for loop variables over literal
collections
* Preserve negative narrowing for starred sequence patterns
* Preserve non-final types in Hashable unions
* Support enum literals as tagged-union discriminants
* Sync vendored typeshed stubs (#25952). Typeshed diff
* Sync vendored typeshed stubs (#25997). Typeshed diff
* Synthesize NamedTuple `__match_args__`
* Treat assigned enum hooks conservatively
* Validate deprecated warning categories
* Sun Jun 14 2026 Dirk Müller <dmueller@suse.com>
- update to 0.0.49:
* Fix site-package error when multiple versions of Python are
installed in system path
* Point at attribute's binding site in `invalid-await
diagnostic
* Report redefined legacy TypeVars
* Add dedicated TDDs for narrowing constraints
* Avoid caching same-file raw signatures
* Cache reachability evaluations during inference
* Compact retained definition maps
* Omit redundant definition inference owner keys
- update to 0.0.48:
* Avoid redundant constraint saturation work
* Add support for TypedDict `extra_items`
* Improve `closed=True` TypedDict precision
* Require subtyping for transitive constraint pivots
* Sync vendored typeshed stubs (#25828). Typeshed diff
- update to 0.0.47:
* Avoid panicking on encountering a recursive NamedTuple that
references a recursive NewType
* Fix out-of-bound panic in notebooks involving suppression
comments
* Preserve overloads through callable protocol decorators
* Sync vendored typeshed stubs (#25779). Typeshed diff
* Avoid caching specialization-invariant known instances
* Avoid resolving overload sets for ordinary functions
* Store common definition inference results inline
* Use `Box` etc. in `Files`
- update to 0.0.46:
* Avoid crash when hovering over Callable
* Support `Callable()` in match statement class patterns
* Improve support for `enum.property`
- update to 0.0.45:
* Avoid treating dynamic class attributes as instance
attributes
* Fix divergence in recursive inference due to ambiguous
overload
* Preserve literal promotion for mixed bounds
* ### Diagnostics
* Add `missing-type-argument` lint rule
* ### Core type checking
* Add support for narrowing on tuple match cases
* Check implicit open TypedDict extra items
* Create fresh copies of generic callable typevars
* Preserve deprecation on replacement functions
* Preserve intersection receivers during attribute lookup
* Preserve transparent callable decorators
* ### Performance
* Avoid AST load for callable description names
* Avoid caching absent class decorators and type parameters
* Avoid caching atomic type specializations
* Avoid caching constant constraint relations
* Avoid caching missing implicit attributes
* Avoid caching trivial class-header queries
* Avoid caching trivial member lookups
* Bypass member lookup for module imports
* Cache constraint implication checks
* Cache upper-bound satisfiability
* Compact retained function type signatures
* Compact retained use-def bindings
* Consolidate retained narrowing constraints
* Construct trivial constraint sets directly
* Resolve function descriptors directly
* Share code-generator classification across specializations
* Share parameter lists with `Arc`
* Use same-file expression inference in reachability
- update to 0.0.44:
* Avoid treating `sys.implementation.version` like
`sys.version_info`
* Fix anchor point for override diagnostics
* Show type alias value on hover
* Add caching for pattern match narrowing
* Compact retained definition and expression identities
* Reuse expression cache for TypedDict union inference
* Upgrade Salsa
- update to 0.0.43:
* Don't inject `Unknown` from non-callable elements of
intersection call
* Don't needlessly disambiguate the same type alias
* Fix variance inference for nested type aliases
* Ignore rejected member annotations for synthesized bindings
* Normalize dynamic class literals in cycle recovery
* Register file roots for first-party search paths
* Treat union-bound typevars like unions for `possibly-missing-
attribute`
* Thu Apr 30 2026 Oliver Kurz <okurz@suse.com>
- Fix build for Leap 16.1
* Sun Mar 29 2026 Dirk Müller <dmueller@suse.com>
- update to 0.0.26:
* Prevent "too many cycle iteration" panics in more situations
* Fix false positives and false negatives when unpacking a
union of tuples into a function call
* Add support for `typing.Concatenate`
* Validate the return type of generator functions
* Support dataclass field `converter`s
* Disallow `Self` in metaclass and static methods
* Improve call inference for keyword-only `dict()`
* Respect non-explicitly defined `dataclass_transform` params
* Unconditionally silence diagnostics in unreachable code
* Respect terminal-function-call narrowing in global scope
* Fix performance regression for narrowing on a larger
`Literal` type
- update to 0.0.25:
* Support `type:ignore[ty:code]` suppressions
* Avoid eager TypedDict diagnostics in `TypedDict | dict`
unions
* Fix Salsa panic propagation
* Fix folding ranges of comments separated by statements
* Fix loop-header reachability cycles in conditional unpacking
* Fix subtyping of intersections containing `NewType`s of
unions vs. unions
* Fix untracked reads in Salsa queries that can lead to
backdating panics
* Prevent tainted loop bindings in cycle normalization
* Simplify an intersection of `N & ~T` to `Never` if `B & ~T`
would simplify to `Never`, where `B` is the concrete base
type of a `NewType` `N`
- update to 0.0.24:
* Ensure `TypedDict` subscripts for unknown keys return
`Unknown`
* Fix overflow with recursive `TypeIs`
* Fix variance of frozen dataclass-transform models
* Improve semantic token classification for attribute access on
union types
- update to 0.0.23:
* Fix false-positive diagnostics for PEP-604 union annotations
on attribute targets on Python 3.9 when `from __future__
import annotations` is active
* `dataclass_transform`: Respect `kw_only` overwrites in
dataclasses
* Fix too-many-cycle panics when inferring loop variables with
`Literal` types
* Fix folding range classification of lines starting with `#`
* Fix folding ranges for notebooks
* ### Core type checking
* Split errors for possibly missing submodules into a new
`possibly-missing-submodule` error code (enabled by default),
and make `possibly-missing-attribute` ignored by default
* Improve handling of bidirectional inference when
* Fix inference of conditionally defined properties
- update to 0.0.21:
* Avoid stack overflow with recursive typevar
* Fix panic on incomplete except handlers
* Allow unions of different-length iterables in `*args`
unpacking into optional positional parameters
* Don't replace `Any` attributes with `object` after
`isinstance` narrowing
* Exclude decorators from class/def code folding
* Fix handling of non-Python text documents
- update to 0.0.20:
* Disallow negative narrowing for `isinstance()` or
`issubclass()` checks involving `type[]` types
* Fix binary operations between an instance of a `NewType` of
`float` and an instance of `Any`/`Unknown`
* Fix bug where ty would think that a `Callable` with a
variadic positional parameter could be a subtype of a
`Callable` with a positional-or-keyword parameter
* Fix inference of `t.__mro__` if `t` is an instance of
`type[Any]`
* Fix overloaded callable assignability for unary `Callable`
targets
* Limit recursion depth when displaying self-referential
function types
* Ensure that `python -m ty` works even when ty was installed
into an ephemeral virtual environment
* Thu Feb 26 2026 Oliver Kurz <okurz@suse.com>
- Add support to build for Leap 16.0 with rust1.90
* Sat Feb 21 2026 Oliver Kurz <okurz@suse.de>
- Initial package for python-ty version 0.0.4
/usr/bin/ty /usr/bin/ty-3.13 /usr/lib64/python3.13/site-packages/ty /usr/lib64/python3.13/site-packages/ty-0.0.56.dist-info /usr/lib64/python3.13/site-packages/ty-0.0.56.dist-info/INSTALLER /usr/lib64/python3.13/site-packages/ty-0.0.56.dist-info/METADATA /usr/lib64/python3.13/site-packages/ty-0.0.56.dist-info/RECORD /usr/lib64/python3.13/site-packages/ty-0.0.56.dist-info/REQUESTED /usr/lib64/python3.13/site-packages/ty-0.0.56.dist-info/WHEEL /usr/lib64/python3.13/site-packages/ty-0.0.56.dist-info/licenses /usr/lib64/python3.13/site-packages/ty-0.0.56.dist-info/licenses/LICENSE /usr/lib64/python3.13/site-packages/ty/__init__.py /usr/lib64/python3.13/site-packages/ty/__main__.py /usr/lib64/python3.13/site-packages/ty/__pycache__ /usr/lib64/python3.13/site-packages/ty/__pycache__/__init__.cpython-313.opt-1.pyc /usr/lib64/python3.13/site-packages/ty/__pycache__/__init__.cpython-313.pyc /usr/lib64/python3.13/site-packages/ty/__pycache__/__main__.cpython-313.opt-1.pyc /usr/lib64/python3.13/site-packages/ty/__pycache__/__main__.cpython-313.pyc /usr/lib64/python3.13/site-packages/ty/__pycache__/_find_ty.cpython-313.opt-1.pyc /usr/lib64/python3.13/site-packages/ty/__pycache__/_find_ty.cpython-313.pyc /usr/lib64/python3.13/site-packages/ty/_find_ty.py /usr/lib64/python3.13/site-packages/ty/py.typed /usr/share/libalternatives/ty /usr/share/libalternatives/ty/1313.conf
Generated by rpm2html 1.8.1
Fabrice Bellet, Sun Aug 2 03:56:04 2026