fork(1) download

copy

#include <iostream>
#include <type_traits>
#include <vector>
template <typename T>
struct is_foo
{
	static bool const value = true;
};
template<
	typename Ty,
	bool foo = std::is_fundamental<std::remove_reference<Ty>::type>::value
>
struct bar {
	static bool const value = true;
};
int main() {
	int elem;
	std::cout << bar<decltype(elem)>::value << std::endl;
	return 0;
}

prog.cpp:11:64: error: type/value mismatch at argument 1 in template parameter list for ‘template<class _Tp> struct std::is_fundamental’
  bool foo = std::is_fundamental<std::remove_reference<Ty>::type>::value
                                                                ^
prog.cpp:11:64: error:   expected a type, got ‘std::remove_reference< <template-parameter-1-1> >::type’
prog.cpp: In function ‘int main()’:
prog.cpp:18:33: error: template argument 2 is invalid
  std::cout << bar<decltype(elem)>::value << std::endl;
                                 ^

Standard output is empty