Assert that expr throws an Exception that must have the type E, derived types won't do.
See Implementation
Assert that expr throws an Exception that must have the type E, derived types won't do.