Open Issues Need Help
View All on GitHubAn extremely fast Python type checker and language server, written in Rust.
An extremely fast Python type checker and language server, written in Rust.
An extremely fast Python type checker and language server, written in Rust.
An extremely fast Python type checker and language server, written in Rust.
An extremely fast Python type checker and language server, written in Rust.
An extremely fast Python type checker and language server, written in Rust.
An extremely fast Python type checker and language server, written in Rust.
An extremely fast Python type checker and language server, written in Rust.
An extremely fast Python type checker and language server, written in Rust.
An extremely fast Python type checker and language server, written in Rust.
An extremely fast Python type checker and language server, written in Rust.
An extremely fast Python type checker and language server, written in Rust.
An extremely fast Python type checker and language server, written in Rust.
An extremely fast Python type checker and language server, written in Rust.
An extremely fast Python type checker and language server, written in Rust.
An extremely fast Python type checker and language server, written in Rust.
An extremely fast Python type checker and language server, written in Rust.
An extremely fast Python type checker and language server, written in Rust.
An extremely fast Python type checker and language server, written in Rust.
An extremely fast Python type checker and language server, written in Rust.
An extremely fast Python type checker and language server, written in Rust.
An extremely fast Python type checker and language server, written in Rust.
An extremely fast Python type checker and language server, written in Rust.
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.
An extremely fast Python type checker and language server, written in Rust.
An extremely fast Python type checker and language server, written in Rust.
An extremely fast Python type checker and language server, written in Rust.
An extremely fast Python type checker and language server, written in Rust.
An extremely fast Python type checker and language server, written in Rust.
An extremely fast Python type checker and language server, written in Rust.
An extremely fast Python type checker and language server, written in Rust.
An extremely fast Python type checker and language server, written in Rust.
An extremely fast Python type checker and language server, written in Rust.
An extremely fast Python type checker and language server, written in Rust.
An extremely fast Python type checker and language server, written in Rust.
An extremely fast Python type checker and language server, written in Rust.
An extremely fast Python type checker and language server, written in Rust.
An extremely fast Python type checker and language server, written in Rust.
An extremely fast Python type checker and language server, written in Rust.
An extremely fast Python type checker and language server, written in Rust.
An extremely fast Python type checker and language server, written in Rust.
An extremely fast Python type checker and language server, written in Rust.
An extremely fast Python type checker and language server, written in Rust.
An extremely fast Python type checker and language server, written in Rust.
An extremely fast Python type checker and language server, written in Rust.
An extremely fast Python type checker and language server, written in Rust.
An extremely fast Python type checker and language server, written in Rust.
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.
An extremely fast Python type checker and language server, written in Rust.
An extremely fast Python type checker and language server, written in Rust.
An extremely fast Python type checker and language server, written in Rust.
An extremely fast Python type checker and language server, written in Rust.
An extremely fast Python type checker and language server, written in Rust.
An extremely fast Python type checker and language server, written in Rust.
An extremely fast Python type checker and language server, written in Rust.
An extremely fast Python type checker and language server, written in Rust.
An extremely fast Python type checker and language server, written in Rust.
An extremely fast Python type checker and language server, written in Rust.
An extremely fast Python type checker and language server, written in Rust.
An extremely fast Python type checker and language server, written in Rust.
An extremely fast Python type checker and language server, written in Rust.
An extremely fast Python type checker and language server, written in Rust.
An extremely fast Python type checker and language server, written in Rust.
An extremely fast Python type checker and language server, written in Rust.
An extremely fast Python type checker and language server, written in Rust.
An extremely fast Python type checker and language server, written in Rust.
An extremely fast Python type checker and language server, written in Rust.
An extremely fast Python type checker and language server, written in Rust.
An extremely fast Python type checker and language server, written in Rust.
An extremely fast Python type checker and language server, written in Rust.
An extremely fast Python type checker and language server, written in Rust.
An extremely fast Python type checker and language server, written in Rust.
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).
An extremely fast Python type checker and language server, written in Rust.
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.
An extremely fast Python type checker and language server, written in Rust.
An extremely fast Python type checker and language server, written in Rust.
An extremely fast Python type checker and language server, written in Rust.
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.
An extremely fast Python type checker and language server, written in Rust.
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.
An extremely fast Python type checker and language server, written in Rust.
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.
An extremely fast Python type checker and language server, written in Rust.
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.
An extremely fast Python type checker and language server, written in Rust.
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.
An extremely fast Python type checker and language server, written in Rust.
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.
An extremely fast Python type checker and language server, written in Rust.