From b93317815c7b62551e34e13253008d2d56817148 Mon Sep 17 00:00:00 2001
From: Peter Dimov <pdimov@gmail.com>
Date: Tue, 5 Oct 2021 05:30:37 +0300
Subject: [PATCH] Apply msvc-12.0 (and below) workarounds

---
 include/boost/core/type_name.hpp | 25 ++++++++++++++++++++++---
 test/type_name_test.cpp          |  3 +++
 2 files changed, 25 insertions(+), 3 deletions(-)

diff --git a/include/boost/core/type_name.hpp b/include/boost/core/type_name.hpp
index 33e717f..dfdedd3 100644
--- a/include/boost/core/type_name.hpp
+++ b/include/boost/core/type_name.hpp
@@ -14,6 +14,7 @@
 // https://www.boost.org/LICENSE_1_0.txt
 
 #include <boost/core/demangle.hpp>
+#include <boost/core/is_same.hpp>
 #include <boost/config.hpp>
 #include <string>
 #include <functional>
@@ -73,6 +74,24 @@ template<class T> struct tn_is_reference<T&&>
 
 #endif
 
+// tn_remove_const
+
+template<class T> struct tn_remove_const
+{
+    typedef T type;
+};
+
+template<class T> struct tn_remove_const<T const>
+{
+    typedef T type;
+};
+
+// tn_is_function (also catches references but that's OK)
+
+template<class T, class U = typename tn_remove_const<T>::type> struct tn_is_function: core::is_same<U, U const>
+{
+};
+
 #if !defined(BOOST_NO_TYPEID)
 
 // typeid_name
@@ -261,21 +280,21 @@ template<class T> std::string type_name( tn_identity<T const volatile> )
 #else
 
 template<class T>
-typename tn_enable_if<!tn_is_reference<T>::value, std::string>::type
+typename tn_enable_if<!tn_is_function<T>::value, std::string>::type
 type_name( tn_identity<T const> )
 {
     return type_name( tn_identity<T>() ) + " const";
 }
 
 template<class T>
-typename tn_enable_if<!tn_is_reference<T>::value, std::string>::type
+typename tn_enable_if<!tn_is_function<T>::value, std::string>::type
 type_name( tn_identity<T volatile> )
 {
     return type_name( tn_identity<T>() ) + " volatile";
 }
 
 template<class T>
-typename tn_enable_if<!tn_is_reference<T>::value, std::string>::type
+typename tn_enable_if<!tn_is_function<T>::value, std::string>::type
 type_name( tn_identity<T const volatile> )
 {
     return type_name( tn_identity<T>() ) + " const volatile";
diff --git a/test/type_name_test.cpp b/test/type_name_test.cpp
index 52a74a5..b3439c1 100644
--- a/test/type_name_test.cpp
+++ b/test/type_name_test.cpp
@@ -105,6 +105,8 @@ int main()
     TEST(void*);
     TEST(void const* volatile*);
 
+#if !defined(BOOST_NO_CXX11_VARIADIC_TEMPLATES)
+
     TEST(void());
     TEST(int(float, A, B*));
 
@@ -115,6 +117,7 @@ int main()
 
     TEST(void(&&)());
 
+#endif
 #endif
 
     TEST(A[]);