This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug libstdc++/80737] variant<any> as class member resulting to compile errors
- From: "timshen at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Sat, 13 May 2017 19:10:43 +0000
- Subject: [Bug libstdc++/80737] variant<any> as class member resulting to compile errors
- Auto-submitted: auto-generated
- References: <bug-80737-4@http.gcc.gnu.org/bugzilla/>
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80737
--- Comment #3 from Tim Shen <timshen at gcc dot gnu.org> ---
(In reply to TC from comment #1)
> Looks like the constraint on the convert-everything constructor needs to
> check for is_same<decay_t<_Tp>, variant> first and short circuit if that's
> true.
I'm not quite sure whether we need that short circuit - it's in a SFINAE
environment, so if anything goes wrong, there shouldn't be a hard error.
Therefore even if I agree that we should check is_same<decay_t<_Tp>, variant>
first, that shouldn't affect the correctness.