From: max.jns@googlemail.com   
      
   On Saturday, November 3, 2012 11:30:05 PM UTC+1, Dave Abrahams wrote:   
   > I think the template alias is really a parameterized alias for the   
   > types it generates, not an alias for the template used to generate   
   > those types (if any), if you can parse that.   
      
   probably I'm missing something, but I still can't see how this forbids   
   such a "templates_are_the_same" class template to work. I mean,   
   shouldn't the selection of the partial specializations above be   
   equivalent to the resolution of the following overloads ?:   
      
   template< template< class > class L, template< class > class R > void   
   f( templates_are_the_same )   
      
   template< template< class > class T > void   
   f( templates_are_the_same< T, T >  );   
      
   shouldn't the latter be the more specialized overload given an   
   argument of type "templates_are_the_same" ?   
      
      
   --   
         [ See http://www.gotw.ca/resources/clcm.htm for info about ]   
         [ comp.lang.c++.moderated.    First time posters: Do this! ]   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)