|
131
|
1 // PR c++/83720
|
|
|
2 // { dg-lto-do assemble }
|
|
|
3
|
|
|
4 #pragma GCC diagnostic ignored "-Wreturn-type"
|
|
|
5
|
|
|
6 namespace b {
|
|
|
7 class h {
|
|
|
8 public:
|
|
|
9 template <typename ae, typename af> h(ae af::*...) {
|
|
|
10 [] {};
|
|
|
11 }
|
|
|
12 };
|
|
|
13 class ai {};
|
|
|
14 template <typename> class c {
|
|
|
15 public:
|
|
|
16 template <typename ag> void aj(const char *, ag f) { h(f, int()); }
|
|
|
17 };
|
|
|
18 }
|
|
|
19 template <typename> class al;
|
|
|
20 template <typename e> class i {
|
|
|
21 protected:
|
|
|
22 static e g(const int) { }
|
|
|
23 };
|
|
|
24 template <typename, typename> class j;
|
|
|
25 template <typename an, typename e, typename... ao>
|
|
|
26 class j<an(ao...), e> : i<e> {
|
|
|
27 typedef i<e> ap;
|
|
|
28
|
|
|
29 public:
|
|
|
30 static an aq(const int &ar, ao... as) { ap::g(ar)(as...); }
|
|
|
31 };
|
|
|
32 template <typename an, typename... ao> class al<an(ao...)> {
|
|
|
33 template <typename, typename a> using ax = a;
|
|
|
34
|
|
|
35 public:
|
|
|
36 template <typename e, typename = ax<int, void>, typename = ax<int, void>>
|
|
|
37 al(e);
|
|
|
38 using ay = an (*)(const int &, ao...);
|
|
|
39 ay az;
|
|
|
40 };
|
|
|
41 template <typename an, typename... ao>
|
|
|
42 template <typename e, typename, typename>
|
|
|
43 al<an(ao...)>::al(e) {
|
|
|
44 az = j<an(ao...), e>::aq;
|
|
|
45 }
|
|
|
46 class k {
|
|
|
47 public:
|
|
|
48 k(al<void(b::ai)>);
|
|
|
49 } d([](b::ai) {
|
|
|
50 struct be {
|
|
|
51 virtual void f();
|
|
|
52 };
|
|
|
53 struct bf;
|
|
|
54 b::c<bf>().aj("", &be::f);
|
|
|
55 });
|
