gcc/testsuite/g++.dg/template/defarg11.C

   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;