From f19fabfa3ad2c15aa7416e33b2358ed67d9581ef Mon Sep 17 00:00:00 2001
From: Ichthyostega <prg@ichthyostega.de>
Date: Sun, 19 Mar 2017 00:40:10 +0100
Subject: [PATCH] Function-Tools: thus change behaviour for
 member-pointer-to-function

...to not include the "this" argument anymore
---
 research/try.cpp | 26 ++++++++++----------------
 1 file changed, 10 insertions(+), 16 deletions(-)

diff --git a/research/try.cpp b/research/try.cpp
index 9f582d6c7..5c87d4b1e 100644
--- a/research/try.cpp
+++ b/research/try.cpp
@@ -63,25 +63,19 @@ using std::tuple;
 namespace lib {
 namespace meta {
 
-  template< typename RET, class CLASS
-          , typename...ARGS
-          >
-  struct _Fun<RET (CLASS::*) (ARGS...)  const>
+  template<class C, typename RET, typename...ARGS>
+  struct _Fun<RET (C::*) (ARGS...)>
     {
-      typedef RET Ret;
-      typedef Types<CLASS* const, ARGS...> Args;
-      typedef RET Sig(CLASS* const, ARGS...);
-    };
-  template< typename RET, class CLASS
-          , typename...ARGS
-          >
-  struct _Fun<RET (CLASS::*) (ARGS...)  >
-    {
-      typedef RET Ret;
-      typedef Types<CLASS* const, ARGS...> Args;
-      typedef RET Sig(CLASS* const, ARGS...);
+      using Ret  = RET;
+      using Args = Types<ARGS...>;
+      using Sig  = RET(ARGS...);
     };
   
+  template<class C, typename RET, typename...ARGS>
+  struct _Fun<RET (C::*) (ARGS...)  const>
+    : _Fun<RET (C::*) (ARGS...)>
+    { };
+  
 }}//namespace lib::meta
 ////////////////############# Investigation of implementation variants