CWG2235 Partial ordering and non-dependent types

Author: Dawn Perchik

source/templates.tex

@@ -7780,9 +7780,6 @@
 \tcode{P}
 and
 \tcode{A}.
-If a particular \tcode{P} contains no \grammarterm{template-parameter}{s}
-that participate in template argument deduction, that \tcode{P} is not
-used to determine the ordering.
 
 \pnum
 Before the partial ordering is done, certain transformations are performed
@@ -8029,7 +8026,7 @@
 If a template parameter is used only in non-deduced contexts and is not
 explicitly specified, template argument deduction fails.
 \begin{note}
-Under \ref{temp.deduct.call} and \ref{temp.deduct.partial},
+Under \ref{temp.deduct.call},
 if \tcode{P} contains no \grammarterm{template-parameter}{s} that appear
 in deduced contexts, no deduction is done, so \tcode{P} and \tcode{A}
 need not have the same form.