1// { dg-do run  }
2template<class T> class D
3{
4	public:
5		int f();
6};
7
8template<class T> int D<T>::f()
9{
10	return sizeof(T);
11}
12
13extern "C" void abort();
14
15template<template<class> class D,class E> class C
16{
17		D<E> d;
18	public:
19		int f() { abort(); return 0; }
20};
21
22template<template <class> class F> class C<F,int>
23{
24		F<int> d;
25	public:
26		int f();
27};
28
29template<template<class>class F> int C<F,int>::f()
30{
31	return d.f();
32}
33
34int main()
35{
36	C<D,int> c;
37	c.f();
38}
39