https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88028

--- Comment #4 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Slightly more reduced:

template <typename T, int N>
struct A { T e[N]; };

template <typename T>
A(T)->A<T, 1>;

struct S {};

template <typename>
struct R { static constexpr auto h = A{S{}}; };

void
fn ()
{
  A<S, 1> foo = R<int>::h;
}

Reply via email to