need to type-check the expression thrown.
need to type-check the expression thrown.