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