1// { dg-do run  }
2template <class T> struct A {
3  template <class U> void f(U);
4};
5
6template <int i> struct B { };
7
8template <class T> template <class U>
9void A<T>::f (U)
10{
11  enum { foo };
12  B<foo> b;
13}
14
15int main ()
16{
17  A<char> a;
18  a.f (42);
19}
20