fork download

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

prog.cpp:17:42: error: expected parameter pack before '...'
prog.cpp:17:45: error: template argument 1 is invalid
prog.cpp: In function 'int main()':
prog.cpp:25:89: error: two or more data types in declaration of 'type name'
prog.cpp:25:104: error: type/value mismatch at argument 1 in template parameter list for 'template<template<class ...> class<template-parameter-1-1>, template<class ...> class ...<template-parameter-1-2> > struct join'
prog.cpp:25:104: error:   expected a class template, got 'test<int, int, char>'
prog.cpp:25:104: error: type/value mismatch at argument 2 in template parameter list for 'template<template<class ...> class<template-parameter-1-1>, template<class ...> class ...<template-parameter-1-2> > struct join'
prog.cpp:25:104: error:   expected a class template, got 'test<int>'

Standard output is empty