1// { dg-do compile }
2
3// We used to reject this code as the extension
4// for default arguments being accepted as less the
5// needed template arguments.
6
7
8template<typename> struct match { };
9
10template<template<typename> class t,typename T>
11struct match<t<T> > { typedef int type; };
12
13template<template<typename,typename> class t,typename T0,typename T1>
14struct match<t<T0,T1> > { typedef int type; };
15
16template<typename,typename =void> struct other { };
17
18typedef match<other<void,void> >::type type;
19