Reuse the TypeSwitch check of type lists

Paul-Licameli · Oct 27, 2023 · 88a8ffa · 88a8ffa
1 parent cfad0fa
commit 88a8ffa
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/libraries/lib-registries/Registry.h b/libraries/lib-registries/Registry.h
@@ -149,7 +149,9 @@ namespace detail { using namespace TypeList;
 
    template<typename RegistryTraits> constexpr auto AcceptableTraits_v =
       TypeList::Every_v<TypeList::Fn<AcceptableBaseItem>,
-         AllTypes_t<RegistryTraits>>;
+         AllTypes_t<RegistryTraits>> &&
+      TypeSwitch::TypeListCheck_v<detail::VisitedNodeTypes<RegistryTraits>> &&
+      TypeSwitch::TypeListCheck_v<detail::VisitedLeafTypes<RegistryTraits>>;
 
 namespace detail {
    //! An item that delegates to another held in a shared pointer