...

mcc/mcc_traits.h

@@ -173,6 +173,15 @@ using mcc_func_argN_t = std::conditional_t<N >= mcc_func_traits<T>::arity,
                                            void>;
 
 
+// std::array
+template <typename T>
+concept mcc_array_c = requires(T t) {
+    []<typename VT, size_t N>(std::array<VT, N>) {
+
+    }(t);
+};
+
+
 // non-const lvalue reference, constructible from CtorArgTs (an output argument of function)
 template <typename T, typename... CtorArgTs>
 concept mcc_output_arg_c = !std::is_const_v<std::remove_reference_t<T>> && std::is_lvalue_reference_v<T> &&