// { dg-do compile { target c++14 } }

// PR c++/111357 - __integer_pack fails to work with values of dependent type
// convertible to integers in noexcept context

#include <utility>

using std::integer_sequence;
using std::make_integer_sequence;

template<int... V>
void g(integer_sequence<int,V...>)
{}

template<typename ...T>
struct c1
{
  static constexpr int value = 1;
  constexpr operator int() { return value; }
};

template<typename T>
struct R
{
  using S = make_integer_sequence<int,c1<T>{}>;

  R() noexcept(noexcept(g(S()))) // { dg-bogus "argument to .__integer_pack." }
  {}
};

int main()
{
  R<int>();
}