Skip to content

[ty] Add initial implementation of goto definition for loads of local names#19123

Draft
Gankra wants to merge 4 commits intomainfrom
gankra/gotodef
Draft

[ty] Add initial implementation of goto definition for loads of local names#19123
Gankra wants to merge 4 commits intomainfrom
gankra/gotodef

Commits

Commits on Jul 3, 2025

Commits on Jul 7, 2025