P1048R1 A proposal for a type trait to detect scoped enumerations

Author: jwakely

source/support.tex

@@ -630,6 +630,7 @@
 #define @\defnlibxname{cpp_lib_is_nothrow_convertible}@            201806L // also in \libheader{type_traits}
 #define @\defnlibxname{cpp_lib_is_null_pointer}@                   201309L // also in \libheader{type_traits}
 #define @\defnlibxname{cpp_lib_is_pointer_interconvertible}@       201907L // also in \libheader{type_traits}
+#define @\defnlibxname{cpp_lib_is_scoped_enum}@                    202011L // also in \libheader{type_traits}
 #define @\defnlibxname{cpp_lib_is_swappable}@                      201603L // also in \libheader{type_traits}
 #define @\defnlibxname{cpp_lib_jthread}@                           201911L // also in \libheader{stop_token}, \libheader{thread}
 #define @\defnlibxname{cpp_lib_latch}@                             201907L // also in \libheader{latch}

source/utilities.tex

@@ -15938,6 +15938,7 @@
   template<class T> struct is_unsigned;
   template<class T> struct is_bounded_array;
   template<class T> struct is_unbounded_array;
+  template<class T> struct is_scoped_enum;
 
   template<class T, class... Args> struct is_constructible;
   template<class T> struct is_default_constructible;
@@ -16187,6 +16188,8 @@
     inline constexpr bool @\libglobal{is_bounded_array_v}@ = is_bounded_array<T>::value;
   template<class T>
     inline constexpr bool @\libglobal{is_unbounded_array_v}@ = is_unbounded_array<T>::value;
+  template<class T>
+    inline constexpr bool @\libglobal{is_scoped_enum_v}@ = is_scoped_enum<T>::value;
   template<class T, class... Args>
     inline constexpr bool @\libglobal{is_constructible_v}@ = is_constructible<T, Args...>::value;
   template<class T>
@@ -16619,6 +16622,12 @@
   \tcode{T} is an array type of unknown bound\iref{dcl.array}
                              &   \\  \rowsep
 
+\indexlibraryglobal{is_scoped_enum}%
+\tcode{template<class T>}\br
+  \tcode{struct is_scoped_enum;}     &
+  \tcode{T} is a scoped enumeration\iref{dcl.enum}
+                             &   \\  \rowsep
+
 \indexlibraryglobal{is_constructible}%
 \tcode{template<class T, class... Args>}\br
  \tcode{struct is_constructible;}   &