From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 27790 invoked by alias); 11 Jun 2013 14:49:41 -0000 Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-patches-owner@gcc.gnu.org Received: (qmail 27780 invoked by uid 89); 11 Jun 2013 14:49:40 -0000 X-Spam-SWARE-Status: No, score=-3.7 required=5.0 tests=AWL,BAYES_00,FREEMAIL_FROM,KHOP_THREADED,RCVD_IN_DNSWL_LOW,RCVD_IN_HOSTKARMA_YE,SPF_PASS autolearn=ham version=3.3.1 Received: from mail-vb0-f52.google.com (HELO mail-vb0-f52.google.com) (209.85.212.52) by sourceware.org (qpsmtpd/0.84/v0.84-167-ge50287c) with ESMTP; Tue, 11 Jun 2013 14:49:40 +0000 Received: by mail-vb0-f52.google.com with SMTP id f12so4446499vbg.39 for ; Tue, 11 Jun 2013 07:49:38 -0700 (PDT) X-Received: by 10.220.162.70 with SMTP id u6mr8126076vcx.11.1370962178669; Tue, 11 Jun 2013 07:49:38 -0700 (PDT) MIME-Version: 1.0 Received: by 10.52.188.201 with HTTP; Tue, 11 Jun 2013 07:49:18 -0700 (PDT) In-Reply-To: <51B733D4.6030908@redhat.com> References: <51B0B0ED.5090508@redhat.com> <51B0F122.6020301@redhat.com> <51B62961.1080409@redhat.com> <51B733D4.6030908@redhat.com> From: Andrew Sutton Date: Tue, 11 Jun 2013 14:49:00 -0000 Message-ID: Subject: Re: [c++-concepts] code review To: Jason Merrill Cc: Gabriel Dos Reis , gcc-patches@gcc.gnu.org Content-Type: text/plain; charset=ISO-8859-1 X-SW-Source: 2013-06/txt/msg00587.txt.bz2 >> After investigating, neither call_expr nor resolve_nondeduced_context >> do what I need. I need a resolution of a call expression that does not >> return overload sets, especially in the case where the initial call >> expression is already dependent. > > > Does this have to do with restrictions on overloading of concept functions? Very much so. I need a single function because I'm inlining its body at the call site. Andrew