Hacker News new | past | comments | ask | show | jobs | submit login

So it just checks the type of the "diverging" else block is Never or something ?



Yes, the `else` branch in `let else` is required to diverge.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: