From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 24761 invoked by alias); 27 May 2004 08:51:22 -0000 Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Archive: List-Post: List-Help: Sender: gcc-bugs-owner@gcc.gnu.org Received: (qmail 24743 invoked by uid 48); 27 May 2004 08:51:21 -0000 Date: Thu, 27 May 2004 18:58:00 -0000 Message-ID: <20040527085121.24742.qmail@sourceware.org> From: "giovannibajo at libero dot it" To: gcc-bugs@gcc.gnu.org In-Reply-To: <20040527071518.15674.igodard@pacbell.net> References: <20040527071518.15674.igodard@pacbell.net> Reply-To: gcc-bugzilla@gcc.gnu.org Subject: [Bug c++/15674] template argument binding differs between member and static fumctions X-Bugzilla-Reason: CC X-SW-Source: 2004-05/txt/msg03187.txt.bz2 List-Id: ------- Additional Comments From giovannibajo at libero dot it 2004-05-27 08:51 ------- I'm unsure about this kind of deduction. EDG thinks S(a) is ill-formed (two possible overloads), and bind the other three calls to the T* deduction. Which, btw, is what GCC 2.95.3 used to do. Nathan, can you possibly have a quick look and tell us what the standard says about this? I tried to look it up but we all know that deduction rules are arcane. -- What |Removed |Added ---------------------------------------------------------------------------- CC| |nathan at gcc dot gnu dot | |org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15674