2009-04-16 Andrew Pinski <pinskia@gmail.com>
+ PR C++/17570
+ * g++.dg/template/defarg11.C: New test.
+
+2009-04-16 Andrew Pinski <pinskia@gmail.com>
+
PR C++/28766
* g++.dg/ext/complit11.C: New testcase.
--- /dev/null
+// { dg-do compile }
+
+// We used to reject this code as the extension
+// for default arguments being accepted as less the
+// needed template arguments.
+
+
+template<typename> struct match { };
+
+template<template<typename> class t,typename T>
+struct match<t<T> > { typedef int type; };
+
+template<template<typename,typename> class t,typename T0,typename T1>
+struct match<t<T0,T1> > { typedef int type; };
+
+template<typename,typename =void> struct other { };
+
+typedef match<other<void,void> >::type type;