From ba87a7d14956037a0eed3b0e5070a02ba8e09fd5 Mon Sep 17 00:00:00 2001
From: hashlag <hashlag@hashlag.local>
Date: Sat, 12 Sep 2026 03:02:03 +0300
Subject: [PATCH] Update concept Decryptor: require T::BlockSize and T::KeySize
 to be constant expressions.

---
 Chaos/Cipher/Block/Decryptor.hpp | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/Chaos/Cipher/Block/Decryptor.hpp b/Chaos/Cipher/Block/Decryptor.hpp
index ae2c99c..bd38cf2 100644
--- a/Chaos/Cipher/Block/Decryptor.hpp
+++ b/Chaos/Cipher/Block/Decryptor.hpp
@@ -17,8 +17,13 @@ concept Decryptor = requires(const T constDecryptor,
     typename T::Block;
     typename T::Key;
     requires std::constructible_from<T, typename T::Key>;
+
     requires std::unsigned_integral<std::remove_cvref_t<decltype(T::BlockSize)>>;
+    typename std::integral_constant<decltype(T::BlockSize), T::BlockSize>;
+
     requires std::unsigned_integral<std::remove_cvref_t<decltype(T::KeySize)>>;
+    typename std::integral_constant<decltype(T::KeySize), T::KeySize>;
+
     constDecryptor.DecryptBlock(outBegin, outEnd, inBegin, inEnd);
     { constDecryptor.DecryptBlock(block) } -> std::same_as<typename T::Block>;
     { constDecryptor.GetBlockSize() } -> std::unsigned_integral;