// { dg-require-effective-target c++14 }

template <typename> void a();
template <typename> struct b;
template <bool> using c = int;
template <typename d, typename e = decltype(a<d>)> using f = e;
template <typename e> using g = f<e>;
template <typename h> c<b<g<h>>::i> j;