Guard-Let-Catch (and If-Let-Catch) to avoid long (nested) do-blocks

I don't think those two features alone are quite enough.

On top of do expressions and omitted braces, being able to throw from the catch branch would still additionally require the pitched Never as bottom type including the mentioned future direction where throw statements would count as Never-valued expressions.

1 Like