gcc/testsuite/g++.old-deja/g++.pt/ttp35.C

template<int T, class U = int> class D
{
	public:
		int f();
};

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

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

template<template<int> class D> int f(D<2> &d1)
{
	d1.f();
	return 0;
}

template<template<int> class D> int f(D<1> &d1)
{
	d1.f();
	return 0;
}

int main()
{
	D<1> c1;
	f(c1);
}