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

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

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

template<template<class> class D,class E> int f(const D<E> &d1)
{
	d1.f();
	C<D,E> d2;
	d2.f();
	return 0;
}

int main()
{
	D<const int> c1;
	D<char> c2;
	const D<char> c3(c2);
	f(c1);
	f(c2);
	f(c3);
}