2 template<typename T, template<T> class C>
5 template<typename T, template<T> class C>
8 template<typename T, template<T> class C>
11 template<typename T> struct metafun { typedef T type; };
13 template<> struct metafun<short> { typedef int type; };
15 template<typename T, template<typename metafun<T>::type> class C>
18 template<int N> struct X {};
20 f1(5l, X<5>()); // { dg-error "no matching" }
22 f3(X<5>(), 5l); // { dg-error "no matching" }
24 f4(5l, X<5>()); // { dg-error "no matching" }