This is the mail archive of the
libstdc++@gcc.gnu.org
mailing list for the libstdc++ project.
Re: [Patch] SFINAE on is_same first in variant's _Tp&& constructor
- From: Tim Song <t dot canens dot cpp at gmail dot com>
- To: Jonathan Wakely <jwakely at redhat dot com>
- Cc: Tim Shen <timshen at google dot com>, "libstdc++" <libstdc++ at gcc dot gnu dot org>, gcc-patches <gcc-patches at gcc dot gnu dot org>
- Date: Mon, 22 May 2017 16:26:34 -0400
- Subject: Re: [Patch] SFINAE on is_same first in variant's _Tp&& constructor
- Authentication-results: sourceware.org; auth=none
- References: <CAG4ZjNkZui6RkKB-cydS+q1=xUcuNS42Uha6w-N7fK7GbEOmSw@mail.gmail.com> <20170522132137.GH4527@redhat.com> <CAPQZVxunEz2oPDDjkpsKHg=NsuzQO4yy29rsqHqqRymzF1p+zw@mail.gmail.com>
On Mon, May 22, 2017 at 4:14 PM, Tim Song <t.canens.cpp@gmail.com> wrote:
> assuming core issue 1227's resolution
Actually, 1227 doesn't touch default template arguments :( OTOH, the
paragraph dealing with default template arguments seems to be full of
issues - it says "invalid type" rather than "invalid type or
expression", and "above" when the description is actually "below".
Anyway, that should be easily fixable by moving the SFINAE into the
type of a non-type parameter, I think.