astral-sh/ty

AI Summary: The Docker version of the `ty` tool reports its version as "ty unknown" when queried via `version`, `--version`, or `-V` commands. This contrasts with the `docker image inspect` command, which correctly shows the version `0.0.14` from image labels. The issue also notes that the `ty` LSP client in Neovim similarly reports an "unknown" version, indicating a potential problem with how the `ty` executable itself determines and exposes its version information within its runtime environment.

Complexity: 3/5

help wanted release

astral-sh/ty

19.2K

An extremely fast Python type checker and language server, written in Rust.

Python

Allow running with dev-version (3.15 currently) as target? 6 months ago

help wanted configuration

astral-sh/ty

19.2K

An extremely fast Python type checker and language server, written in Rust.

Python

document the new `all` error selector 6 months ago

documentation help wanted configuration

astral-sh/ty

19.2K

An extremely fast Python type checker and language server, written in Rust.

Python

`inconsistent-mro`: add autofix that moves `Generic[]` to the end of the bases list, if doing so would fix the violation 6 months ago

help wanted fixes

astral-sh/ty

19.2K

An extremely fast Python type checker and language server, written in Rust.

Python

Improve test coverage for iterating over intersections of tuples 6 months ago

help wanted testing

astral-sh/ty

19.2K

An extremely fast Python type checker and language server, written in Rust.

Python

Suppress inlay hints for discarded/dummy variables? 6 months ago

help wanted server

astral-sh/ty

19.2K

An extremely fast Python type checker and language server, written in Rust.

Python

Skip redundancy checks when adding a union to another union 7 months ago

help wanted performance

astral-sh/ty

19.2K

An extremely fast Python type checker and language server, written in Rust.

Python

Improve diagnostics when a variable is declared to have a type from the `numbers` module and an `int`/`float`/`complex` is passed 7 months ago

help wanted diagnostics

astral-sh/ty

19.2K

An extremely fast Python type checker and language server, written in Rust.

Python

Mdtest framework panic on a malformed `# error` assertion 7 months ago

bug help wanted testing

astral-sh/ty

19.2K

An extremely fast Python type checker and language server, written in Rust.

Python

output is overly verbose in some cases 7 months ago

bug help wanted diagnostics

astral-sh/ty

19.2K

An extremely fast Python type checker and language server, written in Rust.

Python

Consolidate `type[]` types in a union when displaying them 7 months ago

help wanted diagnostics

astral-sh/ty

19.2K

An extremely fast Python type checker and language server, written in Rust.

Python

Improve rendering of ReST directives in docstrings 7 months ago

good first issue server

astral-sh/ty

19.2K

An extremely fast Python type checker and language server, written in Rust.

Python

validate TypeIs and TypeGuard definitions 7 months ago

help wanted typing semantics conformance

astral-sh/ty

19.2K

An extremely fast Python type checker and language server, written in Rust.

Python

Add table to documentation mapping mypy/pyright rules to ty rules 7 months ago

documentation help wanted

astral-sh/ty

19.2K

An extremely fast Python type checker and language server, written in Rust.

Python

Reconsider how we display class definitions in the LSP 7 months ago

help wanted server

astral-sh/ty

19.2K

An extremely fast Python type checker and language server, written in Rust.

Python

include type parameters in display of generic callables 7 months ago

good first issue diagnostics generics

astral-sh/ty

19.2K

An extremely fast Python type checker and language server, written in Rust.

Python

Support narrowing using `TypeGuard` 7 months ago

help wanted narrowing typing semantics

astral-sh/ty

19.2K

An extremely fast Python type checker and language server, written in Rust.

Python

Widen JustFloat to `float | int` as part of widening literal types 7 months ago

help wanted

astral-sh/ty

19.2K

An extremely fast Python type checker and language server, written in Rust.

Python

Make the "implicit shadowing" note on `invalid-assignment` additional, don't replace the main message 8 months ago

good first issue help wanted diagnostics

astral-sh/ty

19.2K

An extremely fast Python type checker and language server, written in Rust.

Python

`Literal["abba"]` should be a subtype of `Sequence[Literal["a", "b"]]` 8 months ago

good first issue type properties

astral-sh/ty

19.2K

An extremely fast Python type checker and language server, written in Rust.

Python

Add server setting to disable syntax errors 8 months ago

help wanted server

astral-sh/ty

19.2K

An extremely fast Python type checker and language server, written in Rust.

Python

Fix iteration over intersection types 8 months ago

bug help wanted set-theoretic types

astral-sh/ty

19.2K

An extremely fast Python type checker and language server, written in Rust.

Python

Emit diagnostic when a type variable with a default is followed by one without a default 8 months ago

help wanted diagnostics

astral-sh/ty

19.2K

An extremely fast Python type checker and language server, written in Rust.

Python

Inverse tree query 8 months ago

AI Summary: Implement a Salsa query to create an index that allows efficient retrieval of a node's ancestor chain within a file. This 'Inverse tree query' is essential for features like generating code fixes and supporting Language Server Protocol (LSP) methods. The proposed solution involves building a `ParentMap` for quick lookups, with considerations for potential storage optimizations.

Complexity: 3/5

help wanted

astral-sh/ty

19.2K

An extremely fast Python type checker and language server, written in Rust.

Python

Support double clicking to insert inlay hints in the editor ("bake inlay hints") 9 months ago

help wanted server

astral-sh/ty

19.2K

An extremely fast Python type checker and language server, written in Rust.

Python

add a test for `ty_benchmark` that asserts we have roughly the number of expected errors 9 months ago

help wanted testing

astral-sh/ty

19.2K

An extremely fast Python type checker and language server, written in Rust.

Python

`unsupported-operator`: Improve diagnostic if both sides have the same type 9 months ago

help wanted diagnostics

astral-sh/ty

19.2K

An extremely fast Python type checker and language server, written in Rust.

Python

Prevent cascading diagnostics when using unknown type form 9 months ago

bug help wanted diagnostics

astral-sh/ty

19.2K

An extremely fast Python type checker and language server, written in Rust.

Python

Add literal math support for shift operators 9 months ago

help wanted runtime semantics

astral-sh/ty

19.2K

An extremely fast Python type checker and language server, written in Rust.

Python

add support for inline diagnostic snapshotting for `mdtest` 9 months ago

help wanted diagnostics testing internal

astral-sh/ty

19.2K

An extremely fast Python type checker and language server, written in Rust.

Python

Add subdiagnostic hint for `NotImplemented()` 9 months ago

help wanted diagnostics

astral-sh/ty

19.2K

An extremely fast Python type checker and language server, written in Rust.

Python

Document support for `PYTHONPATH` 9 months ago

documentation help wanted

astral-sh/ty

19.2K

An extremely fast Python type checker and language server, written in Rust.

Python

Mdtest panics with an opaque error message if the last line of an embedded Python file is a `# revealed` assertion 9 months ago

bug help wanted testing

astral-sh/ty

19.2K

An extremely fast Python type checker and language server, written in Rust.

Python

Inconsistent highlighting of builtins 9 months ago

help wanted server

astral-sh/ty

19.2K

An extremely fast Python type checker and language server, written in Rust.

Python

Improve `invalid-argument` diagnostic for union types 10 months ago

help wanted diagnostics

astral-sh/ty

19.2K

An extremely fast Python type checker and language server, written in Rust.

Python

Truncate `Literal` type display in some situations 10 months ago

help wanted diagnostics

astral-sh/ty

19.2K

An extremely fast Python type checker and language server, written in Rust.

Python

Add support for `@type_check_only` 10 months ago

help wanted completions

astral-sh/ty

19.2K

An extremely fast Python type checker and language server, written in Rust.

Python

`dataclass_transform`: Add support for `kw_only_default` and `frozen_default` 10 months ago

good first issue dataclasses

astral-sh/ty

19.2K

An extremely fast Python type checker and language server, written in Rust.

Python

Add memory usage report to the LSP 11 months ago

help wanted server

astral-sh/ty

19.2K

An extremely fast Python type checker and language server, written in Rust.

Python

Support legacy namespace packages 11 months ago

help wanted imports

astral-sh/ty

19.2K

An extremely fast Python type checker and language server, written in Rust.

Python

confusing diagnostics for positional-only parameter supplied as keyword argument 11 months ago

help wanted diagnostics

astral-sh/ty

19.2K

An extremely fast Python type checker and language server, written in Rust.

Python

Changes to an enum's `__ne__` still affects the `__eq__` for type narrowing 11 months ago

good first issue narrowing

astral-sh/ty

19.2K

An extremely fast Python type checker and language server, written in Rust.

Python

Confusing naming `unbound` for methods 11 months ago

help wanted diagnostics

astral-sh/ty

19.2K

An extremely fast Python type checker and language server, written in Rust.

Python

`NamedTuple`-specific methods not part of auto-completions 11 months ago

good first issue server

astral-sh/ty

19.2K

An extremely fast Python type checker and language server, written in Rust.

Python

Incomplete equivalence of `*args, **kwargs` signature to `...` signature 11 months ago

bug help wanted type properties

astral-sh/ty

19.2K

An extremely fast Python type checker and language server, written in Rust.

Python

eliminate definitely-impossible types from union in equality narrowing 11 months ago

help wanted narrowing

astral-sh/ty

19.2K

An extremely fast Python type checker and language server, written in Rust.

Python

improve diagnostics for possibly-unbound call-dunder with union 11 months ago

help wanted diagnostics

astral-sh/ty

19.2K

An extremely fast Python type checker and language server, written in Rust.

Python

Fix non compliant LSP definition 12 months ago

AI Summary: The task involves fixing a non-compliant Language Server Protocol (LSP) definition in the ty project, referencing a related pull request in the rust-analyzer repository. This likely requires understanding of the LSP specification and the Rust codebase of the ty project (which is a submodule of the Ruff project).

Complexity: 4/5

help wanted server

astral-sh/ty

19.2K

An extremely fast Python type checker and language server, written in Rust.

Python

Module level __getattr__ not respected 12 months ago

AI Summary: The task is to debug a type checker. The issue is that the type checker (ty) does not correctly handle module-level `__getattr__` methods, unlike mypy and pyright. The solution requires investigating why ty's type checking logic fails to recognize and utilize the `__getattr__` method for resolving attribute access, potentially involving examination of the Rust codebase and its interaction with Python's runtime environment.

Complexity: 4/5

help wanted runtime semantics

astral-sh/ty

19.2K

An extremely fast Python type checker and language server, written in Rust.

Python

Diagnostics for invalid `await` expressions about 1 year ago

good first issue diagnostics

astral-sh/ty

19.2K

An extremely fast Python type checker and language server, written in Rust.

Python

Diagnostics for async context managers about 1 year ago

good first issue diagnostics

astral-sh/ty

19.2K

An extremely fast Python type checker and language server, written in Rust.

Python

names bound at some point in a class scope, but not at point of access, fall back to global scope about 1 year ago

AI Summary: The task is to fix a bug in the ty Python type checker where the handling of Python's class scoping semantics is incorrect. Specifically, the type checker needs to correctly differentiate between cases where a variable is never bound within a class scope versus when it is bound at some point, even if not at the point of access. The fix likely involves modifying the `TypeInferenceBuilder::infer_place_load` function to accurately reflect Python's runtime behavior.

Complexity: 4/5

bug help wanted runtime semantics

astral-sh/ty

19.2K

An extremely fast Python type checker and language server, written in Rust.

Python

Call `shrink_to_fit` on `Bindings` and `Declarations` in `UseDefMap` about 1 year ago

AI Summary: Optimize the memory usage of the `ty` Python type checker by investigating the impact of calling `shrink_to_fit` on the `Bindings` and `Declarations` within the `UseDefMap` data structure. This involves profiling memory usage before and after the optimization to assess its effectiveness.

Complexity: 4/5

help wanted memory

astral-sh/ty

19.2K

An extremely fast Python type checker and language server, written in Rust.

Python

Remove `pull-types:skip` directive in `callable.md` mdtest about 1 year ago

AI Summary: The task is to fix a bug in the ty (Python type checker) where a specific malformed Callable annotation causes a crash during type inference. The fix involves ensuring the type inference engine correctly handles and stores a type for every sub-expression, even if the annotation is invalid, preventing crashes in IDEs.

Complexity: 4/5

help wanted server fatal

astral-sh/ty

19.2K

An extremely fast Python type checker and language server, written in Rust.

Python

Don't run mypy_primer CI job on PRs that only touch Markdown files about 1 year ago

AI Summary: Modify the CI configuration for the `mypy_primer` job to prevent it from running on pull requests that only modify Markdown files. This optimization aims to reduce unnecessary CI resource consumption, particularly for pull requests focused on test updates.

Complexity: 3/5

help wanted testing

astral-sh/ty

19.2K

An extremely fast Python type checker and language server, written in Rust.

Python

No error emitted for invalid binary operations in type expressions about 1 year ago

AI Summary: The task involves fixing a bug in the ty Python type checker where invalid binary operations within type annotations are not flagged with an error. This requires modifying the type inference logic in the Rust codebase to correctly identify and report these errors, potentially involving a comprehensive check of all binary operation types for accurate error messages.

Complexity: 4/5

help wanted typing semantics

astral-sh/ty

19.2K

An extremely fast Python type checker and language server, written in Rust.

Python

`pytest.FixtureRequest` `param` attribute not resolved correctly about 1 year ago

AI Summary: The task is to debug a type checker's inability to correctly resolve the `param` attribute of the `pytest.FixtureRequest` object within parametrized pytest fixtures. This involves investigating why the type checker (ty) doesn't recognize the attribute despite it being defined in the `__init__` method, potentially due to the abstract base class nature or the dynamic assignment of the attribute. The solution might require improving the type checker's handling of attributes assigned in `__init__` methods, especially within abstract base classes, or enhancing its understanding of pytest's internal mechanisms.

Complexity: 4/5

good first issue attribute access

astral-sh/ty

19.2K

An extremely fast Python type checker and language server, written in Rust.

Python

Open Issues Need Help