Out of curiousity: What does the VC say abou this:

#include <iostream> 

template <typename T>  struct V {
   void g() const {
     std::cout << typeid(T).name() << std::endl;
   }
};

template <template <typename>  class T> struct B {};
struct D : B<V>  {};

template <typename U> 
void f (const B<U> &)
{
   U<double>  v;
   v.g();
}

int main()
{
   D d;
   f(d);
}

Regards, Daniel

-- 
Daniel Frey

aixigo AG - financial solutions & technology
Schloß-Rahe-Straße 15, 52072 Aachen, Germany
fon: +49 (0)241 936737-42, fax: +49 (0)241 936737-99
eMail: daniel.frey@[...].de, web: http://www.aixigo.de



_______________________________________________
Unsubscribe & other changes: http://lists.boost.org/mailman/listinfo.cgi/boost