diff --git a/source/support.tex b/source/support.tex index 50132b726e..afc5ae8e48 100644 --- a/source/support.tex +++ b/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} diff --git a/source/utilities.tex b/source/utilities.tex index 7c966198da..b557f7ddc1 100644 --- a/source/utilities.tex +++ b/source/utilities.tex @@ -15938,6 +15938,7 @@ template struct is_unsigned; template struct is_bounded_array; template struct is_unbounded_array; + template struct is_scoped_enum; template struct is_constructible; template struct is_default_constructible; @@ -16187,6 +16188,8 @@ inline constexpr bool @\libglobal{is_bounded_array_v}@ = is_bounded_array::value; template inline constexpr bool @\libglobal{is_unbounded_array_v}@ = is_unbounded_array::value; + template + inline constexpr bool @\libglobal{is_scoped_enum_v}@ = is_scoped_enum::value; template inline constexpr bool @\libglobal{is_constructible_v}@ = is_constructible::value; template @@ -16619,6 +16622,12 @@ \tcode{T} is an array type of unknown bound\iref{dcl.array} & \\ \rowsep +\indexlibraryglobal{is_scoped_enum}% +\tcode{template}\br + \tcode{struct is_scoped_enum;} & + \tcode{T} is a scoped enumeration\iref{dcl.enum} + & \\ \rowsep + \indexlibraryglobal{is_constructible}% \tcode{template}\br \tcode{struct is_constructible;} &