// PR c++/99980
// { dg-do compile { target c++11 } }

#define SA(X) static_assert(X, #X)

struct S {
  template<typename T>
  void f(T) noexcept(B);

  struct N {
    template<typename T>
    void f2(T) noexcept(B);
  };

  static constexpr bool B = true;
};

S s;
SA(noexcept(s.f(10)));
S::N n;
SA(noexcept(n.f2(10)));

struct Bad {
  template<typename T>
  using U = void() noexcept(B); // { dg-error "not declared" }

  template<typename T>
  friend void friendo() noexcept(B); // { dg-error "not declared" }

  static constexpr bool B = true;
};