[std] Remove colons in front of bulleted lists

Author: jensmaurer

source/algorithms.tex

@@ -4403,7 +4403,7 @@
 
 \pnum
 \complexity
-No applications of the corresponding predicate and projections if:
+No applications of the corresponding predicate and projections if
 \begin{itemize}
 \item
 for the first overload,
@@ -6608,7 +6608,7 @@
 from position \tcode{first + i} into position \tcode{first + n + i}
 for each non-negative integer \tcode{i < (last - first) - n}.
 Does so in order starting
-from \tcode{i = (last - first) - n - 1} and proceeding to \tcode{i = 0} if:
+from \tcode{i = (last - first) - n - 1} and proceeding to \tcode{i = 0} if
 \begin{itemize}
 \item
 for the overload in namespace \tcode{std}

source/basic.tex

@@ -497,7 +497,7 @@
 
 \pnum
 A local entity\iref{basic.pre}
-is \defn{odr-usable} in a scope\iref{basic.scope.scope} if:
+is \defn{odr-usable} in a scope\iref{basic.scope.scope} if
 \begin{itemize}
 \item either the local entity is not \tcode{*\keyword{this}}, or
 an enclosing class or non-lambda function parameter scope exists and,
@@ -607,7 +607,7 @@
 \begin{note}
 The rules for declarations and expressions
 describe in which contexts complete class types are required. A class
-type \tcode{T} must be complete if:
+type \tcode{T} must be complete if
 \begin{itemize}
 \item an object of type \tcode{T} is defined\iref{basic.def}, or
 \item a non-static class data member of type \tcode{T} is
@@ -909,7 +909,7 @@
 
 \pnum
 Two non-static member functions have
-\defnadjx{corresponding}{object parameters}{object parameter} if:
+\defnadjx{corresponding}{object parameters}{object parameter} if
 \begin{itemize}
 \item
 exactly one is an implicit object member function
@@ -922,7 +922,7 @@
 \end{itemize}
 \indextext{template!function!corresponding object parameter}%
 Two non-static member function templates have
-\defnadjx{corresponding}{object parameters}{object parameter} if:
+\defnadjx{corresponding}{object parameters}{object parameter} if
 \begin{itemize}
 \item
 exactly one is an implicit object member function
@@ -963,7 +963,7 @@
 and they do not declare corresponding overloads.
 \end{itemize}
 Two function or function template declarations declare
-\defn{corresponding overloads} if:
+\defn{corresponding overloads} if
 \begin{itemize}
 \item
 both declare functions with the same non-object-parameter-type-list,
@@ -3201,7 +3201,7 @@
 in storage associated with a member subobject or array element \placeholder{e}
 (which may or may not be within its lifetime),
 the created object
-is a subobject of \placeholder{e}'s containing object if:
+is a subobject of \placeholder{e}'s containing object if
 \begin{itemize}
 \item
 the lifetime of \placeholder{e}'s containing object has begun and not ended, and
@@ -3218,7 +3218,7 @@
 of type ``array of $N$ \tcode{\keyword{unsigned} \keyword{char}}'' or
 of type ``array of $N$ \tcode{std::byte}''\iref{cstddef.syn},
 that array \defn{provides storage}
-for the created object if:
+for the created object if
 \begin{itemize}
 \item
 the lifetime of \placeholder{e} has begun and not ended, and
@@ -3261,7 +3261,7 @@
 
 \pnum
 \indextext{object!nested within}%
-An object \placeholder{a} is \defn{nested within} another object \placeholder{b} if:
+An object \placeholder{a} is \defn{nested within} another object \placeholder{b} if
 \begin{itemize}
 \item
 \placeholder{a} is a subobject of \placeholder{b}, or
@@ -3546,7 +3546,7 @@
 if the pointer were of type \tcode{\keyword{void}*} is
 well-defined. Indirection through such a pointer is permitted but the resulting lvalue may only be used in
 limited ways, as described below. The
-program has undefined behavior if:
+program has undefined behavior if
 \begin{itemize}
 \item
   the pointer is used as the operand of a \grammarterm{delete-expression},
@@ -3609,7 +3609,7 @@
 a glvalue refers to
 allocated storage\iref{basic.stc.dynamic.allocation}, and using the
 properties of the glvalue that do not depend on its value is
-well-defined. The program has undefined behavior if:
+well-defined. The program has undefined behavior if
 \begin{itemize}
 \item the glvalue is used to access the object, or
 \item the glvalue is used to call a non-static member function of the object, or
@@ -3620,7 +3620,7 @@
 \end{itemize}
 
 \pnum
-An object $o_1$ is \defn{transparently replaceable} by an object $o_2$ if:
+An object $o_1$ is \defn{transparently replaceable} by an object $o_2$ if
 \begin{itemize}
 \item the storage that $o_2$ occupies exactly overlays
 the storage that $o_1$ occupied, and
@@ -5520,7 +5520,7 @@
 \end{note}
 
 \pnum
-Two objects \placeholder{a} and \placeholder{b} are \defn{pointer-interconvertible} if:
+Two objects \placeholder{a} and \placeholder{b} are \defn{pointer-interconvertible} if
 \begin{itemize}
 \item
 they are the same object, or
@@ -6297,7 +6297,7 @@
 
 \pnum
 An evaluation $A$ \defn{happens before} an evaluation $B$
-(or, equivalently, $B$ \defn{happens after} $A$) if:
+(or, equivalently, $B$ \defn{happens after} $A$) if
 \begin{itemize}
 \item $A$ is sequenced before $B$, or
 \item $A$ inter-thread happens before $B$.

source/classes.tex

@@ -1058,7 +1058,7 @@
 \end{example}
 
 \pnum
-Two special member functions are of the same kind if:
+Two special member functions are of the same kind if
 \begin{itemize}
 \item they are both default constructors,
 \item they are both copy or move constructors
@@ -1224,7 +1224,7 @@
 inline public member of its class.
 
 \pnum
-A defaulted default constructor for class \tcode{X} is defined as deleted if:
+A defaulted default constructor for class \tcode{X} is defined as deleted if
 \begin{itemize}
 \item any non-static data member with no default member initializer\iref{class.mem} is
 of reference type,
@@ -1260,7 +1260,7 @@
 \pnum
 A default constructor is
 \defnx{trivial}{constructor!default!trivial}
-if it is not user-provided and if:
+if it is not user-provided and if
 \begin{itemize}
 \item
 its class has no virtual functions\iref{class.virtual} and no virtual base
@@ -1547,7 +1547,7 @@
 \tcode{X}
 is
 trivial
-if it is not user-provided and if:
+if it is not user-provided and if
 \begin{itemize}
 \item
 class
@@ -1831,7 +1831,7 @@
 \tcode{X}
 is
 trivial
-if it is not user-provided and if:
+if it is not user-provided and if
 \begin{itemize}
 \item
 class
@@ -2029,7 +2029,7 @@
 
 \pnum
 A defaulted destructor for a class
-  \tcode{X} is defined as deleted if:
+  \tcode{X} is defined as deleted if
 \begin{itemize}
 \item any potentially constructed subobject has class type
   \tcode{M} (or possibly multi-dimensional array thereof) and
@@ -2043,7 +2043,7 @@
 \end{itemize}
 
 \pnum
-A destructor is trivial if it is not user-provided and if:
+A destructor is trivial if it is not user-provided and if
 \begin{itemize}
 \item the destructor is not virtual,
 

source/concepts.tex

@@ -420,7 +420,7 @@
 let \tcode{u1} and \tcode{u2} be equality-preserving expressions such that
 \tcode{decltype((u1))} and \tcode{decltype((u2))} are each \tcode{U}.
 \tcode{T} and \tcode{U} model \tcode{\libconcept{common_reference_with}<T, U>}
-only if:
+only if
 \begin{itemize}
 \item \tcode{C(t1)} equals \tcode{C(t2)} if and only if
   \tcode{t1} equals \tcode{t2}, and
@@ -473,7 +473,7 @@
 let \tcode{u1} and \tcode{u2} be equality-preserving expressions such that
 \tcode{decltype((u1))} and \tcode{decltype((u2))} are each \tcode{U}.
 \tcode{T} and \tcode{U} model \tcode{\libconcept{common_with}<T, U>}
-only if:
+only if
 \begin{itemize}
 \item \tcode{C(t1)} equals \tcode{C(t2)} if and only if
   \tcode{t1} equals \tcode{t2}, and
@@ -881,7 +881,7 @@
 \pnum
 Let \tcode{e} be an expression such that
 \tcode{decltype((e))} is \tcode{T}.
-\tcode{T} models \exposconcept{boolean-testable-impl} only if:
+\tcode{T} models \exposconcept{boolean-testable-impl} only if
 
 \begin{itemize}
 \item
@@ -1024,7 +1024,7 @@
 let \tcode{u1} and \tcode{u2} be equality-preserving expressions
 that are lvalues of type \tcode{remove_cvref_t<U>}.
 \tcode{T} and \tcode{U} model
-\tcode{\exposconcept{comparison-common-type-with}<T, U>} only if:
+\tcode{\exposconcept{comparison-common-type-with}<T, U>} only if
 \begin{itemize}
 \item
 \tcode{\exposid{CONVERT_TO_LVALUE}<C>(t1)} equals

source/declarations.tex

@@ -888,7 +888,7 @@
 \pnum
 \indextext{specifier!\idxcode{constexpr}!function}%
 \indextext{constexpr function}%
-A function is \defn{constexpr-suitable} if:
+A function is \defn{constexpr-suitable} if
 \begin{itemize}
 \item
 it is not a coroutine\iref{dcl.fct.def.coroutine}, and

source/expressions.tex

@@ -5301,7 +5301,7 @@
 If the \grammarterm{expression} in a \grammarterm{noptr-new-declarator}
 is present, it is implicitly converted to \tcode{std::size_t}.
 \indextext{function!allocation}%
-The value of the \grammarterm{expression} is invalid if:
+The value of the \grammarterm{expression} is invalid if
 \begin{itemize}
 \item
 the expression is of non-class type and its value before converting to
@@ -7842,7 +7842,7 @@
 \end{example}
 
 \pnum
-An object \tcode{a} is said to have \defnadj{constant}{destruction} if:
+An object \tcode{a} is said to have \defnadj{constant}{destruction} if
 \begin{itemize}
 \item
   it is not of class type nor (possibly multidimensional) array thereof, or

source/iostreams.tex

@@ -17301,7 +17301,7 @@
 \impldef{effect of \tcode{filesystem::copy}}.
 
 \item
-Otherwise, an error is reported as specified in~\ref{fs.err.report} if:
+Otherwise, an error is reported as specified in~\ref{fs.err.report} if
 \begin{itemize}
 \item \tcode{exists(f)} is \tcode{false}, or
 \item \tcode{equivalent(from, to)} is \tcode{true}, or
@@ -17459,7 +17459,7 @@
 As follows:
 \begin{itemize}
 \item
-Report an error as specified in~\ref{fs.err.report} if:
+Report an error as specified in~\ref{fs.err.report} if
 \begin{itemize}
 \item \tcode{is_regular_file(from)} is \tcode{false}, or
 \item \tcode{exists(to)} is \tcode{true} and \tcode{is_regular_file(to)} is \tcode{false}, or
@@ -17474,7 +17474,7 @@
 
 \item
 Otherwise, copy the contents and attributes of the file \tcode{from}
-    resolves to, to the file \tcode{to} resolves to, if:
+    resolves to, to the file \tcode{to} resolves to, if
 \begin{itemize}
 \item \tcode{exists(to)} is \tcode{false}, or
 \item \tcode{(options \& copy_options::overwrite_existing) != copy_options::none}, or
@@ -18598,7 +18598,7 @@
 \begin{itemdescr}
 \pnum
 \effects
-As if:
+As if by:
 \begin{codeblock}
 error_code ec;
 file_status result = status(p, ec);

source/iterators.tex

@@ -1829,7 +1829,7 @@
 
 \pnum
 Two dereferenceable iterators \tcode{a} and \tcode{b} of type \tcode{X}
-offer the \defn{multi-pass guarantee} if:
+offer the \defn{multi-pass guarantee} if
 \begin{itemize}
 \item \tcode{a == b} implies \tcode{++a == ++b} and
 \item the expression
@@ -1872,7 +1872,7 @@
 
 \pnum
 Let \tcode{a} and \tcode{b} be equal objects of type \tcode{I}.
-\tcode{I} models \libconcept{bidirectional_iterator} only if:
+\tcode{I} models \libconcept{bidirectional_iterator} only if
 \begin{itemize}
 \item If \tcode{a} and \tcode{b} are decrementable,
   then all of the following are \tcode{true}:
@@ -2021,7 +2021,7 @@
 bidirectional.iterators,random.access.iterators}.
 
 \pnum
-A type \tcode{X} meets the \defnoldconcept{Iterator} requirements if:
+A type \tcode{X} meets the \defnoldconcept{Iterator} requirements if
 \begin{itemize}
 \item \tcode{X} meets the \oldconcept{CopyConstructible}, \oldconcept{CopyAssignable}, \oldconcept{Swappable}, and
 \oldconcept{Destructible} requirements\iref{utility.arg.requirements,swappable.requirements}, and
@@ -2246,7 +2246,7 @@
 
 \pnum
 Two dereferenceable iterators \tcode{a} and \tcode{b} of type \tcode{X} offer the
-\defn{multi-pass guarantee} if:
+\defn{multi-pass guarantee} if
 \begin{itemize}
 \item \tcode{a == b} implies \tcode{++a == ++b} and
 \item \tcode{X} is a pointer type or the expression

source/lib-intro.tex

@@ -1822,7 +1822,7 @@
 denote an expression of type \tcode{U}.
 
 \pnum
-An object \tcode{t} is \defn{swappable with} an object \tcode{u} if and only if:
+An object \tcode{t} is \defn{swappable with} an object \tcode{u} if and only if
 \begin{itemize}
 \item the expressions \tcode{swap(t, u)} and \tcode{swap(u, t)} are valid when
 evaluated in the context described below, and
@@ -1924,7 +1924,7 @@
 
 \pnum
 A \oldconcept{NullablePointer} type is a pointer-like type that supports null values.
-A type \tcode{P} meets the \oldconcept{\-Nullable\-Pointer} requirements if:
+A type \tcode{P} meets the \oldconcept{\-Nullable\-Pointer} requirements if
 \begin{itemize}
 \item \tcode{P} meets the \oldconcept{EqualityComparable},
 \oldconcept{DefaultConstructible}, \oldconcept{CopyConstructible}, \oldconcept{\-Copy\-Assign\-able},
@@ -2000,7 +2000,7 @@
 \rSec3[hash.requirements]{\oldconcept{Hash} requirements}
 
 \pnum
-A type \tcode{H} meets the \defnoldconcept{Hash} requirements if:
+A type \tcode{H} meets the \defnoldconcept{Hash} requirements if
 \begin{itemize}
 \item it is a function object type\iref{function.objects},
 \item it meets the \oldconcept{CopyConstructible} (\tref{cpp17.copyconstructible}) and

source/meta.tex

@@ -138,7 +138,7 @@
 \pnum
 Unless otherwise specified, an incomplete type may be used
 to instantiate a template specified in \ref{type.traits}.
-The behavior of a program is undefined if:
+The behavior of a program is undefined if
 \begin{itemize}
 \item
   an instantiation of a template specified in \ref{type.traits}
@@ -1341,7 +1341,7 @@
 \pnum
 The predicate condition for a template specialization
 \tcode{has_unique_object_representations<T>}
-shall be satisfied if and only if:
+shall be satisfied if and only if
 \begin{itemize}
 \item \tcode{T} is trivially copyable, and
 \item any two objects of type \tcode{T} with the same value

source/modules.tex

@@ -593,7 +593,7 @@
 
 \pnum
 A declaration $D$ is \defn{decl-reachable} from a declaration $S$
-in the same translation unit if:
+in the same translation unit if
 \begin{itemize}
 \item
 $D$ does not declare a function or function template and

source/ranges.tex

@@ -1433,7 +1433,7 @@
 
 \begin{itemdescr}
 \pnum
-\tcode{T} models \libconcept{view} only if:
+\tcode{T} models \libconcept{view} only if
 \begin{itemize}
 \item
 \tcode{T} has \bigoh{1} move construction; and