[temp.inst] Tweak explanation in example.

Author: zygoloid

source/templates.tex

@@ -5834,7 +5834,7 @@
 \end{codeblock}
 
 When \tcode{S<char>} is instantiated, both constructors are part of the
-specialization. Their constraints will never be satisfied, and
+specialization. Their constraints are not satisfied, and
 they suppress the implicit declaration of a default constructor for
 \tcode{S<char>}~(\ref{class.ctor}), so there is no viable constructor
 for \tcode{s1}.