On Mon, Oct 26, 2020 at 1:26 AM Justin Bassett via Std-Proposals <std-proposals@lists.isocpp.org> wrote:
Technically, yes, *get_if is enough, but most compilers can't recognize it yet. I think gcc can under specific circumstances, but the rest I've tested failed to do so.

Confirmed. Have people filed missed-optimization bugs against GCC and MSVC on this topic, yet? People should.
https://godbolt.org/z/n9acqh

–Arthur