// PR c++/53349 | |
// { dg-do compile { target c++11 } } | |
template <int N> | |
struct Foo { | |
constexpr Foo(const Foo<N-1> a) : m_a(a) {} | |
constexpr Foo(const Foo<N> &a) : m_a(a.m_a) {} | |
Foo<N-1> m_a; | |
}; | |
template <> struct Foo<0> {}; | |
constexpr Foo<1> catty1(Foo<1> x) { return x; } | |
constexpr Foo<2> catty2(Foo<1> x) { return Foo<2>(catty1(x)); } | |
constexpr auto res = catty2(Foo<1>(Foo<0>())); |