From ebccabc94c691fce4ba80d990f68b44e9cc31b5a Mon Sep 17 00:00:00 2001
From: Mateusz Pusz <mateusz.pusz@gmail.com>
Date: Mon, 6 Feb 2023 22:34:59 -0800
Subject: [PATCH] refactor: `DerivedDimension` definition simplified

---
 src/core/include/mp_units/bits/dimension_concepts.h | 9 +--------
 1 file changed, 1 insertion(+), 8 deletions(-)

diff --git a/src/core/include/mp_units/bits/dimension_concepts.h b/src/core/include/mp_units/bits/dimension_concepts.h
index f03bbd8c..0a1469fd 100644
--- a/src/core/include/mp_units/bits/dimension_concepts.h
+++ b/src/core/include/mp_units/bits/dimension_concepts.h
@@ -81,13 +81,6 @@ struct derived_dimension;
 
 namespace detail {
 
-template<typename... Expr>
-void to_base_specialization_of_derived_dimension(const volatile derived_dimension<Expr...>*);
-
-template<typename T>
-inline constexpr bool is_derived_from_specialization_of_derived_dimension =
-  requires(T* t) { to_base_specialization_of_derived_dimension(t); };
-
 /**
  * @brief A concept matching all derived dimensions in the library.
  *
@@ -95,7 +88,7 @@ inline constexpr bool is_derived_from_specialization_of_derived_dimension =
  * or derived from it (inheritance needed to properly handle `dimension_one`).
  */
 template<typename T>
-concept DerivedDimension = detail::is_derived_from_specialization_of_derived_dimension<T>;
+concept DerivedDimension = is_derived_from_specialization_of<T, derived_dimension>;
 
 }  // namespace detail