https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121053
Tomasz Kamiński <tkaminsk at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |tkaminsk at gcc dot gnu.org --- Comment #3 from Jason Merrill <jason at gcc dot gnu.org> --- The first form is SFINAE because computing its return type can fail; I don't see anything that allows SFINAE for the second form, but perhaps I'm just unfamiliar with library conventions. --- Comment #4 from Tomasz Kamiński <tkaminsk at gcc dot gnu.org> --- I believe that the following `Constrains` https://eel.is/c++draft/variant#visit-2 implies that Variant has single accessible `variant` specialization base.