Skip to content

[ty] Completely remove the NoReturn shortcut optimization#23378

Merged
sharkdp merged 1 commit intomainfrom
david/remove-callable-optimization
Mar 14, 2026
Merged

[ty] Completely remove the NoReturn shortcut optimization#23378
sharkdp merged 1 commit intomainfrom
david/remove-callable-optimization

Commits

Commits on Mar 10, 2026