From 36cec9a5cc8e2eddea8d192991310bc813901499 Mon Sep 17 00:00:00 2001
From: Peter Dimov <pdimov@gmail.com>
Date: Tue, 5 Oct 2021 05:01:05 +0300
Subject: [PATCH 1/3] Handle references to functions

---
 include/boost/core/type_name.hpp | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

diff --git a/include/boost/core/type_name.hpp b/include/boost/core/type_name.hpp
index 9a82dd3..33e717f 100644
--- a/include/boost/core/type_name.hpp
+++ b/include/boost/core/type_name.hpp
@@ -332,6 +332,22 @@ template<class T> std::string type_name( tn_identity<T*> )
 
 #if !defined(BOOST_NO_CXX11_VARIADIC_TEMPLATES)
 
+// function references
+
+template<class R, class... A> std::string type_name( tn_identity<R(&)(A...)> )
+{
+    return type_name( tn_identity<R>() ) + "(&)(" + tn_add_each<A...>() + ')';
+}
+
+#if !defined(BOOST_NO_CXX11_RVALUE_REFERENCES)
+
+template<class R, class... A> std::string type_name( tn_identity<R(&&)(A...)> )
+{
+    return type_name( tn_identity<R>() ) + "(&&)(" + tn_add_each<A...>() + ')';
+}
+
+#endif
+
 // function pointers
 
 template<class R, class... A> std::string type_name( tn_identity<R(*)(A...)> )

From 01bd23df5d30801deea2c16c30c3b95a6a6c89f0 Mon Sep 17 00:00:00 2001
From: Peter Dimov <pdimov@gmail.com>
Date: Tue, 5 Oct 2021 05:04:56 +0300
Subject: [PATCH 2/3] Add tests for function types

---
 test/type_name_test.cpp | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/test/type_name_test.cpp b/test/type_name_test.cpp
index 6ab08f5..52a74a5 100644
--- a/test/type_name_test.cpp
+++ b/test/type_name_test.cpp
@@ -105,6 +105,18 @@ int main()
     TEST(void*);
     TEST(void const* volatile*);
 
+    TEST(void());
+    TEST(int(float, A, B*));
+
+    TEST(void(*)());
+    TEST(void(&)());
+
+#if !defined(BOOST_NO_CXX11_RVALUE_REFERENCES)
+
+    TEST(void(&&)());
+
+#endif
+
     TEST(A[]);
     TEST(A const[]);
     TEST(A volatile[]);

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 3/3] 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[]);