Skip to content

[ty] Add with_type convenience to display code#21563

Merged
Gankra merged 2 commits into
mainfrom
gankra/ty_clean
Nov 21, 2025
Merged

[ty] Add with_type convenience to display code#21563
Gankra merged 2 commits into
mainfrom
gankra/ty_clean

Commits

Commits on Nov 21, 2025