From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 28235 invoked by alias); 28 Apr 2017 14:03:34 -0000 Mailing-List: contact gcc-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-owner@gcc.gnu.org Received: (qmail 28117 invoked by uid 89); 28 Apr 2017 14:03:33 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-1.9 required=5.0 tests=BAYES_00,RP_MATCHES_RCVD,SPF_PASS autolearn=ham version=3.3.2 spammy=Hx-spam-relays-external:f8b0, H*RU:f8b0, H*f:sk:24d74e8, Hx-languages-length:470 X-HELO: fencepost.gnu.org Received: from fencepost.gnu.org (HELO fencepost.gnu.org) (208.118.235.10) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Fri, 28 Apr 2017 14:03:31 +0000 Received: from eggs.gnu.org ([2001:4830:134:3::10]:58541) by fencepost.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1d46Ud-000487-RE for gcc@gnu.org; Fri, 28 Apr 2017 10:03:32 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1d46Uc-0004c5-HU for gcc@gnu.org; Fri, 28 Apr 2017 10:03:31 -0400 Received: from mail-yw0-x22a.google.com ([2607:f8b0:4002:c05::22a]:34582) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1d46Uc-0004by-CN for gcc@gnu.org; Fri, 28 Apr 2017 10:03:30 -0400 Received: by mail-yw0-x22a.google.com with SMTP id k11so31056209ywb.1 for ; Fri, 28 Apr 2017 07:03:29 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:sender:subject:to:cc:references:from:message-id :date:user-agent:mime-version:in-reply-to:content-language :content-transfer-encoding; bh=D4TjnaT2Wqqk4CAgZiz1K0UmHpZPRN/JDMDV323AHvw=; b=fT7qE+aVP5xluz4Iwyq/gHx+oAFWpOACefE42p9hqnUVxJxa2HWAJ9FPo99jp1FkB6 ApLCRAOX3NU4zOk22b/jUw93I7i6GzVbHvoxdtAn74OqPWkkXyZBScXyh8zrPvIdX+lm yaGmLfFgBw46wsTt8KcY9VLCPuU8dA5ovDSbqZsR5RNJEzuhig44T7RTzE0+WoD0GvXA ujkSY/SPjUBqOwtFDyqbdXA7iVGICQFLuusgOKyOtoo5RGouhGIULSbiysswtRXIB8OX TsXeHMUanCfwxvy4T5m53/MlV4k2a0YduhuwpR+P9OMzP7VZ+MD/UHBYta1dPKYG7d+U +k9A== X-Gm-Message-State: AN3rC/4cUB/mrux7l6CrlXljDpeCk3b1RCozc6+KoflNwdLcNLohCxzB TUzNjpCxNaEe4w== X-Received: by 10.129.82.8 with SMTP id g8mr9376655ywb.250.1493388209291; Fri, 28 Apr 2017 07:03:29 -0700 (PDT) Received: from ?IPv6:2620:10d:c0a3:20fb:f6d0:5ac5:64cd:f102? ([2620:10d:c091:200::b:7639]) by smtp.googlemail.com with ESMTPSA id n23sm2493206ywh.59.2017.04.28.07.03.28 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Fri, 28 Apr 2017 07:03:28 -0700 (PDT) Subject: Re: [C++ Patch] Remove is_auto_or_concept, etc (Was: Re: [C++, concepts] Two slightly obscure pt.c functions?) To: Paolo Carlini , "gcc@gnu.org" Cc: Jason Merrill , Adam Butcher , "gcc-patches@gcc.gnu.org" References: <5859ec12-a027-c944-57a4-7c49320429c6@oracle.com> <24d74e87-7b21-0f8f-fe9b-08d0824a2c64@oracle.com> From: Nathan Sidwell Message-ID: <2995f7e7-d403-b363-ef39-546e50605890@acm.org> Date: Fri, 28 Apr 2017 14:03:00 -0000 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.0 MIME-Version: 1.0 In-Reply-To: <24d74e87-7b21-0f8f-fe9b-08d0824a2c64@oracle.com> Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 2607:f8b0:4002:c05::22a X-SW-Source: 2017-04/txt/msg00139.txt.bz2 On 04/27/2017 02:02 PM, Paolo Carlini wrote: > ... replying to myself, in practice we could do the below, which > certainly passes testing, and in fact now seems to me even more obvious > than I thought a couple of days ago... I'm insufficiently conceptified to know whether this is safe (but lack of test failure is promising). nathan -- Nathan Sidwell