+++ /dev/null
-template<template<class> class D,class E> class C
-{
- public:
- int g() { return 1; }
-};
-
-template<class T> class D
-{
- public:
- int f();
-};
-
-template<class T> int D<T>::f()
-{
- C<D,D> c;
- return c.g();
-}
-
-int main()
-{
- D<char> d;
- d.f();
-}