From d73b0b05b254f2041b53f1c4e556c271baa76002 Mon Sep 17 00:00:00 2001
From: Ichthyostega <prg@ichthyostega.de>
Date: Thu, 30 Nov 2017 21:53:12 +0100
Subject: [PATCH] Library: attempt to get more explicit type diagnostics

...including the various reference and pointer adornments;
typeid() unfortunately strips those, so we'll have to add them manually
---
 .../library/meta/value-type-binding-test.cpp  | 64 ++++++++++++++++++-
 1 file changed, 63 insertions(+), 1 deletion(-)

diff --git a/tests/library/meta/value-type-binding-test.cpp b/tests/library/meta/value-type-binding-test.cpp
index 5d6ebd1b5..6f3b4a679 100644
--- a/tests/library/meta/value-type-binding-test.cpp
+++ b/tests/library/meta/value-type-binding-test.cpp
@@ -59,11 +59,64 @@ namespace test{
     struct Space { };
     using Join = ulong;
     
+    template<typename X>
+    struct Bugg
+      {
+        static_assert (not sizeof(X), "guggi");
+      };
+
+    template<typename X>
+    struct TypeDiagnostics
+      {
+        using Type = X;
+        static constexpr auto postfix = "";
+      };
+    template<typename X>
+    struct TypeDiagnostics<X&>
+      {
+        using Type = X;
+        static constexpr auto postfix = "&";
+      };
+    template<typename X>
+    struct TypeDiagnostics<X&&>
+      {
+        using Type = X;
+        static constexpr auto postfix = " &&";
+      };
+    template<typename X>
+    struct TypeDiagnostics<X const&>
+      {
+        using Type = X;
+        static constexpr auto postfix = " const&";
+      };
+    template<typename X>
+    struct TypeDiagnostics<X const&&>
+      {
+        using Type = X;
+        static constexpr auto postfix = " const &&";
+      };
+    template<typename X>
+    struct TypeDiagnostics<X *>
+      {
+        using Type = X;
+        static constexpr auto postfix = " *";
+      };
+    template<typename X>
+    struct TypeDiagnostics<X * const>
+      {
+        using Type = X;
+        static constexpr auto postfix = " * const";
+      };
+    
     template<typename X>
     inline string
     showType()
     {
-      return humanReadableTypeID (typeid(X).name());
+      using Case = TypeDiagnostics<X>;
+      using Type = typename Case::Type;
+      
+      return humanReadableTypeID (typeid(Type).name())
+           + Case::postfix;
     }
     
   }//(end)fixture
@@ -166,6 +219,15 @@ namespace test{
           cout << showType<TypeBinding<Join * const>::value_type>() <<endl;
           cout << showType<TypeBinding<Join * const>::reference>() <<endl;
           cout << showType<TypeBinding<Join * const>::pointer>() <<endl;
+          
+          cout << showType<int>() <<endl;
+          cout << showType<int&>() <<endl;
+          cout << showType<int&&>() <<endl;
+          cout << showType<int const&>() <<endl;
+          cout << showType<int const&&>() <<endl;
+          cout << showType<int const *>() <<endl;
+          cout << showType<int const * const>() <<endl;
+          cout << showType<int const * const&>() <<endl;
         }
     };