Add another static assertion on exception types.

This is already present in issue_error_nothrow().

diff --git a/include/deal.II/base/exceptions.h b/include/deal.II/base/exceptions.h
index 66ef3f05fcea5ee43ed4a0723678d6b782b972a8..ffbe7699de4bd8908d851989a754841bc7515199 100644 (file)
--- a/include/deal.II/base/exceptions.h
+++ b/include/deal.II/base/exceptions.h
@@ -1438,6 +1438,8 @@ namespace deal_II_exceptions
                          const char       *exc_name,
                          ExceptionType     e)
     {
+      static_assert(std::is_base_of_v<ExceptionBase, ExceptionType>,
+                    "The provided exception must inherit from ExceptionBase.");
       // Fill the fields of the exception object
       e.set_fields(file, line, function, cond, exc_name);