// { dg-do run } template<class T> class D { public: int f(); }; template<class T> int D<T>::f() { return sizeof(T); } extern "C" void abort(); template<template<class> class D,class E> class C { D<E> d; public: int f() { abort(); return 0; } }; template<template <class> class F> class C<F,int> { F<int> d; public: int f(); }; template<template<class>class F> int C<F,int>::f() { return d.f(); } int main() { C<D,int> c; c.f(); }