From e538fa203ee625ba6aff628389ba27f07d9e1503 Mon Sep 17 00:00:00 2001
From: Lucas CHOLLET <lucas.chollet@free.fr>
Date: Wed, 18 Jan 2023 20:29:39 -0500
Subject: [PATCH] AK: Add the `ConvertibleTo` concept

---
 AK/Concepts.h | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/AK/Concepts.h b/AK/Concepts.h
index 5b753050d9..66737cc971 100644
--- a/AK/Concepts.h
+++ b/AK/Concepts.h
@@ -36,6 +36,9 @@ concept Enum = IsEnum<T>;
 template<typename T, typename U>
 concept SameAs = IsSame<T, U>;
 
+template<class From, class To>
+concept ConvertibleTo = IsConvertible<From, To>;
+
 template<typename U, typename... Ts>
 concept OneOf = IsOneOf<U, Ts...>;
 
@@ -139,6 +142,7 @@ namespace AK {
 #endif
 using AK::Concepts::Arithmetic;
 using AK::Concepts::ArrayLike;
+using AK::Concepts::ConvertibleTo;
 using AK::Concepts::DerivedFrom;
 using AK::Concepts::Enum;
 using AK::Concepts::FallibleFunction;