Revert "[ty] Completely remove the `NoReturn` shortcut optimization" #23955
Revert "[ty] Completely remove the `NoReturn` shortcut optimization (…
71b95b55
sharkdp
enabled auto-merge (squash) 3 days ago
sharkdp
merged
3bfdb120
into main 3 days ago
sharkdp
deleted the david/revert-noreturn branch 3 days ago
Login to write a write a comment.
Login via GitHub