diff --git a/source/lib-intro.tex b/source/lib-intro.tex index d04723a7a7..a02432e3f0 100644 --- a/source/lib-intro.tex +++ b/source/lib-intro.tex @@ -2872,17 +2872,17 @@ \begin{itemize} \item -for replacement functions\iref{new.delete}, if the installed replacement function does not +For replacement functions\iref{new.delete}, if the installed replacement function does not implement the semantics of the applicable \required paragraph. \item -for handler functions~(\ref{new.handler}, \ref{terminate.handler}), +For handler functions~(\ref{new.handler}, \ref{terminate.handler}), if the installed handler function does not implement the semantics of the applicable \required -paragraph +paragraph. \item -for types used as template arguments when instantiating a template component, +For types used as template arguments when instantiating a template component, if the operations on the type do not implement the semantics of the applicable \emph{Requirements} subclause~(\ref{allocator.requirements}, \ref{container.requirements}, \ref{iterator.requirements}, @@ -2890,13 +2890,13 @@ Operations on such types can report a failure by throwing an exception unless otherwise specified. \item -if any replacement function or handler function or destructor operation exits via an exception, +If any replacement function or handler function or destructor operation exits via an exception, unless specifically allowed in the applicable \required paragraph. \item -if an incomplete type\iref{basic.types} is used as a template +If an incomplete type\iref{basic.types} is used as a template argument when instantiating a template component or evaluating a concept, unless specifically allowed for that component. \end{itemize}