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

--- Comment #1 from Samuel Neves <sneves at dei dot uc.pt> ---
Minimal example can be further reduced to 

  template<int> struct int_seq {};

  constexpr struct {
      constexpr int operator()(int x) const { return x + 1; }
  } f1 {};

  template<typename F, int A>
  auto f2(F f, int_seq<A>) -> int_seq<f(A)> {
      return {};
  }

  int main() {
      f2(f1, int_seq<0>{});
  }

This suggests that the issue is with GCC not recognizing that `f::operator()`
is constexpr; this information is seemingly lost somewhere along the way.

Reply via email to