From e30aa9c4a00f6a1bd8a2ff46a78d738ca77ec04f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Johel=20Ernesto=20Guerrero=20Pe=C3=B1a?=
 <johelegp@gmail.com>
Date: Mon, 7 Sep 2020 00:57:05 -0400
Subject: [PATCH] refactor: simplify is_specialization_of

---
 src/include/units/bits/external/type_traits.h | 11 ++---------
 1 file changed, 2 insertions(+), 9 deletions(-)

diff --git a/src/include/units/bits/external/type_traits.h b/src/include/units/bits/external/type_traits.h
index 91a3fab2..226be77b 100644
--- a/src/include/units/bits/external/type_traits.h
+++ b/src/include/units/bits/external/type_traits.h
@@ -59,18 +59,11 @@ template<class T, class U>
 using is_same = std::bool_constant<is_same_v<T, U>>;
 
 // is_specialization_of
-namespace detail {
-
 template<typename T, template<typename...> typename Type>
-inline constexpr bool is_specialization_of_impl = false;
+inline constexpr bool is_specialization_of = false;
 
 template<typename... Params, template<typename...> typename Type>
-inline constexpr bool is_specialization_of_impl<Type<Params...>, Type> = true;
-
-}  // namespace detail
-
-template<typename T, template<typename...> typename Type>
-inline constexpr bool is_specialization_of = detail::is_specialization_of_impl<T, Type>;
+inline constexpr bool is_specialization_of<Type<Params...>, Type> = true;
 
 // is_derived_from_specialization_of
 namespace detail {