Use 'well-formed' (with hyphen) consistenly.

Fixes #1618.

Author: jensmaurer

source/derived.tex

@@ -860,7 +860,7 @@
 \end{codeblock}
 Both \tcode{VB1::f} and \tcode{VB2::f} override \tcode{A::f} but there
 is no overrider of both of them in class \tcode{Error}. This example is
-therefore ill-formed. Class \tcode{Okay} is well formed, however,
+therefore ill-formed. Class \tcode{Okay} is well-formed, however,
 because \tcode{Okay::f} is a final overrider.
 \end{example}
 

source/numerics.tex

@@ -9668,7 +9668,7 @@
 \pnum
 \requires \tcode{T} shall be convertible to \tcode{ForwardIterator}'s value
 type. The expression \tcode{++val}, where \tcode{val} has type \tcode{T}, shall
-be well formed.
+be well-formed.
 
 \pnum
 \effects For each element referred to by the iterator \tcode{i} in the range

source/special.tex

@@ -40,7 +40,7 @@
   B& operator=(const B &);
 };
 B& B::operator=(const B& s) {
-  this->A::operator=(s);        // well formed
+  this->A::operator=(s);        // well-formed
   return *this;
 }
 \end{codeblock}

source/utilities.tex

@@ -4414,7 +4414,7 @@
 unless \tcode{is_constructible_v<$\tcode{T}_j$, T>} is \tcode{true},
 and unless the expression
 \tcode{\placeholdernc{FUN}(}\brk\tcode{std::forward<T>(t))} (with \tcode{\placeholdernc{FUN}}
-being the above-mentioned set of imaginary functions) is well formed.
+being the above-mentioned set of imaginary functions) is well-formed.
 
 \pnum
 \begin{note}
@@ -4736,7 +4736,7 @@
 \tcode{is_assignable_v<$\tcode{T}_j$\&, T> \&\& is_constructible_v<$\tcode{T}_j$, T>} is \tcode{true},
 and unless the expression \tcode{\placeholdernc{FUN}(std::forward<T>(t))} (with
 \tcode{\placeholdernc{FUN}} being the above-mentioned set of imaginary functions)
-is well formed.
+is well-formed.
 
 \pnum
 \begin{note}
@@ -8773,9 +8773,9 @@
 \pnum
 \requires If \tcode{E} is not a reference type,
 construction of the deleter from an rvalue of type
-\tcode{E} shall be well formed and shall not throw an exception.
+\tcode{E} shall be well-formed and shall not throw an exception.
 Otherwise, \tcode{E} is a reference type and construction of the deleter from an
-lvalue of type \tcode{E} shall be well formed and shall not throw an exception.
+lvalue of type \tcode{E} shall be well-formed and shall not throw an exception.
 
 \pnum
 \remarks This constructor shall not participate in overload resolution unless:
@@ -8811,7 +8811,7 @@
 
 \begin{itemdescr}
 \pnum
-\requires The expression \tcode{get_deleter()(get())} shall be well formed,
+\requires The expression \tcode{get_deleter()(get())} shall be well-formed,
 shall have well-defined behavior, and shall not throw exceptions. \begin{note} The
 use of \tcode{default_delete} requires \tcode{T} to be a complete type.
 \end{note}
@@ -8982,7 +8982,7 @@
 
 \begin{itemdescr}
 \pnum
-\requires The expression \tcode{get_deleter()(get())} shall be well formed, shall have
+\requires The expression \tcode{get_deleter()(get())} shall be well-formed, shall have
 well-defined behavior, and shall not throw exceptions.
 
 \pnum
@@ -10038,7 +10038,7 @@
 it is unspecified whether this
 member function is declared. If it is declared, it is unspecified what its
 return type is, except that the declaration (although not necessarily the
-definition) of the function shall be well formed.
+definition) of the function shall be well-formed.
 \end{itemdescr}
 
 \indexlibrarymember{operator->}{shared_ptr}%
@@ -10055,7 +10055,7 @@
 it is unspecified whether this member function is declared.
 If it is declared, it is unspecified what its return type is,
 except that the declaration (although not necessarily the definition)
-of the function shall be well formed.
+of the function shall be well-formed.
 \end{itemdescr}
 
 \indexlibrarymember{operator[]}{shared_ptr}%
@@ -10073,7 +10073,7 @@
 it is unspecified whether this member function is declared.
 If it is declared, it is unspecified what its return type is,
 except that the declaration (although not necessarily the definition)
-of the function shall be well formed.
+of the function shall be well-formed.
 
 \pnum\throws Nothing.
 \end{itemdescr}
@@ -10149,7 +10149,7 @@
 \pnum
 \requires The expression \tcode{::new (pv) T(std::forward<Args>(args)...)},
 where \tcode{pv} has type \tcode{void*} and points to storage suitable
-to hold an object of type \tcode{T}, shall be well formed. \tcode{A} shall
+to hold an object of type \tcode{T}, shall be well-formed. \tcode{A} shall
 be an allocator~(\ref{allocator.requirements}). The copy constructor
 and destructor of \tcode{A} shall not throw exceptions.
 
@@ -10327,7 +10327,7 @@
 \begin{itemdescr}
 \pnum
 \requires The expression \tcode{static_cast<T*>((U*)nullptr)} shall
-be well formed.
+be well-formed.
 
 \pnum
 \returns
@@ -10353,7 +10353,7 @@
 \begin{itemdescr}
 \pnum
 \requires The expression \tcode{dynamic_cast<T*>((U*)nullptr)}
-shall be well formed and shall have well-defined behavior.
+shall be well-formed and shall have well-defined behavior.
 
 \pnum
 \returns
@@ -10380,7 +10380,7 @@
 \begin{itemdescr}
 \pnum
 \requires The expression \tcode{const_cast<T*>((U*)nullptr)} shall
-be well formed.
+be well-formed.
 
 \pnum
 \returns
@@ -10405,7 +10405,7 @@
 \begin{itemdescr}
 \pnum
 \requires The expression \tcode{reinterpret_cast<T*>((U*)nullptr)}
-shall be well formed.
+shall be well-formed.
 
 \pnum\returns
 \begin{codeblock}
@@ -11422,7 +11422,7 @@
 with allocator \tcode{resource()} (see~\ref{allocator.uses.construction})
 and constructor arguments \tcode{std::forward<Args>(args)...} is well-formed.
 \begin{note}
-Uses-allocator construction is always well formed
+Uses-allocator construction is always well-formed
 for types that do not use allocators.\end{note}
 
 \pnum
@@ -14551,7 +14551,7 @@
 if the expression
 \tcode{\placeholdernc{INVOKE}<R>(declval<F\&>(), declval<ArgTypes>()...)},
 considered as an unevaluated operand (Clause~\ref{expr}), is
-well formed~(\ref{func.require}).
+well-formed~(\ref{func.require}).
 
 \pnum
 The \tcode{function} class template is a call
@@ -16439,7 +16439,7 @@
 \tcode{template <class Fn, class... ArgTypes>}\br
  \tcode{struct is_invocable;}                      &
  The expression \tcode{\placeholdernc{INVOKE}(declval<Fn>(), declval<ArgTypes>()...)}
- is well formed when treated as an unevaluated operand                &
+ is well-formed when treated as an unevaluated operand                &
  \tcode{Fn} and all types in the parameter pack \tcode{ArgTypes}
  shall be complete types, \cv{}~\tcode{void}, or
  arrays of unknown bound.                                             \\ \rowsep
@@ -16448,7 +16448,7 @@
 \tcode{template <class R, class Fn, class... ArgTypes>}\br
  \tcode{struct is_invocable_r;}                      &
  The expression \tcode{\placeholdernc{INVOKE}<R>(declval<Fn>(), declval<ArgTypes>()...)}
- is well formed when treated as an unevaluated operand                &
+ is well-formed when treated as an unevaluated operand                &
  \tcode{Fn}, \tcode{R}, and all types in the parameter pack \tcode{ArgTypes}
  shall be complete types, \cv{}~\tcode{void}, or
  arrays of unknown bound.                                             \\ \rowsep
@@ -16850,7 +16850,7 @@
  \tcode{struct invoke_result;}
  &
  If the expression \tcode{\placeholdernc{INVOKE}(declval<Fn>(), declval<ArgTypes>()...)}
- is well formed when treated as an unevaluated operand (Clause~\ref{expr}),
+ is well-formed when treated as an unevaluated operand (Clause~\ref{expr}),
  the member typedef \tcode{type} names the type
  \tcode{decltype(\placeholdernc{INVOKE}(declval<Fn>(), declval<ArgTypes>()...))};
  otherwise, there shall be no member \tcode{type}. Access checking is