CWG2461 Diagnosing non-bool type constraints

Author: burblebee

source/templates.tex

@@ -4532,9 +4532,10 @@
 or a substatement of a constexpr if statement\iref{stmt.if} within a template
 and the template is not instantiated, or
 \item
-no substitution of template arguments
-into a \grammarterm{type-constraint} or \grammarterm{requires-clause}
-would result in a valid expression, or
+any \grammarterm{constraint-expression} in the program, introduced or otherwise,
+has (in its normal form) an atomic constraint $A$ where
+no satisfaction check of $A$ could be well-formed and
+no satisfaction check of $A$ is performed, or
 \item
 every valid specialization of a variadic template requires an empty template
 parameter pack, or