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.