Skip to content

[ty] followup: add-import action for reveal_type too#21668

Merged
Gankra merged 3 commits intomainfrom
gankra/auto-imp2
Dec 8, 2025
Merged

[ty] followup: add-import action for reveal_type too#21668
Gankra merged 3 commits intomainfrom
gankra/auto-imp2

Commits

Commits on Dec 8, 2025