// transformation trait remove_reference
//
template <class _T>
struct remove_reference {
       typedef _T type;
};

template <class _T>
struct remove_reference<_T &> {
       typedef _T type;
};



namespace stl
{
 // Код взят отсюда:
 // https://gcc.gnu.org/onlinedocs/libstdc++/latest-doxygen/a00416_source.html#l00071

 template<typename _Tp>
 constexpr _Tp&& forward(typename std::remove_reference<_Tp>::type& __t) throw()
 // Error: The name "typename std::remove_reference" is not a type.
 {
   return static_cast<_Tp&&>(__t);
 }

//   template<typename _Tp>
//   constexpr _Tp&& forward(typename std::remove_reference<_Tp>::type&& __t) throw()
//   {
//     static_assert(!std::is_lvalue_reference<_Tp>::value,
//                   "template argument substituting _Tp is an lvalue reference type");
//     return static_cast<_Tp&&>(__t);
//   }
}



template <typename Func, typename Arg>
auto Method(Func&& func, Arg&& arg) ->
    decltype(stl::forward<Func>(func)(stl::forward<Arg>(arg)))
{
 return…