| // PR c++/65707 | |
| // { dg-do compile { target c++11 } } | |
| template <int a> struct b { | |
| typedef int c; | |
| constexpr operator c() { return a; } | |
| }; | |
| template <bool> struct d; | |
| template <typename> struct e : b<true> {}; | |
| template <typename, typename = d<true>> struct f; | |
| template <typename g> struct f<g, d<e<g>{}>> {}; | |
| template struct f<int>; |