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

template <typename T> struct K {
  static const bool d = true;
};
template <typename T, typename> struct B {
  typedef K<T> D;
  void foo () noexcept (D::d);
};
template <typename T> struct P {
  P () noexcept (K<T>::d);
};
P<int> p;