fork download

copy

#include <iostream>
#include <typeinfo>
#include <cxxabi.h>
 
template <typename...> struct join;
 
template <template <typename...> class Tpl,
          template <typename...> class...,
          typename... Args>
struct join<Tpl<Args...>...>
{
    typedef Tpl<Args......> type;
};
 
template <typename...> struct test {};
 
int main()
{
	int status;
    std::cout << abi::__cxa_demangle(typeid(
        join
        <
            test<int, int, double>,
            test<double, char, test<int>>,
            test<double, double, const char>
        >::type).name(), 0, 0, &status) << std::endl;
 
	return 0;
}

prog.cpp:10:25: error: expansion pattern 'Tpl<Args ...>' contains no argument packs
prog.cpp: In function 'int main()':
prog.cpp:21:9: error: incomplete type 'join<test<int, int, double>, test<double, char, test<int> >, test<double, double, const char> >' used in nested name specifier

Standard output is empty