Checks whether throw <exp> throws an Exception or an Error and raises an error if this violates nothrow.
location of the throw
expression yielding the throwable
inside of a nothrow scope?
function containing the throw
BE.[err]throw depending on the type of exp
See Implementation
Checks whether throw <exp> throws an Exception or an Error and raises an error if this violates nothrow.