1 // PR c++/65707
2 // { dg-do compile { target c++11 } }
3 
4 template <int a> struct b {
5   typedef int c;
cb6   constexpr operator c() { return a; }
7 };
8 template <bool> struct d;
9 template <typename> struct e : b<true> {};
10 template <typename, typename = d<true>> struct f;
11 template <typename g> struct f<g, d<e<g>{}>> {};
12 template struct f<int>;
13