1// { dg-do assemble } 2 3// Copyright (C) 2000 Free Software Foundation 4// Contributed by Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net> 5 6// Bug: We used reject template unification of two bound template template 7// parameters. 8 9template <class T, class U=int> class C 10{ 11}; 12 13template <class T, class U> void f(C<T,U> c) 14{ 15} 16 17template <class T> void f(C<T> c) 18{ 19} 20 21template <template<class,class=int> class C, class T, class U> 22void g(C<T,U> c) 23{ 24} 25 26template <template<class,class=int> class C, class T> void g(C<T> c) 27{ 28} 29 30int main() 31{ 32 C<int,char> c1; 33 f(c1); 34 g(c1); 35 C<int,int> c2; 36 f(c2); 37 g(c2); 38} 39