P3923R0: Re NB US 225-341 (C++26 CD)

Fixes NB US 225-341 (C++26 CD).

Author: eisenwave

source/utilities.tex

@@ -1674,9 +1674,11 @@
   public:
     // \ref{tuple.cnstr}, \tcode{tuple} construction
     constexpr explicit(@\seebelow@) tuple();
-    constexpr explicit(@\seebelow@) tuple(const Types&...);         // only if \tcode{sizeof...(Types) >= 1}
+    constexpr explicit(@\seebelow@) tuple(const Types&...)          // only if \tcode{sizeof...(Types) >= 1}
+      noexcept(@\seebelow@);
     template<class... UTypes>
-      constexpr explicit(@\seebelow@) tuple(UTypes&&...);           // only if \tcode{sizeof...(Types) >= 1}
+      constexpr explicit(@\seebelow@) tuple(UTypes&&...)            // only if \tcode{sizeof...(Types) >= 1}
+        noexcept(@\seebelow@);
 
     tuple(const tuple&) = default;
     tuple(tuple&&) = default;
@@ -1852,7 +1854,8 @@
 
 \indexlibraryctor{tuple}%
 \begin{itemdecl}
-constexpr explicit(@\seebelow@) tuple(const Types&...);
+constexpr explicit(@\seebelow@) tuple(const Types&...)
+  noexcept((is_nothrow_copy_constructible_v<Types> && ...));
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -1876,7 +1879,8 @@
 
 \indexlibraryctor{tuple}%
 \begin{itemdecl}
-template<class... UTypes> constexpr explicit(@\seebelow@) tuple(UTypes&&... u);
+template<class... UTypes> constexpr explicit(@\seebelow@) tuple(UTypes&&... u)
+  noexcept((is_nothrow_constructible_v<Types, UTypes> && ...));
 \end{itemdecl}
 
 \begin{itemdescr}