c++/8640: [2003-01-22] template specialization bug #2 (gcc3.2)

[Giovanni Bajo]

The following reply was made to PR c++/8640; it has been noted by GNATS.

From: "Giovanni Bajo" <giovannibajo@libero.it>
To: <gcc-gnats@gcc.gnu.org>,
	<gcc-bugs@gcc.gnu.org>,
	<nbecker@fred.net>,
	"Wolfgang Bangerth" <bangerth@ticam.utexas.edu>,
	<nobody@gcc.gnu.org>,
	<gcc-prs@gcc.gnu.org>
Cc:  
Subject: Re: c++/8640: [2003-01-22] template specialization bug #2 (gcc3.2)
Date: Sun, 16 Mar 2003 15:46:53 +0100

 http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&p
 r=8640
 
 Yes, I (sadly) agree. In non-legalese, the problem is that partial ordering
 does not take into account template parameters which are explicitally
 specialized at function call time. For the logs, there is also an open DR
 about partial ordering
 (http://std.dkuug.dk/jtc1/sc22/wg21/docs/cwg_active.html#214) which shows a
 very similar case. I hope that in the end the above snippet will be
 non-ambigous, but for now it rightfully is.
 
 Giovanni Bajo