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}
@@ -8771,9 +8771,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:
@@ -8809,7 +8809,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}
@@ -8980,7 +8980,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
@@ -10036,7 +10036,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}%
@@ -10053,7 +10053,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}%
@@ -10071,7 +10071,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}
@@ -10147,7 +10147,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.
 
@@ -10325,7 +10325,7 @@
 \begin{itemdescr}
 \pnum
 \requires The expression \tcode{static_cast<T*>((U*)nullptr)} shall
-be well formed.
+be well-formed.
 
 \pnum
 \returns
@@ -10351,7 +10351,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
@@ -10378,7 +10378,7 @@
 \begin{itemdescr}
 \pnum
 \requires The expression \tcode{const_cast<T*>((U*)nullptr)} shall
-be well formed.
+be well-formed.
 
 \pnum
 \returns
@@ -10403,7 +10403,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}
@@ -11420,7 +11420,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
@@ -14549,7 +14549,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
@@ -16437,7 +16437,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
@@ -16446,7 +16446,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
@@ -16848,7 +16848,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