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 8 template<typename> struct match { }; 9 10 template<template<typename> class t,typename T> 11 struct match<t<T> > { typedef int type; }; 12 13 template<template<typename,typename> class t,typename T0,typename T1> 14 struct match<t<T0,T1> > { typedef int type; }; 15 16 template<typename,typename =void> struct other { }; 17 18 typedef match<other<void,void> >::type type; 19