I'm glad throw is now an expression

[Vladimir Panteleev]

On Thursday, 19 May 2022 at 14:16:21 UTC, Paul Backus wrote:
> `?:` is different from `+` because evaluation of a `?:` 
> expression does not require evaluation of all of its operands.
>
> Evaluation of a `+` expression with a `noreturn` operand is 
> guaranteed to evaluate the `noreturn` operand, and therefore is 
> guaranteed not to terminate, so the `+` expression itself can 
> be typed as `noreturn`.

Ah, so Walter meant addition literally. That does make sense. 
Thanks!