1 // PR c++/84045
2 // { dg-do compile { target c++11 } }
3 
4 template <typename T> struct K {
5   static const bool d = true;
6 };
7 template <typename T, typename> struct B {
8   typedef K<T> D;
9   void foo () noexcept (D::d);
10 };
11 template <typename T> struct P {
12   P () noexcept (K<T>::d);
13 };
14 P<int> p;
15