CWG2608 Omitting an empty template argument list

Author: burblebee

source/templates.tex

@@ -6830,7 +6830,9 @@
 A trailing template parameter pack\iref{temp.variadic} not otherwise deduced will be
 deduced as an empty sequence of template arguments.
 \end{note}
-If all of the template arguments can be deduced, they may all be omitted;
+If all of the template arguments can be
+deduced or obtained from default \grammarterm{template-argument}{s},
+they may all be omitted;
 in this case, the empty template argument list \tcode{<>}
 itself may also be omitted.
 \begin{example}