Aria Desires 45acbd0b66 [ty] Improve support for goto-type, goto-declaration, hover, and highlighting of string annotations (#22878) ...

I ultimately hunted down the core issue with my previous approach to "if
you give string annotation sub-AST nodes any kind of NodeIndex, a bunch
of random places in the code will start thinking it's ok to store info
about them, which is a problem because they all count up from index 0
which creates conflicts/crashes".

Rather than trying to play whackamole I decided to create a scheme to
give string annotation nodes a unique NodeIndex by shifting up the
parent node's index -- so 0xAB's sub-AST nodes look like 0xAB00...0000,
0xAB00..0001, etc. This scheme avoids any collisions for any reasonable
AST (most string annotations are like, a dozen sub-nodes, so they need
maybe 4 or 5 bits, which would require hundreds of MB of python code to
run out of bits...).

As a bonus, this admits an extremely simple implementation of recording
and fetching sub-AST types... they just are stored now, and you can just
pass in their NodeIndex and get back actual results.

* Fixes https://github.com/astral-sh/ty/issues/1640
* Fixes https://github.com/astral-sh/ty/issues/2028

2026-01-27 23:26:40 -05:00

..

src

[ty] Improve support for goto-type, goto-declaration, hover, and highlighting of string annotations (#22878)

2026-01-27 23:26:40 -05:00

ast.toml

[ruff] Autogenerate TypeParam nodes (#21028)

2025-10-22 14:06:24 +02:00

Cargo.toml

[ty] Use key and value parameter types as type context for __setitem__ dunder calls (#22148)

2026-01-12 16:05:05 -05:00

generate.py

[ruff] Auto generate ast Pattern nodes (#21024)

2025-10-22 08:24:34 +02:00