[temp.arg.template] Move example from p2 to more appropriate spot in p3,

as discussed in core-24769 and core-24774.

Author: zygoloid

source/templates.tex

@@ -1254,6 +1254,22 @@
 \end{codeblock}
 \exitexample
 
+\pnum A \grammarterm{template-argument} matches a template
+\grammarterm{template-parameter} (call it \tcode{P}) when each of the template
+parameters in the \grammarterm{template-parameter-list} of the
+\grammarterm{template-argument}'s corresponding class template or alias template (call
+it \tcode{A}) matches the corresponding template parameter in the
+\grammarterm{template-parameter-list} of \tcode{P}. 
+Two template parameters match if they are of the same kind (type, non-type, template),
+for non-type \grammarterm{template-parameter}{s}, their types are
+equivalent~(\ref{temp.over.link}), and for template \grammarterm{template-parameter}{s},
+each of their corresponding \grammarterm{template-parameter}{s} matches, recursively.
+When \tcode{P}'s \grammarterm{template-parameter-list} contains a template parameter
+pack~(\ref{temp.variadic}), the template parameter pack will match zero or more template
+parameters or template parameter packs in the \grammarterm{template-parameter-list} of
+\tcode{A} with the same type and form as the template parameter pack in \tcode{P}
+(ignoring whether those template parameters are template parameter packs).
+
 \enterexample
 \begin{codeblock}
 template<class T> class A { /* ... */ };
@@ -1273,22 +1289,7 @@
 \end{codeblock}
 \exitexample
 
-\pnum A \grammarterm{template-argument} matches a template
-\grammarterm{template-parameter} (call it \tcode{P}) when each of the template
-parameters in the \grammarterm{template-parameter-list} of the
-\grammarterm{template-argument}'s corresponding class template or alias template (call
-it \tcode{A}) matches the corresponding template parameter in the
-\grammarterm{template-parameter-list} of \tcode{P}. 
-Two template parameters match if they are of the same kind (type, non-type, template),
-for non-type \grammarterm{template-parameter}{s}, their types are
-equivalent~(\ref{temp.over.link}), and for template \grammarterm{template-parameter}{s},
-each of their corresponding \grammarterm{template-parameter}{s} matches, recursively.
-When \tcode{P}'s \grammarterm{template-parameter-list} contains a template parameter
-pack~(\ref{temp.variadic}), the template parameter pack will match zero or more template
-parameters or template parameter packs in the \grammarterm{template-parameter-list} of
-\tcode{A} with the same type and form as the template parameter pack in \tcode{P}
-(ignoring whether those template parameters are template parameter packs) \enterexample
-
+\enterexample
 \begin{codeblock}
 template <class T> struct eval;