Skip to content

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

Merged
Gankra merged 10 commits intomainfrom
gankra/string-annot3
Jan 28, 2026
Merged

[ty] Improve support for goto-type, goto-declaration, hover, and highlighting of string annotations#22878
Gankra merged 10 commits intomainfrom
gankra/string-annot3

Commits

Commits on Jan 26, 2026

Commits on Jan 27, 2026

Commits on Jan 28, 2026