|
111
|
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;
|
