From 7a58c510e5c86a9d357ea2c4ea09d0771740e066 Mon Sep 17 00:00:00 2001
From: Ali Mohammad Pur <ali.mpfard@gmail.com>
Date: Mon, 14 Feb 2022 16:48:51 +0330
Subject: [PATCH] AK: Add a 'SpecializationOf' concept

The counterpart to the IsSpecializationOf<...> template.
---
 AK/Concepts.h | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/AK/Concepts.h b/AK/Concepts.h
index 94136dfc11..9484e5a315 100644
--- a/AK/Concepts.h
+++ b/AK/Concepts.h
@@ -33,6 +33,9 @@ concept Enum = IsEnum<T>;
 template<typename T, typename U>
 concept SameAs = IsSame<T, U>;
 
+template<typename T, template<typename...> typename S>
+concept SpecializationOf = IsSpecializationOf<T, S>;
+
 template<typename T>
 concept AnyString = Detail::IsConstructible<StringView, T>;
 
@@ -112,5 +115,6 @@ using AK::Concepts::IteratorFunction;
 using AK::Concepts::IteratorPairWith;
 using AK::Concepts::SameAs;
 using AK::Concepts::Signed;
+using AK::Concepts::SpecializationOf;
 using AK::Concepts::Unsigned;
 using AK::Concepts::VoidFunction;