[Patch] SFINAE on is_same first in variant's _Tp&& constructor

Tim Song t.canens.cpp@gmail.com
Mon May 22 20:38:00 GMT 2017


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.



More information about the Gcc-patches mailing list