On 6/1/26 16:33, Jason Merrill wrote:
> This assumes a template with a single template parameter; it doesn't work for
> e.g.
>
> struct A {
> template<typename T, typename U>
> operator T U::*() {
> return 0;
> }
> };
>
> int main() {
> (void) &A::operator int A::*;
> }
>
> to handle the general case you need to deduce the template arguments.
Thanks, I did not consider multiple template parameters. Would this be similar
to what TEMPLATE_ID_EXPR does below, or is there some existing helper that
should be used? I'm not sure how to do this.
