From c6620da1dd21f8545b41a03d594a7d4c35ca9b3b Mon Sep 17 00:00:00 2001
From: _Redstone_c_ <myredstone1024@gmail.com>
Date: Sun, 22 May 2022 23:19:30 +0800
Subject: [PATCH] refactor(typetraits): replaces template class type traits
 with alias template for TypeTraits/CopyQualifiers.h

---
 .../Private/Testing/TypeTraitsTesting.cpp     | 138 +++++++++---------
 .../Source/Public/Templates/Function.h        |  10 +-
 .../Source/Public/Templates/Tuple.h           |   2 +-
 .../Source/Public/Templates/Variant.h         |   2 +-
 .../Source/Public/TypeTraits/CopyQualifiers.h |  44 +++---
 5 files changed, 103 insertions(+), 93 deletions(-)

diff --git a/Redcraft.Utility/Source/Private/Testing/TypeTraitsTesting.cpp b/Redcraft.Utility/Source/Private/Testing/TypeTraitsTesting.cpp
index 54083fe..7d4c8b8 100644
--- a/Redcraft.Utility/Source/Private/Testing/TypeTraitsTesting.cpp
+++ b/Redcraft.Utility/Source/Private/Testing/TypeTraitsTesting.cpp
@@ -480,81 +480,81 @@ void TestTypeTraits()
 
 	// CopyQualifiers.h
 
-	always_check((CSameAs<               int32, TCopyConst<               int32,                int32>::Type>));
-	always_check((CSameAs<const          int32, TCopyConst<const          int32,                int32>::Type>));
-	always_check((CSameAs<const          int32, TCopyConst<const volatile int32,                int32>::Type>));
-	always_check((CSameAs<const          int32, TCopyConst<               int32, const          int32>::Type>));
-	always_check((CSameAs<const          int32, TCopyConst<const          int32, const          int32>::Type>));
-	always_check((CSameAs<const          int32, TCopyConst<const volatile int32, const          int32>::Type>));
-	always_check((CSameAs<const volatile int32, TCopyConst<               int32, const volatile int32>::Type>));
-	always_check((CSameAs<const volatile int32, TCopyConst<const          int32, const volatile int32>::Type>));
-	always_check((CSameAs<const volatile int32, TCopyConst<const volatile int32, const volatile int32>::Type>));
+	always_check((CSameAs<               int32, TCopyConst<               int32,                int32>>));
+	always_check((CSameAs<const          int32, TCopyConst<const          int32,                int32>>));
+	always_check((CSameAs<const          int32, TCopyConst<const volatile int32,                int32>>));
+	always_check((CSameAs<const          int32, TCopyConst<               int32, const          int32>>));
+	always_check((CSameAs<const          int32, TCopyConst<const          int32, const          int32>>));
+	always_check((CSameAs<const          int32, TCopyConst<const volatile int32, const          int32>>));
+	always_check((CSameAs<const volatile int32, TCopyConst<               int32, const volatile int32>>));
+	always_check((CSameAs<const volatile int32, TCopyConst<const          int32, const volatile int32>>));
+	always_check((CSameAs<const volatile int32, TCopyConst<const volatile int32, const volatile int32>>));
 	
-	always_check((CSameAs<               int32, TCopyVolatile<               int32,                int32>::Type>));
-	always_check((CSameAs<               int32, TCopyVolatile<const          int32,                int32>::Type>));
-	always_check((CSameAs<      volatile int32, TCopyVolatile<const volatile int32,                int32>::Type>));
-	always_check((CSameAs<const          int32, TCopyVolatile<               int32, const          int32>::Type>));
-	always_check((CSameAs<const          int32, TCopyVolatile<const          int32, const          int32>::Type>));
-	always_check((CSameAs<const volatile int32, TCopyVolatile<const volatile int32, const          int32>::Type>));
-	always_check((CSameAs<const volatile int32, TCopyVolatile<               int32, const volatile int32>::Type>));
-	always_check((CSameAs<const volatile int32, TCopyVolatile<const          int32, const volatile int32>::Type>));
-	always_check((CSameAs<const volatile int32, TCopyVolatile<const volatile int32, const volatile int32>::Type>));
+	always_check((CSameAs<               int32, TCopyVolatile<               int32,                int32>>));
+	always_check((CSameAs<               int32, TCopyVolatile<const          int32,                int32>>));
+	always_check((CSameAs<      volatile int32, TCopyVolatile<const volatile int32,                int32>>));
+	always_check((CSameAs<const          int32, TCopyVolatile<               int32, const          int32>>));
+	always_check((CSameAs<const          int32, TCopyVolatile<const          int32, const          int32>>));
+	always_check((CSameAs<const volatile int32, TCopyVolatile<const volatile int32, const          int32>>));
+	always_check((CSameAs<const volatile int32, TCopyVolatile<               int32, const volatile int32>>));
+	always_check((CSameAs<const volatile int32, TCopyVolatile<const          int32, const volatile int32>>));
+	always_check((CSameAs<const volatile int32, TCopyVolatile<const volatile int32, const volatile int32>>));
 	
-	always_check((CSameAs<               int32, TCopyCV<               int32,                int32>::Type>));
-	always_check((CSameAs<const          int32, TCopyCV<const          int32,                int32>::Type>));
-	always_check((CSameAs<const volatile int32, TCopyCV<const volatile int32,                int32>::Type>));
-	always_check((CSameAs<const          int32, TCopyCV<               int32, const          int32>::Type>));
-	always_check((CSameAs<const          int32, TCopyCV<const          int32, const          int32>::Type>));
-	always_check((CSameAs<const volatile int32, TCopyCV<const volatile int32, const          int32>::Type>));
-	always_check((CSameAs<const volatile int32, TCopyCV<               int32, const volatile int32>::Type>));
-	always_check((CSameAs<const volatile int32, TCopyCV<const          int32, const volatile int32>::Type>));
-	always_check((CSameAs<const volatile int32, TCopyCV<const volatile int32, const volatile int32>::Type>));
+	always_check((CSameAs<               int32, TCopyCV<               int32,                int32>>));
+	always_check((CSameAs<const          int32, TCopyCV<const          int32,                int32>>));
+	always_check((CSameAs<const volatile int32, TCopyCV<const volatile int32,                int32>>));
+	always_check((CSameAs<const          int32, TCopyCV<               int32, const          int32>>));
+	always_check((CSameAs<const          int32, TCopyCV<const          int32, const          int32>>));
+	always_check((CSameAs<const volatile int32, TCopyCV<const volatile int32, const          int32>>));
+	always_check((CSameAs<const volatile int32, TCopyCV<               int32, const volatile int32>>));
+	always_check((CSameAs<const volatile int32, TCopyCV<const          int32, const volatile int32>>));
+	always_check((CSameAs<const volatile int32, TCopyCV<const volatile int32, const volatile int32>>));
 	
-	always_check((CSameAs<int32,   TCopyReference<int32,   int32  >::Type>));
-	always_check((CSameAs<int32&,  TCopyReference<int32,   int32& >::Type>));
-	always_check((CSameAs<int32&&, TCopyReference<int32,   int32&&>::Type>));
-	always_check((CSameAs<int32&,  TCopyReference<int32&,  int32  >::Type>));
-	always_check((CSameAs<int32&,  TCopyReference<int32&,  int32& >::Type>));
-	always_check((CSameAs<int32&,  TCopyReference<int32&,  int32&&>::Type>));
-	always_check((CSameAs<int32&&, TCopyReference<int32&&, int32  >::Type>));
-	always_check((CSameAs<int32&,  TCopyReference<int32&&, int32& >::Type>));
-	always_check((CSameAs<int32&&, TCopyReference<int32&&, int32&&>::Type>));
+	always_check((CSameAs<int32,   TCopyReference<int32,   int32  >>));
+	always_check((CSameAs<int32&,  TCopyReference<int32,   int32& >>));
+	always_check((CSameAs<int32&&, TCopyReference<int32,   int32&&>>));
+	always_check((CSameAs<int32&,  TCopyReference<int32&,  int32  >>));
+	always_check((CSameAs<int32&,  TCopyReference<int32&,  int32& >>));
+	always_check((CSameAs<int32&,  TCopyReference<int32&,  int32&&>>));
+	always_check((CSameAs<int32&&, TCopyReference<int32&&, int32  >>));
+	always_check((CSameAs<int32&,  TCopyReference<int32&&, int32& >>));
+	always_check((CSameAs<int32&&, TCopyReference<int32&&, int32&&>>));
 
-	always_check((CSameAs<               int32, TCopyCVRef<               int32,                int32>::Type>));
-	always_check((CSameAs<const          int32, TCopyCVRef<const          int32,                int32>::Type>));
-	always_check((CSameAs<const          int32, TCopyCVRef<               int32, const          int32>::Type>));
-	always_check((CSameAs<const          int32, TCopyCVRef<const          int32, const          int32>::Type>));
-	always_check((CSameAs<      volatile int32, TCopyCVRef<      volatile int32,                int32>::Type>));
-	always_check((CSameAs<      volatile int32, TCopyCVRef<               int32,       volatile int32>::Type>));
-	always_check((CSameAs<      volatile int32, TCopyCVRef<      volatile int32,       volatile int32>::Type>));
-	always_check((CSameAs<const          int32, TCopyCVRef<const          int32,                int32>::Type>));
-	always_check((CSameAs<const volatile int32, TCopyCVRef<const volatile int32,                int32>::Type>));
-	always_check((CSameAs<const          int32, TCopyCVRef<               int32, const          int32>::Type>));
-	always_check((CSameAs<const          int32, TCopyCVRef<const          int32, const          int32>::Type>));
-	always_check((CSameAs<const volatile int32, TCopyCVRef<const volatile int32, const          int32>::Type>));
-	always_check((CSameAs<const volatile int32, TCopyCVRef<               int32, const volatile int32>::Type>));
-	always_check((CSameAs<const volatile int32, TCopyCVRef<const          int32, const volatile int32>::Type>));
-	always_check((CSameAs<const volatile int32, TCopyCVRef<const volatile int32, const volatile int32>::Type>));
+	always_check((CSameAs<               int32, TCopyCVRef<               int32,                int32>>));
+	always_check((CSameAs<const          int32, TCopyCVRef<const          int32,                int32>>));
+	always_check((CSameAs<const          int32, TCopyCVRef<               int32, const          int32>>));
+	always_check((CSameAs<const          int32, TCopyCVRef<const          int32, const          int32>>));
+	always_check((CSameAs<      volatile int32, TCopyCVRef<      volatile int32,                int32>>));
+	always_check((CSameAs<      volatile int32, TCopyCVRef<               int32,       volatile int32>>));
+	always_check((CSameAs<      volatile int32, TCopyCVRef<      volatile int32,       volatile int32>>));
+	always_check((CSameAs<const          int32, TCopyCVRef<const          int32,                int32>>));
+	always_check((CSameAs<const volatile int32, TCopyCVRef<const volatile int32,                int32>>));
+	always_check((CSameAs<const          int32, TCopyCVRef<               int32, const          int32>>));
+	always_check((CSameAs<const          int32, TCopyCVRef<const          int32, const          int32>>));
+	always_check((CSameAs<const volatile int32, TCopyCVRef<const volatile int32, const          int32>>));
+	always_check((CSameAs<const volatile int32, TCopyCVRef<               int32, const volatile int32>>));
+	always_check((CSameAs<const volatile int32, TCopyCVRef<const          int32, const volatile int32>>));
+	always_check((CSameAs<const volatile int32, TCopyCVRef<const volatile int32, const volatile int32>>));
 	
-	always_check((CSameAs<int32,   TCopyCVRef<int32,   int32  >::Type>));
-	always_check((CSameAs<int32&,  TCopyCVRef<int32,   int32& >::Type>));
-	always_check((CSameAs<int32&&, TCopyCVRef<int32,   int32&&>::Type>));
-	always_check((CSameAs<int32&,  TCopyCVRef<int32&,  int32  >::Type>));
-	always_check((CSameAs<int32&,  TCopyCVRef<int32&,  int32& >::Type>));
-	always_check((CSameAs<int32&,  TCopyCVRef<int32&,  int32&&>::Type>));
-	always_check((CSameAs<int32&&, TCopyCVRef<int32&&, int32  >::Type>));
-	always_check((CSameAs<int32&,  TCopyCVRef<int32&&, int32& >::Type>));
-	always_check((CSameAs<int32&&, TCopyCVRef<int32&&, int32&&>::Type>));
+	always_check((CSameAs<int32,   TCopyCVRef<int32,   int32  >>));
+	always_check((CSameAs<int32&,  TCopyCVRef<int32,   int32& >>));
+	always_check((CSameAs<int32&&, TCopyCVRef<int32,   int32&&>>));
+	always_check((CSameAs<int32&,  TCopyCVRef<int32&,  int32  >>));
+	always_check((CSameAs<int32&,  TCopyCVRef<int32&,  int32& >>));
+	always_check((CSameAs<int32&,  TCopyCVRef<int32&,  int32&&>>));
+	always_check((CSameAs<int32&&, TCopyCVRef<int32&&, int32  >>));
+	always_check((CSameAs<int32&,  TCopyCVRef<int32&&, int32& >>));
+	always_check((CSameAs<int32&&, TCopyCVRef<int32&&, int32&&>>));
 
-	always_check((CSameAs<const           int32,   TCopyCVRef<const          int32,         int32  >::Type>));
-	always_check((CSameAs<const           int32&,  TCopyCVRef<               int32,   const int32& >::Type>));
-	always_check((CSameAs<const volatile  int32&&, TCopyCVRef<const volatile int32,   const int32&&>::Type>));
-	always_check((CSameAs<const           int32&,  TCopyCVRef<const          int32&,        int32  >::Type>));
-	always_check((CSameAs<const           int32&,  TCopyCVRef<const          int32&,  const int32& >::Type>));
-	always_check((CSameAs<const volatile  int32&,  TCopyCVRef<      volatile int32&,  const int32&&>::Type>));
-	always_check((CSameAs<const           int32&&, TCopyCVRef<const          int32&&,       int32  >::Type>));
-	always_check((CSameAs<const           int32&,  TCopyCVRef<const          int32&&, const int32& >::Type>));
-	always_check((CSameAs<const volatile  int32&&, TCopyCVRef<const volatile int32&&, const int32&&>::Type>));
+	always_check((CSameAs<const           int32,   TCopyCVRef<const          int32,         int32  >>));
+	always_check((CSameAs<const           int32&,  TCopyCVRef<               int32,   const int32& >>));
+	always_check((CSameAs<const volatile  int32&&, TCopyCVRef<const volatile int32,   const int32&&>>));
+	always_check((CSameAs<const           int32&,  TCopyCVRef<const          int32&,        int32  >>));
+	always_check((CSameAs<const           int32&,  TCopyCVRef<const          int32&,  const int32& >>));
+	always_check((CSameAs<const volatile  int32&,  TCopyCVRef<      volatile int32&,  const int32&&>>));
+	always_check((CSameAs<const           int32&&, TCopyCVRef<const          int32&&,       int32  >>));
+	always_check((CSameAs<const           int32&,  TCopyCVRef<const          int32&&, const int32& >>));
+	always_check((CSameAs<const volatile  int32&&, TCopyCVRef<const volatile int32&&, const int32&&>>));
 
 	// BooleanTestable.h
 
diff --git a/Redcraft.Utility/Source/Public/Templates/Function.h b/Redcraft.Utility/Source/Public/Templates/Function.h
index 0d3084c..91319ba 100644
--- a/Redcraft.Utility/Source/Public/Templates/Function.h
+++ b/Redcraft.Utility/Source/Public/Templates/Function.h
@@ -146,8 +146,8 @@ public:
 
 private:
 
-	using StorageType = TConditional<bIsRef, typename TCopyConst<CVRef, void>::Type*, TAny<InlineSize, 1>>;
-	using StorageRef  = TConditional<bIsRef, typename TCopyConst<CVRef, void>::Type*, typename TCopyCVRef<CVRef, StorageType>::Type&>;
+	using StorageType = TConditional<bIsRef, TCopyConst<CVRef, void>*, TAny<InlineSize, 1>>;
+	using StorageRef  = TConditional<bIsRef, TCopyConst<CVRef, void>*, TCopyCVRef<CVRef, StorageType>&>;
 
 	using CallFunc = ResultType(*)(StorageRef, Types&&...);
 
@@ -171,7 +171,7 @@ protected:
 	template <typename DecayedType, typename... ArgTypes>
 	FORCEINLINE void EmplaceImpl(ArgTypes&&... Args)
 	{
-		using CallableType = typename TCopyConst<TRemoveReference<CVRef>, DecayedType>::Type;
+		using CallableType = TCopyConst<TRemoveReference<CVRef>, DecayedType>;
 
 		if constexpr (bIsRef) Storage = ((reinterpret_cast<StorageType>(AddressOf(Args))), ...);
 		else Storage.template Emplace<DecayedType>(Forward<ArgTypes>(Args)...);
@@ -180,8 +180,8 @@ protected:
 		{
 			using InvokeType = TConditional<
 				CReference<CVRef>,
-				typename TCopyCVRef<CVRef, CallableType>::Type,
-				typename TCopyCVRef<CVRef, CallableType>::Type&
+				TCopyCVRef<CVRef, CallableType>,
+				TCopyCVRef<CVRef, CallableType>&
 			>;
 
 			const auto GetFunc = [&Storage]() -> InvokeType
diff --git a/Redcraft.Utility/Source/Public/Templates/Tuple.h b/Redcraft.Utility/Source/Public/Templates/Tuple.h
index 42e13aa..1fde4b3 100644
--- a/Redcraft.Utility/Source/Public/Templates/Tuple.h
+++ b/Redcraft.Utility/Source/Public/Templates/Tuple.h
@@ -405,7 +405,7 @@ template <typename TupleType> requires CTTuple<TRemoveCVRef<TupleType>>
 struct TTupleElementSize : TConstant<size_t, TRemoveCVRef<TupleType>::ElementSize> { };
 
 template <size_t I, typename TupleType> requires CTTuple<TRemoveCVRef<TupleType>>
-struct TTupleElementType { using Type = typename TCopyCVRef<TRemoveReference<TupleType>, typename TRemoveCVRef<TupleType>::template TElementType<I>::Type>::Type; };
+struct TTupleElementType { using Type = TCopyCVRef<TRemoveReference<TupleType>, typename TRemoveCVRef<TupleType>::template TElementType<I>::Type>; };
 
 template <typename T, typename TupleType> requires CTTuple<TRemoveCVRef<TupleType>>
 struct TTupleElementIndex : TupleType::template TElementIndex<T> { };
diff --git a/Redcraft.Utility/Source/Public/Templates/Variant.h b/Redcraft.Utility/Source/Public/Templates/Variant.h
index 07ae9f8..9d17c6a 100644
--- a/Redcraft.Utility/Source/Public/Templates/Variant.h
+++ b/Redcraft.Utility/Source/Public/Templates/Variant.h
@@ -422,7 +422,7 @@ template <typename VariantType> requires CTVariant<TRemoveCVRef<VariantType>>
 struct TVariantAlternativeSize : TConstant<size_t, VariantType::AlternativeSize> { };
 
 template <size_t I, typename VariantType> requires CTVariant<TRemoveCVRef<VariantType>>
-struct TVariantAlternativeType { using Type = typename TCopyCV<TRemoveReference<VariantType>, typename TRemoveCVRef<VariantType>::template TAlternativeType<I>::Type>::Type; };
+struct TVariantAlternativeType { using Type = TCopyCV<TRemoveReference<VariantType>, typename TRemoveCVRef<VariantType>::template TAlternativeType<I>::Type>; };
 
 template <typename T, typename VariantType> requires CTVariant<TRemoveCVRef<VariantType>>
 struct TVariantAlternativeIndex : VariantType::template TAlternativeIndex<T> { };
diff --git a/Redcraft.Utility/Source/Public/TypeTraits/CopyQualifiers.h b/Redcraft.Utility/Source/Public/TypeTraits/CopyQualifiers.h
index 588082b..de59fbd 100644
--- a/Redcraft.Utility/Source/Public/TypeTraits/CopyQualifiers.h
+++ b/Redcraft.Utility/Source/Public/TypeTraits/CopyQualifiers.h
@@ -9,27 +9,37 @@ NAMESPACE_REDCRAFT_BEGIN
 NAMESPACE_MODULE_BEGIN(Redcraft)
 NAMESPACE_MODULE_BEGIN(Utility)
 
-template <typename From, typename To> struct TCopyConst                 { using Type =       To; };
-template <typename From, typename To> struct TCopyConst<const From, To> { using Type = const To; };
+NAMESPACE_PRIVATE_BEGIN
 
-template <typename From, typename To> struct TCopyVolatile                    { using Type =          To; };
-template <typename From, typename To> struct TCopyVolatile<volatile From, To> { using Type = volatile To; };
+template <typename From, typename To> struct TCopyConstImpl                 { using Type =       To; };
+template <typename From, typename To> struct TCopyConstImpl<const From, To> { using Type = const To; };
 
-template <typename From, typename To> struct TCopyCV { using Type = typename TCopyConst<From, typename TCopyVolatile<From, To>::Type>::Type; };
+template <typename From, typename To> struct TCopyVolatileImpl                    { using Type =          To; };
+template <typename From, typename To> struct TCopyVolatileImpl<volatile From, To> { using Type = volatile To; };
 
-template <typename From, typename To> struct TCopyReference               { using Type = To;   };
-template <typename From, typename To> struct TCopyReference<From&,  To  > { using Type = To&;  };
-template <typename From, typename To> struct TCopyReference<From&&, To  > { using Type = To&&; };
+template <typename From, typename To> struct TCopyCVImpl { using Type = typename TCopyConstImpl<From, typename TCopyVolatileImpl<From, To>::Type>::Type; };
 
-template <typename From, typename To> struct TCopyCVRef               { using Type = typename TCopyCV<From, To>::Type;   };
-template <typename From, typename To> struct TCopyCVRef<From,   To& > { using Type = typename TCopyCV<From, To>::Type&;  };
-template <typename From, typename To> struct TCopyCVRef<From,   To&&> { using Type = typename TCopyCV<From, To>::Type&&; };
-template <typename From, typename To> struct TCopyCVRef<From&,  To  > { using Type = typename TCopyCV<From, To>::Type&;  };
-template <typename From, typename To> struct TCopyCVRef<From&,  To& > { using Type = typename TCopyCV<From, To>::Type&;  };
-template <typename From, typename To> struct TCopyCVRef<From&,  To&&> { using Type = typename TCopyCV<From, To>::Type&;  };
-template <typename From, typename To> struct TCopyCVRef<From&&, To  > { using Type = typename TCopyCV<From, To>::Type&&; };
-template <typename From, typename To> struct TCopyCVRef<From&&, To& > { using Type = typename TCopyCV<From, To>::Type&;  };
-template <typename From, typename To> struct TCopyCVRef<From&&, To&&> { using Type = typename TCopyCV<From, To>::Type&&; };
+template <typename From, typename To> struct TCopyReferenceImpl             { using Type = To;   };
+template <typename From, typename To> struct TCopyReferenceImpl<From&,  To> { using Type = To&;  };
+template <typename From, typename To> struct TCopyReferenceImpl<From&&, To> { using Type = To&&; };
+
+template <typename From, typename To> struct TCopyCVRefImpl               { using Type = typename TCopyCVImpl<From, To>::Type;   };
+template <typename From, typename To> struct TCopyCVRefImpl<From,   To& > { using Type = typename TCopyCVImpl<From, To>::Type&;  };
+template <typename From, typename To> struct TCopyCVRefImpl<From,   To&&> { using Type = typename TCopyCVImpl<From, To>::Type&&; };
+template <typename From, typename To> struct TCopyCVRefImpl<From&,  To  > { using Type = typename TCopyCVImpl<From, To>::Type&;  };
+template <typename From, typename To> struct TCopyCVRefImpl<From&,  To& > { using Type = typename TCopyCVImpl<From, To>::Type&;  };
+template <typename From, typename To> struct TCopyCVRefImpl<From&,  To&&> { using Type = typename TCopyCVImpl<From, To>::Type&;  };
+template <typename From, typename To> struct TCopyCVRefImpl<From&&, To  > { using Type = typename TCopyCVImpl<From, To>::Type&&; };
+template <typename From, typename To> struct TCopyCVRefImpl<From&&, To& > { using Type = typename TCopyCVImpl<From, To>::Type&;  };
+template <typename From, typename To> struct TCopyCVRefImpl<From&&, To&&> { using Type = typename TCopyCVImpl<From, To>::Type&&; };
+
+NAMESPACE_PRIVATE_END
+
+template <typename From, typename To> using TCopyConst     = typename NAMESPACE_PRIVATE::TCopyConstImpl<From, To>::Type;
+template <typename From, typename To> using TCopyVolatile  = typename NAMESPACE_PRIVATE::TCopyVolatileImpl<From, To>::Type;
+template <typename From, typename To> using TCopyCV        = typename NAMESPACE_PRIVATE::TCopyCVImpl<From, To>::Type;
+template <typename From, typename To> using TCopyReference = typename NAMESPACE_PRIVATE::TCopyReferenceImpl<From, To>::Type;
+template <typename From, typename To> using TCopyCVRef     = typename NAMESPACE_PRIVATE::TCopyCVRefImpl<From, To>::Type;
 
 NAMESPACE_MODULE_END(Utility)
 NAMESPACE_MODULE_END(Redcraft)