Skip to content

Revert "[ty] Completely remove the NoReturn shortcut optimization"#23955

Merged
sharkdp merged 1 commit intomainfrom
david/revert-noreturn
Mar 14, 2026
Merged

Revert "[ty] Completely remove the NoReturn shortcut optimization"#23955
sharkdp merged 1 commit intomainfrom
david/revert-noreturn

Commits

Commits on Mar 14, 2026