On Fri, 28 Apr 2023 at 13:24, Bjorn Reese via Std-Proposals wrote:

> On 4/28/23 13:36, Anoop Rana via Std-Proposals wrote:
>
> > using /decltype /for like this is not allowed. So this trait /might
> > provide a standard way/ of getting back the "ordinary function type"
> > associated with the non-static member function.
>
> I have been working on something similar, but the efforts are stalled
> due to lack of time. See the attached draft.
>
> Implementation experience tells me that some compiler magic is
> preferable to handle overloaded member functions correctly.
>

Your references include N3579. That was revised as N3729 and then again as
N3866, which was voted into the Library Fundamentals TS in 2014:
https://cplusplus.github.io/fundamentals-ts/v3.html#meta.trans.other

As far as I know, it's never been implemented.