// Verify a non-constant conditional noexcept-specifier in a function type
// respects SFINAE.
// { dg-do compile { target c++17 } }

template<class T> void f(void() noexcept(T::value)) = delete;
template<class T> void f(...);

struct B { static bool value; };

int main() {
  f<B>(nullptr);
}