Глядя на исходный код libstdc++, я нашел следующую declval реализацию: template<typename _Tp, typename _Up = _Tp&&> _Up __declval(int); // (1) template<typename _Tp> _Tp __declval(long); // (2) template<typename...