From 64a9a40fe867cc9f70f4710ed0419bd61887cc71 Mon Sep 17 00:00:00 2001
From: Sidney Congard <sidney.congard@gmail.com>
Date: Mon, 18 Feb 2019 22:41:38 +0100
Subject: [PATCH] [Hashable] hana::integral_constant with an enum value
 implements Hashable

---
 include/boost/hana/hash.hpp     | 10 ++++++++++
 test/integral_constant/hash.cpp | 22 ++++++++++++++++++++++
 2 files changed, 32 insertions(+)

diff --git a/include/boost/hana/hash.hpp b/include/boost/hana/hash.hpp
index 538ef36eca..0a42eca176 100644
--- a/include/boost/hana/hash.hpp
+++ b/include/boost/hana/hash.hpp
@@ -80,6 +80,16 @@ BOOST_HANA_NAMESPACE_BEGIN
             }
         };
 
+        template <typename T>
+        struct hash_integral_helper<T,
+            typename std::enable_if<std::is_enum<T>::value>::type
+        > {
+            template <typename X>
+            static constexpr auto apply(X const&) {
+                return hana::type_c<X>;
+            }
+        };
+
         template <>
         struct hash_integral_helper<bool> {
             template <typename X>
diff --git a/test/integral_constant/hash.cpp b/test/integral_constant/hash.cpp
index 59cf070572..c628966d65 100644
--- a/test/integral_constant/hash.cpp
+++ b/test/integral_constant/hash.cpp
@@ -107,4 +107,26 @@ int main() {
             hana::type_c<hana::false_>
         ));
     }
+
+    // Enumeration constants should hash to themselves
+    {
+        enum enum_1                  { zero };
+        enum class enum_2            { zero };
+        enum class enum_3 : unsigned { zero };
+
+        BOOST_HANA_CONSTANT_ASSERT(hana::equal(
+            hana::hash(hana::integral_c<enum_1, zero>),
+            hana::type_c<hana::integral_constant<enum_1, zero>>
+        ));
+
+        BOOST_HANA_CONSTANT_ASSERT(hana::equal(
+            hana::hash(hana::integral_c<enum_2, enum_2::zero>),
+            hana::type_c<hana::integral_constant<enum_2, enum_2::zero>>
+        ));
+
+        BOOST_HANA_CONSTANT_ASSERT(hana::equal(
+            hana::hash(hana::integral_c<enum_3, enum_3::zero>),
+            hana::type_c<hana::integral_constant<enum_3, enum_3::zero>>
+        ));
+    }
 }