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
if !null then 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.