From bdc48dd9e9470ac640a70de0592e815f9940933f Mon Sep 17 00:00:00 2001 From: Arthur O'Dwyer Date: Mon, 23 Mar 2026 10:41:39 -0400 Subject: [PATCH] [pairs.pair, variant.ctor, tuple.cnstr] Only functions can be "constexpr-suitable" This starts by reverting commit 79aef51943810dcf14654490fb6101bbc9e4a0f9, and then un-teletypes the word `constexpr` in "is a `constexpr` function" in the last place it's currently teletyped (after #6620, that is). --- source/utilities.tex | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/source/utilities.tex b/source/utilities.tex index 9ec1772423..3e67950a39 100644 --- a/source/utilities.tex +++ b/source/utilities.tex @@ -825,7 +825,7 @@ The defaulted move and copy constructor, respectively, of \tcode{pair} is a constexpr function if and only if all required element-wise initializations for move and copy, respectively, -would be constexpr-suitable\iref{dcl.constexpr}. +would satisfy the requirements for a constexpr function. \pnum If \tcode{(is_trivially_destructible_v \&\& is_trivially_destructible_v)} @@ -1815,7 +1815,7 @@ The defaulted move and copy constructor, respectively, of \tcode{tuple} is a constexpr function if and only if all required element-wise initializations for move and copy, respectively, -would be constexpr-suitable\iref{dcl.constexpr}. +would satisfy the requirements for a constexpr function. The defaulted move and copy constructor of \tcode{tuple<>} are constexpr functions. @@ -5900,9 +5900,9 @@ \pnum \remarks -This function is \keyword{constexpr} if and only if the +This constructor is a constexpr function if and only if the value-initialization of the alternative type $\tcode{T}_0$ -would be constexpr-suitable\iref{dcl.constexpr}. +would satisfy the requirements for a constexpr function. The exception specification is equivalent to \tcode{is_nothrow_default_constructible_v<$\tcode{T}_0$>}. \begin{note}