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

Fixes #1618.

Author: jensmaurer

source/derived.tex

@@ -866,7 +866,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

@@ -9618,7 +9618,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

@@ -4064,7 +4064,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}
@@ -4352,7 +4352,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}
@@ -8339,9 +8339,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:
@@ -8377,7 +8377,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}
@@ -8548,7 +8548,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
@@ -9555,7 +9555,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}%
@@ -9572,7 +9572,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}%
@@ -9590,7 +9590,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}
@@ -10063,7 +10063,7 @@
 \begin{itemdescr}
 \pnum
 \requires The expression \tcode{static_cast<T*>((U*)nullptr)} shall
-be well formed.
+be well-formed.
 
 \pnum
 \returns
@@ -10089,7 +10089,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
@@ -10116,7 +10116,7 @@
 \begin{itemdescr}
 \pnum
 \requires The expression \tcode{const_cast<T*>((U*)nullptr)} shall
-be well formed.
+be well-formed.
 
 \pnum
 \returns
@@ -10141,7 +10141,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}
@@ -11171,7 +11171,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
@@ -14285,7 +14285,7 @@
 if the expression
 \tcode{\placeholdernc{INVOKE}<R>(declval<F\&>(), declval<ArgTypes>()...)},
 considered as an unevaluated operand\iref{expr}, is
-well formed\iref{func.require}.
+well-formed\iref{func.require}.
 
 \pnum
 The \tcode{function} class template is a call
@@ -16194,7 +16194,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
@@ -16203,7 +16203,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
@@ -16603,7 +16603,7 @@
  \tcode{struct invoke_result;}
  &
  If the expression \tcode{\placeholdernc{INVOKE}(declval<Fn>(), declval<ArgTypes>()...)}
- is well formed when treated as an unevaluated operand\iref{expr},
+ is well-formed when treated as an unevaluated operand\iref{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