blob: 00c4e658d9a099a848a03c6860da0540639d9c06 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
// { 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;
|
