Run semantic on throw <exp>.
location of the throw
value to be thrown
enclosing scope
true if the throw is valid, or false if an error was found
See Implementation
Run semantic on throw <exp>.