// { dg-do run  }
template<class T> class D
{
	public:
		int f();
};

template<class T> int D<T>::f()
{
	return sizeof(T);
}

template<template<class> class D,class E> class C
{
		D<E> d;
	public:
		template<template<class> class F> int f(F<int>);
};

template<template<class> class D,class E> 
template<template<class> class F> int C<D,E>::f(F<int>)
{
	F<E> d2;
	return d2.f();
}

int main()
{
	C<D,int> c;
	D<int> d;
	c.f(d);
}