1 // PR c++/65175
2 // { dg-do compile { target c++11 } }
3
4 template <class a> using au = typename a::av;
5 template <bool, class a> using az = a;
6 template <template <class...> class b, class... bf> struct d {
7 template <class bh> struct f { typedef bh e; };
8 static auto g(int) -> f<b<bf...>>;
9 typedef typename decltype(g(0))::e e;
10 };
11 template <class = void> class h;
12 template <class, class, template <class...> class, class...> struct i;
13 struct j {
14 typedef int bu;
15 };
16 namespace bv {
17 template <class> struct k : j {};
18 template <class bx> struct l : i<int, void, k, bx> {};
19 } // namespace bv
20 template <class bx> auto bw(bx) -> az<bv::l<bx>::c, typename bv::l<bx>::bz>;
21 template <class, class cd, class> struct n : j { au<cd> av; };
22 template <class, class cd, class> struct K : j { au<cd> av; };
23 template <class cj> struct o {
24 typedef typename cj::e e;
25 static const bool c = true;
26 typedef h<typename e::bu> bz;
27 };
28 template <class, class, template <class...> class cj, class... bf>
29 struct i : o<d<cj, bf...>> {};
30 template <class> class h {
31 public:
32 typedef int av;
33 struct : i<int, int, K, int, h, int> {} s;
34 template <class> struct p : i<int, int, n, int, h<h>, int> {};
35 template <class bx, class cl>
36 auto m_fn2(bx, cl) -> az<p<cl>::c, typename p<cl>::bz>;
37 template <class bx> static auto q(int, int, bx cm) -> decltype(bw(cm));
38 };
39 int a, b;
c()40 void c() { h<>::q(b, 5, a).m_fn2(5, a); }
41