SO problem, C++ (vc++)

Language: Layout:

#include <iostream>
#include <typeinfo>

using namespace std;

// START //

template <typename...>
struct type_list{};

template<template <typename...> typename tmpl> 
struct tmpl_c
{
	template <typename...Ts> using type = tmpl<Ts...>;
};

template<typename> struct template_of;
template <template <typename...> typename tmpl, typename... Ts>
struct template_of<tmpl<Ts...>>{
    using type = tmpl_c<tmpl>; 
};

template <typename T>
struct first{};

template <typename T>
struct second
{
	// 'second' here refers to second<int>
	using test = second; 
	
	// 'second' here refers to second<int>
	// this doesn't compile in visual studio as second<int> not the template.
	//using types = type_list<tmpl_c<first>, tmpl_c<second> >; 
	
	
	// second here refers to the concrete type 'second<int>'
	// this workaround is needed for visual studio as it seems second always 
	// refers to the concrete type, not the template.
	using types2 = type_list<tmpl_c<first>, typename template_of<second>::type >; 
};

template <typename...Ts>
void print_types(type_list<Ts...>)
{
	using do_ = int[];
	(void)do_{0,
		(std::cout << typeid(Ts).name() << std::endl,0)
	...,0};
}

int main() {
	
	
	std::cout << typeid(second<int>::test).name() << std::endl;
	
	print_types(second<int>::types2());
}

Show compiler warnings [ + ] Compiler args [ + ] Show input
Compilation time: 1,69 sec, absolute running time: 0,22 sec, absolute service time: 1,92 sec