names fix, and is_*typemodificator* templates now work for buggy comp…

…ilers
oktonion · Jul 23, 2018 · 6e076ec · 6e076ec
1 parent dfc0827
commit 6e076ec
Showing 1 changed file with 7 additions and 2 deletions.
diff --git a/stdex/include/type_traits.hpp b/stdex/include/type_traits.hpp
@@ -393,7 +393,7 @@ namespace stdex
 		};
 
 		template<class _Tp>
-		struct UnsignedComparer
+		struct _unsigned_comparer
 		{
 			static const bool value = _Tp(0) < _Tp(-1);
 		};
@@ -409,7 +409,7 @@ namespace stdex
 
 			template<class _Tp>
 			struct _unsigned :
-				public _cat_base<UnsignedComparer<typename remove_cv<_Tp>::type>::value>
+				public _cat_base<_unsigned_comparer<typename remove_cv<_Tp>::type>::value>
 			{
 			};
 		};
@@ -477,6 +477,11 @@ namespace stdex
 		: public true_type
 	{ };
 
+	template<class _Tp>
+	struct is_volatile<const volatile _Tp>
+		: public true_type
+	{ };
+
 	template<class _Tp>
 	struct is_reference;