See [except.throw].