it all comes down to `return`, `break`, `continue`...
# language-proposals
k
it all comes down to
return
,
break
,
continue
and
throw
being expressions of type
Nothing
and
Nothing
being a subtype of everything