From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-prs-return-28200-listarch-gcc-prs=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 28949 invoked by alias); 22 Jan 2003 20:46:01 -0000
Mailing-List: contact gcc-prs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Archive: <http://gcc.gnu.org/ml/gcc-prs/>
List-Post: <mailto:gcc-prs@gcc.gnu.org>
List-Help: <mailto:gcc-prs-help@gcc.gnu.org>
Sender: gcc-prs-owner@gcc.gnu.org
Received: (qmail 28923 invoked by uid 71); 22 Jan 2003 20:46:01 -0000
Date: Wed, 22 Jan 2003 20:46:00 -0000
Message-ID: <20030122204601.28914.qmail@sources.redhat.com>
To: nobody@gcc.gnu.org
Cc: gcc-prs@gcc.gnu.org,
From: Wolfgang Bangerth <bangerth@ticam.utexas.edu>
Subject: Re: c++/5543: Conversions and template functions
Reply-To: Wolfgang Bangerth <bangerth@ticam.utexas.edu>
X-SW-Source: 2003-01/txt/msg01239.txt.bz2
List-Id: <gcc-prs.sourceware.org>

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

From: Wolfgang Bangerth <bangerth@ticam.utexas.edu>
To: gcc-bugs@gcc.gnu.org, <gcc-gnats@gcc.gnu.org>
Cc:  
Subject: Re: c++/5543: Conversions and template functions
Date: Wed, 22 Jan 2003 14:44:27 -0600 (CST)

 This is a simpler testcase:
 --------------------
 template <class> struct type {};
 
 template <class S> void foo (type<S>);
 
 template <class T>
 struct C {
     operator T();
 };
 
 int main () {
   C<type<int> > c;
   foo (c);
 }
 --------------------------
 
 gcc fails, because it can't find an instance of foo(C<type<int> >). It 
 could, however, if it tried to apply the conversion operator of C first, 
 but I don't know whether it is required to do so. I suspect not, since it 
 also fails for icc7.
 
 W.
 
 -------------------------------------------------------------------------
 Wolfgang Bangerth             email:            bangerth@ticam.utexas.edu
                               www: http://www.ticam.utexas.edu/~bangerth/