From d8a29dae22ab08c04d3379c7509ac190517b8374 Mon Sep 17 00:00:00 2001
From: Jens Maurer <Jens.Maurer@gmx.net>
Date: Wed, 27 Feb 2019 21:22:58 +0100
Subject: [PATCH] P1357R1 Traits for [Un]bounded Arrays

---
 source/support.tex   |  2 ++
 source/utilities.tex | 18 ++++++++++++++++++
 2 files changed, 20 insertions(+)

diff --git a/source/support.tex b/source/support.tex
index dec92ca3d0..1a58399d24 100644
--- a/source/support.tex
+++ b/source/support.tex
@@ -555,6 +555,8 @@
   \tcode{<functional>} \\ \rowsep
 \defnlibxname{cpp_lib_bool_constant}                        & \tcode{201505L} &
   \tcode{<type_traits>} \\ \rowsep
+\defnlibxname{cpp_lib_bounded_array_traits}                 & \tcode{201902L} &
+  \tcode{<type_traits>} \\ \rowsep
 \defnlibxname{cpp_lib_boyer_moore_searcher}                 & \tcode{201603L} &
   \tcode{<functional>} \\ \rowsep
 \defnlibxname{cpp_lib_byte}                                 & \tcode{201603L} &
diff --git a/source/utilities.tex b/source/utilities.tex
index a40e2ebeba..ddb6aeb145 100644
--- a/source/utilities.tex
+++ b/source/utilities.tex
@@ -16490,6 +16490,8 @@
 
   template<class T> struct is_signed;
   template<class T> struct is_unsigned;
+  template<class T> struct is_bounded_array;
+  template<class T> struct is_unbounded_array;
 
   template<class T, class... Args> struct is_constructible;
   template<class T> struct is_default_constructible;
@@ -16734,6 +16736,10 @@
     inline constexpr bool is_signed_v = is_signed<T>::value;
   template<class T>
     inline constexpr bool is_unsigned_v = is_unsigned<T>::value;
+  template<class T>
+    inline constexpr bool is_bounded_array_v = is_bounded_array<T>::value;
+  template<class T>
+    inline constexpr bool is_unbounded_array_v = is_unbounded_array<T>::value;
   template<class T, class... Args>
     inline constexpr bool is_constructible_v = is_constructible<T, Args...>::value;
   template<class T>
@@ -17137,6 +17143,18 @@
   \tcode{T(0) < T(-1)};
   otherwise, \tcode{false}   &   \\  \rowsep
 
+\indexlibrary{\idxcode{is_bounded_array}}%
+\tcode{template<class T>}\br
+  \tcode{struct is_bounded_array;}       &
+  \tcode{T} is an array type of known bound\iref{dcl.array}
+                             &   \\  \rowsep
+
+\indexlibrary{\idxcode{is_unbounded_array}}%
+\tcode{template<class T>}\br
+  \tcode{struct is_unbounded_array;}     &
+  \tcode{T} is an array type of unknown bound\iref{dcl.array}
+                             &   \\  \rowsep
+
 \indexlibrary{\idxcode{is_constructible}}%
 \tcode{template<class T, class... Args>}\br
  \tcode{struct is_constructible;}   &