From: Denis Davydov <davydden@gmail.com>
Date: Tue, 26 Feb 2019 16:12:21 +0000 (+0100)
Subject: consistently for non-void in internal::has_local_element
X-Git-Tag: v9.1.0-rc1~319^2~1
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=911cedfa9169e8e9a971ea0efb4bc8e120079894;p=dealii.git

consistently for non-void in internal::has_local_element
---

diff --git a/include/deal.II/matrix_free/fe_evaluation.h b/include/deal.II/matrix_free/fe_evaluation.h
index 77e6975cff..ac87eea988 100644
--- a/include/deal.II/matrix_free/fe_evaluation.h
+++ b/include/deal.II/matrix_free/fe_evaluation.h
@@ -3420,12 +3420,11 @@ namespace internal
     detect(const U &);
 
   public:
-    // finally here we check if our detector has return type same as
+    // finally here we check if our detector has non-void return type
     // T::value_type. This will happen if compiler can use second detector,
     // otherwise SFINAE let it work with the more general first one that is void
     static constexpr bool value =
-      std::is_same<typename T::value_type,
-                   decltype(detect(std::declval<T>()))>::value;
+      !std::is_same<void, decltype(detect(std::declval<T>()))>::value;
   };
 
 
@@ -3452,7 +3451,7 @@ namespace internal
 
 
   // same as above to check
-  // T::const_iterator T::begin() const
+  // ... T::begin() const
   template <typename T>
   struct has_begin
   {