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