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.