From feb1d393dcb9d80965d09813797cc35b76100357 Mon Sep 17 00:00:00 2001
From: Arthur O'Dwyer <arthur.j.odwyer@gmail.com>
Date: Tue, 26 Dec 2023 14:50:32 -0500
Subject: [PATCH] [func.wrap.func.cons] [any.assign] Harmonize operator=
 wording

This harmonizes the wording of `operator=` semantics for all four
type-erasure types (function, any, move_only_function, copyable_function).
---
 source/utilities.tex | 18 ++++--------------
 1 file changed, 4 insertions(+), 14 deletions(-)

diff --git a/source/utilities.tex b/source/utilities.tex
index 4546698fb5..ee3a9afd66 100644
--- a/source/utilities.tex
+++ b/source/utilities.tex
@@ -6643,16 +6643,11 @@
 \begin{itemdescr}
 \pnum
 \effects
-As if by \tcode{any(rhs).swap(*this)}.
-No effects if an exception is thrown.
+Equivalent to: \tcode{any(rhs).swap(*this);}
 
 \pnum
 \returns
 \tcode{*this}.
-
-\pnum
-\throws
-Any exceptions arising from the copy constructor for the contained value.
 \end{itemdescr}
 
 \indexlibrarymember{operator=}{any}%
@@ -6663,11 +6658,7 @@
 \begin{itemdescr}
 \pnum
 \effects
-As if by \tcode{any(std::move(rhs)).swap(*this)}.
-
-\pnum
-\ensures
-The state of \tcode{*this} is equivalent to the original state of \tcode{rhs}.
+Equivalent to: \tcode{any(std::move(rhs)).swap(*this);}
 
 \pnum
 \returns
@@ -13115,7 +13106,7 @@
 \begin{itemdescr}
 \pnum
 \effects
-As if by \tcode{function(f).swap(*this);}
+Equivalent to: \tcode{function(f).swap(*this);}
 
 \pnum
 \returns
@@ -13130,8 +13121,7 @@
 \begin{itemdescr}
 \pnum
 \effects
-Replaces the target of \tcode{*this}
-with the target of \tcode{f}.
+Equivalent to: \tcode{function(std::move(f)).swap(*this);}
 
 \pnum
 \returns