#include "../c++/reduce_templates.hpp"

#include "../c++/test/suite.hpp"

namespace {
SAW_TEST("Templates/Group Reduction"){
	using namespace saw;

	struct foo {
		std::string name = "foo";
	};
	struct bar {
		std::string name = "bar";
	};
	struct baz {
		std::string name = "baz";
	};

	using grp = tmpl_group<foo, bar, baz, foo, bar, foo>;
	using red_grp = tmpl_group<baz, bar, foo>;

	using alg_red_grp = tmpl_reduce<grp>::type;
	
	static_assert(std::is_same_v<alg_red_grp, red_grp>, "Should be same type");
	SAW_EXPECT((std::is_same_v<alg_red_grp, red_grp>), "Should be same type");
}
}