|
|
|
|
|
|
by pmontra
122 days ago
|
|
|
Some conditions depend strictly on inputs and the compiler can't reason much about them, and the developers can't be sure about what their users will do. So that pattern is common. It's a sibling of assertions. There are even languages with mandatory else branch. |
|
|