`predSwitch` without a default return expression is like a final switch - it throws a `SwitchError` if none of the cases matches.

In a matter of fact, I could move it outside the `else` clause and it'll still work, but since I already use a `static if`, putting this in the `else` clause of it costs nothing.

At any rate, I'll add a comment to clarify this.