Also convert the has_begin_and_end query.

diff --git a/include/deal.II/base/template_constraints.h b/include/deal.II/base/template_constraints.h
index 1d0e3b4ba29d0f6f51d195d656727016119e6bb5..1d39f1b1d7ba6e953992fc25293df5190bebc198 100644 (file)
--- a/include/deal.II/base/template_constraints.h
+++ b/include/deal.II/base/template_constraints.h
@@ -234,8 +234,8 @@ using begin_and_end_t =
   decltype(std::begin(std::declval<T>()), std::end(std::declval<T>()));
 
 template <typename T>
-using has_begin_and_end =
-  internal::SupportsOperation::is_detected<begin_and_end_t, T>;
+constexpr bool has_begin_and_end =
+  internal::is_supported_operation<begin_and_end_t, T>;
 
 
 

diff --git a/include/deal.II/base/work_stream.h b/include/deal.II/base/work_stream.h
index 30f09e6bfe8286b7e4da3b215b8fdd0bf64cd24d..ad9045e0471b3086024992630bf46102d9041fd8 100644 (file)
--- a/include/deal.II/base/work_stream.h
+++ b/include/deal.II/base/work_stream.h
@@ -1213,7 +1213,7 @@ namespace WorkStream
             typename ScratchData,
             typename CopyData,
             typename = typename std::enable_if<
-              has_begin_and_end<IteratorRangeType>::value>::type>
+              has_begin_and_end<IteratorRangeType>>::type>
   void
   run(IteratorRangeType  iterator_range,
       Worker             worker,
@@ -1437,7 +1437,7 @@ namespace WorkStream
             typename ScratchData,
             typename CopyData,
             typename = typename std::enable_if<
-              has_begin_and_end<IteratorRangeType>::value>::type>
+              has_begin_and_end<IteratorRangeType>>::type>
   void
   run(IteratorRangeType iterator_range,
       MainClass &       main_object,