1 // { dg-require-effective-target c++14 }
2 
3 template <typename> void a();
4 template <typename> struct b;
5 template <bool> using c = int;
6 template <typename d, typename e = decltype(a<d>)> using f = e;
7 template <typename e> using g = f<e>;
8 template <typename h> c<b<g<h>>::i> j;
9