Throw a ResultError for result. Returns never, so a call terminates control flow (and narrows the variable afterwards).
result
never
The offending result.
ResultError always.
Throw a ResultError for
result. Returnsnever, so a call terminates control flow (and narrows the variable afterwards).