1 // P0846R0
2 // { dg-do compile }
3 // { dg-options "-std=c++2a" }
4
5 struct A {
6 template<typename T>
fooA7 int foo (T a, T b) { return a + b; }
8 };
9
10 int
bar(A * pa,int (A::* pm)(int,int))11 bar (A* pa, int (A::*pm)(int, int))
12 {
13 return (pa->*pm)(1, 2);
14 }
15
16 int
baz(A pa,int (A::* pm)(int,int))17 baz (A pa, int (A::*pm)(int, int))
18 {
19 return (pa.*pm)(1, 2);
20 }
21
22 int
main()23 main ()
24 {
25 A a;
26 int i = bar (&a, &A::foo<int>);
27 if (i != 3)
28 __builtin_abort ();
29 i = baz (a, &A::foo<int>);
30 if (i != 3)
31 __builtin_abort ();
32 }
33