// { dg-do assemble  }

// Copyright (C) 2000 Free Software Foundation
// Contributed by Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>

// Bug: We used reject template unification of two bound template template
// parameters.

template <class T, class U=int> class C
{
};

template <class T, class U> void f(C<T,U> c)
{
}

template <class T> void f(C<T> c)
{
}

template <template<class,class=int> class C, class T, class U>
void g(C<T,U> c)
{
}

template <template<class,class=int> class C, class T> void g(C<T> c)
{
}

int main()
{
  C<int,char> c1;
  f(c1);
  g(c1);
  C<int,int> c2;
  f(c2);
  g(c2);
}