From d790df640374f4320dbb398686df8fbafe761a21 Mon Sep 17 00:00:00 2001
From: sha512sum <linuxnyasha@tutanota.com>
Date: Sun, 21 Apr 2024 02:25:45 +0000
Subject: [PATCH] Add AddTypeToTag

---
 include/utempl/meta_info.hpp | 17 ++++++++++++++++-
 1 file changed, 16 insertions(+), 1 deletion(-)

diff --git a/include/utempl/meta_info.hpp b/include/utempl/meta_info.hpp
index 9203d5f..ace4259 100644
--- a/include/utempl/meta_info.hpp
+++ b/include/utempl/meta_info.hpp
@@ -25,6 +25,19 @@ private:
 template <typename T, typename Tag = impl::Types>
 inline constexpr std::size_t kTypeId = MetaInfo<T, Tag>::kTypeId;
 
+template <
+  typename Tag,
+  typename T,
+  typename... Ts,
+  typename... TTs,
+  std::size_t Id = loopholes::Counter<Tag, T, Ts..., TTs...>(),
+  auto = loopholes::Injector<MetaInfoKey<Id, Tag>{}, TypeList<T>{}>{}
+>
+consteval std::size_t AddTypeToTag(TTs&&...) {
+  return Id;
+};
+
+
 template <std::size_t Id, typename Tag = impl::Types>
 using GetMetaInfo = MetaInfo<typename decltype(Magic(loopholes::Getter<MetaInfoKey<Id, Tag>{}>{}))::Type>;
 
@@ -60,7 +73,9 @@ consteval auto GetTypeListForTag() {
 /*
 static_assert(kTypeId<int> == 0);
 static_assert(kTypeId<void> == 1);
-static_assert(std::is_same_v<decltype(GetTypeListForTag()), TypeList<int, void>>);
+static_assert(AddTypeToTag<impl::Types, void, int>() == 2);
+static_assert(std::is_same_v<decltype(GetTypeListForTag()), TypeList<int, void, void>>);
+
 */