[func.bind] Remove bogus 'shall's. (#2955)

Author: jensmaurer

source/utilities.tex

@@ -15345,11 +15345,11 @@
 uses \tcode{is_bind_expression} to detect subexpressions.
 
 \pnum
-Instantiations of the \tcode{is_bind_expression} template shall meet
+Specializations of the \tcode{is_bind_expression} template shall meet
 the \oldconcept{UnaryTypeTrait} requirements\iref{meta.rqmts}. The implementation
-shall provide a definition that has a base characteristic of
+provides a definition that has a base characteristic of
 \tcode{true_type} if \tcode{T} is a type returned from \tcode{bind},
-otherwise it shall have a base characteristic of \tcode{false_type}.
+otherwise it has a base characteristic of \tcode{false_type}.
 A program may specialize this template for a program-defined type \tcode{T}
 to have a base characteristic of \tcode{true_type} to indicate that
 \tcode{T} should be treated as a subexpression in a \tcode{bind} call.
@@ -15369,11 +15369,11 @@
 \tcode{is_placeholder} to detect placeholders.
 
 \pnum
-Instantiations of the \tcode{is_placeholder} template shall meet
+Specializations of the \tcode{is_placeholder} template shall meet
 the \oldconcept{UnaryTypeTrait} requirements\iref{meta.rqmts}. The implementation
-shall provide a definition that has the base characteristic of
+provides a definition that has the base characteristic of
 \tcode{integral_constant<int, \placeholder{J}>} if \tcode{T} is the type of
-\tcode{std::placeholders::_\placeholder{J}}, otherwise it shall have a
+\tcode{std::placeholders::_\placeholder{J}}, otherwise it has a
 base characteristic of \tcode{integral_constant<int, 0>}. A program
 may specialize this template for a program-defined type \tcode{T} to
 have a base characteristic of \tcode{integral_constant<int, N>}
@@ -15418,14 +15418,14 @@
 
 \pnum\returns
 An argument forwarding call wrapper \tcode{g}\iref{func.require}.
-The effect of \tcode{g($\tcode{u}_1$, $\tcode{u}_2$, $\dotsc$, $\tcode{u}_M$)} shall
-be
+The effect of \tcode{g($\tcode{u}_1$, $\tcode{u}_2$, $\dotsc$, $\tcode{u}_M$)}
+is
 \begin{codeblock}
 @\placeholdernc{INVOKE}@(fd, std::forward<@$\tcode{V}_1$@>(@$\tcode{v}_1$@), std::forward<@$\tcode{V}_2$@>(@$\tcode{v}_2$@), @$\dotsc$@, std::forward<@$\tcode{V}_N$@>(@$\tcode{v}_N$@))
 \end{codeblock}
 where the values and types of the bound
 arguments $\tcode{v}_1$, $\tcode{v}_2$, $\dotsc$, $\tcode{v}_N$ are determined as specified below.
-The copy constructor and move constructor of the argument forwarding call wrapper shall throw an
+The copy constructor and move constructor of the argument forwarding call wrapper throw an
 exception if and only if the corresponding constructor of \tcode{FD} or of any of the types
 $\tcode{TD}_i$ throws an exception.
 
@@ -15434,9 +15434,9 @@
 \tcode{fd} or of one of the values $\tcode{td}_i$ throws an exception.
 
 \pnum
-\remarks The return type shall meet the \oldconcept{MoveConstructible} requirements. If all
+\remarks The return type meets the \oldconcept{MoveConstructible} requirements. If all
 of \tcode{FD} and $\tcode{TD}_i$ meet the \oldconcept{CopyConstructible} requirements, then the
-return type shall meet the \oldconcept{CopyConstructible} requirements. \begin{note} This implies
+return type meets the \oldconcept{CopyConstructible} requirements. \begin{note} This implies
 that all of \tcode{FD} and $\tcode{TD}_i$ are \oldconcept{MoveConst\-ruct\-ible}. \end{note}
 \end{itemdescr}
 
@@ -15462,13 +15462,13 @@
 \returns
 An argument forwarding call wrapper \tcode{g}\iref{func.require}.
 The effect of
-\tcode{g($\tcode{u}_1$, $\tcode{u}_2$, $\dotsc$, $\tcode{u}_M$)} shall be
+\tcode{g($\tcode{u}_1$, $\tcode{u}_2$, $\dotsc$, $\tcode{u}_M$)} is
 \begin{codeblock}
 @\placeholdernc{INVOKE}@<R>(fd, std::forward<@$\tcode{V}_1$@>(@$\tcode{v}_1$@), std::forward<@$\tcode{V}_2$@>(@$\tcode{v}_2$@), @$\dotsc$@, std::forward<@$\tcode{V}_N$@>(@$\tcode{v}_N$@))
 \end{codeblock}
 where the values and types of the bound
 arguments $\tcode{v}_1$, $\tcode{v}_2$, $\dotsc$, $\tcode{v}_N$ are determined as specified below.
-The copy constructor and move constructor of the argument forwarding call wrapper shall throw an
+The copy constructor and move constructor of the argument forwarding call wrapper throw an
 exception if and only if the corresponding constructor of \tcode{FD} or of any of the types
 $\tcode{TD}_i$ throws an exception.
 
@@ -15477,9 +15477,9 @@
 \tcode{fd} or of one of the values $\tcode{td}_i$ throws an exception.
 
 \pnum
-\remarks The return type shall meet the \oldconcept{MoveConstructible} requirements. If all
+\remarks The return type meets the \oldconcept{MoveConstructible} requirements. If all
 of \tcode{FD} and $\tcode{TD}_i$ meet the \oldconcept{CopyConstructible} requirements, then the
-return type shall meet the \oldconcept{CopyConstructible} requirements. \begin{note} This implies
+return type meets the \oldconcept{CopyConstructible} requirements. \begin{note} This implies
 that all of \tcode{FD} and $\tcode{TD}_i$ are \oldconcept{MoveConst\-ruct\-ible}. \end{note}
 \end{itemdescr}