Fixed wording regarding omitting the template argument list <> CWG2608

source/templates.tex

@@ -6826,7 +6826,7 @@
 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 template arguments, they may all be omitted;
 in this case, the empty template argument list \tcode{<>}
 itself may also be omitted.
 \begin{example}
@@ -6845,6 +6845,18 @@
 \end{codeblock}
 \end{example}
 
+\begin{example}
+\begin{codeblock}
+template <typename T = int> void func(T = T{}) { }
+int main()
+{
+    func();                     // calls the specialization \tcode{func<int>}
+    auto a = func<>;            // \tcode{a} has type \tcode{void (*)(int)}
+    auto b = func;              // OK: \tcode{b} has type \tcode{void (*)(int)}
+}
+\end{codeblock}
+\end{example}
+
 \pnum
 \begin{note}
 An empty template argument list can be used to indicate that a given